M. Abadi and L. Cardelli, A Theory of Objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

N. A. Aboud, G. Arévalo, J. Falleri, M. Huchard, C. Tibermacine et al., Automated architectural component classification using concept lattices, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.21-31, 2009.
DOI : 10.1109/WICSA.2009.5290788
URL : https://hal.archives-ouvertes.fr/lirmm-00415739

J. Abrial, The B-book: Assigning Programs to Meanings, 1996.
DOI : 10.1017/CBO9780511624162

J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.
DOI : 10.1017/CBO9781139195881

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Fundamental Approaches to Software Engineering, pp.21-37, 1998.
DOI : 10.1007/BFb0053581

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Transactions on Software Engineering and Methodology, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

K. Anastasakis, B. Bordbar, G. Georg, R. , and I. , On challenges of model transformation from UML to Alloy, Software & Systems Modeling, vol.45, issue.15, pp.69-86, 2010.
DOI : 10.1007/s10270-008-0110-3

G. Arévalo, N. Desnos, M. Huchard, C. Urtado, and S. Vauttier, FCA-based service classification to dynamically build efficient software component directories, International Journal of General Systems, pp.427-453, 2008.

J. Barnes, D. Garlan, and B. Schmerl, Evolution styles: foundations and models for software architecture evolution. Software and Systems Modeling, pp.649-678, 2014.

J. M. Barnes, A. Pandey, and D. Garlan, Automated planning for software architecture evolution, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.213-223, 2013.
DOI : 10.1109/ASE.2013.6693081

P. Behm, P. Benoit, A. Faivre, and J. Meynadier, M??t??or: A Successful Application of B in a Large Project, p.99, 1999.
DOI : 10.1007/3-540-48119-2_22

K. H. Bennett and V. T. Rajlich, Software maintenance and evolution, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.73-87, 2000.
DOI : 10.1145/336512.336534

A. Beugnard, J. Jezequel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
DOI : 10.1109/2.774917

A. Beugnard, J. Jézéquel, and N. Plouzeau, Contract Aware Components, 10 years after, Electronic Proceedings in Theoretical Computer Science, pp.86-100, 2010.
DOI : 10.4204/EPTCS.37.1
URL : https://hal.archives-ouvertes.fr/inria-00554209

B. Bonet and H. Geffner, Planning as heuristic search, Artificial Intelligence, vol.129, issue.1-2, pp.5-33, 2001.
DOI : 10.1016/S0004-3702(01)00108-4

H. P. Breivold, I. Crnkovic, and M. Larsson, A systematic review of software architecture evolution research, Information and Software Technology, vol.54, issue.1, pp.16-40, 2012.
DOI : 10.1016/j.infsof.2011.06.002

A. Brucker and B. Wolff, HOL-OCL: A Formal Proof Environment for uml/ocl, Fundamental Approaches to Software Engineering, pp.97-100, 2008.
DOI : 10.1007/978-3-540-78743-3_8

J. Bruel, J. Lilius, A. Moreira, F. , R. Goos et al., Defining Precise Semantics for UML, Object-Oriented Technology, pp.113-122, 1964.
DOI : 10.1007/3-540-44555-2_10

D. Cansell, G. Gopalakrishnan, M. Jones, D. Méry, and A. Weinzoepflen, Incremental Proof of the Producer/Consumer Property for the PCI Protocol, ZB 2002:Formal Specification and Development in Z and B, volume 2272 of Lecture Notes in Computer Science, pp.22-41, 2002.
DOI : 10.1007/3-540-45648-1_2
URL : https://hal.archives-ouvertes.fr/inria-00100888

D. Cansell and D. Méry, Foundations of the B method, Computers and Informatics, vol.22, pp.1-31, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00099794

E. M. Clarke and J. M. Wing, Formal methods: state of the art and future directions, ACM Computing Surveys, vol.28, issue.4, 1996.
DOI : 10.1145/242223.242257
URL : https://hal.archives-ouvertes.fr/hal-00444076

