The metamodelling language calculus: foundation semantics for UML

CLARK, Tony, EVANS, Andy and KENT, Stuart (2001). The metamodelling language calculus: foundation semantics for UML. In: HUSSMANN, Heinrich, (ed.) Fundamental Approaches to Software Engineering : 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2–6, 2001 Proceedings. Lecture Notes in Computer Science (2029). Berlin, Springer, 17-31.

Full text not available from this repository.
Official URL: http://dx.doi.org/10.1007/3-540-45314-8_3

Abstract

The Metamodelling Language (MML) is a sub-set of the Unified Modeling Language (UML) that is proposed as the core language used to bootstrap the UML 2.0 definition initiative. Since it is metacircular, MML requires an external formal semantics in order to ground it. This paper defines the MML Calculus which is used to formally define MML and therefore provides a semantic basis for UML 2.0.

Item Type: Book Section
Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
Page Range: 17-31
Depositing User: Tony Clark
Date Deposited: 06 Apr 2016 14:30
Last Modified: 18 Mar 2021 18:16
URI: https://shura.shu.ac.uk/id/eprint/11885

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics