A. Blewitt, A. Bundy, and I. Stark, Automatic verification of design patterns in java, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering (ASE'05), pp.224-232, 2005.

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

L. C. Briand, Y. Labiche, M. D. Penta, and H. D. Yan-bondoc, An experimental investigation of formality in UML-based development, IEEE Transactions on Software Engineering, vol.31, issue.10, pp.31833-849, 2005.
DOI : 10.1109/TSE.2005.105

E. Bruneton, C. Thierry, M. Leclercq, V. Quéma, and S. Jean-bernard, An Open Component Model and Its Support in Java, Proceedings of the ACM SIGSOFT International Symposium on Component-based Software Engineering (CBSE'04). Held in conjunction with ICSE'04, 2004.
DOI : 10.1007/978-3-540-24774-6_3

F. Buschmann, K. Henney, and D. C. Schmidt, Pattern-Oriented Software Architecture, 2007.

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

D. Chappell, Enterprise Service Bus: Theory in Practice. O'Reilly Media, 2004.

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. Eichberg, S. Kloppenburg, K. Klose, and M. Mezini, Defining and continuous checking of structural program dependencies, Proceedings of the 13th international conference on Software engineering , ICSE '08, pp.391-400, 2008.
DOI : 10.1145/1368088.1368142

P. H. Feiler and D. P. Gluch, Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language, 2012.

A. Ferdjoukh, A. Baert, A. Chateau, R. Coletta, and C. Nebut, A CSP Approach for Metamodel Instantiation, 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, p.1044, 1051.
DOI : 10.1109/ICTAI.2013.156
URL : https://hal.archives-ouvertes.fr/lirmm-01007571

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: Elements of Reusable Object-Oriented Software, 1994.

D. Garlan, R. T. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000.
DOI : 10.1145/1925805.1925814

O. Gilles and J. Hugues, Expressing and Enforcing User-Defined Constraints of AADL Models, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010.
DOI : 10.1109/ICECCS.2010.26

O. O. Group, Unified modeling language (uml), v2.4.1, superstructure specification: Omg document formal/2011-08-06. OMG Website: http://www.omg.org/spec, 2011.

O. O. Group, Object constraint language (ocl), v2.4, specification: Omg document formal/2014-02-03. OMG Website: http://www.omg.org/spec, 2014.

A. Hamie, Translating the Object Constraint Language into the Java Modelling Language, Proceedings of the 2004 ACM symposium on Applied computing , SAC '04, pp.1531-1535, 2004.
DOI : 10.1145/967900.968206

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

D. Hou and H. Hoover, Using SCL to specify and check design intent in source code, IEEE Transactions on Software Engineering, vol.32, issue.6, pp.404-423, 2006.
DOI : 10.1109/TSE.2006.60

C. Jeanneret, L. Eyer, S. Markovi, and T. Baar, Roclet ? refactoring ocl expressions by transformations, 19th International Conference on Software & Systems Engineering and their Applications (ICSSEA'06), 2006.

S. Kallel, C. Tibermacine, M. R. Skay, C. Dony, and A. H. Kacem, Génération de méta-programmes javàjavà a partir de contraintes d'architecture ocl, Proceedings of the French Speaking Conference on Software Engineering (CIEL'14), 2014.

N. Klarlund, J. Koistinen, M. I. Schwartzbach, and R. T. Monroe, Formal design constraints Capturing software architecture design expertise with armani, Proceedings of the 11th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.370-383, 1996.

. Octopus, Ocl tool for precise uml specifications

M. Petre, UML in practice, 2013 35th International Conference on Software Engineering (ICSE), pp.722-731, 2013.
DOI : 10.1109/ICSE.2013.6606618

M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, 1996.

P. Spacek, Design and Implementation of a Reflective Component-Oriented Programming and Modeling Language, 2013.

P. Spacek, C. Dony, and C. Tibermacine, A component-based meta-level architecture and prototypical implementation of a reflective component-oriented programming and modeling language, Proceedings of the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE'14), 2014.

K. Tai, The Tree-to-Tree Correction Problem, Journal of the ACM, vol.26, issue.3, pp.422-433, 1979.
DOI : 10.1145/322139.322143

R. Terra, M. T. De-oliveira, and . Valente, A dependency constraint language to manage object-oriented software architectures. Software Practice and Experience, pp.1073-1094, 2009.

C. Tibermacine, Software Architecture 2, chapter Architecture Constraints

C. Tibermacine, R. Fleurquin, and S. Sadou, On-Demand Quality-Oriented Assistance in Component-Based Software Evolution, Proceedings of the 9th ACM SIGSOFT International Symposium on Component-Based Software Engineering (CBSE'06), pp.294-309, 2006.
DOI : 10.1007/11783565_21
URL : https://hal.archives-ouvertes.fr/hal-00499531

C. Tibermacine, R. Fleurquin, and S. Sadou, Simplifying transformations of architectural constraints, Proceedings of the ACM Symposium on Applied Computing (SAC'06), Track on Model Transformation, 2006.

C. Tibermacine, R. Fleurquin, and S. Sadou, A family of languages for architecture constraint specification, the Journal of Systems and Software (JSS), p.83, 2010.
DOI : 10.1016/j.jss.2009.11.736
URL : https://hal.archives-ouvertes.fr/hal-00498761

C. Tibermacine, S. Sadou, C. Dony, and L. Fabresse, Component-based specification of software architecture constraints, Proceedings of the 14th international ACM Sigsoft symposium on Component based software engineering, CBSE '11, pp.31-40, 2011.
DOI : 10.1145/2000229.2000235
URL : https://hal.archives-ouvertes.fr/lirmm-00596332

U. Zdun and P. Avgeriou, A catalog of architectural primitives for modeling architectural patterns. Information and Software Technology, pp.1003-1034, 2008.