TROLL
- 1 April 1996
- journal article
- Published by Association for Computing Machinery (ACM) in ACM Transactions on Information Systems
- Vol. 14 (2) , 175-211
- https://doi.org/10.1145/226163.226166
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 are 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 for state interactions and dependencies among components support the composition of the system from smaller modules, as does the facility of defining interfaces on top of object descriptions.Keywords
This publication has 18 references indexed in Scilit:
- O-O Requirements Analysis: an Agent PerspectivePublished by Springer Nature ,1993
- Conceptual modelling of database applications using an extended ER modelData & Knowledge Engineering, 1992
- A categorial theory of objects as observed processesPublished by Springer Nature ,1991
- A formal approach to object-oriented databasesData & Knowledge Engineering, 1990
- Temporal and Modal LogicPublished by Elsevier ,1990
- Logics of Modal Terms for Systems SpecificationJournal of Logic and Computation, 1990
- Semantic database modeling: survey, applications, and research issuesACM Computing Surveys, 1987
- Knowledge Representation and ReasoningAnnual Review of Computer Science, 1986
- Features Of Languages for the Development of Information Systems at the conceptual LevelIEEE Software, 1985
- Extending the database relational model to capture more meaningACM Transactions on Database Systems, 1979