Constructive Action Semantics in OBJ

  • Peter D. Mosses
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4060)


Goguen and Malcolm specify semantics of programming languages in OBJ. Here, we consider how the extensibility and reusability of their specifications could be improved. We propose using the notation and modular structure of the Constructive Action Semantics framework in OBJ, and give a simple illustration. The reader is assumed to be familiar with OBJ.


Operational Semantic Semantic Function Semantic Description Action Semantic Denotational Semantic 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Doh, K.-G., Mosses, P.D.: Composing programming languages by combining action-semantics modules. Sci. Comput. Programming 47(1), 3–36 (2003)MATHCrossRefGoogle Scholar
  2. 2.
    Giarratana, V., Gimona, F., Montanari, U.: Observability concepts in abstract data type specification. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol. 45, pp. 576–587. Springer, Heidelberg (1976)Google Scholar
  3. 3.
    Goguen, J.A., Malcolm, G.: Algebraic Semantics of Imperative Programs. The MIT Press, Cambridge (1996)MATHGoogle Scholar
  4. 4.
    Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Software Engineering with OBJ: Algebraic Specification in Action, Kluwer, Dordrecht (2000)Google Scholar
  5. 5.
    Iversen, J.: Formalisms and Tools Supporting Constructive Action Semantics. PhD thesis, University of Aarhus (2005)Google Scholar
  6. 6.
    Iversen, J., Mosses, P.D.: Constructive action semantics for Core ML. IEE Proceedings-Software 152, 79–98 (2005), Special issue on Language Definitions and Tool GenerationCrossRefGoogle Scholar
  7. 7.
    The ASF+SDF Meta-Environment.
  8. 8.
    Mosses, P.D.: Action Semantics. Cambridge Tracts in Theoretical Computer Science, vol. 26. Cambridge University Press, Cambridge (1992)MATHCrossRefGoogle Scholar
  9. 9.
    Mosses, P.D.: Theory and practice of Action Semantics. In: Penczek, W., Szałas, A. (eds.) MFCS 1996. LNCS, vol. 1113, pp. 37–61. Springer, Heidelberg (1996)Google Scholar
  10. 10.
    Mosses, P.D.: Fundamental concepts and formal semantics of programming languages. Lecture Notes. Version 0.4, available from the author (2004)Google Scholar
  11. 11.
    Mosses, P.D.: Modular language descriptions. In: Karsai, G., Visser, E. (eds.) GPCE 2004. LNCS, vol. 3286, pp. 489–490. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  12. 12.
    Mosses, P.D.: Modular structural operational semantics. J. Logic and Algebraic Programming 60(61), 195–228 (2004)CrossRefMathSciNetGoogle Scholar
  13. 13.
    Mosses, P.D.: A constructive approach to language definition. Journal of Universal Computer Science 11(7), 1117–1134 (2005)Google Scholar
  14. 14.
    Mosses, P.D., Watt, D.A.: The use of action semantics. In: Avernæs, G. (ed.) Formal Description of Programming Concepts III, Proc. IFIP TC2 Working Conference, Gl, Avernæs, pp. 135–166. North-Holland, Amsterdam (1987)Google Scholar
  15. 15.
    van den Brand, M.G.J., Iversen, J., Mosses, P.D.: An action environment. In: Proceedings of the Fourth Workshop on Language Descriptions, Tools, and Applications (LDTA 2004). ENTCS, vol. 110, pp. 149–168. Elsevier, Amsterdam (2004)Google Scholar
  16. 16.
    Wagner, E.G., Wright, J.B., Goguen, J.A., Thatcher, J.W.: Some fundamentals of order-algebraic semantics. In: Mazurkiewicz, A. (ed.) MFCS 1976. LNCS, vol. 45, pp. 153–168. Springer, Heidelberg (1976)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Peter D. Mosses
    • 1
  1. 1.Department of Computer ScienceSwansea UniversityWalesUK

Personalised recommendations