Zur Spezifikation von Objektgesellschaften mit TROLL light / (1995)
Zugl.: Braunschweig, Techn. Universiẗat, Diss., 1994.
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
An Algebraic Semantics for the Object Specification Language TROLL light (1995)
. 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 existing and...
An Algebraic Development Technique for Information Systems (1995)
. This paper reports on successful application of algebraic ideas to the formal development of software systems, in particular information systems. It describes (1) a formalism, i.e., a language, for...
A Development Environment for an Object Specification Language (1995)
Martin Gogolla, Stefan Conrad, Grit Denker, Rudolf Herzig, Nikolaos Vlachantonis
Techniques for the development of reliable information systems on the basis of their formal specification are the main concern in our project. Our work focuses on the specification language TROLL...
An Animator For The Object Specification Language TROLL light (1995)
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 language TROLL...
Safe Derivations in Object Hierarchies (1995)
Stefan Conrad, Martin Gogolla, Rudolf Herzig
ABSTRACT. We present a language for specifying structure and behavior of objects in information systems. This language is restricted to a set of core concepts for conceptual modeling. But it includes...
Safe Derivations in Object Hierarchies (1995)
Stefan Conrad, Martin Gogolla, Rudolf Herzig
ABSTRACT. We present a language for specifying structure and behavior of objects in information systems. This language is restricted to a set of core concepts for conceptual modeling. But it includes...
Compositional description of object communities with TROLL light (1994)
Rudolf Herzig, Stefan Conrad, Martin Gogolla
. TROLL light is a language for the modeling of information systems. It is designed to describe the Universe of Discourse (UoD) as a system of concurrently existing and interacting objects. TROLL...
On a Better Formal Basis for Stating SQL-like Queries in Value- and Object-Based DBS (1994)
We present a formalism whose purpose is to serve as a rigid basis for describing SQL-like queries and constraints in context of both value- and object-based data models. The formalism, whose major...
From Object Specification to Enhanced Logic Programming (1994)
Martin Gogolla, Sedat Guler, Rudolf Herzig, Tu Braunschweig, Abt Datenbanken
We combine the area of object-oriented specification and object-oriented logic programming by indicating the translation of a specification language into an enhanced logic programming language. The...
A SQL-like Query Calculus for Object-Oriented Database Systems (1994)
. Currently much effort is being spent on providing objectoriented databases with ad hoc query facilities. In this paper we present a SQL-like query calculus whose major contribution lies in its...
TROLL light: A Core Language for Specifying Objects (1992)
Stefan Conrad, Martin Gogolla, Rudolf Herzig
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 interacting objects....
Transforming Conceptual Data Models into an Object Model (1992)
. In this paper a conceptually simple structural object model focusing on object types, attributes and ISA relationships is introduced. The model is derived mainly from an extended...