M. Narayanan, T. Paolucci, A. Payne, M. Ankolekar, K. Burstein et al., DAML-S: Web Service Description for the SemanticWeb, The Semantic Web -ISWC 2002: First International Semantic Web Conference, 2002.

F. [. Alonso, H. Casati, H. Kuno, and . Machiraju, Web Services -Concepts, Architectures and Applications, 2003.

[. Aldrich, C. Chambers, and D. Notkin, ArchJava, Proceedings of the 24th international conference on Software engineering , ICSE '02, pp.187-197, 2002.
DOI : 10.1145/581339.581365

. Act and . Activebpel, Activebpel website

R. J. Allen, A Formal Approach to Software Architecture, 1997.

J. Andersson, Issues in Dynamic Software Architectures, Proc. of the Int. Software Architecture Workshop, pp.111-114, 2000.

. Apache, Apache felix website

]. A. Ars04 and . Arsanjani, Service-oriented modeling and architecture. how to identify, specify, and realize services for your soa, 2004.

S. [. Alashqur, H. Su, and . Lam, OQL: a query language for manipulating object-oriented databases, VLDB '89: Proceedings of the 15th international conference on Very large data bases, pp.433-442, 1989.

]. O. Bar05 and . Barais, Construire et Maîtriser l'évolution d'une architecture logicielle à base de composants, 2005.

]. J. Bbb-+-05, M. Bézivin, M. Blay, J. Bouzeghoub, J. Estublier et al., Rapport de synthèse: Action specifique cmrs sur l'ingénierie dirigée par les modèles, 2005.

J. S. Bradbury, J. R. Cordy, J. Dingel, and M. Wermelinger, A survey of self-management in dynamic software architecture specifications, Proceedings of the 1st ACM SIGSOFT workshop on Self-managed systems , WOSS '04, pp.28-33, 2004.
DOI : 10.1145/1075405.1075411

T. [. Bruneton, J. B. Coupaye, and . Stefani, The fractal component model, 2004.

O. Barais and L. Duchien, Safarchie Studio: ArgoUML Extensions to Build Safe Architectures, Architecture Description Languages IFIP International Federation for Information Processing, vol.176, pp.85-100, 2005.
DOI : 10.1007/0-387-24590-1_6

O. [. Bézivin and . Gerbé, Towards a precise definition of the OMG/MDA framework, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001), pp.273-282, 2001.
DOI : 10.1109/ASE.2001.989813

. Bea, . Ibm, I. Interface21, . Oracle, . Sap et al., Service component architecture. building systems using a service oriented architecture, Barais, A. F. Le Meur, L. Duchien, and J. Lawall. Software Architecture Evolution, pp.233-262, 2005.

]. G. Boo93 and . Booch, Object-Oriented Analysis and Design with Applications Object-Oriented Software Engineering, 1993.

J. Yang, B. Orriens, and M. P. Papazoglou, Model driven service composition, International Conference on Service-Oriented Computing (ICSOC), pp.75-90, 2003.

A. Bucchiarone, A. Polini, P. Pelliccione, and M. Tivoli, Towards an architectural approach for the dynamic and automatic composition of software components, Proceedings of the ISSTA 2006 workshop on Role of software architecture for testing and analysis , ROSATEA '06, pp.12-21, 2006.
DOI : 10.1145/1147249.1147251

]. J. Bra04 and . Bradbury, Organizing definitions and formalisms for dynamic software architectures, 2004.

Q. [. Benatallah, M. Sheng, and . Dumas, The Self-Serv environment for Web services composition, IEEE Internet Computing, vol.7, issue.1, pp.40-48, 2003.
DOI : 10.1109/MIC.2003.1167338

F. Budinsky, D. Steingerg, E. Merks, R. Ellersick, and T. J. Grose, Eclipse Modeling Framework : A Developer's Guide, Car] CarengieMellon. Software engineering institute, 2003.

H. Cervantes, Vers un modèle à composants orienté services pour supporter la disponibilité dynamique, 2004.

]. C. Cha02 and . Chaudet, Pi-Space : Langage et outils pour la description d'architectures évolutives à composants dynamiques. Formalisation d'architectures logicielles et industrielles, 2002.

