Skip to main content
SpringerLink
Log in

An algebraic semantics for the object specification language TROLL light

  • Contributed Papers
  • Conference paper
  • First Online:
Recent Trends in Data Type Specification (ADT 1994, COMPASS 1994)

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

Abstract

Within the KORSO project we have developed the object specification language TROLL light which allows to describe the part of the world to be modeled as a community of concurrently existing and communicating objects. Recently, we have worked out the basic notions of a pure algebraic semantics for our language. The main underlying idea is to present a transition system where the states represent the states of the specified information system, and state transitions are caused by the occurrence of finite sets of events. This semantics is formulated by representing states and state transitions as algebras. The various constructs of TROLL light are unified to general axioms restricting the possible interpretations for TROLL light object descriptions.

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 to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

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 Quebec à Montréal, 1994.

    Google Scholar 

  2. E. Astesiano and E. Zucca. D-Oids: A Model for Dynamic Data-Types. Mathematical Structures in Computer Science, 1994.

    Google Scholar 

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

  4. J.A. Bergstra, J. Heering, and J.W. Klop. Object-Oriented Algebraic Specification: Proposal for a Notation and 12 Examples. Technical Report CS-R8411, CWI, Department of Computer Science, Amsterdam, 1984.

    Google Scholar 

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

    Google Scholar 

  6. S. Conrad, M. Gogolla, and R. Herzig. TROLL light: A Core Language for Specifying Objects. Informatik-Bericht 92-02, TU Braunschweig, 1992.

    Google Scholar 

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

  8. P. Dauchy and M.-C. Gaudel. Algebraic Specifications with Implicit State. Technical Report 887, Université de Paris-Sud, 1994.

    Google Scholar 

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

    Google Scholar 

  10. H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing Systems as Object Communities. In M.-C. Gaudel and J.-P. Jouannaud, editors, Proc. Theory and Practice of Software Development (TAPSOFT'93), pages 453–467. Springer, Berlin, LNCS 668, 1993.

    Google Scholar 

  11. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Berlin, 1985.

    Google Scholar 

  12. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules and Constraints. Springer, Berlin, 1990.

    Google Scholar 

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

    Google Scholar 

  14. H. Ehrig and H. Weber. Algebraic Specification of Modules. In E.J. Neuhold and G. Chroust, editors, Formal Models in Programming — Proc. of the IFIP TC2 Working Conf. on the Role of Abstract Models in Information Processing, pages 231–258. North-Holland, Amsterdam, 1985.

    Google Scholar 

  15. J. Fiadeiro and T. Maibaum. Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects of Computing, 4(3):239–272, 1992.

    Article  Google Scholar 

  16. P. Gabriel. The Object-Based Specification Language II: Concepts, Syntax, and Semantics. In M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification (WADT'91), pages 254–270. Springer, LNCS 655, 1993.

    Google Scholar 

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

  18. J.A. Goguen and R. Diaconescu. Towards an Algebraic Semantics for the Object Paradigm. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification (WADT'92), pages 1–29. Springer, LNCS 785, 1994.

    Google Scholar 

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

  20. G. Gottlob, G. Kappel, and M. Schrefl. Semantics of Object-Oriented Data Models — The Evolving Algebra Approach. In J.W. Schmidt and A.A. Stogny, editors, Proc. 1st Int. East-West Database Workshop, pages 144–160. Springer, Berlin, LNCS 504, 1991.

    Google Scholar 

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

  22. M. Gogolla. Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach. In J. Diaz and F. Orejas, editors, Proc. Theory and Practice of Software Development (TAPSOFT'89), pages 259–274. Springer, Berlin, LNCS 351, 1989.

    Google Scholar 

  23. M. Grosse-Rhode. Towards Object-Oriented Algebraic Specifications. In H. Ehrig, K.P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification (WADT'90), pages 98–116. Springer, Berlin, LNCS 534, 1991.

    Google Scholar 

  24. Y. Gurevich. Logic and the Challenge of Computer Science. In E. Börger, editor, Trends in Theoretical Computer Science, pages 1–57. Computer Science Press, Rockville (MD), 1988.

    Google Scholar 

  25. M. Gogolla, N. Viachantonis, R. Herzig, G. Denker, S. Conrad, and H.-D. Ehrich. The KORSO Approach to the Development of Reliable Information Systems. Technical Report 94-06, TU Braunschweig, 1994.

    Google Scholar 

  26. R. Herzig, S. Conrad, and M. Gogolla. Compositional Description of Object Communities with TROLL light. In C. Chrisment, editor, Proc. Basque Int. Workshop on Information Technology (BIWIT'94), pages 183–194. Cépaduès-Éditions, Toulouse, 1994.

    Google Scholar 

  27. M. Hennessy. Algebraic Theory of Processes. MIT Press, Cambridge (MA), 1988.

    Google Scholar 

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

  29. R. Herzig and M. Gogolla. An Animator for the Object Specification Language TROLL light. In V.S. Alagar and R. Missaoui, editors, Proc. Colloquium on Object Orientation in Databases and Software Engineering (COODBSE'94), pages 4–17. Université du Quebéc à Montréal, 1994.

    Google Scholar 

  30. R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, 1987.

    Article  Google Scholar 

  31. C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (NJ), 1985.

    Google Scholar 

  32. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. InformatikBericht 91-04, Technische Universität Braunschweig, 1991.

    Google Scholar 

  33. R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs (NJ), 1989.

    Google Scholar 

  34. J. Peckham and F. Maryanski. Semantic Data Models. ACM Computing Surveys, 20(3):153–189, 1988.

    Article  Google Scholar 

  35. F. Paxisi-Presicce and A. Pierantonio. Structured Inheritance for Algebraic Class Specifications. In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification (WADT'92), pages 295–309. Springer, Berlin, LNCS 785, 1994.

    Google Scholar 

  36. G. Reggio. Entities: An Institution for Dynamic Systems. In H. Ehrig, K.P. Jantke, F. Orejas, and H. Reichel, editors, Recent Trends in Data Type Specification (WADT'90), pages 246–265. Springer, LNCS 534, 1991.

    Google Scholar 

  37. H. Reichel. An Approach to Object Semantics Based on Terminal Co-Algebras. Mathematical Structures in Computer Science, 1994.

    Google Scholar 

  38. A. Sernadas, C. Sernadas, and J.F. Costa. Object Specification Logic. Internal Report, INESC, University of Lisbon, 1992. To appear in Journal of Logic and Computation.

    Google Scholar 

  39. A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-Oriented Specification of Databases: An Algebraic Approach. In P.M. Stocker and W. Kent, editors, Proc. 13th Int. Conf. on Very Large Data Bases (VLDB'87), pages 107–116. Morgan-Kaufmann, Palo Alto, 1987.

    Google Scholar 

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

  41. 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. FB Mathematik und Informatik AG Datenbanksysteme, Universität Bremen, 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

Egidio Astesiano Gianna Reggio Andrzej Tarlecki

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 semantics for the object specification language TROLL light . In: Astesiano, E., Reggio, G., Tarlecki, A. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1994 1994. Lecture Notes in Computer Science, vol 906. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014434

Download citation

  • DOI: https://doi.org/10.1007/BFb0014434

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-59132-0

  • Online ISBN: 978-3-540-49198-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation