Developing an Information System using Troll — an application field study

Abstract

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.

Logics for Databases and Information Systems

“…Finally, a ThOLL3/oMThOLL application study is being performed for developing an information system within the German national institute for weights and measures, cf. section 6.6 above, and also [KKH+96;HDK+97].…”

A Validation System for Object-Oriented Specifications of Information Systems

“…Because of the huge amount of data a standardized archive and catalogue of all existing certificates of explosion proof equipment is planned which will be integrated in a software package called CATC (Computer Aided Testing and Certifying). Since 1994, the design and modelling of CATC is the long-term aim of the cooperation between the PTB and the database group of the Technical University of Braunschweig [25,24,19,33]. As now, we have not applied any tool support to the modelling process of our system.…”

Η Προδιαγραφη Της Δυναμικης Πληροφοριακων Συστηματων Μεσω Αντικειμενων Κανονωνκαι Δικτυων Petri

“…1982], ], [Bubenko 1986], [Tse & Pong 1989]) θ. τυπικότητα ([Hoare 1972], [Yeh 1982], [Tse & Pong 1989], [Hall 1990], [Jones 1990], [Remmener 1990], [Wing 1990], [Fraser κ.ά. 1991], [Sommerville 1992], [Krone κ.ά. 1996])…”