N. Aboud, G. Arévalo, O. Bendavid, J. Falleri, N. Haderer et al., Building hierarchical component directories, 2014.
URL : https://hal.archives-ouvertes.fr/hal-02073774

G. Nour-alhouda-aboud, J. Arévalo, M. Falleri, C. Huchard, C. Tibermacine et al., Automated architectural component classification using concept lattices, Proceedings of the Joint Working IEEE/IFIP Conference on Software Architecture 2009 & European Conference on Software Architecture, pp.21-30, 2009.

J. Abrial, The B-book: assigning programs to meanings, 2005.

J. Adamek and F. Plá?il, Partial bindings of components-any harm?, Proceedings of the 11th Asia-Pacific Software Engineering Conference (APSEC 2004), pp.632-639, 2004.

A. L. Rafat, M. -msie'deen, A. D. Huchard, C. Seriai, S. Urtado et al., Automatic documentation of [mined] feature implementations from source code elements and use case diagrams with the REVPLINE approach, International Journal of Software Engineering and Knowledge Engineering, vol.24, issue.10, pp.1413-1438, 2014.

A. L. Rafat, M. -msie'deen, A. Huchard, C. Seriai, S. Urtado et al., Reverse engineering feature models from software configurations using Formal Concept Analysis, Proceedings of the 11th international conference on Concept Lattices and their Applications (CLA 2014), volume 1252 of CEUR Workshop Proceedings, pp.95-106, 2014.

A. L. Rafat, A. D. -msie'deen, M. Seriai, C. Huchard, S. Urtado et al., Mining features from the object-oriented source code of software variants by combining lexical and structural similarity, Proceedings of the 14th IEEE international conference on Information Reuse and Integration (IRI 2013), pp.586-593, 2013.

A. L. Rafat, A. D. -msie'deen, M. Seriai, C. Huchard, S. Urtado et al., Documenting the mined feature implementations from the object-oriented source code of a collection of software product variants, Proceedings of the 26th international conference on Software Engineering and Knowledge Engineering (SEKE 2014), pp.138-143, 2014.

A. L. Rafat, A. D. -msie'deen, M. Seriai, C. Huchard, S. Urtado et al., Concept lattices: a representation space to structure software variability, Proceedings of the 5th International Conference on Information and Communication Systems, 2014.

A. L. Rafat, A. D. -msie'deen, M. Seriai, C. Huchard, S. Urtado et al., An approach to recover feature models from object-oriented source code, Actes de la Journée Lignes de Produits, pp.15-26, 2012.

A. L. Rafat, A. D. -msie'deen, M. Seriai, C. Huchard, S. Urtado et al., Feature location in a collection of software product variants using formal concept analysis, Safe and Secure Reuse-Proceedings of the 13th International Conference on Software Reuse, number 7925 in LNCS, pp.302-307, 2013.

A. L. Rafat, A. D. -msie'deen, M. Seriai, C. Huchard, S. Urtado et al., Mining features from the objectoriented source code of a collection of software variants using formal concept analysis and latent semantic indexing, Proceedings of the 25th international conference on Software Engineering and Knowledge Engineering (SEKE 2013), pp.244-249, 2013.

J. Aldrich, C. Chambers, and D. Notkin, ArchJava: connecting software architecture to implementation, Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), pp.187-197, 2002.

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

G. Arévalo, Z. Azmeh, M. Huchard, C. Tibermacine, C. Urtado et al., Component and service farms, Actes desdeuxì emes journées nationales du GdR Génie de la Programmation et du Logiciel-Défis pour le Génie de la Programmation et du Logiciel, pp.281-284, 2010.

Z. Azmeh, M. Huchard, C. Tibermacine, C. Urtado, and S. Vauttier, WSPAB: A tool for automatic classification & selection of web services using formal concept analysis, Proceedings of the 6th IEEE European Conference on Web Services (ECOWS 2008), pp.31-40, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00533065

Z. Azmeh, M. Huchard, C. Tibermacine, C. Urtado, and S. Vauttier, Using concept lattices to support web service compositions with backup services, Proceedings of the 5th International Conference on Internet and Web Applications and Services (ICIW 2010), pp.363-368, 2010.
URL : https://hal.archives-ouvertes.fr/lirmm-00533196

O. Barais, F. Meur, L. Duchien, and J. Lawall, Software Architecture Evolution, pp.233-262, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00371226

M. Barbut and B. Monjardet, Ordre et classification : algèbre et combinatoire, 1970.

B. Benatallah, M. Hacid, A. Leger, C. Rey, and F. Toumani, On automating web services discovery, The VLDB Journal, vol.14, issue.1, pp.84-96, 2005.
URL : https://hal.archives-ouvertes.fr/hal-01586362

