Smalltalk-80: the language and its implementation
Smalltalk-80: the language and its implementation
Metaclasses are first class: The ObjVlisp Model
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Metalevel building blocks for modular systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Constraint diagrams: visualizing invariants in object-oriented models
Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
A Theory of Objects
Metamodelling and Conformance Checking with PVS
FASE '01 Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering
Formal Specification of Object-Oriented Meta-modelling
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Reasoning with Spider Diagrams
VL '99 Proceedings of the IEEE Symposium on Visual Languages
A uniform model for object-oriented languages using the class abstraction
IJCAI'87 Proceedings of the 10th international joint conference on Artificial intelligence - Volume 1
Validating UML models and OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Modular architecture for a toolset supporting OCL
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Core meta-modelling semantics of UML: the pUML approach
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard
Engineering Modelling Languages: A Precise Meta-Modelling Approach
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Integrating Semantics for Object-Oriented System Models
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
An Integrated Semantics for UML Class, Object and State Diagrams Based on Graph Transformation
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Object Modeling with the OCL, The Rationale behind the Object Constraint Language
A discrete-time UML semantics for concurrency and communication in safety-critical applications
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Reasoning on UML class diagrams
Artificial Intelligence
Exploring ER and RE syntax and semantics with metamodel object diagrams
MIS '05 Proceedings of the 2005 symposia on Metainformatics
Metamodel-based model conformance and multiview consistency checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Creating and reconciling diagrams after executing model transformations
Science of Computer Programming
Frameworks Based on Templates for Rigorous Model-driven Development
Electronic Notes in Theoretical Computer Science (ENTCS)
Creating and reconciling diagrams after executing model transformations
Science of Computer Programming
Reasoning on UML class diagrams
Artificial Intelligence
On translating UML models into graph transformation systems
Journal of Visual Languages and Computing
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
A representation method for performance specifications in UML domain
Computers in Human Behavior
Reasoning about metamodeling with formal specifications and automatic proofs
Proceedings of the 14th international conference on Model driven engineering languages and systems
Basic operations over models containing subset and union properties
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
A fully abstract semantics for UML components
FMCO'04 Proceedings of the Third international conference on Formal Methods for Components and Objects
Exploiting model driven technology: a tale of two startups
Software and Systems Modeling (SoSyM)
MEDI'12 Proceedings of the 2nd international conference on Model and Data Engineering
On the search for a level-agnostic modelling language
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
| Hi-index | 0.00 |
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.