, The B-Toolkit User's Manual. B-Core (UK) Limited, 1997.

M. Abadi and L. Cardelli, A Theory of Objects, 1996.

N. A. Aboud, G. Arévalo, J. Falleri, M. Huchard, C. Tibermacine et al., Automated architectural component classification using concept lattices, Proceedings WICSA/ECSA, pp.21-31, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00415739

J. Abrial, The B-book: Assigning Programs to Meanings, 1996.

J. Abrial, Modeling in Event-B: System and Software Engineering, 2010.

R. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Fundamental Approaches to Software Engineering, vol.1382, pp.21-37, 1998.

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.
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.9, pp.69-86, 2010.

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, vol.13, pp.649-678, 2014.

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

P. Behm, P. Benoit, A. Faivre, and J. Meynadier, Meteor: A successful application of B in a large project, FM'99-Formal Methods, vol.1708, pp.369-387, 1999.

. Springer,

K. H. Bennett and V. T. Rajlich, Software maintenance and evolution: A roadmap, Proceedings of the Conference on The Future of Software Engineering, ICSE '00, pp.73-87, 2000.

A. Beugnard, J. Jezequel, N. Plouzeau, and D. Watkins, Making components contract aware, Computer, vol.32, issue.7, pp.38-45, 1999.
URL : https://hal.archives-ouvertes.fr/hal-02141773

A. Beugnard, J. Jézéquel, and N. Plouzeau, Contract Aware Components, 10 years after, Electronic Proceedings in Theoretical Computer Science, issue.37, pp.86-100, 2010.
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.

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.

A. Brucker and B. Wolff, Hol-ocl: A formal proof environment for uml/ocl, Fundamental Approaches to Software Engineering, vol.4961, pp.97-100, 2008.

J. Bruel, J. Lilius, A. Moreira, F. , R. Goos et al., Defining precise semantics for uml, Object-Oriented Technology, vol.1964, pp.113-122, 2000.

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, vol.2272, pp.22-41, 2002.
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 Comput. Surv, vol.28, issue.4, pp.626-643, 1996.
URL : https://hal.archives-ouvertes.fr/hal-00444076

. Clearsy, , 2001.

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

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, L. , and S. , 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, C. , and M. , 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, Software Architecture, 2001. Proceedings. Working IEEE/IFIP Conference on, pp.103-112, 2001.

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.

D. Delahaye, C. Dubois, C. Marché, D. ;. Mentré, T. et al., The BWare project: Building a Proof Platform for the Automated Verification of B Proof Obligations, Abstract State Machines, vol.8477, pp.290-293, 2014.
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, vol.23, pp.43-71, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00554978

S. Dupuy, Y. Ledru, C. , and M. , An overview of roz : A tool for integrating uml and z specifications, Advanced Information Systems Engineering, vol.1789, pp.417-430, 2000.

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: A roadmap, Proceedings of the Conference on The Future of Software Engineering, ICSE '00, pp.91-101, 2000.

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

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.

D. Garlan, F. Bachmann, J. Ivers, J. Stafford, L. Bass et al., , 2010.

, Documenting Software Architectures: Views and Beyond

D. Garlan, R. Monroe, W. , and D. , ACME: An architecture description interchange language, Proceedings of Centre for Advanced Studies Conference, p.7, 1997.

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.

J. C. Georgas, E. M. Dashofy, T. , and R. N. , Architecture-centric development: A different approach to software engineering, ACM Crossroads, issue on Software Engineering, vol.12, issue.4, 2006.

O. L. Goaer, D. Tamzalit, M. Oussalah, and A. Seriai, Evolution shelf: Reusing evolution expertise within component-based software architectures, Proceedings of the 32nd, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00456002

, Annual IEEE International Computer Software and Applications Conference, pp.311-318, 2008.

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.27-34, 2007.

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.

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

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

L. Hochstein and M. Lindvall, Combating architectural degeneration: A survey, Inf. Softw. Technol, vol.47, issue.10, pp.643-656, 2005.

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

S. , IEEE Standard for Software Maintenance, pp.1219-1998, 1998.

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

. Iso/iec, Software engineering-product quality-part 1: Quality model. International Organization For Standardization/International Electrotechnical Commission and others, vol.9126, 2001.

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

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.

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, Software Architecture, 2005. WICSA 2005. 5th Working IEEE/IFIP Conference on, pp.131-140, 2005.

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, Lecture Notes in Computer Science, vol.7940, pp.46-60, 2013.

