This article reports on a case study in formal specification and verification. The task of the
case study was to develop a program for controlling a metal-processing industrial production …

In November 1998 the authors participated in a two-day workshop on the Object Constraint
Language (OCL) in Amsterdam. The focus was to clarify issues about the semantics and the …

The main aims of this thesis are to provide an approach to the parallel composition of graph
grammars and a semantics for graph grammars, called the unfolding semantics, in which the …

A number of formal specification languages for knowledge-based systems has been
developed. Characteristics for knowledge-based systems are a complex knowledge base …

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 specification language TROLL light is intended to be used for conceptual modeling of
information systems. It is designed to describe the Universe of Discourse (UoD) as a system …

This paper motivates and describes a logic-based approach to specifying and reasoning
about interfaces and objects that focuses on separation of concerns issues. The approach is …

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 …

The focus of this paper is the development of a formally based object-oriented modeling
formalism called oMmOLL by using features from mostly informal object-oriented modeling …

Inheritance is the main principle in object-oriented design methods to support structuring
and reuse of object behaviour descriptions. Most proposals restrict the formal use of …