P. Hongyu, I. Breivold, M. Crnkovi´ccrnkovi´c, and . Larsson, A systematic review of software architecture evolution research. Information and Software Technology, vol.54, pp.16-40, 2012.

E. Bruneton, T. Coupaye, and J. Stefani, Recursive and dynamic software composition with sharing, Proceedings of the 7th ECOOP International Workshop on Component-Oriented Programming, 2002.

J. Buckley, T. Mens, M. Zenger, A. Rashid, and G. Kniesel, Towards a taxonomy of software change: Research articles, Journal of Software Maintenance and Evolution: Research and Practice, vol.17, issue.5, pp.309-332, 2005.

G. Canfora, M. Di-penta, R. Esposito, and M. L. Villani, An approach for qos-aware service composition based on genetic algorithms, Proceedings of the 7th Annual Conference on Genetic and Evolutionary Computation (GECCO 2005), pp.1069-1075, 2005.

R. V. Michel, I. Chaudron, and . Crnkovi´ccrnkovi´c, Software Engineering; Principles and Practice, chapter Component-based Software Engineering, pp.605-628, 2008.

H. Chou and W. Kim, A unifying framework for version control in a cad environment, Proceedings of the 12th International Conference on Very Large Data Bases (VLDB 1986), pp.336-344, 1986.

D. Coleman, D. Ash, B. Lowther, and P. Oman, Using metrics to evaluate software system maintainability, Computer, vol.27, issue.8, pp.44-49, 1994.

R. Conradi and B. Westfechtel, Version models for software configuration management, ACM Computing Surveys, vol.30, issue.2, pp.232-282, 1998.

M. Crasso, A. Zunino, and M. Campo, AWSC: An approach to web service classification based on machine learning techniques, Inteligencia Artificial, vol.12, issue.37, pp.25-36, 2008.

I. Crnkovi´ccrnkovi´c, M. Chaudron, and S. Larsson, Component-based development process and component lifecycle, Proceedings of the International Conference on Software Engineering Advances (ICSEA 2006), p.44, 2006.

I. Crnkovi´ccrnkovi´c, J. Stafford, and C. Szyperski, Software components beyond programming: From routines to services, IEEE Software, vol.28, issue.3, pp.22-26, 2011.

T. Luca-de-alfaro and . Henzinger, Interface automata, ACM SIGSOFT Software Engineering Notes, vol.26, issue.5, pp.109-120, 2001.

S. Deerwester, S. T. Dumais, G. W. Furnas, T. K. Landauer, and R. Harshman, Indexing by latent semantic analysis, Journal of the American Society for Information Science, vol.41, issue.6, pp.391-407, 1990.

S. Deng, B. Wu, J. Yin, and Z. Wu, Efficient planning for top-k web service composition, Knowledge and Information Systems, vol.36, issue.3, pp.579-605, 2013.

N. Desnos, M. Huchard, G. Tremblay, C. Urtado, and S. Vauttier, Search-based many-to-one component substitution, Journal of Software Maintenance and Evolution: Research and Practice, Special issue on Search-Based Software Engineering, vol.20, issue.5, pp.321-344, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00322877

N. Desnos, M. Huchard, C. Urtado, S. Vauttier, and G. Tremblay, Automated and unanticipated flexible component substitution, Proceedings of the 10th ACM SIGSOFT Symposium on Component-Based Software Engineering, vol.4608, pp.33-48, 2007.
URL : https://hal.archives-ouvertes.fr/lirmm-00163346

N. Desnos, C. Urtado, S. Vauttier, and M. Huchard, Assistancè a l'architecte pour la construction d'architecturesàarchitecturesà base de composants, Actes de la 12ème conférence francophone sur les Langages et ModèlesModèlesà Objets (LMO 2006), pp.37-52, 2006.

N. Desnos, S. Vauttier, C. Urtado, and M. Huchard, Automating the building of software component architectures, Proceedings of the 3rd European Workshop on Software Architectures, Languages, Styles, Models, Tools, and Applications, vol.4344, pp.228-235, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00120400

H. Dhama, Quantitative models of cohesion and coupling in software, Journal of Systems and Software, vol.29, issue.1, pp.65-74, 1995.

K. R. Dittrich, S. Gatziu, and A. Geppert, The active database management system manifesto: A rulebase of adbms features, Proceedings of the 2nd Workshop on Rules in Databases, vol.985, pp.3-20, 1995.

X. Dong, A. Halevy, J. Madhavan, E. Nemes, and J. Zhang, Similarity search for web services, Proceedings of the 30th international conference on Very Large Data Bases (VLDB 2004), pp.372-383, 2004.

S. Ducasse and D. Pollet, Software architecture reconstruction: A process-oriented taxonomy, IEEE Transactions on Software Engineering, vol.35, issue.4, pp.573-591, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00498407

