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.
Original language | English |
---|---|
Pages (from-to) | 17-31 |
Journal | Fundamental Approaches to Software Engineering |
Volume | 2029 |
DOIs | |
Publication status | Published - 23 Mar 2001 |
Event | International Conference on Fundamental Approaches to Software Engineering: FASE 2001 - Genoa, Italy Duration: 2 Apr 2001 → 6 Apr 2001 |