An Action Semantics for MML
J. Álvarez, A. N. Clark, A. Evans and P. Sammut
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 defined in the MML style, with model, instance and semantic packages. Different actions are described as specialisations 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.
BibTex Entry
@inproceedings{Alvarez2001a,
author = {J. \'{A}lvarez and A. N. Clark and A. Evans and P. Sammut},
booktitle = {Proceedings of the 4th International Conference on the Unified Modeling Language, UML 2001 : Modeling Languages, Concepts, and Tools},
category = {design},
editor = {Martin Gogolla and Cris Kobryn},
month = {oct},
organization = {IEEE},
pages = {2--18},
publisher = {Springer-Verlag},
title = {An Action Semantics for MML},
year = {2001}
}