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
Download (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: 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
Item ID: 6221
Useful Links:
Depositing User: Devika Mohan
Date Deposited: 08 Jul 2010 07:40
Last Modified: 13 Oct 2016 14:20
URI: http://eprints.mdx.ac.uk/id/eprint/6221

Actions (login required)

Edit Item Edit Item

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