L. Goaer and O. , Evolution styles within software architectures, 2009.
URL : https://hal.archives-ouvertes.fr/tel-00459925

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, pp.495-504, 2002.
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, vol.83, pp.592-606, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00860806

M. M. Lehman, On understanding laws, evolution, and conservation in the largeprogram life cycle, Journal of System and Software, vol.1, pp.213-221, 1984.

M. Leuschel and J. Bendisposto, Directed model checking for B: An evaluation and new techniques, Formal Methods: Foundations and Applications, vol.6527, pp.1-16, 2011.

M. Leuschel and M. Butler, ProB: An Automated Analysis Toolset for the B Method, International Journal on Software Tools for Technology Transfer, vol.10, issue.2, pp.185-203, 2008.

B. P. Lientz, E. B. Swanson, and G. E. Tompkins, Characteristics of application software maintenance, Communication of the ACM, vol.21, issue.6, pp.466-471, 1978.

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

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.

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

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

N. Medvidovic, Moving architectural description from under the technology lamppost, Software Engineering and Advanced Applications, 2006. 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 ICSE, pp.44-53, 1999.

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

N. R. Mehta, N. Medvidovic, P. , and S. , Towards a taxonomy of software connectors, Proceedings of the 22Nd International Conference on Software Engineering, ICSE '00, pp.178-187, 2000.

T. Mens and S. Demeyer, Software Evolution, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00160620

B. Meyer, Applying "design by contract", Computer, vol.25, issue.10, pp.40-51, 1992.

R. Milner, J. Parrow, and D. Walker, A calculus of mobile processes, I. Information and Computation, vol.100, 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, The 27th, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01245924

, International Conference on Software Engineering and Knowledge Engineering, pp.674-679, 2015.

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

V. Montaghami, D. Rayside, J. Derrick, J. Fitzgerald, S. Gnesi et al., Extending alloy with partial instances, Abstract State Machines, vol.7316, pp.122-135, 2012.

D. Nau, M. Ghallab, and P. Traverso, Automated Planning: Theory & Practice, 2004.
URL : https://hal.archives-ouvertes.fr/hal-01982019

. Ocl, 2.3.1 specification, 2011.

, Mof 2.0 query/view/transformation (qvt

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, vol.3047, pp.257-271, 2004.

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

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, vol.35, pp.1-35, 2005.

D. L. Parnas, Software aging, Proceedings of the 16th International Conference on Software Engineering, ICSE '94, pp.279-287, 1994.

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

K. Pohl, G. Böckle, and F. J. Linden, Software Product Line Engineering: Foundations, Principles and Techniques, 2005.

W. Pree, Component-based software development-a new paradigm in software engineering?, Software Engineering Conference, 1997. Asia Pacific and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings, pp.523-524, 1997.

M. Riaz, M. Sulayman, H. Naqvi, T. Kim, A. Kiumi et al., Architectural decay during continuous software evolution and impact of 'design for change' on software architecture, Advances in Software Engineering, vol.59, pp.119-126, 2009.

W. W. Royce, Managing the development of large software systems: Concepts and techniques, 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, Ora Canada, pp.31-32, 1999.

N. Sadou, Structural Evolution in Component-based Software Evolution. Theses, 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, Principles of Software Evolution, Eighth International Workshop on, pp.65-68, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00457856

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

G. Smith, L. ;. Wildman, S. King, M. Henson, and S. Schneider, Model checking z specifications using sal, ZB 2005: Formal Specification and Development in Z and B, vol.3455, pp.85-103, 2005.

H. Springer-berlin,

C. Snook and M. Butler, UML-B: Formal Modeling and Design Aided by UML, ACM Transactions on Software Engineering and Methodology, vol.15, issue.1, pp.92-122, 2006.

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, Trends in Functional Programming, vol.7829, pp.21-36, 2013.

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, vol.1, pp.336-342, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00459882

R. Taylor, N. Medvidovic, and E. Dashofy, Software architecture: Foundations, Theory, and Practice, 2009.

R. N. Taylor, N. Medvidovic, K. M. Anderson, E. J. Whitehead, and J. E. Robbins, 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, Proceedings of the 5th, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00498776

, IEEE/IFIP Working Conference on Software Architecture (WICSA'05), pp.121-130

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), vol.4063, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00499531

E. Torlak and D. Jackson, Tools and Algorithms for the Construction and Analysis of Systems, Grumberg, O. and Huth, M, vol.4424, pp.632-647, 2007.

, 2.5 specification, UML, 2013.

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, vol.6285, pp.295-310, 2010.
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 of the International Conference on Generative Programming: Concepts and Experiences, pp.70-79, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00718290