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:||A. > School of Science and Technology > Computer Science
A. > School of Science and Technology > Computer Science > Intelligent Environments Research Group
A. > School of Science and Technology > Computer Science > SensoLab group
|Depositing User:||Devika Mohan|
|Date Deposited:||08 Jul 2010 07:40|
|Last Modified:||22 Sep 2015 17:21|
Actions (login required)