G. Coulson, G. Blair, P. Grace, A. Joolia, K. Lee et al., A generic component model for building systems software, Software Engineering and Applications (SEA '04), pp.684-689, 2004.
DOI : 10.1145/1328671.1328672

I. Crnkovic, Building Reliable Component-Based Software Systems, 2002.

I. Crnkovic, Component-based software engineering -new challenges in software development, Information Technology Interfaces, 2003. ITI 2003. Proceedings of the 25th International Conference on, pp.9-18, 2003.

I. Crnkovic, M. Chaudron, and S. Larsson, Component-based development process and component lifecycle, Software Engineering Advances, International Conference on, pp.44-44, 2006.

I. Crnkovi´ccrnkovi´c, S. Sentilles, A. Vulgarakis, and M. Chaudron, A classification framework for software component models. Software Engineering, IEEE Transactions on, vol.37, issue.5, pp.593-615, 2011.

E. Dashofy, A. Van-der-hoek, T. , and R. , A highly-extensible, XML-based architecture description language, Proceedings Working IEEE/IFIP Conference on Software Architecture, pp.103-112, 2001.
DOI : 10.1109/WICSA.2001.948416

L. De-silva and D. Balasubramaniam, Controlling software architecture erosion: A survey, Journal of Systems and Software, vol.85, issue.1, pp.132-151, 2012.
DOI : 10.1016/j.jss.2011.07.036

D. Delahaye, C. Dubois, C. Marché, D. Mentré, . Tla et al., The BWare Project: Building a Proof Platform for the Automated Verification of B Proof Obligations, Lecture Notes in Computer Science, vol.8477, pp.290-293, 2014.
DOI : 10.1007/978-3-662-43652-3_26
URL : https://hal.archives-ouvertes.fr/hal-00998092

J. Derrick, S. North, and A. Simons, Z2sal: a translation-based model checker for z. Formal Aspects of Computing, pp.43-71, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00554978

S. Dupuy, Y. Ledru, and M. Chabre-peccoud, An Overview of RoZ : A Tool for Integrating UML and Z Specifications, Advanced Information Systems Engineering, pp.417-430, 2000.
DOI : 10.1007/3-540-45140-4_28

M. Fox and D. Long, Pddl2.1: An extension to pddl for expressing temporal planning domains, J. Artif. Int. Res, vol.20, issue.1, pp.61-124, 2003.

D. Garlan, Software architecture, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.91-101, 2000.
DOI : 10.1145/336512.336537

D. Garlan, R. Allen, and J. Ockerbloom, Architectural mismatch: why reuse is so hard, IEEE Software, vol.12, issue.6, pp.17-26, 1995.
DOI : 10.1109/52.469757

D. Garlan, R. Allen, and J. Ockerbloom, Architectural Mismatch: Why Reuse Is Still So Hard, IEEE Software, vol.26, issue.4, pp.66-69, 2009.
DOI : 10.1109/MS.2009.86

D. Garlan, R. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, p.7, 1997.
DOI : 10.1145/1925805.1925814

D. Garlan and B. Schmerl, Aevol: A tool for defining and planning architecture evolution, Proceedings of the 31st International Conference on Software Engineering, ICSE '09, pp.591-594, 2009.

D. Garlan and M. Shaw, AN INTRODUCTION TO SOFTWARE ARCHITECTURE, 1994.
DOI : 10.1142/9789812798039_0001

J. C. Georgas, E. M. Dashofy, T. , and R. N. , Architecture-centric development, Crossroads, vol.12, issue.4, 2006.
DOI : 10.1145/1144359.1144365

O. L. Goaer, D. Tamzalit, M. Oussalah, and A. Seriai, Evolution Shelf: Reusing Evolution Expertise within Component-Based Software Architectures, 2008 32nd Annual IEEE International Computer Software and Applications Conference, pp.311-318, 2008.
DOI : 10.1109/COMPSAC.2008.104
URL : https://hal.archives-ouvertes.fr/hal-00456002

M. Gogolla, F. Büttner, R. , and M. , USE: A UML-based specification environment for validating UML and OCL, Science of Computer Programming, vol.69, issue.1-3, pp.1-327, 2007.
DOI : 10.1016/j.scico.2007.01.013

K. M. Hansen and M. Ingstrup, Modeling and analyzing architectural change with alloy, Proceedings of the 2010 ACM Symposium on Applied Computing, SAC '10, pp.2257-2264, 2010.
DOI : 10.1145/1774088.1774560

G. T. Heineman and W. Councill, Component-based Software Engineering: Putting the Pieces Together, 2001.
DOI : 10.1007/b136248

C. A. Hoare, Communicating sequential processes, Communications of the ACM, vol.21, issue.8, pp.666-677, 1978.
DOI : 10.1145/359576.359585

L. Hochstein and M. Lindvall, Combating architectural degeneration: a survey, Information and Software Technology, vol.47, issue.10, 2005.
DOI : 10.1016/j.infsof.2004.11.005

A. Idani, B/UML: Bridging the gap between B specifications and UML graphical descriptions to ease external validation of formal B developments. Theses, 2006.
URL : https://hal.archives-ouvertes.fr/tel-00118718

M. Ingstrup and K. Hansen, Modeling architectural change: Architectural scripting and its applications to reconfiguration, 2009 Joint Working IEEE/IFIP Conference on Software Architecture & European Conference on Software Architecture, pp.337-340, 2009.
DOI : 10.1109/WICSA.2009.5290670

I. Iec, Software engineering?product quality?part 1: Quality model. International Organization For Standardization/International Electrotechnical Commission and others, 2001.

D. Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002.
DOI : 10.1145/505145.505149

D. Jackson, Software Abstractions: Logic, Language, and Analysis, 2006.

D. Jackson and M. Rinard, Software analysis: a roadmap, Proceedings of the conference on The future of Software engineering , ICSE '00, pp.133-145, 2000.
DOI : 10.1145/336512.336545

C. B. Jones, Systematic Software Development Using VDM, 1990.

A. Joolia, T. Batista, G. Coulson, and A. Gomes, Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 2005.
DOI : 10.1109/WICSA.2005.42

J. Kramer and J. Magee, The evolving philosophers problem: dynamic change management . Software Engineering, IEEE Transactions on, vol.16, issue.11, pp.1293-1306, 1990.

K. Lausdahl, Translating VDM to Alloy, Integrated Formal Methods, pp.46-60, 2013.
DOI : 10.1007/978-3-642-38613-8_4

L. Goaer and O. , Evolution styles within software architectures. Theses, Ecole Centrale de Nantes (ECN) (ECN) (ECN) (ECN), 2009.
URL : https://hal.archives-ouvertes.fr/hal-00459865

H. Ledang and J. Souquieres, Integration of UML and B specification techniques: systematic transformation from OCL expressions into B, Ninth Asia-Pacific Software Engineering Conference, 2002., pp.495-504, 2002.
DOI : 10.1109/APSEC.2002.1183053
URL : https://hal.archives-ouvertes.fr/inria-00107556

Y. Ledru, A. Idani, J. Milhau, N. Qamar, R. Laleau et al., Taking into Account Functional Models in the Validation of IS Security Policies, Advanced Information Systems Engineering Workshops of Lecture Notes in Business Information Processing, pp.592-606, 2011.
DOI : 10.1007/978-3-642-16265-7_18
URL : https://hal.archives-ouvertes.fr/hal-00860806

M. M. Lehman, On understanding laws, evolution, and conservation in the large-program life cycle, Journal of Systems and Software, vol.1, pp.213-221, 1984.
DOI : 10.1016/0164-1212(79)90022-0

M. Leuschel and J. Bendisposto, Directed Model Checking for B: An Evaluation and New Techniques, Formal Methods: Foundations and Applications, pp.1-16, 2011.
DOI : 10.1007/3-540-48153-2_6

M. Leuschel and M. Butler, ProB: an automated analysis toolset for the B method, International Journal on Software Tools for Technology Transfer, vol.49, issue.3, pp.185-203, 2008.
DOI : 10.1007/s10009-007-0063-9

B. P. Lientz, E. B. Swanson, and G. E. Tompkins, Characteristics of application software maintenance, Communications of the ACM, vol.21, issue.6, pp.466-471, 1978.
DOI : 10.1145/359511.359522

N. Macedo, T. Guimaraes, and A. Cunha, Model repair and transformation with Echo, 2013 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), pp.694-697, 2013.
DOI : 10.1109/ASE.2013.6693135

