Sketching concepts and computational model of TROLL light

  • Martin Gogolla
  • Stefan Conrad
  • Rudolf Herzig
Conference paper

DOI: 10.1007/BFb0013165

Volume 722 of the book series Lecture Notes in Computer Science (LNCS)
Cite this paper as:
Gogolla M., Conrad S., Herzig R. (1993) Sketching concepts and computational model of TROLL light. In: Miola A. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1993. Lecture Notes in Computer Science, vol 722. Springer, Berlin, Heidelberg

Abstract

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 of concurrently existing and interacting objects, i.e., an object community.

The first part of the present paper introduces the various language concepts offered by TROLL light. TROLL light objects have observable properties modeled by attributes, and the behavior of objects is described by events. Possible object observations may be restricted by constraints, whereas event occurrences may be restricted to specified life-cycles. TROLL light objects are organized in an object hierarchy established by sub-object relationships. Communication among objects is supported by event calling.

The second part of our paper outlines a simplified computational model for TROLL light. After introducing signatures for collections of object descriptions (or templates as they are called in TROLL light) we explain how single states of an object community are constructed. By parallel occurrence of a finite set of events the states of object communities change. The object community itself is regarded as a graph where the nodes are the object community states reachable from an initial state and the edges represent transitions between states.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag 1993

Authors and Affiliations

  • Martin Gogolla
    • 1
  • Stefan Conrad
    • 1
  • Rudolf Herzig
    • 1
  1. 1.Informatik, Abt. DatenbankenTechnische Universität BraunschweigBraunschweigGermany