Skip to main content
SpringerLink
Log in

Parameterizing object specifications

  • Conference paper
  • First Online:
Design and Implementation of Symbolic Computation Systems (DISCO 1996)

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

  • 127 Accesses

Abstract

We present a proposal for parameterized object specifications allowing especially objects sorts in the parameter. These object specifications permit to describe the part of the world to be modeled as an object community of concurrently existing and communicating objects. Our proposal for parameter passing works well on the syntactical level by means of a pushout construction. On the semantic level we use free constructions and corresponding forgetful functors.

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. E. Astesiano and E. Zucca. D-Oids: A Model for Dynamic Data-Types. Mathematical Structures in Computer Science, 1994.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

  5. H. Ehrig, H.-J. Kreowski, J. Thatcher, E. Wagner, and J. Wright. Parameter Passing in Algebraic Specification Languages. Theoretical Computer Science, 28:45–81, 1984.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  10. M. Gogolla, S. Conrad, and R. Herzig. Sketching Concepts and Computational Model of TROLL light. In A. Miola, editor, Proc. Srd Int. Conf. Design and Implementation of Symbolic Computation Systems (DISCO'93), pages 17–32. Springer, Berlin, LNCS 722, 1993.

    Google Scholar 

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

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

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

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

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

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

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

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

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

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  22. R. Jungclaus, T. Hartmann, G. Saake, and C. Sernadas. Introduction to TROLL — A Language for Object-Oriented Specification of Information Systems. In G. Saake and A. Sernadas, editors, Information Systems — Correctness and Reusability, pages 97–128. TU Braunschweig, Informatik Bericht 91-03, 1991.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  25. F. Parisi-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 

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

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

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

  29. 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. Fachbereich Mathematik und Informatik Arbeitsgruppe Datenbanksysteme, Universität Bremen, Postfach 330440, D-28334, Bremen, Germany

    Martin Gogolla

Authors
  1. Martin Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jacques Calmet Carla Limongelli

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gogolla, M. (1996). Parameterizing object specifications. In: Calmet, J., Limongelli, C. (eds) Design and Implementation of Symbolic Computation Systems. DISCO 1996. Lecture Notes in Computer Science, vol 1128. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-61697-7_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-61697-7_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61697-9

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation