Formal executable semantics for conformance in the MDE framework

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