Developing an Information System Using TROLL: An Application Field Study

In this paper we present a national project located in the area of computer aided testing and certifying (CATC) of physical devices. The objective of this project is to develop an Information System that supports the various activities of different user groups in a German federal institute of weights and measures. We decided to use formal methods right from the beginning of the project. Our approach is based on the formal object oriented specification language Troll. Starting point of the development is an abstract model of the organization which will serve later on as a formal basis for implementation. We present parts of this specification and its relations with the underlying formal semantics. The experiences we made so far are rather positive and we expect further effects in the future.

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

[2]  Miquel Bertran,et al.  FME '94: Industrial Benefit of Formal Methods , 1994, Lecture Notes in Computer Science.

[3]  Gunter Saake,et al.  Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment , 1995, DEXA.

[4]  Jan Paredaens,et al.  Advances in database systems : implementations and applications , 1994 .

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

[6]  Rudolf Herzig.  Zur Spezifikation von Objektgesellschaften mit TROLL light , 1995 .

[7]  Klaus R. Dittrich,et al.  Advances in Object-Oriented Database Systems , 1988, Lecture Notes in Computer Science.

[8]  Klaus-Dieter Schewe,et al.  On the Derivation of Executable Database Programs from Formal Specifications , 1993, FME.

[9]  Frederick P. Brooks,et al.  No Silver Bullet: Essence and Accidents of Software Engineering , 1987 .

[10]  Cristina Sernadas,et al.  Object-Oriented Specification of Databases: An Algebraic Approach , 1987, VLDB.

[11]  Peter Hartel,et al.  Modeling Business Processes Over Object , 1995, Int. J. Cooperative Inf. Syst..

[12]  Cristina Sernadas,et al.  Abstract Object Types for Databases , 1988, OODBS.

[13]  Grit Denker,et al.  Action Reification In Object-Oriented Specification , 1995 .

[14]  Peter Hartel,et al.  Ein Fallbeispiel zur Evaluation einer Objektorientierten Methodik , 1995, Grundlagen von Datenbanken.

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

[16]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

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

[18]  J. E. Nicholls,et al.  Z User Workshop , 1990, Workshops in Computing.

[19]  Gunter Saake,et al.  Specification of Database Applications in the TROLL Language , 1992, Specifications of Database Systems.

[20]  J. van Katwijk,et al.  VDM++, a formal specification language for object-oriented designs , 1992, CompEuro 1992 Proceedings Computer Systems and Software Engineering.

[21]  Ana Cavalcanti,et al.  Modular Object-oriented Z Specifications , 1990, Z User Workshop.

[22]  Gunter Saake,et al.  Application Modelling in Heterogeneous Environments Using an Object Specification Language , 1993, Int. J. Cooperative Inf. Syst..

[23]  Gunter Saake,et al.  TROLL: a language for object-oriented specification of information systems , 1996, TOIS.

[24]  Th. Grewer.  Handbuch für Explosionsschutz. Aus der BBC‐Faohbuchreihe. Von H. Olenik, H. Rentzsch u. W. Wettstein. Verlag W. Girardet, Essen 1971. 1. Aufl., XII, 704 S., zahlr. Abb. u. Tab., Ln. DM 59,–. , 1972 .

[25]  Cliff B. Jones,et al.  Systematic software development using VDM , 1986, Prentice Hall International Series in Computer Science.

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

[27]  Jonathan P. Bowen,et al.  The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective , 1993, FME.

[28]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[29]  Jim Woodcock,et al.  FME '93: Industrial-Strength Formal Methods , 1993, Lecture Notes in Computer Science.

[30]  Martin Gogolla,et al.  Towards a semantic view of an extended entity-relationship model , 1991, TODS.

[31]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[32]  Jonathan P. Bowen,et al.  Seven More Myths of Formal Methods , 1994, FME.

[33]  Amílcar Sernadas,et al.  Object-Oriented Design of Information Systems: Theoretical Foundations , 1993, CISM - Advances in Database Systems.