R. Jungclaus et al., TROLL - A LANGUAGE FOR OBJECT-ORIENTED SPECIFICATION OF INFORMATION-SYSTEMS, ACM transactions on information systems, 14(2), 1996, pp. 175-211
Citations number
66
Categorie Soggetti
Information Science & Library Science","Computer Science Information Systems
TROLL is a language particularly suited for the early stages of inform
ation system development, when the universe of discourse must be descr
ibed. In TROLL the descriptions of the static and dynamic aspects of e
ntities are integrated into object descriptions. Sublanguages for data
terms, for first-order and temporal assertions, and for processes, ar
e used to describe respectively the static properties, the behavior, a
nd the evolution over time of objects. TROLL organizes system design t
hrough object-orientation and the support of abstractions such as clas
sification, specialization, roles, and aggregation. Language features
for state interactions and dependencies among components support the c
omposition of the system from smaller modules, as does the facility of
defining interfaces on top of object descriptions.