A Web-based animator for validating object specifications
Tóm tắt
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 behaviour. 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 performed during a typical animation session. The animation allows us 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.
Từ khóa
#Animation #Object oriented modeling #Information systems #Prototypes #Specification languages #System testing #Formal specifications #Design engineering #Data models #SecurityTài liệu tham khảo
10.1007/BFb0013165
10.1109/ICSE.1994.296773
herzig, 1994, Proc Basque Int Workshop on Information Technology (BIWIT'94) Information Systems Design and Hypermedia, 183
jungclaus, 1991, Informatik-Bericht 91-04
koubarakis, 1988, TELOS A Knowledge Representation Language for Requirements Modelling
loucopoulos, 1992, Conceptual Modeling Databases and Case An Integrated View of Information Systems Development, 1
10.1007/978-3-642-84948-0
matthes, 1997, The Tycoon Project
matthes, 1995, Fully Integrated Data Environments
1997, Unified Modeling Language (UML)
booch, 1994, Object-Oriented Analysis and Design with Applications
bochmann, 1990, D�partement d'Informatique et de Recherche Op�rationnelle
10.1145/320434.320440
1996, The Object Database Standard ODMG-93
dubois, 1993, ECOOP? 99 ? Object-Oriented Programming, 707, 458, 10.1007/3-540-47910-4_23
conrad, 1992, Informatik-Be-richt 92-02
10.1007/BF01231642
10.1093/comjnl/26.4.360
10.1007/3-540-56379-2_44
rumbaugh, 1991, Object-Oriented Modeling and Design
wieringa, 1991, Object-Oriented Databases Analysis Design & Construction (DS-4) Proc IFIP WG2 6 Working Conference Windermere (UK) 1990, 415
sernadas, 1987, Proc 13th Int Conf on Very Large Data Bases (VLDB), 107