P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers et al., Documenting software architectures: views and beyond, 2010.
DOI : 10.1109/icse.2003.1201264

D. Falessi, G. Cantone, R. Kazman, and P. Kruchten, Decision-making techniques for software architecture design: A comparative survey, ACM Computing Surveys (CSUR), vol.43, issue.4, p.33, 2011.

C. Tibermacine, Software Architecture 2, Ch. Architecture Constraints, 2014.

A. H. Eden and R. Kazman, Architecture, design, implementation, proceedings of the 25th International Conference on Software Engineering, pp.149-159, 2003.

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

B. Meyer, Touch of Class, 2013.

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, 1165.
URL : https://hal.archives-ouvertes.fr/hal-00499531

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

T. Erl-;-r.-filman, T. Elrad, S. Clarke, and M. Ak¸sitak¸sit, SOA design patterns, Pearson Education, Aspect-oriented software development, p.1170, 2004.

M. Petre, Uml in practice, Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), pp.722-731, 2013.

J. Peters and J. M. Van-der-werf, A genetic approach to architectural pattern discovery, Proccedings of the 10th European Conference on Software Architecture Workshops, p.17, 2016.

C. Tibermacine, R. Fleurquin, and S. Sadou, Simplifying transformations of architectural constraints, Proceedings of the ACM Symposium on 1180 Applied Computing (SAC'06), Track on Model Transformation, pp.1270-1244, 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

L. C. Briand, Y. Labiche, M. D. Penta, and H. D. Yan-bondoc, An ex1185 perimental investigation of formality in uml-based development, IEEE Transactions on Software Engineering, vol.31, pp.833-849, 2005.

S. Stelting and O. Maassen, Applied Java Patterns, 2002.

D. Ehms, Patternbox eclipse tool, 2000.

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

A. Ferdjoukh, A. Baert, A. Chateau, R. Coletta, and C. Nebut, A csp ap1195 proach for metamodel instantiation, ICTAI 2013, IEEE Internationnal Conference on Tools with Artificial Intelligence, p.1051, 2013.
DOI : 10.1109/ictai.2013.156

J. Cabot, R. Clarisó, and D. Riera, On the verification of uml/ocl class diagrams using constraint programming, Journal of Systems and Software, vol.93, pp.1-23, 2014.
URL : https://hal.archives-ouvertes.fr/hal-00974321

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

A. D. Brucker, M. P. Krieger, D. Longuet, and B. Wolff, A specificationbased test case generation method for uml/ocl, Models in Software 1205 Engineering, pp.334-348, 2011.
DOI : 10.1007/978-3-642-21210-9_33
URL : https://hal.archives-ouvertes.fr/hal-01760563

S. Ali, M. Z. Iqbal, A. Arcuri, and L. C. Briand, Generating test data from ocl constraints with search techniques, IEEE Transactions on Software Engineering, vol.39, issue.10, pp.1376-1402, 2013.
DOI : 10.1109/tse.2013.17

A. Hamie, Pattern-based mapping of ocl specifications to jml contracts, 1210 in: Model-Driven Engineering and Software Development (MODELSWARD), 2nd International Conference on, pp.193-200, 2014.

D. Bartetzko, C. Fischer, M. Möller, and H. Wehrheim, Jassjava with assertions, Electronic Notes in Theoretical Computer Science, vol.55, issue.2, pp.1215-103, 2001.

Y. Cheon and C. Avila, Automating java program testing using ocl and aspectj, Information Technology: New Generations (ITNG), 2010.
DOI : 10.1109/itng.2010.123
URL : http://digitalcommons.utep.edu/cgi/viewcontent.cgi?article=1059&context=cs_techrep

, Seventh International Conference on, pp.1020-1025, 2010.

J. Brunet, D. Guerrero, and J. Figueiredo, Design tests: An approach to 1220 programmatically check your code against design rules, in: Software Engineering-Companion Volume, 31st International Conference on, pp.255-258, 2009.

J. Van-eyck, N. Boucké, A. Helleboogh, and T. Holvoet, Using code analysis tools for architectural conformance checking, Proceedings of the 6th 1225 International Workshop on SHAring and Reusing Architectural Knowledge, pp.53-54, 2011.

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, pp.967-977, 2014.

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

S. Kallel, B. Tramoni, C. Tibermacine, C. Dony, and A. H. Kacem, Generating reusable, searchable and executable "architecture constraints as services, Journal of Systems and Software, vol.127, pp.91-108, 2017.
URL : https://hal.archives-ouvertes.fr/lirmm-01706634