M. Faure, L. Fabresse, M. Huchard, C. Urtado, and S. Vauttier, Towards scenario creation by service composition in ubiquitous environments, Proceedings of the 9th edition of the BElgian-NEtherlands software eVOLution seminar (BENEVOL 2010), pp.145-155, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00618260

M. Faure, L. Fabresse, M. Huchard, C. Urtado, and S. Vauttier, A service component framework for multi-user scenario management in ubiquitous environments, Proceedings of the 6th International Conference on Software Engineering Advances (ICSEA 2011), pp.155-160, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00618269

M. Faure, L. Fabresse, M. Huchard, C. Urtado, and S. Vauttier, User-defined scenarios in ubiquitous environments: creation, execution control and sharing, Proceedings of the 23rd International Conference on Software Engineering and Knowledge Engineering, pp.302-307, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00618264

B. Ganter and R. Wille, Formal Concept Analysis: Mathematical Foundations, 1997.

D. Garlan, R. T. Monroe, and D. Wile, Acme: architectural description of component-based systems, Foundations of Component-Based Systems, vol.3, pp.47-68, 2000.

D. Giannakopoulou, C. S. Päsäreanu, and H. Barringer, Assumption generation for software component verification, Proceedings of the 17th IEEE international conference on Automated Software Engineering (ASE 2002), pp.3-12, 2002.

G. Grondin, M. Faure, C. Urtado, and S. Vauttier, Mission-oriented autonomic configuration of pervasive systems, Proceedings of the 7th International Conference on Software Engineering Advances (ICSEA 2012), pp.685-690, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00819248

C. Suresh, A. Gupta, and . Kumar, Reusable Software Component Retrieval System, International Journal of Application or Innovation in Engineering and Management, vol.2, issue.1, pp.187-194, 2013.

F. Hacklinger, JavaA-taking components into java, Proceedings of the ISCA 13th international conference on Intelligent and Adaptive Systems and Software Engineering (IASSE 2004), pp.163-168, 2004.

F. Hamoui, M. Huchard, C. Urtado, and S. Vauttier, Specification of a component-based domotic system to support user-defined scenarios, Proceedings of 21st International Conference on Software Engineering and Knowledge Engineering, pp.597-602, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00415722

F. Hamoui, M. Huchard, C. Urtado, and S. Vauttier, SAASHA: a Self-Adaptable Agent System for Home Automation, Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA 2010), pp.227-230, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00534679

F. Hamoui, M. Huchard, C. Urtado, and S. Vauttier, Un système d'agentsàagentsà base de composants pour les environnements domotiques, Actes de la 16ème conférence francophone sur les Langages et ModèlesModèlesà Objets (LMO 2010), pp.35-49, 2010.

D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, vol.8, issue.3, pp.231-274, 1987.

T. George, W. T. Heineman, and . Councill, Component-Based Software Engineering: putting the pieces together, 2001.

A. Heß and N. Kushmerick, Learning to attach semantic metadata to web services, Proceedings of the International Semantic Web Conference, vol.2870, pp.258-273, 2003.

M. Janota and G. Botterweck, Formal approach to integrating feature and architecture models, Fundamental Approaches to Software Engineering: Proceedings of the 11th International Conference on Formal Aspects of Software Engineering, vol.4961, pp.31-45, 2008.

K. Kang, S. G. Cohen, J. A. Hess, W. E. Novak, and A. Spencer-peterson, Feature-oriented domain analysis (FODA): Feasibility study, 1990.

S. Kebir, A. Seriai, S. Chardigny, and A. Chaoui, Quality-centric approach for software component identification from objectoriented code, Proceedings of the Joint 10th Working IEEE / IFIP Conference on Software Architecture & 6th European Conference on Software Architecture (WICSA / ECSA 2012), pp.181-190, 2012.
URL : https://hal.archives-ouvertes.fr/lirmm-00824146

N. Kokash, A comparison of web service interface similarity measures, Proceeding of the, p.3

, Starting AI Researchers' Symposium (STAIRS 2006), vol.142, pp.220-231, 2006.

M. M. Lehman, Programs, life cycles and laws of software evolution, Proceedings of the IEEE, vol.68, issue.9, pp.1060-1076, 1980.

M. M. Lehman, Laws of software evolution revisited, Proceedings of the 5th European Workshop on Software Process technology, vol.1149, pp.108-124, 1996.

M. M. Lehman and J. C. Fernandez-ramil, Towards a theory of software evolution-and its practical impact, Proceedings of the International Symposium on Principles of Software Evolution (ISPSE 2000), pp.2-11, 2000.

W. Li, X. Dai, and H. Jiang, Web services composition based on weighted planning graph, Proceedings of the first International Conference on Networking and Distributed Computing (ICNDC 2010), pp.89-93, 2010.

