DocumentCode :
2824558
Title :
A Web-based animator for validating object specifications
Author :
Richters, Mark ; Gogolla, Martin
Author_Institution :
Fachbereich Math. und Inf., Bremen Univ., Germany
fYear :
1997
fDate :
25-27 Aug 1997
Firstpage :
211
Lastpage :
219
Abstract :
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
Keywords :
Internet; computer animation; formal specification; object-oriented languages; object-oriented programming; program verification; specification languages; visual programming; Web based animator; Web based user interface; animation tool; car rental company; conceptual model; dynamic behaviour; dynamic characteristics; information systems development; object descriptions; object specification language TROLL light; object specification validation; persistent programming environment; real world entities; structural properties; Animation; Data models; Design engineering; Formal specifications; Information systems; Object oriented modeling; Prototypes; Security; Specification languages; System testing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Database Engineering and Applications Symposium, 1997. IDEAS '97. Proceedings., International
Conference_Location :
Montreal, Que.
ISSN :
1098-8068
Print_ISBN :
0-8186-8114-4
Type :
conf
DOI :
10.1109/IDEAS.1997.625677
Filename :
625677
Link To Document :
بازگشت