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 …

This chapter concentrates on a challenging problem of information system specification and
design, namely how to cope on a high level of abstraction with concurrent behaviour and …

We present two logics that allow specifying distributed information systems, emphasizing
communication among sites. The low-level logic \sfD_0 offers features that are easy to …

Our concern is the high level specification of reactive software systems such as information
systems. We adopt an object oriented, temporal logic based approach to specification. The …

Methods for the algebraic speci cation of abstract data types were proposed in the early
seventies in the USA and Canada and became a major research issue in Europe shortly …

Traditional logic-based specification approaches fix the structure and the dynamics of an
object system at specification time. Information systems are applications with a very long life …

From an arbitrary temporal logic institution we show how to set up the corresponding
institution of objects. The main properties of the resulting institution are studied and used in …

This thesis provides a logical and mathematical foundation for object-oriented specification
languages with a further modularisation unit between the system and object classes. The …

A propositional temporal logic is brie y introduced and its use for reactive systems speci
cation is motivated and illustrated. G-automata are proposed as a new operational …

Our general goal is to provide a semantic foundation for in-the-large speci cation of
distributed information systems. We use Troll, an object-oriented formal language, for system …