The Metamodelling Language Calculus: Foundation Semantics for UML

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 meta-circular, 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.

[1]  Bernhard Rumpe,et al.  Response to UML 2.0 Request for Information , 1999 .

[2]  Daniel G. Bobrow,et al.  Common lisp object system specification , 1988, SIGP.

[3]  Gabriele Taentzer,et al.  Consistency Checking and Visualization of OCL Constraints , 2000, UML.

[4]  Pierre Cointe,et al.  The OBJVLISP Model: Definition of a Uniform, Reflexive and Extensible Object Oriented Language , 1986, ECAI.

[5]  Andy Schurr.  New Type Checking Rules for OCL (Collection) Expressions , 2000 .

[6]  David Robson,et al.  Smalltalk-80: The Language and Its Implementation , 1983 .

[7]  Heinrich Hußmann,et al.  Modular architecture for a toolset supporting OCL , 2000, Sci. Comput. Program..

[8]  Martin Gogolla,et al.  A Metamodel for OCL , 1999, UML.

[9]  Pierre Cointe.  Metaclasses are first class: The ObjVlisp Model , 1987, OOPSLA 1987.

[10]  Martín Abadi,et al.  A Theory of Objects , 1996, Monographs in Computer Science.

[11]  Richard F. Paige,et al.  Metamodelling and Conformance Checking with PVS , 2001, FASE.

[12]  Martin Gogolla,et al.  Validating UML Models and OCL Constraints , 2000, UML.

[13]  Stuart Kent,et al.  Constraint diagrams: visualizing invariants in object-oriented models , 1997, OOPSLA '97.

[14]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[15]  Gunnar Övergaard,et al.  Formal specification of object-oriented modelling concepts , 2000 .

[16]  Martin Gogolla,et al.  A Semantics for OCL Pre- and Postconditions , 2000 .

[17]  Stuart Kent,et al.  A Feasibility Study in Rearchitecting UML as a Family of Languages using a Precise OO Meta-Modeling Approach , 2000 .

[18]  Stuart Kent,et al.  Reasoning with spider diagrams , 1999, Proceedings 1999 IEEE Symposium on Visual Languages.

[19]  Andy Evans,et al.  Core Meta-Modelling Semantics of UML: The pUML Approach , 1999, UML.

[20]  Suresh Jagannathan,et al.  Metalevel building blocks for modular systems , 1994, TOPL.

[21]  Anneke Kleppe,et al.  The object constraint language: precise modeling with UML , 1998 .

[22]  Pierre Cointe,et al.  A Uniform Model for Object-Oriented Languages Using the Class Abstraction , 1987, IJCAI.