Academic
Publications
Algebraic Semantics of OCL-Constrained Metamodel Specifications

Algebraic Semantics of OCL-Constrained Metamodel Specifications,10.1007/978-3-642-02571-6_7,Artur Boronat,José Meseguer

Algebraic Semantics of OCL-Constrained Metamodel Specifications   (Citations: 6)
BibTex | RIS | RefWorks Download
In the definition of domain-specific modeling languages a MOF metamodel is used to define the main types of its abstract syntax, and OCL invariants are used to add static semantic constraints. The semantics of a metamodel definition can be given as a model type whose values are well-formed models. A model is said to conform to its metamodel when it is a value of the corresponding model type. However, when OCL invariants are involved, the concept of model conformance has not yet been formally defined in the MOF standard. In this work, the concept of OCL-constrained metamodel conformance is formally defined and used for defining style-preserving software architecture configurations. This concept is supported in MOMENT2, an algebraic framework for MOF metamodeling, where OCL constraints can be used for both static and dynamic analysis.
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
    • ...In contrast, the approach taken in the MOMENT2 project [6,3] is to formalize...

    Artur Boronatet al. Formal Real-Time Model Transformations in MOMENT2

    • ...In particular, MOMENT2 provides support for verifying metamodel conformance with OCL constraint satisfaction [BoM09], QVT-like model transformations and their verification based on Maude’s reachability analysis and Maude’s LTL model checker, as explained in [BHM09]...
    • ...These axioms may correspond to OCL constraints as shown in [BoM09] and can be used to verify that a specific model satisfies certain semantic properties...
    • ... model conformance M : M. This means that A enables reasoning with modeltypesatanalgebraiclevelandnotjustatasyntacticallevel.Duetothegraphnatureofmodels,thealgebraic semantics A for MOF can also be used as an algebraic environment for graph transformations, where Maude’s analysiscapabilities,suchasreachabilityanalysisandLTLmodelchecking,canbereused.Thecompletealgebraic formalization of EMOF metamodels together with OCL can be found in [ ...
    • ...MOMENT2 [Mom09], that supports both OCL [BoM09] and QVT-like model transformations [BHM09]...

    Artur Boronat. An algebraic semantics for MOF

    • ...This problem is closely related to the fact that the conformance relation between models and metamodels is not formally defined for MOF-based modelling languages [5,19], especially when OCL constraints are involved [2]...

    Adrian Rutleet al. A Formalisation of Constraint-Aware Model Transformations

    • ...Attempts to formalize the semantics of OCL have been reported in [18], [19], [20], [21], [22], [23], [24], [25], [26] etc...

    Hong Zhu. On the Theoretical Foundation of Meta-Modelling in Graphically Extende...

Sort by: