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.
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:||School of Science and Technology > Science & Technology|
|Deposited On:||08 Jul 2010 07:40|
|Last Modified:||19 Jul 2014 08:52|
Repository staff and depositor 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