W. Li and S. Henry, Object-oriented software object-oriented metrics that predict maintainability, Journal of Systems and Software, vol.23, issue.2, pp.111-122, 1993.

H. Barbara and . Liskov, Keynote address-data abstraction and hierarchy, SIGPLAN Notices, vol.23, pp.17-34, 1987.

H. Barbara, J. M. Liskov, and . Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, pp.1811-1841, 1994.

M. D. Mcilroy, Report on a conference sponsored by the NATO SCIENCE COMMITTEE, Software Engineering, pp.138-151, 1968.

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

T. Mens, Introduction and roadmap: History and challenges of software evolution, Software Evolution, pp.1-11, 2008.

H. Mili, F. Mili, and A. Mili, Reusing software: issues and research directions, IEEE Transactions on Software Engineering, vol.21, issue.6, pp.528-562, 1995.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. , Yulin) Zhang. Modélisation et vérification formelles en B des architectures logiciellesàlogiciellesà trois niveaux, Actes de latroisì eme Conférence en IngénieriE du Logiciel (CIEL 2014), pp.71-77, 2014.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. , Yulin) Zhang. Towards automating the coherence verification of multilevel architecture descriptions, Proceedings of the 9th International Conference on Software Engineering Advances (ICSEA 2014), pp.416-421, 2014.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. , Yulin) Zhang. An evolution management model for multi-level componentbased software architectures, Proceedings of the 27th international conference on Software Engineering and Knowledge Engineering (SEKE 2015), pp.674-679, 2015.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. , Yulin) Zhang. Formal rules for reliable component-based architecture evolution, 11th international symposium on Formal Aspects of Component Software (FACS 2014), vol.8997, pp.127-142, 2014.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. , Yulin) Zhang. A three-level formal model for software architecture evolution, Post-proceedings of the 7th Seminar on Advanced Techniques & Tools for Software Evolution (SATToSE Bibliography 2014), volume 1354 of CEUR Workshop Proceedings, pp.102-111, 2015.

A. Mokni, C. Urtado, S. Vauttier, M. Huchard, and H. , Yulin) Zhang. A formal approach for managing component-based architecture evolution, Science of Computer Programming, special issue of the 11th international symposium on Formal Aspects of Component Software, vol.127, pp.24-49, 2016.

S. Monk and I. Sommerville, Schema evolution in oodbs using class versioning, SIGMOD Records, vol.22, issue.3, pp.16-22, 1993.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, vol.77, pp.541-580, 1989.

. , Web services business process execution language version 2, 2007.

. Omg, Unified modeling language, 2015.

C. Oussalah and C. Urtado, Complex object versioning, Proceedings of the 9th international Conference on Advanced Information Systems Engineering, vol.1250, pp.259-272, 1997.

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.

F. Plá?il and S. Visnovsky, Behavior protocols for software components, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1056-1076, 2002.

C. Platzer and S. Dustdar, A vector space search engine for web services, Proceedings of the third IEEE European Conference on Web Services (ECOWS 2005), pp.62-71, 2005.

R. H. Reussner, Counter-constrained finite state machines: A new model for component protocols with resource-dependencies, SOFSEM 2002: Theory and Practice of Informatics: 29th Conference on Current Trends in Theory and Practice of Informatics Milovy, vol.2540, p.20, 2002.

. Springer, , 2002.

R. H. Reussner, H. Iman, H. W. Poernomo, and . Schmidt, Reasoning about software architectures with contractually specified components, Component-Based Software Quality: Methods and Techniques, vol.2693, pp.287-325

. Springer, , 2003.

J. F. Roddick, A survey of schema versioning issues for database systems, Information and Software Technology, vol.37, issue.7, pp.383-393, 1995.

A. A. Nedhal, . Saiyd, A. A. Intisar, A. H. Said, and . Takrori, SemanticBased Retrieving Model of Reuse Software Component, International Journal of Computer Science and Network Security, vol.10, issue.7, pp.154-161, 2010.

A. Shatnawi, A. Seriai, H. Sahraoui, and Z. Alshara, Reverse engineering reusable software components from object-oriented apis, Journal of Systems and Software, 2016.
URL : https://hal.archives-ouvertes.fr/lirmm-01932852

M. Shaw, R. Deline, D. V. Klein, T. L. Ross, D. M. Young et al., Abstractions for software architecture and tools to support them, IEEE Transactions on Software Engineering, vol.21, issue.4, pp.314-335, 1995.

F. Souchon, C. Dony, C. Urtado, and S. Vauttier, A proposition for exception handling in multi-agent systems, Proceedings of the 2nd international workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS 2003), pp.136-143, 2003.
URL : https://hal.archives-ouvertes.fr/lirmm-00269664

F. Souchon, C. Dony, C. Urtado, and S. Vauttier, Software engineering for multi-agent systems II, Research issues and practical applications, LNCS, vol.2940, pp.167-188, 2003.

