Abstract
We present Maude Object-Oriented Action Tool, an executable environment that incorporates elements from for Object-Oriented and Constructive Action Semantics. Our tool is implemented as a conservative extension of Full Maude and Maude MSOS Tool. The syntax used by our tool is fairly similar to the one used by the original Action Semantics formalism. Furthermore, we present an Object-Oriented Action Semantics library of classes, capable of supporting constructive (object-oriented) action semantics.
This work is an extended, revised version of [15].
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Araújo, M., Musicante, M.A.: Lfl: A library of generic classes for object-oriented action semantics. In: XXIV International Conference of the Chilean Computer Science Society (SCCC 2004), Arica, Chile, November 11-12, 2004, pp. 39–47. IEEE Computer Society Press, Los Alamitos (2004)
Braga, C., Haeusler, E.H., Meseguer, J., Mosses, P.D.: Maude action tool: Using reflection to map action semantics to rewriting logic. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 407–421. Springer, Heidelberg (2000)
Brown, D.F., Moura, H., Watt, D.A.: Actress: an action semantics directed compiler generator. In: Pfahler, P., Kastens, U. (eds.) CC 1992. LNCS, vol. 641, pp. 95–109. Springer, Heidelberg (1992)
Carvilhe, C., Musicante, M.A.: Object-oriented action semantics specifications. Journal of Universal Computer Science 9(8), 910–934 (2003)
Chalub, F., Braga, C.: Maude msos tool. Technical report, Universidade Federal Fluminense (2005), http://maude-msos-tool.sourceforge.net/mmt-manual.pdf
Chalub, F., Braga, C.: Maude msos tool. In: Denker, G., Talcott, C. (eds.) Proceedings of 6th International Workshop on Rewriting Logic and its Applications, WRLA, Vienna, Austria. Elsevier, Amsterdam (2006)
Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: Maude manual, version 2.3 (2007), http://maude.cs.uiuc.edu/maude2-manual/html/
Braga, C.d.O., Haeusler, E.H., Meseguer, J., Mosses, P.D.: Maude action tool: Using reflection to map action semantics to rewriting logic. In: Rus, T. (ed.) AMAST 2000. LNCS, vol. 1816, pp. 407–421. Springer, Heidelberg (2000)
Van Deursen, A., Mosses, P.D.: Asd: The action semantic description tools (1996)
Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. In: van den Brand, M., Parigot, D. (eds.) LDTA 2001. ENTCS, vol. 44.2. Elsevier, Amsterdam (2001)
Durán, F., Meseguer, J.: The Maude specification of Full Maude. Technical report, SRI International (1999)
Klint, P. (ed.): The asf+sdf meta-environment. Technical report, CWI, Centrum voor Wiskunde en Informatica, Amsterdam (1992), ftp://ftp.cwi.nl/pub/gipe/reports/SysManual.ps.Z
Labra Gayo, J.E.: Reusable semantic specifications of programming languages. In: SBLP 2002 - VI Brazilian Symposium on Programming Languages (2002)
Iversen, J.: Formalisms and tools supporting Constructive Action Semantics. PhD thesis, BRICS International PhD School (May 2005)
Maidl, A.M., Carvilhe, C., Musicante, M.A.: Maude object-oriented action tool. Electr. Notes Theor. Comput. Sci. 205, 105–121 (2008)
Maidl, A.M.: A maude implementation of object-oriented action semantics. Master’s thesis, Universidade Federal do Paraná (2007) (in portuguese)
Martí-Oliet, N., Meseguer, J.: Rewriting logic as a logical and semantic framework. Technical report, SRI International (1993)
Meseguer, J., Braga, C.d.O.: Modular rewriting semantics of programming languages. In: Rattray, C., Maharaj, S., Shankland, C. (eds.) AMAST 2004. LNCS, vol. 3116, pp. 364–378. Springer, Heidelberg (2004)
Mosses, P.D.: Action semantics. In: ADT (1986)
Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol. 26. Cambridge University Press, Cambridge (1992)
Mosses, P.D.: A modular SOS for Action Notation. BRICS RS 99-56, Dept. of Computer Science, Univ. of Aarhus (1999)
Mosses, P.D.: Modular structural operational semantics. J. Logic and Algebraic Programming 60-61, 195–228 (2004); Special issue on SOS
Mosses, P.D.: A constructive approach to language definition. Journal of Universal Computer Science 11(7), 1117–1134 (2005)
Moura, H., Menezes, L.C., Monteiro, M., Sampaio, P., Cansanção, W.: The abaco system: An action tool for programming language designers. In: AS 2002, pp. 1–8. Dept. of Computer Science (2002) BRICS NS-02-8
Plotkin, G.D.: A structural approach to operational semantics. J. Logic and Algebraic Programming 60-61, 17–139 (2004); Special issue on SOS
van der Brand, M., Iversen, J., Mosses, P.D.: An action environment. Sci. Comput. Program. 61(3), 245–264 (2006)
Watt, D.A., Thomas, M.: Programming language syntax and semantics. Prentice Hall International (UK) Ltd, Hertfordshire (1991)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Maidl, A.M., Carvilhe, C., Musicante, M.A. (2009). An Implementation of Object-Oriented Action Semantics in Maude. In: Palsberg, J. (eds) Semantics and Algebraic Specification. Lecture Notes in Computer Science, vol 5700. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04164-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-04164-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04163-1
Online ISBN: 978-3-642-04164-8
eBook Packages: Computer ScienceComputer Science (R0)