The Metamodelling Language Calculus: Foundation Semantics for UML

  title={The Metamodelling Language Calculus: Foundation Semantics for UML},
  author={Tony Clark and Andy Evans and Stuart Kent},
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. 

From This Paper

Figures, tables, and topics from this paper.


Publications citing this paper.
Showing 1-10 of 53 extracted citations


Publications referenced by this paper.
Showing 1-10 of 23 references

Response to IML 2.0 Request for Information. Available at

  • A. Clark, A. Evans, R. France, S. Kent, B. Rumpe
  • 1999
Highly Influential
2 Excerpts

A Semantics for OCL pre and post conditions

  • M. Richters, M. Gogolla
  • Presented at the OCL Workshop,
  • 2000
1 Excerpt

A feasibility Study in Rearchitecting UML as a Family of Languages Using a Precise OO Metamodelling Approach. Available at

  • S. Brodsky, A. Clark, S. Cook, A. Evans, S. Kent
  • 2000
1 Excerpt

Profiles for Language Definition

  • A. Clark, A. Evans, S. Kent
  • Presented at the ECOOP pUML Workshop,
  • 2000

Similar Papers

Loading similar papers…