An action semantics for MML.

Conference paper

Alvarez, J., Clark, T., Evans, A. and Sammut, P. 2001. An action semantics for MML. Fourth International Conference on the Unified Modeling Language (UML 2001) on "Modeling Languages, Concepts and Tools". Toronto, Ontario, Canada 01 - 05 Oct 2001
TypeConference paper
TitleAn action semantics for MML.
AuthorsAlvarez, J., Clark, T., Evans, A. and Sammut, P.
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.

Research GroupResearch Group on Development of Intelligent Environments
SensoLab group
ConferenceFourth International Conference on the Unified Modeling Language (UML 2001) on "Modeling Languages, Concepts and Tools"
Publication dates
Print2001
Publication process dates
Deposited08 Jul 2010
Output statusPublished
LanguageEnglish
File
Permalink -

https://repository.mdx.ac.uk/item/82y3x

Log in to edit

Download files

  • 27
    total views
  • 9
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as