[. Chappell, Introducing sca, 2007.

S. Chollet and P. Lalanda, Security specifcation at process level, SCC '08: Proceedings of the 2008 IEEE International Conference on Services Computing, pp.165-172, 2008.
DOI : 10.1109/scc.2008.51

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

C. Paul and . Clements, A survey of architecture description languages, IWSSD '96: Proceedings of the 8th International Workshop on Software Specification and Design, p.16, 1996.

L. [. Clements and . Northrop, A framework for software product line practice ? version 4.2, 2003.

]. M. Cud05, H. Lutfiyya, S. Cuddy, and . Katchabaw, Context-aware service selection based on dynamic and static service attributes, pp.13-20

E. M. Dashofy, Supporting Stakeholder-driven, Multi-view Software Architecture Modeling, 2007.

P. David, Développement de composants Fractal adaptatifs : un langage dédié à l'aspect d'adaptation, 2005.

C. Virginia and . De-paula, ZCL: A Formal Framework for Specifying Dynamic Distributed Software Architectures, 1999.

C. Virginia, G. R. De-paula, P. R. Justo, and . Freire-cunha, Specifying and verifying reconfigurable software architectures, PDSE '00: Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, p.21, 2000.

J. Bosch, A survey on web services composition Experiences in software product families: Problems and issues during product derivation, SPLC, pp.1-30, 2004.

[. Deelstra, M. Sinnema, and J. Bosch, Product derivation in software product families: a case study, Journal of Systems and Software, vol.74, issue.2, pp.173-194, 2005.
DOI : 10.1016/j.jss.2003.11.012

[. Deelstra, M. Sinnema, J. Van-gurp, and J. Bosch, Model driven architecture as approach to manage variability in software product families, Proceedings of the Workshop on Model Driven Architectures: Foundations and Applications, pp.109-114, 2003.

. Eclb and S. Eclipse, Soa tools platform project

J. Estublier, I. A. Dieng, and E. Simon, Automating Component Selection and Building Flexible Composites for Service-Based Applications, 2009.
DOI : 10.1007/s00778-007-0044-3

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

J. Estublier, I. A. Dieng, E. Simon, and G. Vega, Flexible composite and automatic component selection for service-based applications, Proceedings of 4th International Conference on Evaluation of Novel Approaches to Software Engineering, 2009.

[. Escoffier and R. S. Hall, Dynamically Adaptable Applications with iPOJO Service Components, 6th International Symposium on Software Composition, pp.113-128, 2007.
DOI : 10.1007/978-3-540-77351-1_9

[. Escoffier, R. S. Hall, and P. Lalanda, iPOJO: an Extensible Service-Oriented Component Framework, IEEE International Conference on Services Computing (SCC 2007), pp.474-481, 2007.
DOI : 10.1109/SCC.2007.74

J. Estublier, T. Lévêque, and G. Vega, Evolution Control in MDE Projects: Controlling Model and Code Co-evolution, 2009.
DOI : 10.1007/978-3-642-11623-0_26

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

E. [. Estublier and . Simon, Universal and Extensible Service-Oriented Platform Feasibility and Experience: The Service Abstract Machine, 2009 33rd Annual IEEE International Computer Software and Applications Conference, 2009.
DOI : 10.1109/COMPSAC.2009.121

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

C. Escoffier and . Ipojo, Un modèle à composant à service flexible pour les systèmes dynamiques, 2008.

J. Estublier, G. Vega, P. Lalanda, and T. Lévêque, Domain Specific Engineering Environments, 2008 15th Asia-Pacific Software Engineering Conference, pp.553-560, 2008.
DOI : 10.1109/APSEC.2008.16

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

[. Favre, Foundations of meta-pyramids: Languages vs. metamodels ? episode ii: Story of thotus the baboon1, Language Engineering for Model-Driven Software Development, number 04101 in Dagstuhl Seminar Proceedings. Internationales Begegnungs-und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, 2005.

L. Casati, S. Ilnicki, and M. Shan, Adaptive and dynamic service composition in eflow, LNCS, editor, Advanced Information Systems Engineering, pp.13-31, 2000.

R. France, F. Fleurey, R. Reddy, B. Baudry, and S. Ghosh, Providing Support for Model Composition in Metamodels, 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp.253-264, 2007.
DOI : 10.1109/EDOC.2007.55

URL : https://hal.archives-ouvertes.fr/inria-00180463

R. France and B. Rumpe, Model-driven Development of Complex Software: A Research Roadmap, Future of Software Engineering (FOSE '07), pp.37-54, 2007.
DOI : 10.1109/FOSE.2007.14

URL : https://hal.archives-ouvertes.fr/inria-00511368

[. Gacek, A. Abd-allah, B. Clark, and B. Boehm, On the definition of software system architecture, Proceedings of the First International Workshop on Architectures for Software Systems, pp.85-94, 1995.

[. Blair, R. R. France, O. Gruber, B. J. Hargrave, J. Mcaffer et al., Models@run.time The Eclipse 3.0 platform: adopting OSGi technology, 4th Workshop on Models@run.time at MODELS 09, pp.289-299, 2005.
URL : https://hal.archives-ouvertes.fr/hal-00733338

D. Garlan and M. Shaw, AN INTRODUCTION TO SOFTWARE ARCHITECTURE, Advances in Software Engineering and Knowledge Engineering, pp.1-40, 1993.
DOI : 10.1142/9789812798039_0001

H. Gomaa and M. E. Shin, Automated Software Product Line Engineering and Product Derivation, 2007 40th Annual Hawaii International Conference on System Sciences (HICSS'07), p.285, 2007.
DOI : 10.1109/HICSS.2007.95

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

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

X. Hsz03-]-bin-zhou-haiyan-sun, P. Wang, and . Zou, Research and implementation of dynamic web services composition, Advanced Parallel Processing Technologies, pp.457-466, 2003.

[. Van-den-heuvel-hans-weigand and M. Hiel, Rule-based service composition and service-oriented business rule management, Proceedings of ReMoD, 2008.

I. [. Griss, P. Jacobson, and . Johnson, Software Reuse: Architecture, Process and Organization for Business Success, 1997.

[. Jezequel, S. Gerard, C. Mraidha, and B. Baudry, Approche unificatrice par les modèles. ? rapport final : Action spécifique cnrs sur l " ingénierie dirigée par les modèles, 2005.

C. Michael, G. Jaeger, and . Mühl, Qos-based selection of services: The implementation of a genetic algorithm, KiVS 2007 Workshop: Service- Oriented Architectures und ServiceOriented Computing (SOA/SOC, pp.359-370, 2007.

J. [. Eisenbach, N. Magee, J. Dulay, and . Kramer, Specifying distributed software architectures, Proceedings of the Fifth European Software Engineering Conference, 1995.

S. [. Kang, J. Cohen, S. Hess, W. Novak, and . Peterson, Featureoriented domain analysis (foda) feasibility study, Software Engineering Institute (SEI), 1990.

B. J. Krämer, Component meets service: what does the mongrel look like?, Innovations in Systems and Software Engineering, 2008.
DOI : 10.1007/s11334-008-0072-1

[. Kalibera and P. Tuma, Distributed Component System Based on Architecture Description: The SOFA Experience, On the Move to Meaningful Internet Systems, 2002 -DOA/CoopIS/ODBASE 2002 Confederated International Conferences DOA, CoopIS and ODBASE 2002, pp.981-994, 2002.
DOI : 10.1007/3-540-36124-3_63

A. Kleppe, J. Warmer, and W. Bast, MDA Explained: The Model Driven Architecture(TM): Practice and Promise. Object Technology Series, 2003.

]. F. Ley01 and . Leymann, Web Service Flow Language (WSFL 1.0) IBM, Specification available at http://www.ibm.com/software/solutions, 2001.

C. Marin, Une approche orientée domaine pour la composition de services, 2008.

]. J. Mcg05 and . Mcgregor, Preparing for automated derivation of products in a software product line, CMU/SEI-2005-TR-017, 2005.

A. Mukhija, A. Dingwall-smith, and D. S. Rosenblum, QoS-Aware Service Composition in Dino, Fifth European Conference on Web Services (ECOWS'07), pp.3-12, 2007.
DOI : 10.1109/ECOWS.2007.24

J. [. Magee and . Kramer, Dynamic structure in software architectures, Proceedings of the Fourth ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.3-14, 1996.

M. [. Milanovic and . Malek, Current solutions for Web service composition, IEEE Internet Computing, vol.8, issue.6, pp.51-59, 2004.
DOI : 10.1109/MIC.2004.58

[. 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

A. Wasim-shaikh-nizamuddin-channa, S. Li, and X. Fu, Constraint satisfaction in dynamic web service composition, Proceedings. Sixteenth International Workshop on Database and Expert Systems Applications, pp.658-664, 2005.

[. Project, The Newton Project, 2008.

. Oas07 and . Oasis, Web Services Business Process Execution Language. Specification available at http://docs.oasis-open, 2007.

]. Obj07, . Objectweb, and . Jonas, Java Open Application Server, 2007.

. Omg and . Omg, Model Driven Architecture

[. Omg, Object constraint language specification, version 2, 2006.

. Orc and I. Orchestra, Orchestra official website

[. Alliance, OSGi Service Platform Core Specification. http://www.osgi.org, 2005. [OSG05b] OSGi Alliance. OSGi Service Platform Service Compendium, 2005.

[. Osoa, SCA Service Component Architecture : Assembly Model Specification, 15, 2007.

]. M. Pap03 and . Papazoglou, Service-oriented computing: concepts, characteristics and directions [PDE08] G. Pedraza, I. Dieng, and J. Estublier. Multi-concerns composition for a process support framework, Proceedings of the Fourth International Conference on Proceedings of the ECMDA Workshop on Model Driven Tool and Process Integration, pp.3-12, 2003.

G. Pedraza, I. A. Dieng, and J. Estublier, Focas: An enginering environment for service-based applications, Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), pp.9-10, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00941860

G. Pedraza and J. Estublier, An extensible services orchestration framework through concern composition, Proceedings of the 1st International Workshop on Non-functional System Properties in Domain Specific Modeling Languages -NFPinDSML CEUR Workshop Proceedings, 2008.

[. Pedraza, FOCAS : un canevas extensible pour la construction d'applications orientées procédé, 2009.

C. Peltz, Web services orchestration and choreography, Computer, vol.36, issue.10, pp.3646-52, 2003.
DOI : 10.1109/MC.2003.1236471

[. Perrouin, J. Klein, N. Guelfi, and J. Jézéquel, Reconciling Automation and Flexibility in Product Derivation, 2008 12th International Software Product Line Conference, pp.339-348, 2008.
DOI : 10.1109/SPLC.2008.38

URL : https://hal.archives-ouvertes.fr/inria-00456507

P. [. Taylor, N. Oreizy, D. Medvidovic, and . Rosenblum, Software architecture and component technologies: Bridging the gap, OMG- DARPA-MCC Workshop on Compositional Software Architectures, 1998.

G. Piccinelli and E. Stammers, From e-processes to e-networks: an e-service-oriented approach, Proceedings of Web Services Workshop, pp.549-553, 2001.

M. Papazoglou and W. Van, Service oriented architectures: approaches, technologies and research issues, The VLDB Journal, vol.46, issue.10, pp.389-415, 2007.
DOI : 10.1007/s00778-007-0044-3

D. E. Perry, A. L. Wolf, R. Leymann, A. Khalaf, and . Keller, Foundations for the study of software architecture Business processes for web services: principles and applications, SIGSOFT Softw. Eng. Notes, pp.40-52425, 1992.

U. D. Roman, H. Keller, J. Lausen, R. Bruijn, M. Lara et al., Web Service Modeling Ontology, Applied Ontology, vol.1, issue.1, pp.77-106, 2005.

P. [. Rouvoy and . Merle, Description et de vérification de motifs d " architecture avec fractal adl, Proceedings of the French Conference on Langages et Modèles à Objets (LMO'07), 2007.

H. Siegfried, A. Sudhir, and S. Steffen, Surfing the service web, International semantic web conference (ISWC), pp.211-226, 2003.

M. Shaw and D. Garlan, Formulations and formalisms in software architecture, Lecture Notes in Computer Science, vol.1000, pp.307-323, 1995.
DOI : 10.1007/BFb0015251

D. [. Szyperski, S. Gruntz, and . Murer, Component Software: Beyond Object- Oriented Programming, 2002.

. Stefani, Reconfigurable SCA Applications with the FraSCati platform, SCC '09: Proceedings of the 2009 IEEE International Conference on Services Computing, pp.268-275, 2009.
URL : https://hal.archives-ouvertes.fr/inria-00397856

A. David and . Taylor, Object technology (2nd ed.): a manager's guide, 1998.

]. S. Tha01 and . Thatte, XLANG: web services for business process design. Microsoft, Specification available at http://www.gotdotnet.com/team/xmlwsspecs/xlang-c/default.htm [The] The Internet Engineering Task Force (IETF) Rfc 1960: A string representation of ldap search filters, 2001.

]. G. Veg05 and . Vega, Développement d'Applications à Grande Echelle par Composition des Méta-Modèles [Ves93] S. Vestal. A cursory overview and comparison of four architecture description languages, 1993.

]. D. Wil01 and . Wile, Supporting the DSL spectrum, Journal of Computing and Information Technology, vol.9, issue.4, pp.263-287, 2001.

A. L. Wolf, Succeedings of the second international software architecture workshop (ISAW-2), ACM SIGSOFT Software Engineering Notes, vol.22, issue.1, pp.42-56, 1997.
DOI : 10.1145/251759.251844

[. Yen, H. Ma, F. B. Bastani, and H. Mei, QoS-Reconfigurable Web Services and Compositions for High-Assurance Systems, Computer, vol.41, issue.8, pp.48-55, 2008.
DOI : 10.1109/MC.2008.305

[. Yu, X. Ma, and J. Lu, Dynamic software architecture oriented service composition and evolution, CIT '05: Proceedings of the The Fifth International Conference on Computer and Information Technology, pp.1123-1129, 2005.

J. Yang and M. P. Papazoglou, Service components for managing the life-cycle of service compositions, Information Systems, vol.29, issue.2, pp.97-125, 2004.
DOI : 10.1016/S0306-4379(03)00051-6

H. Zhao and H. Tong, A Dynamic Service Composition Model Based on Constraints, Sixth International Conference on Grid and Cooperative Computing (GCC 2007), pp.659-662, 2007.
DOI : 10.1109/GCC.2007.7