J. Magee, N. Dulay, S. Eisenbach, and J. Kramer, Specifying distributed software architectures, Proceedings of the 5th European Software Engineering Conference, pp.137-153, 1995.
DOI : 10.1007/3-540-60406-5_12

J. Magee and J. Kramer, Dynamic structure in software architectures, ACM SIGSOFT Software Engineering Notes, vol.21, issue.6, pp.3-14, 1996.
DOI : 10.1145/250707.239104

D. Mcdermott, PDDL-the planning domain definition language, 1998.

N. Medvidovic, Moving architectural description from under the technology lamppost, Software Engineering and Advanced Applications SEAA '06. 32nd EUROMICRO Conference on, pp.2-3, 2006.

N. Medvidovic, D. S. Rosenblum, T. , and R. N. , A type theory for software architectures, 1998.

N. Medvidovic, D. S. Rosenblum, T. , and R. N. , A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.44-53, 1999.
DOI : 10.1145/302405.302410

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767
URL : https://hal.archives-ouvertes.fr/hal-00444077

N. R. Mehta, N. Medvidovic, and S. Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.178-187, 2000.
DOI : 10.1145/337180.337201

T. Mens and S. Demeyer, Software Evolution, 2008.
DOI : 10.1007/978-3-540-76440-3
URL : https://hal.archives-ouvertes.fr/inria-00160620

