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.
References
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.
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.
E. Becker. The Electronic HDMS-A Patient's Record — A TROLL light Case Study. Project Thesis, TU Braunschweig, 1993.
R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, Berlin, LNCS 562, 1991.
S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992.
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.
P. Dauchy and M.-C. Gaudel. Algebraic Specifications with Implicit State. Technical Report 887, Université de Paris-Sud, 1994.
O.-J. Dahl and O. Owe. Formal Development with ABEL. Technical Report 159, University of Oslo, 1991.
H.-D. Ehrich, editor. Beiträge zu KorSo-und TROLL light-Fallstudien. Technische Universität Braunschweig, Informatik-Bericht, 93-11, 1993.
H. Ehrig and F. Orejas. Dynamic Abstract Data Types: An Informal Proposal. EATCS Bulletin, 53:162–169, 1994.
ESDI. OBLOG CASE Version 1.0. Espirito Santo Data Informatica, Lisbon, Portugal, 1993.
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.
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.
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.
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.
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.
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.
G. Ghezzi, M. Jazayeri, and D. Mandrioli. Fundamentals of Software Engineering. Prentice Hall (NJ), 1991.
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.
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.
J. Hackauf and N. Hartmann. Specification of an Information System for Organizing Conferences — A TROLL light Case Study. Project Thesis, TU Braunschweig, 1994.
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.
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.
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.
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.
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.
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.
L.C. Paulson. Isabelle: The Next 700 Theorem Provers. In P. Odifreddi, editor, Logic and Computer Science, pages 361–385. Academic Press, 1990.
W. Reisig. Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science. Springer, Berlin, 1985.
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.
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.
M. Wirsing. Algebraic Specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 677–788. North-Holland, Amsterdam, 1990.
Author information
Authors and Affiliations
Editor information
Rights 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