INFORMATION-SYSTEMS MODELING WITH TROLL FORMAL METHODS AT WORK

In this paper we present a national project located in the area of com puter aided testing and certifying (CATC) of physical devices. The obj ective of this project is to develop an information system that suppor ts the various activities of different user groups in a German federal institute of weights and measures. We decided to use formal methods r ight from the beginning of the project. Our approach is based on the f ormal object oriented specification language TROLL. Starting point of the development is an abstract model of the organization which will se rve later on as a formal basis for implementation. We present parts of this specification and its relations with the underlying formal seman tics. The experiences we made so far are rather positive and we expect further positive effects in the future. (C) 1997 Elsevier Science Ltd .