B. Meyer, Applying 'design by contract', Computer, vol.25, issue.10, pp.40-51, 1992.
DOI : 10.1109/2.161279

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I. Information and Computation, pp.1-40, 1992.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. Y. Zhang, Towards automating the coherence verification of multi-level architecture descriptions, Proc. of the 9th ICSEA, pp.416-421, 2014.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. Y. Zhang, An evolution management model for multi-level component-based software architectures, Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, pp.674-679, 2015.
DOI : 10.18293/SEKE2015-172
URL : https://hal.archives-ouvertes.fr/hal-01245924

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

V. Montaghami, D. J. Rayside, J. Fitzgerald, S. Gnesi, S. Khurshid et al., Extending Alloy with Partial Instances, Abstract State Machines, Alloy, B, VDM, and Z, pp.122-135, 2012.
DOI : 10.1007/978-3-642-30885-7_9

D. Nau, M. Ghallab, and P. Traverso, Automated Planning: Theory & Practice, 2004.

F. Oquendo, Pi-ADL: An architecture description language based on the higherorder typed pi-calculus for specifying dynamic and mobile software architectures, SIGSOFT Software Engineering Notes, vol.29, issue.3, pp.1-14, 2004.

F. Oquendo, Pi-arl: An architecture refinement language for formally modelling the stepwise refinement of software architectures, SIGSOFT Softw. Eng. Notes, vol.29, issue.5, pp.1-20, 2004.

F. Oquendo, B. Warboys, R. Morrison, R. Dindeleux, F. Gallo et al., ArchWare: Architecting Evolvable Software, Software Architecture, pp.257-271, 2004.
DOI : 10.1007/978-3-540-24769-2_23

P. Oreizy, N. Medvidovic, T. , and R. N. , Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, pp.177-186, 1998.
DOI : 10.1109/ICSE.1998.671114

P. Oreizy and R. Taylor, On the role of software architectures in runtime system reconfiguration, Proceedings of the International Conference on Configurable Distributed Systems, CDS '98, p.61, 1998.

. Osgi, Osgi alliance, 2015.

M. Oussalah, N. Sadou, and D. Tamzalit, A generic model for managing software architecture evolution, Proceedings of the 9th WSEAS International Conference on Systems, ICS'05, pp.1-35, 2005.

D. L. Parnas, Software aging, Proceedings of 16th International Conference on Software Engineering, pp.279-287, 1994.
DOI : 10.1109/ICSE.1994.296790

D. E. Perry and A. L. Wolf, Foundations for the study of software architecture, ACM SIGSOFT Software Engineering Notes, vol.17, issue.4, pp.40-52, 1992.
DOI : 10.1145/141874.141884

K. Pohl, G. Böckle, and F. J. Linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.
DOI : 10.1007/3-540-28901-1

W. Pree, Component-based software development-a new paradigm in software engineering?, Proceedings of Joint 4th International Computer Science Conference and 4th Asia Pacific Software Engineering Conference, pp.523-524, 1997.
DOI : 10.1109/APSEC.1997.640216

