An action semantics for MML.

Alvarez, Jose Maria and Clark, Tony and Evans, Andy and Sammut, Paul (2001) An action semantics for MML. In: Fourth International Conference on the Unified Modeling Language (UML 2001) on "Modeling Languages, Concepts and Tools", 1 - 5 October, 2001, Toronto, Ontario, Canada.

[img]
Preview
PDF
184kB

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 de¯ned as computational procedures with side-e®ects. The action semantics are described in the MML style, with model, instance and semantic packages. Di®erent 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.

Item Type:Conference or Workshop Item (Paper)
Research Areas:Middlesex University Schools and Centres > School of Science and Technology > Computer Science
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > SensoLab group
Middlesex University Schools and Centres > School of Science and Technology > Computer Science > Intelligent Environments group
ID Code:6221
Useful Links:
Deposited On:08 Jul 2010 07:40
Last Modified:10 Dec 2014 20:25

Repository staff only: item control page

Full text downloads (NB count will be zero if no full text documents are attached to the record)

Downloads per month over the past year