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.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
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.
Preview
Unable to display preview. Download preview PDF.
References
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.
D. Bjorner, C.A.R. Hoare, and H. Langmaack, editors. VDM'90: VDM and Z — Formal Methods in Software Development. Springer, LNCS 428, 1990.
R. Breu. Algebraic Specification Techniques in Object Oriented Programming Environments. Springer, 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. Workshop on Abstract Data Types, 1992.
E. Dubois, P. Du Bois, A. Rifaut, and P. Wodan. GLIDER Manual. Facultés Universitaires de Namur, Namur (B), 1991. ICARUS Deliverable.
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.
H.-D. Ehrich, M. Gogolla, and U.W. Lipeck. Algebraische Spezifikation abstrakter Datentypen — Eine Einführung in die Theorie. Teubner, Stuttgart, 1989.
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.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equa-tions and Initial Semantics. Springer, Berlin, 1985.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 2: Modules and Constraints. Springer, Berlin, 1990.
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.
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 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.
J.A. Goguen and T. Winkler. Introducing OBJ3. Research Report SRI-CSL-88-9, SRI International, 1988.
R. Hull and R. King. Semantic Database Modelling: Survey, Applications, and Research Issues. ACM Computing Surveys, 19(3):201–260, 1987.
C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (NJ), 1985.
C.B. Jones. Systematic Software Developing Using VDM. Prentice-Hall, Englewood Cliffs (NJ), 1986.
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.
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.
J. Meseguer. Conditional Rewriting as a Unified Model of Concurrency. Theoretical Computer Science, 96(1):73–156, 1992.
R. Milner. A Calculus of Communicating Systems. Springer, Berlin, 1980.
Z. Manna and A. Pnueli. The Temporal Logic of Reactive and Concurrent Systems; Specification. Springer-Verlag, New York, 1991.
W. Reisig. Petri Nets: An Introduction. Springer, Berlin, 1985.
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.
A. Sernadas, C. Sernadas, P. Gouveia, P. Resende, and J. Gouveia. OBLOG — Object-Oriented Logic: An Informal Introduction. Technical report, INESC, Lisbon, 1991.
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. Elsevier, North-Holland, 1990.
Author information
Authors and Affiliations
Editor information
Rights 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