An algebraic development technique for information systems

  • Martin Gogolla
  • Rudolf Herzig
Refereed Contributions Software Technology
Part of the Lecture Notes in Computer Science book series (LNCS, volume 936)


This paper reports on successful application of algebraic ideas to the formal development of software systems, in particular information systems. It describes (1) a formalism, i.e., a language, for the specification of information systems, (2) a method for the construction of specifications in this language, and (3) implemented and planned parts of a specification environment covering important phases of the software development process.


Algebraic and Logical Foundations Algebraic Methodologies for Languages and Systems, Concurrent and Reactive Systems Algebraic Approaches, Object Oriented Models, Software Technology Specification Languages and Tools, Integration of Pragmatic and Formal Methods 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AAR94]
    R. Achuthan, V.S. Alagar, and T. Radhakrishnan. An Object-Oriented Framework for Specifying Reactive Systems. In V.S. Alagar and R. Missaoui, editors, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), pages 18–30. Université du Quebéc à Montréal, 1994.Google Scholar
  2. [BBE+90]
    G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval, and N. Williams. Mondel: An Object-Oriented Specification Language. Département d'Informatique et de Recherche Opérationnelle, Publication 748, Université de Montréal, 1990.Google Scholar
  3. [Bec93]
    E. Becker. The Electronic HDMS-A Patient's Record — A TROLL light Case Study. Project Thesis, TU Braunschweig, 1993.Google Scholar
  4. [Bre91]
    R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, Berlin, LNCS 562, 1991.Google Scholar
  5. [CGH92]
    S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992.Google Scholar
  6. [CJO94]
    S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the Specification Language GLIDER. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification (WADT'92), pages 144–157. Springer, Berlin, LNCS 785, 1994.Google Scholar
  7. [DG94]
    P. Dauchy and M.-C. Gaudel. Algebraic Specifications with Implicit State. Technical Report 887, Université de Paris-Sud, 1994.Google Scholar
  8. [DO91]
    O.-J. Dahl and O. Owe. Formal Development with ABEL. Technical Report 159, University of Oslo, 1991.Google Scholar
  9. [Ehr93]
    H.-D. Ehrich, editor. Beiträge zu KorSo-und TROLL light-Fallstudien. Technische Universität Braunschweig, Informatik-Bericht, 93-11, 1993.Google Scholar
  10. [EO94]
    H. Ehrig and F. Orejas. Dynamic Abstract Data Types: An Informal Proposal. EATCS Bulletin, 53:162–169, 1994.Google Scholar
  11. [ESD93]
    ESDI. OBLOG CASE Version 1.0. Espirito Santo Data Informatica, Lisbon, Portugal, 1993.Google Scholar
  12. [Gab93]
    P. Gabriel. The Object-Based Specification Language Π: Concepts, Syntax, and Semantics. In M. Bidoit and C. Choppy, editors, Proc. 8th Workshop on Abstract Data Types (ADT'91), pages 254–270. Springer, Berlin, LNCS 655, 1993.Google Scholar
  13. [GC93]
    M. Gogolla and I. Claßen. An Object-Oriented Design for the ACT ONE Environment. In M. Nivat, C. Rattray, T. Rus, and G. Scollo, editors, Proc. 3rd Int. Conf. on Algebraic Methodology and Software Technology (AMAST'93), pages 361–368. Springer, London, Workshops in Computing, 1993.Google Scholar
  14. [GCH93]
    M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. 3rd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO '93), pages 17–32. Springer, Berlin, LNCS 722, 1993.Google Scholar
  15. [GD94]
    J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In H. Ehrig and F. Orejas, editors, Proc. 9th Workshop on Abstract Data Types (ADT'92), pages 1–29. Springer, Berlin, LNCS 785, 1994.Google Scholar
  16. [GH95]
    M. Gogolla and R. Herzig. An Algebraic Semantics for the Object Specification Language TROLL light. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Proc. 10th Workshop on Abstract Data Types (ADT'94), pages 288–304. Springer, Berlin, LNCS 906, 1995.Google Scholar
  17. [GHC+94]
    M. Gogolla, R. Herzig, S. Conrad, G. Denker, and N. Vlachantonis. Integrating the ER Approach in an OO Environment. In R. Elmasri, V. Kouramajian, and B. Thalheim, editors, Proc. 12th Int. Conf. on the Entity-Relationship Approach (ER'93), pages 376–389. Springer, Berlin, LNCS 823, 1994.Google Scholar
  18. [GJM91]
    G. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall (NJ), 1991.Google Scholar
  19. [GM87]
    J.A. Goguen and J. Meseguer. Unifying Functional, Object-Oriented and Relational Programming with Logical Semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417–477. MIT Press, 1987.Google Scholar
  20. [HG94]
    R. Herzig and M. Gogolla. A SQL-like Query Calculus for Object-Oriented Database Systems. In E. Bertino and S. Urban, editors, Proc. Int. Symp. on Object-Oriented Methodologies and Systems (ISOOMS'94), pages 20–39. Springer, Berlin, LNCS 858, 1994.Google Scholar
  21. [HH94]
    J. Hackauf and N. Hartmann. Specification of an Information System for Organizing Conferences — A TROLL light Case Study. Project Thesis, TU Braunschweig, 1994.Google Scholar
  22. [Hul89]
    R. Hull. Four Views of Complex Objects: A Sophisticate's Introduction. In S. Abiteboul, P.C. Fischer, and H.J. Schek, editors, Nested Relations and Complex Objects in Databases, Springer, Berlin, LNCS 361, pages 87–116, 1989.Google Scholar
  23. [HV94]
    R. Herzig and N. Vlachantonis. TROLL light — Specification with a Language for the Conceptual Modelling of Information Systems. In C. Lewerentz and T. Lindner, editors, Case Study “Production Cell”: A Comparative Study in Formal Specification and Verification, pages 231–239. FZI-Publication 1/94, FZI, Karlsruhe (Germany), 1994.Google Scholar
  24. [JSHS91]
    R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Bericht 91-04, Technische Universität Braunschweig, 1991.Google Scholar
  25. [LR89]
    C. Lécluse and P. Richard. Modeling Complex Structures in Object-Oriented Databases. In Proc. 8th ACM Symp. Principles of Database Systems, pages 360–368, 1989.Google Scholar
  26. [MQ93]
    J. Meseguer and X. Qian. Logic-Based Modeling of Dynamic Object Systems. In P. Bunemann and S. Jajodia, editors, Proc. of the 1993 ACM SIG-MOD Int. Conf. on Management of Data, pages 89–98. SIGMOD Record Vol. 22, Number 2, June 1993.Google Scholar
  27. [MR91]
    J. McDermid and P. Rook. Software Development Process Models. In J. McDermid, editor, Software Engineer's Reference Book, chapter 15, pages 15/1–15/36. Butterworth-Heinemann, Oxford, 1991.Google Scholar
  28. [Pau90]
    L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361–385. Academic Press, 1990.Google Scholar
  29. [Rei85]
    W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.Google Scholar
  30. [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
  31. [Wie91]
    R. Wieringa. Equational Specification of Dynamic Objects. In R.A. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design & Construction (DS-4), Proc. IFIP WG 2.6 Working Conference, Windermere (UK) 1990, pages 415–438. North-Holland, 1991.Google Scholar
  32. [Wir90]
    M. Wirsing. Algebraic Specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 677–788. North-Holland, Amsterdam, 1990.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Martin Gogolla
    • 1
  • Rudolf Herzig
    • 1
  1. 1.Department for Mathematics and Informatics Database Systems GroupBremen UniversityBremenGermany

Personalised recommendations