An action semantics for MML.
Alvarez, Jose Maria, Clark, Tony, 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. . [Conference or Workshop Item]
|
PDF
Download (184kB) | Preview |
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 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: | 30 Nov 2022 02:56 |
| URI: | https://eprints.mdx.ac.uk/id/eprint/6221 |
Actions (login required)
 |
View Item |
Statistics
Additional statistics are available via IRStats2.
CORE (COnnecting REpositories)
CORE (COnnecting REpositories)