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 …

We introduce yet another event-based formalism, that of event automata, which unifies
various concepts to be found in the literature. A characteristic property of these automata is …

The envisaged notion of object is presented as corresponding to the basic, universal
building block of (information) systems. A simple mathematical model for fully concurrent …

TROLL light is a language for conceptual modeling of information systems. It is designed to
describe the Universe of Discourse (UoD) as a system of concurrently existing and …

Object-oriented concepts and constructions are explained in an informal and language-
independent way. Various algebraic approaches for dealing with objects and their …

Fully concurrent models of distributed object systems axe specified using linear temporal
logic that does not per se cope with concurrency. This is achieved by employing the …

The book presents an approach to formal object-oriented specification of information
systems. The approach focuses on the early phases of system development where existing …

According to the object-oriented conceptual modeling approach that we present, a
conceptual schema is a collection of fully concurrent objects that interact with each other …

We introduce yet another event-based formalism, event automata, which unifies various
definitions to be found in the literature. Moreover we discuss various new concepts such as …

A process semantics for temporal logic specification is provided by relating a category of
temporal theories and interpretations between theories where specification configuration …