At present, the Entity-Relationship (ER) model is the most important paradigm for conceptual
database design. Since the model was introduced in the mid-seventies, a large body of …

In this paper we introduce a formal approach to architectural design patterns based on an
object-oriented model integrated with a process-oriented method for describing the patterns …

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 …

Abstract We translate Entity-Relationship (ER) schemas into the object-oriented specification
language TROLL light. This language describes the Universe of Discourse (UoD) as a …

In this paper we present a formal approach of a new object-oriented design concept to
support reuse-in-the-large called Abstract Data Views (ADVs). The ADV approach was …

A single pushout approach to the transformation of attributed partial graphs based on
categories of partial algebras and partial morphisms is introduced. A sufficient condition for …

In the early phases of software development it seems profitable to freely mix semi-formal and
formal design techniques. Formal techniques have their strength in their ability to rigorously …

Within the KORSO project we have developed the object specification language TROLL light
which allows to describe the part of the world to be modeled as a community of concurrently …

In our project we are concerned with techniques for the development of reliable information
systems on the basis of their formal specification. Our work focuses on the specification …