This paper presents an overview of the process theory developed in the context of the
ESPRIT project NATURE. 1 This theory proposes means for modelling and engineering the …

In this paper, we bring together the use of temporal logic for specifying concurrent systems,
in the tradition initiated by A. Pnueli, and the use of tools from category theory as a means for …

There are many notions of type in computing. The most classical notion is\types as sets",
which has been extended to cover many features of modern programming languages. This …

A logic for specifying and reasoning about object classes and their instances (aspects) is
presented and illustrated. This logic is an extension of a rather standard linear temporal …

Part decomposition and conversely, the construction of composite objects from individual
parts have long been recognized as ubiquitous and essential mechanisms involving …

Time is ubiquitous in information systems. Almost every enterprise faces the problem of its
data becoming out of date. However, such data is often valu able, so it should be archived …

In this report we present the language TROLL. It is a language particularly suited to be used
in the early stages of information system design where the problem domain or Universe of …

The semantic domain for object-oriented languages and systems outlined in this paper is an
amalgamation of two approaches: the objects-as-sheaves approach of the second author …

The popularity of the notion of object for structuring (the specification of) systems has not
been accompanied by the necessary formalisation of the concepts and constructions …

The logic of norms, called deontic logic, has been used to specify normative constraints for
information systems. For example, one can specify in deontic logic the constraints that a …