The Metamodelling Language Calculus: Foundation Semantics for UML

  • Tony Clark
  • Andy Evans
  • Stuart Kent
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2029)


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.


Object Constraint Language Message Delivery Class Expression Collection Operation Object Constraint Language Expression 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Bottoni P., Koch M., Parisi-Presicce F., Taentzer G. (2000) Consistency Checking and Visualization of OCL Constraints. In Evans A., Kent S., Selic B. (eds) UML 2000, LNCS 1939, 278–293, Springer-Verlag.Google Scholar
  2. 2.
    Bobrow D. (1989) Common Lisp Object System Specification. Lisp and Symbolic Computation, 1(3/4).Google Scholar
  3. 3.
    Briot J-P, Cointe P. (1986) The ObjVLisp Model: Definition of a Uniform Reflex-ive and Extensible Object-oriented Language. In Proceedings of ECAI 1986.Google Scholar
  4. 4.
    Briot J-P., Cointe P. (1987) A Uniform Model for Object-oriented Languages Using the Class Abstraction. In proceedings of IJCAI 1987.Google Scholar
  5. 5.
    Brodsky S., Clark A., Cook S., Evans A., Kent S. (2000) A feasibility Study in Rearchitecting UML as a Family of Languages Using a Precise OO Metamodelling Approach. Available at
  6. 6.
    Cardelli L., Abadi M. (1996) A Theory of Objects. Springer-Verlag.Google Scholar
  7. 7.
    Clark A., Evans A., France R., Kent S., Rumpe B. (1999) Response to IML 2.0 Request for Information. Available at
  8. 8.
    Clark A., Evans A., Kent S. (2000) The Specification of a Reference Implementation for UML. Special Issue of L’Objet.Google Scholar
  9. 9.
    Clark A., Evans A., Kent S. (2000) Profiles for Language Definition. Presented at the ECOOP pUML Workshop, Nice.Google Scholar
  10. 10.
    Clark A. (1999) Type-checking OCL Constraints. In France R. & Rumpe B. (eds) UML’ 99 LNCS 1723, Springer-Verlag.Google Scholar
  11. 11.
    Cointe, P. (1987) Metaclasses are First Class: the ObjVLisp Model. In Proceedings of OOPSLA 1987.Google Scholar
  12. 12.
    D’Souza D., Wills A. C. (1998) Object Components and Frameworks with UML-The Catalysis Approach. Addison-Wesley.Google Scholar
  13. 13.
    Evans A., Kent S. (1999) Core metamodelling semantics of UML-The pUML approach. In France R. & Rumpe B. (eds) UML’ 99 LNCS 1723, 140–155, Springer-Verlag.Google Scholar
  14. 14.
    Goldberg A., Robson D. (1983) Smalltalk-80: The Language and Its Implementation. Addison Wesley.Google Scholar
  15. 15.
    Howse J., Molina F., Kent S., Taylor J. (1999) Reasoning with Spider Diagrams. IEEE Symposium on Visual Languages’ 99, 138–145. IEEE CS Press.Google Scholar
  16. 16.
    Hussmann H., Demuth B., Finger F. (2000) Modular Architecture for a Toolset Supporting OCL In Evans A., Kent S., Selic B. (eds) UML 2000, LNCS 1939 LNCS, 278–293, Springer-Verlag.Google Scholar
  17. 17.
    Jagannathan S. (1994) Metalevel Building Blocks for Modular Systems. ACM TOPLAS 16(3).Google Scholar
  18. 18.
    Kent S. (1997) Constraint Diagrams: Visualizing Invariants in Object-Oriented Models. In Proceedings of OOPSLA’ 97, 327–341.Google Scholar
  19. 19.
    Object Management Group (1999) OMG Unified Modeling Language Specification, version 1.3. Available at
  20. 20.
    Overgaard G. (2000) Formal Specification of Object-Oriented Metamodelling. FASE 2000, LNCS 1783.Google Scholar
  21. 21.
    Paige & Ostroff (2001) Metamodelling and Conformance Checking with PVS. To be presented at FASE 2001.Google Scholar
  22. 22.
    Richters M., Gogolla M. (1999) A metamodel for OCL. In France R. & Rumpe B. (eds) UML’ 99 LNCS 1723, 156–171, Springer-Verlag.Google Scholar
  23. 23.
    Richters M., Gogolla M. (2000) Validating UML Models and OCL Constraints. In Evans A., Kent S., Selic B. (eds) UML 2000 LNCS 939, 265–277, Springer-Verlag.Google Scholar
  24. 24.
    Richters M., Gogolla M. (2000) A Semantics for OCL pre and post conditions. Presented at the OCL Workshop, UML 2000.Google Scholar
  25. 25.
    Schurr A. (2000) New Type Checking Rules for OCL (Collection) Expressions. Presented at the OCL Workshop at UML 2000. Available from
  26. 26.
    Warmer J., Kleppe A. (1999) The Object Constraint Language: Precise Modeling with UML. Addison-Wesley.Google Scholar
  27. 27.
    The MMT Tool. Available at

Copyright information

© Springer-Verlag Berlin Heidelberg 2001

Authors and Affiliations

  • Tony Clark
    • 1
  • Andy Evans
    • 2
  • Stuart Kent
    • 3
  1. 1.King’s College LondonUK
  2. 2.University of YorkCanada
  3. 3.University of Kent at CanterburyUK

Personalised recommendations