F. Souchon, C. Urtado, S. Vauttier, and C. Dony, Exception handling in component-based systems: a first study, Proceedings of the Exception Handling in Object-Oriented Systems workshop at ECOOP 2003, pp.84-91, 2003.
URL : https://hal.archives-ouvertes.fr/lirmm-00269724

F. Souchon, S. Vauttier, C. Urtado, and C. Dony, Fiabilité des applications multi-agents : le système de gestion d'exceptions SaGE, Systèmes multi-agents défis scientifiques et nouveaux usages-Actes des Journées Francophones sur les Systèmes Multi-Agents, pp.121-134, 2004.

P. Spacek, C. Dony, and C. Tibermacine, A component-based meta-level architecture and prototypical implementation of a reflective componentbased programming and modeling language, Procedings the 17th International ACM SIGSOFT Conference on Component Based Software Engineering, pp.13-23, 2014.
URL : https://hal.archives-ouvertes.fr/lirmm-01104167

C. Huaxi-;-yulin)-zhang, S. Urtado, and . Vauttier, Architecture-centric component-based development needs a three-level ADL, Proceedings of the 4th European Conference on Software Architecture, vol.6285, pp.295-310, 2010.

C. Huaxi-;-yulin)-zhang, S. Urtado, and . Vauttier, Architecture-centric development and evolution processes for component-based software, Proceedings of 22nd International Conference on Software Engineering and Knowledge Engineering (SEKE 2010), pp.680-685, 2010.

C. Huaxi-;-yulin)-zhang, S. Urtado, and . Vauttier, Dedal : un ADLàADLà trois dimensions pour gérer l'´ evolution des architecturesàarchitecturesà base de composants, Revue des Nouvelles Technologies de l'Information (RNTI L-5), pp.15-27, 2010.

C. Huaxi-;-yulin)-zhang, S. Urtado, L. Vauttier, M. Zhang, B. Huchard et al., Dedal-CDL: Modeling first-class architectural changes in Dedal, Proceedings of the Joint 10th Working IEEE / IFIP Conference on Software Architecture & 6th European Conference on Software Architecture (WICSA / ECSA 2012), 2012.
URL : https://hal.archives-ouvertes.fr/hal-00714629

L. Huaxi-;-yulin)-zhang, C. Zhang, S. Urtado, M. Vauttier, and . Huchard, A three-level component model in component-based software development, Proceedings of the 11th International Conference on Generative Programming and Component Engineering, 2002.
URL : https://hal.archives-ouvertes.fr/hal-00718290

F. Plásil, D. Balek, and R. Janecek, SOFA/DCUP: Architecture for component trading and dynamic updating, Proc. of the Int. Conf. on Configurable Distributed Systems, pp.43-52, 1998.

E. Bruneton, T. Coupaye, and J. B. Stefani, Fractal specification-v 2.0.3, 2004.

T. Bures, P. Hnetynka, and F. Plásil, Sofa 2.0: Balancing advanced features in a hierarchical component model, SERA, pp.40-48, 2006.

N. Desnos, S. Vauttier, C. Urtado, and M. Huchard, Automating the building of software component architectures, Software Architecture: 3 rd European Workshop on Software Architectures, Languages, Styles, Models, Tools, and Applications (EWSA), vol.4344, pp.228-235, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00120400

A. W. Brown and K. C. Wallnau, The current state of CBSE, IEEE Software, vol.15, issue.5, pp.37-46, 1998.

I. Crnkovic, Component-based software engineering-new challenges in software development. Software Focus, vol.2, pp.127-133, 2001.

M. Remco, J. P. Dijkman, D. A. Andrade-almeida, and . Quartel, Verifying the correctness of component-based applications that support business processes, Proc. of the 6th Workshop on CBSE: Automated Reasoning and Prediction, pp.43-48, 2003.

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Trans. Softw. Eng, vol.26, issue.1, pp.70-93, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00444077

P. Inverardi, A. L. Wolf, and D. Yankelevich, Static checking of system behaviors using derived component assumptions, ACM Trans. Softw. Eng. Methodol, vol.9, issue.3, pp.239-272, 2000.

T. A. Luca-de-alfaro and . Henzinger, Interface automata, Proc. of the 8th European software engineering conference, pp.109-120, 2001.

M. Mach, F. Plásil, and J. Kofron, Behavior protocols verification: Fighting state explosion, International Journal of Computer and Information Science, vol.6, issue.1, pp.22-30, 2005.

V. Holub and F. Plásil, Reducing component systems' behavior specification, Proceedings of the XXVI International Conference of the Chilean Society of Computer Science (SCCC'07), pp.63-72, 2007.

V. Holub and P. Tuma, Streaming state space: A method of distributed model verification, Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE 2007), pp.356-368, 2007.

