Developing an Information System using Troll — an application field study

  • M. Krone
  • M. Kowsari
  • P. Hartel
  • G. Denker
  • H. -D. Ehrich
Experience Reports
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1080)


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.


object oriented specification case study information system information modelling requirements engineering formal method 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BH94]
    J.P Bowen and M.G. Hinchey. Seven More Myths of Formal Methods: Dispelling Industrial Prejudices. In M. Naftalin, T. Denvir, and M. Bertrani, editors, FME'94: Industrial Benefit of Formal Methods, pages 105–117. LNCS 873, Springer, Berlin, 1994.Google Scholar
  2. [Bro87]
    F.P. Brooks. No Silver Bullet — Essence and Accidents of Software Engineering. IEEE Computer, 20(4):10–19, Apr. 1987.Google Scholar
  3. [BS93]
    J. Bowen and V. Stavridou. The Industrial Take-up of Formal Methods in Safety-Critical and Other Areas: A Perspective. In [WL93], pages 183–195, 1993.Google Scholar
  4. [CAB+94]
    D. Coleman, P. Arnold, S. Bodoff, S. Dollin, H. Gilchrist, F. Hayes, and P. Jeremes. Object-oriented Development — The Fusion Method. Prentice-Hall, 1994.Google Scholar
  5. [Dan95]
    C. Danker. Transformation of Trollobject specifications into schema of relational databases. Diploma Thesis at Techn. Univ. Braunschweig, 1995.Google Scholar
  6. [DE95]
    G. Denker and H.-D. Ehrich. Action Reification In Object Oriented Specification. In R. J. Wieringa and R. B. Feenstra, editors, Information Systems — Correctness and Reusability, Selected Papers from the ISCORE Workshop, pages 103–118. World Scientific, 1995.Google Scholar
  7. [DK92]
    E.H. Dürr and J.v. Katwijk. VDM++, A formal specification language for object-oriented design. In Proceedings of TOOLS7 (Technology of objectoriented languages and systems). Prentice-Hall, 1992.Google Scholar
  8. [EJDS94]
    H.-D. Ehrich, R. Jungclaus, G. Denker, and A. Sernadas. Object-Oriented Design of Information Systems: Theoretical Foundations. In J. Paredaens and L. Tenenbaum, editors, Advances in Database Systems, Implementations and Applications, pages 201–218. Springer Verlag, Wien, CISM Courses and Lectures no. 347, 1994.Google Scholar
  9. [EN 78a]
    VDE: EN 50014 Elektrische Betriebsmittel für explosionsgefährdete Bereiche — Allgemeine Bestimmung. VDE-Verlag, 1978.Google Scholar
  10. [EN 78b]
    VDE: EN 50018 Elektrische Betriebsmittel für explosionsgefährdete Bereiche — druckfeste Kapselung’ . VDE-Verlag, 1978.Google Scholar
  11. [ES95]
    H.-D. Ehrich and A. Sernadas. Local Specification of Distributed Families of Sequential Objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent Trends in Data Types Specification, Proc. 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, S.Margherita, Italy, May/June 1994, Selected papers, pages 219–235. Springer, Berlin, LNCS 906, 1995.Google Scholar
  12. [Esp93]
    Espirito Santo Data Informatica, Lisbon. OBLOG CASE V1.0 — The User's Guide, 1993.Google Scholar
  13. [ESS88]
    H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract Object Types for Databases. In K. R. Dittrich, editor, Advances in Object-Oriented Database Systems, pages 144–149, Bad Münster am Stein, 1988. LNCS 334, Springer, Berlin, 1988.Google Scholar
  14. [GH91]
    M. Gogolla and U. Hohenstein. Towards a Semantic View of an Extended Entity-Relationship Model. ACM Transactions on Database Systems, 16(3):369–416, 1991.Google Scholar
  15. [GSW93]
    T. Günther, K.-D Schewe, and I. Wetzel. On the Derivation of Executable Database Programs from Formal Specifications. In [WL93], pages 351–366, 1993.Google Scholar
  16. [Har88]
    D. Harel. On visual formalisms. Communications of the ACM, 31(5):514–530, 1988.Google Scholar
  17. [Har95]
    T. Hartmann. Entwurf einer Sprache für die verhaltensorientierte konzeptionelle Modellierung von Informationssystemen. Reihe DISBD. infix-Verlag, Sankt Augustin, 1995. To appear. Google Scholar
  18. [Her95]
    R. Herzig. Zur Spezifikation von Objektgesellschaften mit TROLL light. Fortschritt-Berichte Reihe 10, Nr. 336. VDI-Verlag, Düsseldorf, 1995.Google Scholar
  19. [HJ95]
    P. Hartel and R. Jungclaus. Modeling Business Processes over Objects. Int. Journal of Intelligent and Cooperative Information Systems, 1995. To appear. Google Scholar
  20. [HO71]
    W. Wettisch, H. Olenik, H. Rentzsch. Handbuch für den Explosionsschutz. W.Girardet, Zürich, 1971.Google Scholar
  21. [Hoa85]
    C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs, NJ, 1985.Google Scholar
  22. [HS94]
    T. Hohnsbein and H. Schafiee. Reengineering des Programms DRUCKMESS in der PTB. Doppelstudienarbeit an der Universität Braunschweig, Abt.Datenbanken, 1994.Google Scholar
  23. [Jac92]
    I. Jacobson. Object-Oriented Software Engineering. Addison-Wesley, Reading, MA, 1992.Google Scholar
  24. [JB87]
    H. Rechenberg J. Bortfeld, W. Hanser. 100 Jahre Physikalisch-Technische Reichsanstalt/Bundesanstalt 1887–1987. VCH Verlagsgesllschaft, München, 1987.Google Scholar
  25. [Jon89]
    C.B. Jones. Systematic Software Development using VDM. Prentice-Hall, Englewood Cliffs, NJ, 1989.Google Scholar
  26. [JSHS96]
    R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Troll — A Language for Object-Oriented Specification of Information Systems. ACM Transactions on Information Systems, 1996. To appear. Google Scholar
  27. [JWH+94]
    R. Jungclaus, R.J. Wieringa, P. Hartel, G. Saake, and T. Hartmann. Combining Troll with the Object Modeling Technique. In B. Wolfinger, editor, Innovationen bei Rechen-und Kommunikationssystemen. GI-Fachgespräch FG 1: Integration von semi-formalen und formalen Methoden für die Spezifikation von Software, pages 35–42. Springer, Informatik aktuell, 1994.Google Scholar
  28. [KH95]
    M. Kowsari and P. Hartel. Ein Fallbeispiel zur Evaluation einer Objektorientierten Methodik. In C. Eckert, H.J. Klein, and T. Polle, editors, 7. Workshop Grundlagen von Datenbanken, pages 88–93. Universität Hildesheim Institut für Informatik, Juni 1995.Google Scholar
  29. [KHHS95]
    J. Kusch, P. Hartel, T Hartmann, and G. Saake. Gaining a Uniform View of Different Integration Aspects in a Prototyping Environment. In Proc. 6th Int. Conf. on Database and Expert Systems Applications (DEXA '95), pages 38–47. Springer Verlag, Berlin, LNCS 978, 1995.Google Scholar
  30. [MC90]
    S.L. Meira and A.L.C. Cavalcanti. Modular Object-Oriented Z Specifications. In Z User workshop, Oxford. Springer-Verlag, 1990.Google Scholar
  31. [RBP+91]
    J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, NJ, 1991.Google Scholar
  32. [SJ92]
    G. Saake and R. Jungclaus. Specification of Database Applications in the TROLL-Language. In D. Harper and M. Norrie, editors Proc. Int. Workshop Specification of Database Systems Glasgow, July 1991, pages 228–245. Springer, London, 1992.Google Scholar
  33. [SJH93]
    G. Saake, R. Jungclaus, and T. Hartmann. Application Modelling in Heterogeneous Environments using an Object Specification Language. Int. Journal of Intelligent and Cooperative Information Systems, 2(4):425–449, 1993.Google Scholar
  34. [Spi89]
    J.M. Spivey. The Z notation — a reference manual. Prentice-Hall, Englewood Cliffs, NJ, 1989.Google Scholar
  35. [SSE87]
    A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stoecker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Databases VLDB'87, pages 107–116. VLDB Endowment Press, Saratoga (CA), 1987.Google Scholar
  36. [WL93]
    J.C.P Woodcock and P.G. Larsen, editors. FME'93: Industrial-Strength Formal Methods. LNCS 670, Springer, Berlin, 1993.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • M. Krone
    • 1
  • M. Kowsari
    • 1
  • P. Hartel
    • 1
  • G. Denker
    • 1
  • H. -D. Ehrich
    • 1
  1. 1.Informatik, Abt. DatenbankenTechnische Universität BraunschweigBraunschweigGermany

Personalised recommendations