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
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A met...
The Unified Modelling Language (UML) is becoming the de facto industry standard notation for object-...
The current UML semantics documentation has made a significant step towards providing a precise desc...
The Metamodelling Language (MML) is a sub-set of the Unified Modeling Language (UML) that is propose...
As the UML attempts to make the transition from a single, albeit extensible, language to a framework...
Metamodelling is becoming a standard way of defining languages such as the UML. A language definitio...
Abstract. As UML 2.0 is evolving into a family of languages with in-dividually specified semantics, ...
A UML metamodel defines the abstract syntax and semantics of object modeling concepts
Abstract UML is defined through metamodelling in a four-layer metamodel hierarchy, where metamodels ...
Abstract The UML standard has adopted a meta-modelling approach to defining the abstract syntax of U...
Abstract. The current UML semantics documentation has made a sig-ni cant step towards providing a pr...
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a pre...
The literature on formal semantics for UML is huge and growing rapidly. Most contributions open with...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A met...
The Unified Modelling Language (UML) is becoming the de facto industry standard notation for object-...
The current UML semantics documentation has made a significant step towards providing a precise desc...
The Metamodelling Language (MML) is a sub-set of the Unified Modeling Language (UML) that is propose...
As the UML attempts to make the transition from a single, albeit extensible, language to a framework...
Metamodelling is becoming a standard way of defining languages such as the UML. A language definitio...
Abstract. As UML 2.0 is evolving into a family of languages with in-dividually specified semantics, ...
A UML metamodel defines the abstract syntax and semantics of object modeling concepts
Abstract UML is defined through metamodelling in a four-layer metamodel hierarchy, where metamodels ...
Abstract The UML standard has adopted a meta-modelling approach to defining the abstract syntax of U...
Abstract. The current UML semantics documentation has made a sig-ni cant step towards providing a pr...
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a pre...
The literature on formal semantics for UML is huge and growing rapidly. Most contributions open with...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
National audienceOur project is combining UML with the B formal method for the domain of data intens...
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A met...
The Unified Modelling Language (UML) is becoming the de facto industry standard notation for object-...
The current UML semantics documentation has made a significant step towards providing a precise desc...