M. Riaz, M. Sulayman, H. D. Naqvi, T. Kim, A. Kiumi et al., Architectural decay during continuous software evolution and impact of 'design for change' on software architecture Managing the development of large software systems: Concepts and techniques, Advances in Software Engineering, volume 59 of Communications in Computer and Information Science Proceedings of the 9th International Conference on Software Engineering, ICSE '87, pp.328-338, 1987.

S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. Prentice Hall series in artificial intelligence, 2010.

M. Saaltink, The z/eves 2.0 user's guide, pp.31-32, 1999.

N. Sadou, Structural Evolution in Component-based Software Evolution. Theses, Ecole Centrale de Nantes (ECN) (ECN) (ECN) (ECN), 2007.
URL : https://hal.archives-ouvertes.fr/tel-00488005

N. Sadou, D. Tamzalit, and M. Oussalah, A unified Approach for Software Architecture Evolution at different abstraction levels, Eighth International Workshop on Principles of Software Evolution (IWPSE'05), pp.65-68, 2005.
DOI : 10.1109/IWPSE.2005.4
URL : https://hal.archives-ouvertes.fr/hal-00457856

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

G. Smith and L. Wildman, Model Checking Z Specifications Using SAL, ZB 2005: Formal Specification and Development in Z and B, pp.85-103, 2005.
DOI : 10.1007/11415787_6

C. Snook and M. Butler, UML-B, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.92-122, 2006.
DOI : 10.1145/1125808.1125811

I. Sommerville, Software engineering, 2010.

J. M. Spivey, The Z Notation: A Reference Manual, 1992.

J. Svenningsson and E. Axelsson, Combining Deep and Shallow Embedding for EDSL, 2013.
DOI : 10.1007/978-3-642-40447-4_2

C. Szyperski, Component Software: Beyond Object-Oriented Programming, 2002.

D. Tamzalit, M. Oussalah, O. L. Goaer, and A. Seriai, Updating software architectures : A style-based approach, Proceedings of the International Conference on Software Engineering Research and Practice & Conference on Programming Languages and Compilers, pp.336-342, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00459882

R. Taylor, N. Medvidovic, and E. Dashofy, Software architecture, Proceedings of the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering on European software engineering conference and foundations of software engineering symposium, ESEC/FSE '09, 2009.
DOI : 10.1145/1595696.1595754
URL : https://hal.archives-ouvertes.fr/hal-00444077

R. N. Taylor, N. Medvidovic, K. M. Anderson, J. Whitehead, E. J. Robbins et al., A component-and message-based architectural style for GUI software, Proceedings of the 17th International Conference on Software Engineering, ICSE '95, pp.295-304, 1995.

C. Tibermacine, R. Fleurquin, and S. Sadou, Preserving Architectural Choices throughout the Component-based Software Development Process, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), pp.121-130, 2005.
DOI : 10.1109/WICSA.2005.52
URL : https://hal.archives-ouvertes.fr/hal-00498776

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), Vasteras, Sweden, 2006.
DOI : 10.1007/11783565_21
URL : https://hal.archives-ouvertes.fr/hal-00499531

E. Torlak and D. Jackson, Kodkod: A Relational Model Finder, Tools and Algorithms for the Construction and Analysis of Systems, pp.632-647, 2007.
DOI : 10.1007/978-3-540-71209-1_49

M. Utting, Jaza user manual and tutorial, 2005.

H. Y. Zhang, A multi-level architecture description language for forward and reverse evolution of component-based software, 2010.

H. Y. Zhang, C. Urtado, and S. Vauttier, Architecture-Centric Component-Based Development Needs a Three-Level ADL, Proceedings of the 4th European Conference of Software Architecture, pp.295-310, 2010.
DOI : 10.1002/smr.377
URL : https://hal.archives-ouvertes.fr/hal-00534682

H. Y. Zhang, L. Zhang, C. Urtado, S. Vauttier, and M. Huchard, A three-level component model in component based software development, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, GPCE '12, pp.70-79, 2012.
DOI : 10.1145/2371401.2371412
URL : https://hal.archives-ouvertes.fr/hal-00718290