Authors: R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas

Title: TROLL - A Language for Object-Oriented Specification of Information Systems

Abstract

TROLL is a language particularly suited for the early stages of information system development, when the universe of discourse must be described. In TROLL, the descriptions of the static and dynamic aspects of entities is integrated into object descriptions. Sublanguages for data terms, for first-order and temporal assertions, and for processes, are used to describe respectively the static properties, the behavior, and the evolution over time of objects.

TROLL organizes system design through object-orientation and the support of abstractions such as classification, specialization, roles, and aggregation. Language features to state interactions and dependencies between components support the composition of the system from smaller modules, as does the facility of defining interfaces on top of object descriptions.