Skip to main content
SpringerLink
Log in
Book cover

International Conference on Algebraic Methodology and Software Technology

AMAST 1995: Algebraic Methodology and Software Technology pp 446–460Cite as

An algebraic development technique for information systems

  • Refereed Contributions
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 936))

Abstract

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.

Work reported here has been partially supported by the CEC under Grant No. 6112 (COMPASS).

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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. 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. E. Becker. The Electronic HDMS-A Patient's Record — A TROLL light Case Study. Project Thesis, TU Braunschweig, 1993.

    Google Scholar 

  4. R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, Berlin, LNCS 562, 1991.

    Google Scholar 

  5. 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. 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. P. Dauchy and M.-C. Gaudel. Algebraic Specifications with Implicit State. Technical Report 887, Université de Paris-Sud, 1994.

    Google Scholar 

  8. O.-J. Dahl and O. Owe. Formal Development with ABEL. Technical Report 159, University of Oslo, 1991.

    Google Scholar 

  9. H.-D. Ehrich, editor. Beiträge zu KorSo-und TROLL light-Fallstudien. Technische Universität Braunschweig, Informatik-Bericht, 93-11, 1993.

    Google Scholar 

  10. H. Ehrig and F. Orejas. Dynamic Abstract Data Types: An Informal Proposal. EATCS Bulletin, 53:162–169, 1994.

    Google Scholar 

  11. ESDI. OBLOG CASE Version 1.0. Espirito Santo Data Informatica, Lisbon, Portugal, 1993.

    Google Scholar 

  12. 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. 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. 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. 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. 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. 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. G. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall (NJ), 1991.

    Google Scholar 

  19. 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. 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. 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. 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. 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. 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. 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. 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. 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. 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. W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.

    Google Scholar 

  30. 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. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Department for Mathematics and Informatics Database Systems Group, Bremen University, Postfach 330440, D-28334, Bremen, Germany

    Martin Gogolla & Rudolf Herzig

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Rudolf Herzig
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

V. S. Alagar Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gogolla, M., Herzig, R. (1995). An algebraic development technique for information systems. In: Alagar, V.S., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1995. Lecture Notes in Computer Science, vol 936. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60043-4_70

Download citation

  • DOI: https://doi.org/10.1007/3-540-60043-4_70

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60043-5

  • Online ISBN: 978-3-540-49410-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation