A. Jansen and J. Bosch, Software Architecture as a Set of Architectural Design Decisions, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pp.109-120, 2005.
DOI : 10.1109/WICSA.2005.61

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design Patterns: Elements of Reusable Object-Oriented Sofware, 1995.

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

B. Meyer, Eiffel: The Language, 1992.

C. Tibermacine, R. Fleurquin, and S. Sadou, A family of languages for architecture constraint specification, Journal of Systems and Software (JSS), pp.815-831, 2010.
DOI : 10.1016/j.jss.2009.11.736

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

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

I. Crnkovic, S. Sentilles, A. Vulgarakis, and M. R. Chaudron, A Classification Framework for Software Component Models, IEEE Transactions on Software Engineering, vol.37, issue.5, pp.593-615, 2011.
DOI : 10.1109/TSE.2010.83

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

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

D. Chappell, Enterprise Service Bus: Theory in Practice, 2004.

P. Avgeriou and U. Zdun, Architectural patterns revisited a pattern language, 10th European Conference on Pattern Languages of Programs, pp.1-39, 2005.

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

J. E. Gaffney and T. A. Durek, Software reuse???key to enhanced productivity: some quantitative models, Information and Software Technology, vol.31, issue.5, pp.258-267, 1989.
DOI : 10.1016/0950-5849(89)90005-0

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

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

J. Favaro, What price reusability?: A case study, ACM SIGAda Ada Letters XI, issue.3, pp.115-124, 1991.

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

D. Garlan, R. Allen, and J. Ockerbloom, Exploiting style in architectural design environments, Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.175-188, 1994.

R. Allen, A formal approach to software architecture, 1997.

M. Moriconi, X. Qian, and R. A. Riemenschneider, Correct architecture refinement, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.356-372, 1995.
DOI : 10.1109/32.385972

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Moriconi and R. A. Riemenschneider, Introduction to sadl 1.0: A language for specifying software architecture hierarchies, 1997.

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

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, pp.7-22, 2004.
DOI : 10.1007/978-3-540-24774-6_3

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

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

A. Kamal and P. Avgeriou, Modeling Architectural Patterns??? Behavior Using Architectural Primitives, Software Architecture, pp.164-179, 2008.
DOI : 10.1007/978-3-540-88030-1_13

M. T. Thon-that, S. Sadou, F. Oquendo, and I. Borne, Preserving architectural pattern composition information through explicit merging operators, Future Generation Computer Systems, vol.47, pp.1-32, 2014.
DOI : 10.1016/j.future.2014.09.002

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

B. Bokowsky, CoffeeStrainer, Proceedings of the 7th European Software Engineering Conference held jointly with the 7th ACM SIG- SOFT International Symposium on Foundations of Software Engineering, pp.355-374, 1999.
DOI : 10.1145/318774.319253

A. Chowdhury and S. Meyers, Facilitating software maintenance by automated detection of constraint violations, 1993 Conference on Software Maintenance, pp.262-271, 1993.
DOI : 10.1109/ICSM.1993.366936

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.

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.

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

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

N. H. Minsky, Law-governed regularities in object systems. Part 1: An abstract model, Theory and Practice of Object Systems, pp.283-301, 1996.
DOI : 10.1002/(SICI)1096-9942(1996)2:4<283::AID-TAPO4>3.0.CO;2-V

N. H. Minsky and P. , Law-governed regularities in object systems. Part 2: A concrete implementation, Theory and Practice of Object Systems, vol.3, issue.2, pp.87-101, 1997.
DOI : 10.1002/(SICI)1096-9942(1997)3:2<87::AID-TAPO2>3.0.CO;2-4

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.

R. Mitschke, M. Eichberg, M. Mezini, A. Garcia, and I. Macia, Modular specification and checking of structural dependencies, Proceedings of the 12th annual international conference on Aspect-oriented software development (AOSD'13), pp.85-96, 2013.

M. Giese and D. Larsson, Simplifying Transformations of OCL Constraints, Proceedings of the 8th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS/UML 2005), pp.309-323, 2005.
DOI : 10.1007/11557432_23

J. Ackermann and K. Turowski, A Library of OCL Specification Patterns for Behavioral Specification of Software Components, Proceedings of the 18th International Conference Advanced Information Systems Engineering (CAiSE'06), pp.255-269, 2006.
DOI : 10.1007/11767138_18

J. Ackermann, Formal description of ocl specification patterns for behavioral specification of software components, in: Workshop on Tool Support for OCL and Related Formalisms -Needs and Trends. Held in conjunction with MODELS'05, pp.15-29, 2005.

A. Paschke, RBSLA A declarative Rule-based Service Level Agreement Language based on RuleML, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06), pp.308-314, 2005.
DOI : 10.1109/CIMCA.2005.1631486

O. M. Group, Meta object facility (mof) 2.0 core specification, document ptc/04-10-15, OMG Web Site, 2004.

O. Soa, Open soa. service component architecture specifications, 2007.

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