The Metamodelling Language Calculus: Foundation Semantics for UML

Tony Clark, Andy Evans, Stuart Kent

Research output: Contribution to journalConference article


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 languageEnglish
Pages (from-to)17-31
JournalFundamental Approaches to Software Engineering
Publication statusPublished - 23 Mar 2001
EventInternational Conference on Fundamental Approaches to Software Engineering: FASE 2001 - Genoa, Italy
Duration: 2 Apr 20016 Apr 2001

Fingerprint Dive into the research topics of 'The Metamodelling Language Calculus: Foundation Semantics for UML'. Together they form a unique fingerprint.

  • Cite this