An Animation System for Validating Object-Oriented Conceptual Models

The validation of conceptual models is an important task with the aim of checking whether the model correctly and adequately expresses the requirements informally stated by the users. Diierent techniques and tools have been developed to support this task. In this paper and as part of a doctoral work, we propose an animation tool for an object oriented modelling language. This tool generates executable speciications from conceptual model speciications on the same level of abstraction. In this way, the model behaviour can be observed and checked against the intended requirements. We introduce the modelling language, the functionalities of the animation system and its architecture.

[1]  Norbert E. Fuchs.  Specifications are (preferably) executable , 1992, Softw. Eng. J..

[2]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[3]  Peter Hartel.  Konzeptionelle Modellierung von Informationssystemen als verteilte Objektsysteme , 1997, DISDBIS.

[4]  Colette Rolland,et al.  A Natural Language Approach for Requirements Engineering , 1992, CAiSE.

[5]  Grit Denker,et al.  Developing an Information System Using TROLL: An Application Field Study , 1996, CAiSE.

[6]  Peter Gorm Larsen,et al.  Standards for Non- Executable Specification Languages , 1992, Comput. J..

[7]  Hans-Dieter Ehrich,et al.  Temporal Specification of Information Systems , 1996 .

[8]  Eric Dubois,et al.  Animating Formal Requirements Specifications of Cooperative Information Systems , 1994, International Conference on Cooperative Information Systems.

[9]  Gunter Saake,et al.  Animation Support for a Conceptual Modelling Language , 1993, DEXA.

[10]  Hercules Dalianis.  A Method for Validating a Conceptual Model by Natural Language Discourse Generation , 1992, CAiSE.

[11]  W. J. Kubitz,et al.  Biting the silver bullet: toward a brighter future for system development , 1992 .

[12]  Jonathan P. Bowen,et al.  Applications of Formal Methods , 1995 .

[13]  Jon Atle Gulla,et al.  A general explanation component for conceptual modeling in CASE environments , 1996, TOIS.

[14]  Martin Gogolla,et al.  A Development Environment for an Object Specification Language , 1995, IEEE Trans. Knowl. Data Eng..

[15]  Gunter Saake,et al.  Combining TROLL with the Object Modeling Technique , 1994, GI Jahrestagung.