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.

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.

J. Chimiak-opoka, OCLLib, OCLUnit, OCLDoc: Pragmatic Extensions for the Object Constraint Language, Model Driven Engineering Languages and Systems, pp.665-669, 2009.
DOI : 10.5381/jot.2005.4.9.a1

A. Correa, C. Werner, and M. Barros, Refactoring to improve the understandability of specifications written in object constraint language, IET Software, vol.3, issue.2, pp.69-90, 2009.
DOI : 10.1049/iet-sen.2008.0022

B. Demuth, The dresden ocl toolkit and its role in information systems development, ISD2004, 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

J. Favaro, What price reusability?: a case study, ACM SIGAda Ada Letters

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

W. Frakes and C. Terry, Software reuse: metrics and models, ACM Computing Surveys, vol.28, issue.2, 1996.
DOI : 10.1145/234528.234531

E. John, . Gaffney, A. Thomas, and . Durek, Software reusekey to enhanced productivity: some quantitative models, Information and Software Technology, issue.5, p.31

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

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. J. 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

N. Klarlund, J. Koistinen, and M. I. Schwartzbach, Formal design constraints, Proceedings of the 11th ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages, and Applications, pp.370-383, 1996.

B. Meyer, Touch of Class, 2013.
DOI : 10.1007/978-3-540-92145-5

R. T. Monroe, Capturing software architecture design expertise with armani, 2001.

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

J. Reimann, C. Wilke, B. Demuth, M. Muck, and U. Aßmann, Tool supported OCL refactoring catalogue, Proceedings of the 12th Workshop on OCL and Textual Modelling, OCL '12, pp.7-12, 2012.
DOI : 10.1145/2428516.2428518

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

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

C. Tibermacine, R. Fleurquin, and S. Sadou, On-demand qualityoriented assistance in component-based software evolution, Proceedings of the 9th ACM SIGSOFT International Symposium on Component-Based Software Engineering (CBSE'06), 2006.
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, 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, 2011.
DOI : 10.1145/2000229.2000235

URL : https://hal.archives-ouvertes.fr/lirmm-00596332

T. M. , T. That, C. Tibermacine, and S. Sadou, Catalogue of architectural patterns characterized by constraint components, Version 1.0, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00844514

U. Zdun and P. Avgeriou, A catalog of architectural primitives for modeling architectural patterns, Information and Software Technology, vol.50, issue.9-10, 2008.
DOI : 10.1016/j.infsof.2007.09.003