Object-oriented modeling and design
Object-oriented modeling and design
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
On formal requirements modeling languages: RML revisited
ICSE '94 Proceedings of the 16th international conference on Software engineering
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development
Conceptual Modeling, Databases, and Case: An Integrated View of Information Systems Development
Orthogonally persistent object systems
The VLDB Journal — The International Journal on Very Large Data Bases - Persistent object systems
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
The Object-Based Specification Language PI: Concepts, Syntax, and Semantics
Selected papers from the 8th Workshop on Specification of Abstract Data Types Joint with the 3rd COMPASS Workshop on Recent Trends in Data Type Specification
O-O Requirements Analysis: an Agent Perspective
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
Sketching Concepts and Computational Model of TROLL light
DISCO '93 Proceedings of the International Symposium on Design and Implementation of Symbolic Computation Systems
Hi-index | 0.00 |
One of the central tasks in developing information systems is the specification of desired system properties. We use the object specification language TROLL light to formalize the conceptual model of a system. A TROLL light specification describes structural as well as dynamic characteristics of objects representing real-world entities. For validating specifications, we have developed an animation tool allowing us to reflect structural properties and dynamic behavior The main concepts of the animator are illustrated by a working example. We present a simple specification of a car rental company and describe some of the steps pegormed during a typical animation session. The animation allows to check whether desired properties are fulfilled by the given object descriptions. Finally, some design and implementation issues regarding the utilized persistent programming environment and the Web-based user interface are discussed.