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 …

From an object-oriented point of view, software systems are considered to be dynamic
collections of autonomous objects that interact with each other. Autonomy means that each …

Nonsequential automata constitute a categorial semantic domain based on labeled
transition system with full concurrency, where restriction and relabeling are functorial and a …

For successful information systems development, conceptual data modelling is essential.
Nowadays many conceptual data modelling techniques exists. In-depth comparisons of …

For successful information systems development, conceptual data modeling is essential.
Nowadays a plethora of techniques for conceptual data modeling exist. Many of these …

Information systems are open, reactive, and often distributed systems that maintain
persistent data. The ThOLL and oMThOLL languages aim at specifying information systems …

This article proposes a new approach to model deductive object databases. Each object
database is described by means of a Datalog language extended with extensional updates …

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 …

In this paper we develop a theory of composition of default specifications. This theory
generalizes the work by Goguen and Burstall, where specifications written in an arbitrary …

A semantic domain based on state-machines is proposed for object-orientation in order to
clarify the most important constructions: aggregation, interconnection and specialization …