Abstract
In the MDE framework, a metamodel is a language referring to some kind of metadata whose elements formalize concepts and relations providing a modeling language. An instance of this modeling language which adheres to its concepts and relations is called a valid model, i.e., a model satisfying structural conformance to its metamodel. However, a metamodel frequently imposes additional constraints to its valid instances. These conditions are usually written in OCL and are called well-formedness rules. In presence of these constraints, a valid model must adhere to the concepts and relations of its metamodel and fullfill its constraints, i.e., a valid model is a model satisfying semantical conformance to its metamodel. In this work, we provide a formal semantics to the notions of structural and semantical conformance between models and metamodels building on our previous work. Our definitions can be automatically checked using the ITP/OCL tool.
Similar content being viewed by others
References
Model-driven architecture. http://www.omg.org/mda/specs.htm
The Object Management Group. http://www.omg.org
Object Constraint Language (OCL). http://www.omg.org/spec/OCL/2.0/
Egea M (2008) An executable formal semantics for OCL with aopplications to model analysis and validation. PhD thesis, Universidad Complutense de Madrid
Clavel M, Egea M (2006) itp/ocl: a rewriting-based validation tool for uml + ocl static class diagrams. In: Michael J, Varmo V (eds) AMAST. Lecture notes in computer science, vol 4019. Springer, Berlin, pp 368–373
Clavel M, Durán F, Eker S, Lincoln P, Martí-Oliet N, Meseguer J, Talcott CL (2007) All about Maude, a high-performance logical framework. In: Lecture notes in computer science, vol 4350. Springer, Berlin
Meta Object Facility (MOF) core specification. http://www.omg.org/spec/MOF/2.0/
Bouhoula A, Jouannaud JP, Meseguer J (2000) Specification and proof in membership equational logic. Theor Comput Sci 1/2(236): 35–132
Boronat A, Meseguer J (2008) An algebraic semantics for MOF. In: José Luiz F, Paola I (eds) FASE. Lecture notes in computer science, vol 4961. Springer, Berlin, pp 377–391
Boronat A (2007) Moment: a formal framework for model management. PhD thesis, Universitat politecnica de Valencia
Paige R, Brooke P, Ostroff J (2007) Metamodel-based model conformance and multiview consistency checking. ACM Trans Softw Eng Methodol 16(3): 1–48
Poernomo I (2006) The meta-object facility typed. In: Hisham H (eds) SAC. ACM, New York, pp 1845–1849
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Egea, M., Rusu, V. Formal executable semantics for conformance in the MDE framework. Innovations Syst Softw Eng 6, 73–81 (2010). https://doi.org/10.1007/s11334-009-0108-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11334-009-0108-1