*. and M. Tool, URL https, 2011.

B. Beckert, U. Keller, and P. H. Schmitt, Translating the Object Constraint Language into First-order Predicate Logic, Proceedings, VERIFY, Workshop at Federated Logic Conferences (FLoC), 2002.

A. Boronat and J. Meseguer, Algebraic Semantics of OCL-Constrained Metamodel Specifications, Lecture Notes in Business Information Processing, pp.96-115, 2009.
DOI : 10.1007/978-3-540-69927-9_16

A. D. Brucker, B. Wolff, H. Environment-for, and U. Ocl, HOL-OCL: A Formal Proof Environment for uml/ocl, FASE, Lecture Notes in Computer Science, vol.4961, pp.97-100, 2008.
DOI : 10.1007/978-3-540-78743-3_8

D. Chiorean, M. Pasca, A. Cârcu, C. Botiza, and S. Moldovan, Ensuring UML Models Consistency Using the OCL Environment, one of the few attempts at implementing the full OCL standard, pp.99-110, 2004.
DOI : 10.1016/j.entcs.2003.09.005

M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-oliet et al., All About Maude, A High-Performance Logical Framework, Lecture Notes in Computer Science, vol.4350, 2007.

M. Clavel, M. Egea, and I. /. Ocl, ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams, Lecture Notes in Computer Science, vol.4019, pp.368-373, 2006.
DOI : 10.1007/11784180_28

M. Clavel, M. Egea, and M. A. De-dios, Building an Efficient Component for OCL Evaluation, a more efficient implementation of the Maude OCL semantics, 2008.

C. Ellison and G. Ro¸suro¸su, An executable formal semantics of C with applications, Proceedings of the 39th Symposium on Principles of Programming Languages (POPL'12) (2012), pp.533-544

M. Gogolla and M. Richters, Transformation Rules for UML Class Diagrams, Lecture Notes in Computer Science, vol.1618, pp.92-106, 1998.
DOI : 10.1007/978-3-540-48480-6_8

F. Jouault, F. Allilaire, J. Bézivin, and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

M. Kyas, H. Fecher, F. S. De-boer, J. Jacob, J. Hooman et al., Formalizing UML Models and OCL Constraints in PVS, Electronic Notes in Theoretical Computer Science, vol.115, pp.39-47, 2005.
DOI : 10.1016/j.entcs.2004.09.027

D. Lazar, A. Arusoaie, T. F. Serbanuta, C. Ellison, R. Mereuta et al., Executing Formal Semantics with the $\mathbb K$ Tool, Proceedings of the 18th International Symposium on Formal Methods (FM'12), 2012.
DOI : 10.1007/978-3-642-32759-9_23

T. Object and M. Group, The Object Constraint Language, Version 2.2, 2010.

P. Muller, F. Fleurey, and J. Jézéquel, Weaving Executability into Object-Oriented Meta-languages, Lecture Notes in Computer Science, vol.3713, pp.264-278, 2005.
DOI : 10.1007/11557432_19
URL : https://hal.archives-ouvertes.fr/hal-00795095

M. Richters, OCL Constraints formalisation of OCL using set theory, which formed the basis of the standard's informative Annex, 2002.

G. Ro¸suro¸su, C. Ellison, and W. Schulte, Matching Logic: An Alternative to Hoare/Floyd Logic, Proceedings of the 13th International Conference on Algebraic Methodology And Software Technology (AMAST '10), pp.142-162, 2010.

M. Roldán and F. Durán, Dynamic Validation of OCL Constraints with mOdCL, maude implementation of OCL invariant, pre, and post condition evaluation, 2011.

G. Ro¸suro¸su and T. , An overview of the K semantic framework, The Journal of Logic and Algebraic Programming, vol.79, issue.6, pp.397-434, 2010.
DOI : 10.1016/j.jlap.2010.03.012

V. Rusu and D. Lucanu, A K-Based Formal Framework for Domain-Specific Modeling Languages, 2nd International Conference on Formal Verification of Object-Oriented Software, pp.306-323, 2011.