Skip to main content
SpringerLink
Log in
Book cover

Workshop on the Specification of Abstract Data Types

Workshop of the ESPRIT Basic Research Working Group COMPASS

ADT 1992, COMPASS 1992: Recent Trends in Data Type Specification pp 173–187Cite as

Translating TROLL light concepts to Maude

  • Contributed Papers
  • Conference paper
  • First Online:

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

Abstract

The specification language TROLL light is designed for the conceptual modeling of information systems. Maude is a logic programming language, which unifies the two paradigms of functional and concurrent object-oriented programming. Because of the very similar features offered by both languages, we present a translation from TROLL light concepts into the Maude language in order to compare the languages. Apart from presenting the translation, the languages are briefly described and illustrated by examples.

Work reported here was partially supported by CEC under ESPRIT-II Basic Research Working Group No. 6112 COMPASS, under ESPRIT BRA WG 6071 ISCORE, and by the German Ministry for Research and Technology (BMFT) under Grant No. ITS 9002 D/ 01 IS 203 D KORSO.

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

  2. D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors. VDM'90: VDM and Z — Formal Methods in Software Development. Springer, LNCS 428, 1990.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  5. S. Clerici, R. Jimenez, and F. Orejas. Semantic Constructions in the Specification Language GLIDER. Workshop on Abstract Data Types, 1992.

    Google Scholar 

  6. E. Dubois, P. Du Bois, A. Rifaut, and P. Wodan. GLIDER Manual. Facultés Universitaires de Namur, Namur (B), 1991. ICARUS Deliverable.

    Google Scholar 

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

    Google Scholar 

  8. H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen — Eine Einführung in die Theorie. Teubner, Stuttgart, 1989.

    Google Scholar 

  9. H.-D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their Specifica-tion. In M. Bidoit and C. Choppy, editors, Proc. 8th Workshop on Abstract Data Types (ADT'91), pages 40–65. Springer, Berlin, LNCS 655, 1992.

    Google Scholar 

  10. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equa-tions and Initial Semantics. Springer, Berlin, 1985.

    Google Scholar 

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

    Google Scholar 

  12. H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of Object-Orientation. In Proc. of the 2nd Workshop of “Informationssysteme und Künstliche Intelligenz: Modellierung”, Ulm (Germany), pages 1–19. Springer IFB 303, 1992.

    Google Scholar 

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

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

  15. J.A. Goguen and T. Winkler. Introducing OBJ3. Research Report SRI-CSL-88-9, SRI International, 1988.

    Google Scholar 

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

    Google Scholar 

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

    Google Scholar 

  18. C.B. Jones. Systematic Software Developing Using VDM. Prentice-Hall, Englewood Cliffs (NJ), 1986.

    Google Scholar 

  19. R. Jungclaus, G. Saake, T. Hartmann, and C. Sernadas. Object-Oriented Specification of Information Systems: The TROLL Language. Informatik-Biericht 91-04, TU Braunschweig, 1991.

    Google Scholar 

  20. J. Meseguer. A Logical Theory of Concurrent Objects and its Realization in the Maude Language. In G. Agha, P. Wegener, and A. Yonezawa, editors, Research Directions in Object-Based Concurrency. MIT Press, 1992. To appear.

    Google Scholar 

  21. J. Meseguer. Conditional Rewriting as a Unified Model of Concurrency. Theoretical Computer Science, 96(1):73–156, 1992.

    Google Scholar 

  22. R. Milner. A Calculus of Communicating Systems. Springer, Berlin, 1980.

    Google Scholar 

  23. Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems; Specification. Springer-Verlag, New York, 1991.

    Google Scholar 

  24. W. Reisig. Petri Nets: An Introduction. Springer, Berlin, 1985.

    Google Scholar 

  25. A. Sernadas and H.-D. Ehrich. What Is an Object, After All? In R. Meersman, W. Kent, and S. Khosla, editors, Object-Oriented Databases: Analysis, Design and Construction (Proc. 4th IFIP WC 2.6 Working Conference DS-4, Windermere (UK)), pages 39–70, Amsterdam, 1991. North-Holland.

    Google Scholar 

  26. A. Sernadas, C. Sernadas, P. Gouveia, P. Resende, and J. Gouveia. OBLOG — Object-Oriented Logic: An Informal Introduction. Technical report, INESC, Lisbon, 1991.

    Google Scholar 

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

  28. M. Wirsing. Algebraic Specification. In J. Van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pages 677–788. Elsevier, North-Holland, 1990.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik, Abt. Datenbanken, Technische Universität Braunschweig, Postfach 3329, D-38023, Braunschweig, Germany

    G. Denker & M. Gogolla

Authors
  1. G. Denker
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. M. Gogolla
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Hartmut Ehrig Fernando Orejas

Rights and permissions

Reprints and permissions

Copyright information

© 1994 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Denker, G., Gogolla, M. (1994). Translating TROLL light concepts to Maude. In: Ehrig, H., Orejas, F. (eds) Recent Trends in Data Type Specification. ADT COMPASS 1992 1992. Lecture Notes in Computer Science, vol 785. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57867-6_10

Download citation

  • DOI: https://doi.org/10.1007/3-540-57867-6_10

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-57867-3

  • Online ISBN: 978-3-540-48361-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation