A Validation System for Object Oriented Specifications of Information Systems

In this paper, we present a set of software tools for developing and validating object oriented conceptual models specified in TROLL. TROLL is a formal object-oriented language for modelling information systems on a high level of abstraction. The tools include editors, syntax and consistency checkers as well as an animator which generates executable prototypes from the models on the same level of abstraction. In this way, the model behaviour can be observed and checked against the informal user requirements. After a short introduction in some validation techniques and research questions, we describe briefly the TROLL language as well as its graphical version OMTROLL. We then explain the system architecture and show its functionalities by a simplified example of an industrial application which is called CATC (ComputerAided Testing and Certifying).

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

[2]  Cliff B. Jones,et al.  Specifications are not (necessarily) executable , 1989 .

[3]  Gunter Saake,et al.  OMTROLL - Object Modeling in Troll , 1993 .

[4]  Johann Eder,et al.  Advances in Databases and Information Systems , 1996, Workshops in Computing.

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

[6]  Chris Dollin,et al.  Object-oriented development: the fusion method , 1994 .

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

[8]  Grit Denker,et al.  Reification - Changing Viewpoint but Preserving Truth , 1995, COMPASS/ADT.

[9]  Jonathan P. Bowen,et al.  Ten Commandments of Formal Methods , 1995, Computer.

[10]  Pericles Loucopoulos,et al.  Visualisation for Validation , 1993, CAiSE.

[11]  Mojgan Kowsari,et al.  Specifying the Remote Control of Valves in an Explosion Test Environment , 1997, FME.

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

[13]  Mojgan Kowsari.  Formal Object Oriented Specification Language Troll in Information System Design , 1996 .

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

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

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

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

[18]  Grit Denker,et al.  Information Systems Modelling with TROLL Formal Methods at Work , 1997, Inf. Syst..

[19]  David Harel,et al.  On visual formalisms , 1988, CACM.

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

[21]  C. J. van Rijsbergen,et al.  Advances in Databases and Information Systems 1997 , 1997 .

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

[23]  John Krogstie,et al.  Validating Conceptual Models by Transformational Prototyping , 1993, CAiSE.

[24]  Amílcar Sernadas,et al.  Local Specification of Distributed Families of Sequential Objects , 1994, COMPASS/ADT.

[25]  Hans-Dieter Ehrich,et al.  Object Specification , 1999, Algebraic Foundations of Systems Specification.

[26]  Antoni Olivé,et al.  Validating Conceptual Specifications Through Model Execution , 1996, Inf. Syst..

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

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

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

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

[31]  Paul Mukherjee.  Computer-aided validation of formal specifications , 1995, Softw. Eng. J..

[32]  Grit Denker,et al.  Transactions in Object-Oriented Specifications , 1994, COMPASS/ADT.