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

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

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

F. Buschmann, K. Henney, and D. C. Schmidt, Pattern-Oriented Software Architecture, On Patterns and Pattern Languages, vol.5, 2007.

C. Tibermacine, R. Fleurquin, and S. Sadou, On-Demand Quality-Oriented Assistance in Component-Based Software Evolution, Proceedings of CBSE'06, pp.294-309, 2006.
DOI : 10.1007/11783565_21

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

C. Y. Baldwin and K. B. Clark, Design rules: The power of modularity, 2000.

L. Xiao, Y. Cai, and R. Kazman, Design rule spaces: a new form of architecture insight, Proceedings of the 36th International Conference on Software Engineering, ICSE 2014, pp.967-977, 2014.
DOI : 10.1145/2568225.2568241

C. Tibermacine, S. Sadou, M. T. Ton-that, and C. Dony, Software architecture constraint reuse-by-composition, Future Generation Computer Systems, vol.61, pp.61-98, 2016.
DOI : 10.1016/j.future.2016.02.006

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

S. Kallel, B. Tramoni, C. Tibermacine, C. Dony, and A. H. Kacem, Automatic Translation of Architecture Constraint Specifications into Components, The 9th European Conference on Software Architecture, pp.322-338, 2015.
DOI : 10.1016/j.infsof.2007.09.003

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

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

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.31-833, 2005.
DOI : 10.1109/TSE.2005.105

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

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

J. Favaro, What price reusability?: a case study, ACM SIGAda Ada Letters, pp.115-124, 1991.
DOI : 10.1145/112630.112643

T. M. Ton-that, C. Tibermacine, and S. Sadou, Catalogue of architectural patterns characterized by constraint components, Version 1.0, Tech. rep., IRISA, p.53, 2013.
URL : https://hal.archives-ouvertes.fr/hal-00844514

S. Bellon, R. Koschke, G. Antoniol, J. Krinke, and E. Merlo, Comparison and evaluation of clone detection tools, Software Engineering, IEEE Transactions on, vol.33, issue.9, pp.577-591, 2007.

H. Aloulou, Framework for ambient assistive living: handling dynamism and uncertainty in real time semantic services provisioning, national des télécommunications, 2013.
URL : https://hal.archives-ouvertes.fr/tel-01048706

T. Tiberghien, M. Mokhtari, H. Aloulou, and J. Biswas, Semantic Reasoning in Context-Aware Assistive Environments to Support Ageing with Dementia, pp.212-227, 2012.
DOI : 10.1007/978-3-642-35173-0_14

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

K. Hassam, S. Sadou, and R. Fleurquin, Adapting ocl constraints after a refactoring of their model using an mde process, in: BElgian-NEtherlands software eVOLution seminar, pp.16-27, 2010.

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

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, p.2004, 2004.

J. Cabot and E. Teniente, Transformation techniques for OCL constraints, Science of Computer Programming, vol.68, issue.3, pp.179-195, 2007.
DOI : 10.1016/j.scico.2007.05.001

URL : https://doi.org/10.1016/j.scico.2007.05.001

I. S. Bajwa and M. G. Lee, Transformation Rules for Translating Business Rules to OCL Constraints, pp.132-143, 2011.
DOI : 10.1007/11880240_25

A. Correa, C. Werner, and M. Barros, Refactoring to improve the understandability of specifications written in object constraint language, Software, pp.69-90, 2009.

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

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

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

URL : http://www.comp.it.bton.ac.uk/Research/vmg/papers/SAC2004.pdf

L. Froihofer, G. Glos, J. Osrael, and K. M. Goeschka, Overview and Evaluation of Constraint Validation Approaches in Java, 29th International Conference on Software Engineering (ICSE'07), pp.313-322, 2007.
DOI : 10.1109/ICSE.2007.60

B. Verheecke and R. , Van Der Straeten, Specifying and implementing the operational use of constraints in object-oriented applications, Proceedings of the Fortieth International Conference on Tools Pacific, pp.23-32, 2002.

M. Fowler, Refactoring: Improving the Design of Existing Code, 11th European Conference, 1997.
DOI : 10.1007/3-540-45672-4_31

N. Moha, Y. Guéhéneuc, A. Meur, and L. Duchien, A Domain Analysis to Specify Design Defects and Generate Detection Algorithms, International Conference on Fundamental Approaches to Software Engineering, pp.276-291, 2008.
DOI : 10.1007/978-3-540-78743-3_20

URL : https://hal.archives-ouvertes.fr/inria-00270172

N. Tsantalis and A. Chatzigeorgiou, Identification of Move Method Refactoring Opportunities, IEEE Transactions on Software Engineering, vol.35, issue.3, pp.347-367, 2009.
DOI : 10.1109/TSE.2009.1

M. Goldstein and I. Segall, Automatic and Continuous Software Architecture Validation, 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering, pp.2015-59, 2015.
DOI : 10.1109/ICSE.2015.135

H. C. Lovatt, A. M. Sloane, and D. R. Verity, A Pattern Enforcing Compiler (PEC) for Java, Proceedings of the 2nd Asia-Pacific conference on Conceptual modelling, pp.69-78, 2005.
DOI : 10.4018/978-1-59904-219-0.ch015

A. Blewitt, A. Bundy, and I. Stark, Automatic verification of java design patterns , in: Automated Software Engineering, Proceedings. 16th Annual International Conference on, pp.324-327, 2001.