K. C. Wallnau, A technology for predictable assembly from certifiable components (pacc), vol.III, 2003.

J. Adamek and F. Plásil, Partial bindings of components-any harm?, APSEC '04: Proc. of the 11th Asia-Pacific Software Engineering Conference, pp.632-639, 2004.

R. H. Reussner, H. Iman, H. W. Poernomo, and . Schmidt, Reasoning on software architectures with contractually specified components, ComponentBased Software Quality: Methods and Techniques, vol.2693, pp.287-325, 2003.

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

M. Shaw, R. Deline, D. V. Klein, T. L. Ross, D. M. Young et al., Abstractions for software architecture and tools to support them, Software Engineering, vol.21, issue.4, pp.314-335, 1995.

J. Magee and J. Kramer, Dynamic structure in software architectures, SIGSOFT '96: Proc. of the 4th ACM SIGSOFT symposium on Foundations of software engineering, pp.3-14, 1996.

J. Aldrich, C. Chambers, and D. Notkin, ArchJava: connecting software architecture to implementation, Proc. of ICSE, pp.187-197, 2002.
DOI : 10.1109/icse.2002.1007967

P. Inverardi and A. L. Wolf, Formal specification and analysis of software architectures using the chemical abstract machine model, IEEE Trans. Softw. Eng, vol.21, issue.4, pp.373-386, 1995.

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

J. Matevska-meyer, W. Hasselbring, and R. H. Reussner, A software architecture description supporting component deployment and system runtime reconfiguration, Proc. of the 9th

