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:


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: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
Departments: Faculty of Science, Technology and Arts > Computing
Depositing User: Tony Clark
Date Deposited: 06 Apr 2016 14:30
Last Modified: 13 Jun 2017 13:34

Actions (login required)

View Item View Item


Downloads per month over past year

View more statistics