TROLL light: A Core Language for Specifying Objects (1992)
| Citations: | 40 - 20 self |
BibTeX
@TECHREPORT{Conrad92trolllight:,
author = {Stefan Conrad and Martin Gogolla and Rudolf Herzig},
title = {TROLL light: A Core Language for Specifying Objects},
institution = {},
year = {1992}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. 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 subobject relationships. Communication among objects is supported by event calling. Apart from introducing the various possibilities for the syntactical description of objects, we aim to describe how the state of an object community may be changed by event occurrences. 1 Introduction In recent years formal specification techniques have been receiving more and more attention (see for example [CHJ86, TM87, Win90]). Formal specifications are used for supporting the program an...