. Int, Workshop on Component-Oriented Programming (WCOP '04), 2004.

P. Oreizy, N. Medvidovic, and R. N. Taylor, Architecture-based runtime software evolution, Proceedings of 2O th Intl. Conf. on Software Engineering, pp.177-187, 1998.
DOI : 10.1109/icse.1998.671114
URL : http://www.ics.uci.edu/~andre/ics223w2006/oreizymedvidovictaylor.pdf

P. Brada, Component change and version identification in SOFA, SOFSEM '99: Proc. of the 26th

, Conf. on Current Trends in Theory and Practice of Informatics, vol.00, pp.1-18, 1999.

. Springer, , pp.33-48

N. Desnos, S. Vauttier, C. Urtado, and M. Huchard, Automating the Building of Software Component Architectures, LNCS, vol.4333, pp.228-235, 2006.
URL : https://hal.archives-ouvertes.fr/lirmm-00120400

S. Ferré, O. Ridoux, and B. Sigonneau, Arbitrary Relations in Formal Concept Analysis and Logical Information Systems, ICCS 2005, vol.3596, pp.166-180, 2005.

B. Fischer, Specification-based Browsing of Software Component Libraries, Proceedings of the 13 th IEEE international conference on Automated Software Engineering (ASE'98), pp.74-83, 1998.

. Galicia, Galois lattice interactive constructor, 2002.

M. Huchard, M. R. Hacene, C. Roume, and P. Valtchev, Relational concept discovery in structured datasets, Ann. Math. Artif. Intell, vol.49, issue.1-4, pp.39-76, 2007.
URL : https://hal.archives-ouvertes.fr/lirmm-00183376

, ODP Trading Function Specification ISO/IEC 13235-1:1998(E). : International Organization for Standardization and International Telecommunication Union, Information Technology Open Distributed Processing, vol.22, 1998.

L. Iribarne, J. M. Troya, and A. Vallecillo, A Trading Service for COTS Components, The Computer Journal, vol.47, issue.3, pp.342-357, 2004.

M. Klusch, CASCOM-Intelligent Service Coordination in the Semantic Web, 2008.

S. O. Kuznetsov and S. A. Obiedkov, Comparing performance of algorithms for generating concept lattices, Journal of Experimental & Theoretical Artificial Intelligence, vol.14, issue.2-3, pp.189-216, 2002.

C. Lindig, Concept-Based Component Retrieval, Working Notes of the IJCAI-95 Workshop: Formal Approaches to the Reuse of Plans, Proofs, and Programs, pp.21-25, 1995.

R. Marvie, P. Merle, J. M. Geib, and S. Leblanc, Type-Safe Trading Proxies Using TORBA, Fifth International Symposium on Autonomous Decentralized Systems, pp.303-310, 2001.
DOI : 10.1109/isads.2001.917433

B. Meyer, Design by contract, Advances in Object-Oriented Software Engineering, pp.1-50, 1991.

, OMG, Trading Object Service Specification (TOSS) v1.0. : Object Managment Group, vol.22, 2000.

B. Sigonneau, O. ;. Ridoux, . Rtsi, . Lavoisier, C. Szypersky et al., Indexation multiple et automatisée de composants logiciels orientés objet, Component Software-Beyond Object-Oriented Programming, 2002.
DOI : 10.3166/tsi.25.9-42

P. Valtchev, D. Grosser, C. Roume, and M. R. Hacene, GaLicia: An Open Platform for Lattices, Using Conceptual Structures: Contributions to the 11th, 2003.

. Intl, Dresde (DE), Conference on Conceptual Structures (ICCS'03), pp.241-254

F. Vogt and R. Wille, TOSCANA-a Graphical Tool for Analyzing and REFERENCES 23, 1994.
DOI : 10.1007/3-540-58950-3_374
URL : https://link.springer.com/content/pdf/10.1007%2F3-540-58950-3_374.pdf

, Exploring Data, Graph Drawing, vol.894, pp.226-233

R. Wille, Restructuring lattice theory: an approach based on hierarchies of concepts, Ordered Sets, vol.83, pp.445-470, 1982.
DOI : 10.1007/978-94-009-7798-3_15

S. A. Yevtushenko and . Conexp, SourceForge, 2000.

A. M. Zaremski and J. M. Wing, Specification matching of software components, 95: Proceedings of the 3rd ACM SIGSOFT symposium on Foundations of software engineering, pp.6-17, 1995.
DOI : 10.1145/222132.222135

A. M. Zaremski and J. M. Wing, Specification matching of software components, ACM Transactions on Software Engineering and Methodology (TOSEM), vol.6, issue.4, pp.333-369, 1997.
DOI : 10.1145/222132.222135

I. Crnkovic, M. Chaudron, and S. Larsson, Component-based development process and component lifecycle, Proc. of the Intl. Conf. on Software Engineering Advances, p.44, 2006.
DOI : 10.1109/iti.2005.1491195
URL : http://hrcak.srce.hr/file/69311

M. Chaudron and I. Crnkovic, Component-based Software Engineering, Software Engineering; Principles and Practice, pp.605-628, 2008.

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

E. Dashofy, A. Van-der-hoek, and R. Taylor, A highly-extensible, XML-based architecture description language, Proc. of 2nd WICSA Conf, pp.103-112, 2001.
DOI : 10.1109/wicsa.2001.948416
URL : http://www.ics.uci.edu/~taylor/ics228/WICSA 2001.pdf

N. Medvidovic, D. Rosenblum, and R. Taylor, A language and environment for architecture-based software development and evolution, Proc. of ICSE Conf, pp.44-53, 1999.
DOI : 10.1109/icse.1999.840994

R. Allen and D. Garlan, A formal basis for architectural connection, ACM Trans. Softw. Eng. Methodol, vol.6, issue.3, pp.213-249, 1997.
DOI : 10.1145/258077.258078
URL : https://hal.archives-ouvertes.fr/hal-00444067

F. Plasil and S. Visnovsky, Behavior protocols for software components, IEEE Trans. Softw. Eng, vol.28, issue.11, pp.1056-1076, 2002.
DOI : 10.1109/tse.2002.1049404

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

E. Bruneton, T. Coupaye, M. Leclercq, V. Quéma, and J. B. Stefani, The Fractal component model and its support in Java: Experiences with auto-adaptive and reconfigurable systems, Softw. Pract. Exper, vol.36, pp.1257-1284, 2006.
DOI : 10.1002/spe.767

G. Booch, J. Rumbaugh, and I. Jacobson, Unified Modeling Language User Guide, (The 2nd Edition), 2005.

D. Garlan, B. Schmerl, and J. Chang, Using gauges for architecture-based monitoring and adaptation, Proc. of Working Conf. on Complex and Dynamic Systems Architecture, 2001.

H. Y. Zhang, C. Urtado, and S. Vauttier, Architecture-centric development and evolution processes for component-based software, Proc. of 22 nd SEKE Conf, 2010.

N. A. Aboud, G. Arévalo, J. R. Falleri, M. Huchard, C. Tibermacine et al., Automated architectural component classification using concept lattices, Proc. of the Joint WICSA / ECSA Conf, 2009.
URL : https://hal.archives-ouvertes.fr/lirmm-00415739

N. Desnos, M. Huchard, G. Tremblay, C. Urtado, and S. Vauttier, Searchbased many-to-one component substitution, J. Softw. Maint: Res. Pract, vol.20, issue.5, pp.321-344, 2008.
URL : https://hal.archives-ouvertes.fr/lirmm-00322877

M. Shaw and D. Garlan, Software architecture: perspectives on an emerging discipline, 1996.

S. W. Cheng, D. Garlan, B. Schmerl, J. P. Sousa, B. Spitznagel et al., Using architectural style as a basis for system self-repair, Proc. of 3rd WICSA Conf, pp.45-59, 2002.

H. V. Vliet, Software Engineering: Principles and Practice, 2008.

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.

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

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.

L. Silva and D. Balasubramaniam, Controlling Software Architecture Erosion: A Survey, Journal of Systems and Software, vol.85, issue.1, pp.132-151, 2012.

H. Y. Zhang, C. Urtado, and S. Vauttier, Architecture-centric componentbased development needs a three-level ADL, Proceedings of the 4th
URL : https://hal.archives-ouvertes.fr/hal-00534682

, European Conference of Software Architecture, vol.6285, pp.295-310, 2010.

H. Y. Zhang, L. Zhang, C. Urtado, S. Vauttier, and M. Huchard, A threelevel 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

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

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

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

P. Behm, P. Benoit, A. Faivre, and J. Meynadier, Meteor: A Successful Application of B in a Large Project, FM99 Formal Methods, vol.1708, pp.369-387, 1999.

D. Cansell, G. Gopalakrishnan, M. Jones, D. Mry, 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

B. Atelier and C. ,

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

D. Delahaye, C. Dubois, C. March, D. Mentr, ;. 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

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.

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.

A. Mokni, M. Huchard, C. Urtado, S. Vauttier, and H. Y. Zhang, Formal rules for reliable component-based architecture evolution, in: Formal Aspects of Component Software-11th International FACS Symposium revised selected papers, pp.127-142, 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 International Conference on Software Engineering and Knowledge Engineering, pp.674-679, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01245924

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

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

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.

N. Medvidovic, D. S. Rosenblum, and R. N. Taylor, A Language and Environment for Architecture-based Software Development and Evolution, Proceedings of the 21st ICSE, pp.44-53, 1999.

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

F. Oquendo, B. Warboys, R. Morrison, R. Dindeleux, F. Gallo et al., ArchWare: Architecting Evolvable Software, vol.3047, pp.257-271, 2004.

A. Joolia, T. Batista, G. Coulson, and A. T. Gomes, Mapping ADL Specifications to an Efficient and Reconfigurable Runtime Component Platform, Proceedings of the 5th Working IEEE/IFIP Conference on Software Architecture, pp.131-140, 2005.

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.

F. Oquendo, Pi-ADL: An Architecture Description Language Based on the Higher-order 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 Software Engineering Notes, vol.29, issue.5, pp.1-20, 2004.

D. Garlan, R. Monroe, and D. Wile, ACME: An Architecture Description Interchange Language, Proceedings of Centre for Advanced Studies Conference, p.7, 1997.

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.

A. Sanchez, N. Oliveira, L. S. Barbosa, and P. Henriques, A perspective on architectural re-engineering, Science of Computer Programming, vol.98, pp.764-784, 2015.

A. Sanchez, L. Barbosa, and D. Riesco, Bigraphical Modelling of Architectural Patterns, vol.7253, pp.313-330, 2012.

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

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

J. M. 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.
DOI : 10.1007/s10270-012-0301-9

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

D. Mcdermott and P. , The Planning Domain Definition Language, 1998.

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

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

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

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

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

Y. Bertot, P. Castran, G. Huet, and C. Paulin-mohring, Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions, Texts in theoretical computer science, 2004.

U. , Dependently Typed Programming in Agda, Proceedings of the 6th International Conference on Advanced Functional Programming, AFP'08, pp.230-266, 2009.

D. Jackson, Software Abstractions: Logic, Language, and Analysis, Appendix E: Alternative Approaches, 2006.

M. Utting,

G. Smith and L. Wildman, ZB 2005: Formal Specification and Development in Z and B, vol.3455, pp.85-103, 2005.

J. Derrick, S. North, and A. Simons, Z2SAL: a translation-based model checker for Z, Formal Aspects of Computing, vol.23, issue.1, pp.43-71, 2011.
DOI : 10.1007/s00165-009-0126-7
URL : https://hal.archives-ouvertes.fr/hal-00554978

E. Torlak, D. Jackson, :. Kodkod, and . Finder, Tools and Algorithms for the Construction and Analysis of Systems, vol.4424, pp.632-647, 2007.

J. Svenningsson and E. Axelsson, Combining Deep and Shallow Embedding for EDSL, Trends in Functional Programming, vol.7829, pp.21-36, 2013.
DOI : 10.1007/978-3-642-40447-4_2

V. Montaghami, D. Rayside, ;. , V. , and Z. , Extending alloy with partial instances, Abstract State Machines, vol.7316, pp.122-135, 2012.

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

J. Keznikl, T. Bure, F. Plil, and P. Hntynka, Automated resolution of connector architectures using constraint solving (ARCAS method), Software & Systems Modeling, vol.13, pp.843-872, 2014.

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

O. , 0 Query/View/Transformation (QVT)

D. C. Schmidt, Guest Editor's Introduction: Model-Driven Engineering, Computer, vol.39, issue.2, pp.25-31, 2006.