An Action Semantics for MML

José M. Álvarez, Tony Clark, Andy Evans, Paul Sammut

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. Actions are defined as computational procedures with side-effects. The action semantics are described in the MML style, with model, instance and semantic packages. Different actions are described as specializations of the basic action in their own package. The aim is to show that by using a Catalysis like package extension mechanism, with precise mappings to a simple semantic domain, a well-structured and extensible model for an action language can be obtained.
Original languageEnglish
Title of host publicationLecture Notes in Computer Science
PublisherSpringer
Pages2-18
ISBN (Electronic)978-3-540-45441-0
ISBN (Print)978-3-540-42667-7
DOIs
Publication statusPublished - 17 Sep 2001

Publication series

NameLecture Notes in Computer Science
Volume2185
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'An Action Semantics for MML'. Together they form a unique fingerprint.

  • Cite this

    Álvarez, J. M., Clark, T., Evans, A., & Sammut, P. (2001). An Action Semantics for MML. In Lecture Notes in Computer Science (pp. 2-18). [Chapter 2] (Lecture Notes in Computer Science; Vol. 2185). Springer. https://doi.org/10.1007/3-540-45441-1_2