. Acceleo, Implementation of mof to text language

R. Krzysztof, M. Apt, and . Wallace, Constraint logic programming using ECLiPSe, 2007.

L. Bass, P. Clements, and R. Kazman, Software architecture in practice, 2012.

C. Lionel, W. Briand, Y. Dzidek, and . Labiche, Using aspect-oriented programming to instrument ocl contracts in java, 2004.

L. C. Briand and Y. Labiche, Massimiliano Di Penta, and Han (Daphne) Yan-Bondoc. An experimental investigation of formality in uml-based development, 2005.

J. Cabot, R. Clarisó, and D. Riera, UMLtoCSP, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering , ASE '07, pp.547-548, 2007.
DOI : 10.1145/1321631.1321737

B. Demuth, The dresden ocl toolkit and its role in information systems development, Proc. of the 13th International Conference on Information Systems Development, 2004.

M. Giese and D. Larsson, Simplifying Transformations of OCL Constraints, Model Driven Engineering Languages and Systems, pp.309-323, 2005.
DOI : 10.1007/11557432_23

K. Hassam, S. Sadou, and R. Fleurquin, Adapting ocl constraints after a refactoring of their model using an mde process, BElgian-NEtherlands software eVOLution seminar, pp.16-27, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00664877

H. Hussmann, B. Demuth, and F. Finger, Modular architecture for a toolset supporting ocl, UML 2000?The Unified Modeling Language, pp.278-293, 2000.

C. Jeanneret, L. Eyer, T. Markovic, and . Baar, Roclet : Refactoring ocl expressions by transformations, Software & Systems Engineering and their Applications, 19th International Conference, 2006.

F. Jouault and I. Kurtev, Transforming Models with ATL, Satellite Events at the MoDELS 2005 Conference, pp.128-138, 2006.
DOI : 10.1007/11663430_14

URL : https://hal.archives-ouvertes.fr/hal-00448120

T. Reenskaug, Thing-model-view editor an example from a planning system, xerox parc technical note, 1979.

C. Tibermacine, R. Fleurquin, and S. Sadou, Simplifying transformation of software architecture constraints, Proceedings of the 2006 ACM symposium on Applied computing , SAC '06, pp.1240-1244, 2006.
DOI : 10.1145/1141277.1141568

URL : https://hal.archives-ouvertes.fr/hal-00498769