M. Autili, L. Berardinelli, V. Cortellessa, A. D. Marco, D. Di-ruscio et al., A Development Process for Self-adapting Service Oriented Applications, ICSOC 2007, pp.442-448, 2007.
DOI : 10.1007/978-3-540-74974-5_41

M. [. Afshar, D. Cincinatus, K. Hynes, V. Clugage, and . Patwardhan, SOA Governance ? Framework and Best Practices, White Paper, Oracle Corporation, 2007.

T. [. Arbab, R. Chothia, S. Mei, Y. Meng, C. Moon et al., From Coordination to Stochastic Models of QoS, Proceedings of COORDINATION, 2009.
DOI : 10.1007/978-1-4615-2367-3

T. [. Arbab, S. Chothia, Y. Meng, and . Moon, Component Connectors with QoS Guarantees, Proceedings of COORDINATION, 2007.
DOI : 10.1007/978-3-540-72794-1_16
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.498.8849

M. [. Ardagna, E. Comuzzi, B. Mussi, P. Pernici, and . Plebani, PAWS: A Framework for Executing Adaptive Web-Service Processes, IEEE Software, vol.24, issue.6, pp.39-46, 2007.
DOI : 10.1109/MS.2007.174

M. Armbrust, A. Fox, R. Griffith, A. D. Joseph, R. Katz et al., A view of cloud computing, Communications of the ACM, vol.53, issue.4, pp.50-58, 2010.
DOI : 10.1145/1721654.1721672

T. [. De-alfaro and . Henzinger, Interface automata, Proceedings of the Joint 8th European Software Engineering Conference and 9th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, 2001.

R. [. Aarts, M. Harwig, and . Schuurmans, Ambient intelligence, in: The Invisible Future: The Seamless Integration of Technology into Everyday Life, pp.235-250, 2001.

M. Autili, P. Inverardi, A. Navarra, and M. Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.84

P. [. Agarwal and . Jalote, From Specification to Adaptation: An Integrated QoS-driven Approach for Dynamic Adaptation of Web Service Compositions, 2010 IEEE International Conference on Web Services, 2010.
DOI : 10.1109/ICWS.2010.39

O. [. Asarin, A. Maler, and . Pnueli, Symbolic controller synthesis for discrete and timed systems, Hybrid Systems, 1994.
DOI : 10.1007/3-540-60472-3_1

B. [. Ardagna and . Pernici, Adaptive Service Composition in Flexible Processes, IEEE Transactions on Software Engineering, vol.33, issue.6, pp.369-384, 2007.
DOI : 10.1109/TSE.2007.1011

C. [. Arlitt and . Williamson, Internet Web servers: workload characterization and performance implications, IEEE/ACM Transactions on Networking, vol.5, issue.5, pp.631-645, 1997.
DOI : 10.1109/90.649565

D. Athanasopoulos, A. Zarras, and V. Issarny, Service Substitution Revisited, 2009 IEEE/ACM International Conference on Automated Software Engineering, 2009.
DOI : 10.1109/ASE.2009.58
URL : https://hal.archives-ouvertes.fr/inria-00459358

A. Bertolino, D. Bianculli, G. De-angelis, L. Frantzen, Z. G. Kiss et al., Test Framework: Assessment and Revision, IST STREP Project Models@run.time. Computer journal, vol.42, pp.18-9162, 2008.

L. Baresi, D. Bianculli, S. Guinea, and P. Spoletini, Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions, 29th Formal Techniques for Networked and Distributed Systems, 2009.
DOI : 10.1007/11944836_25

G. S. Blair, L. Blair, V. Issarny, P. Tuma, and A. Zarras, The Role of Software Architecture in Constraining Adaptation in Component-Based Middleware Platforms, Proceedings of the 2nd ACM-IFIP-USENIX International Middleware Conference (MIDDLEWARE), 2000.
DOI : 10.1007/3-540-45559-0_9

[. Mabrouk, S. Beauche, E. Kuznetsova, N. Georgantas, and V. Issarny, QoS-Aware Service Composition in Dynamic Service Oriented Environments, Proc. Middleware 2009 - ACM/IFIP/USENIX, 10th International Conference, 2009.
DOI : 10.1007/978-3-642-10445-9_7
URL : https://hal.archives-ouvertes.fr/inria-00468178

C. Bartolini, A. Bertolino, E. Marchetti, and A. Polini, WS-TAXI: A WSDL-based Testing Tool for Web Services, 2009 International Conference on Software Testing Verification and Validation, pp.326-335, 2009.
DOI : 10.1109/ICST.2009.28

A. Bucchiarone, C. Cappiello, E. Di-nitto, R. Kazhamiakin, V. Mazza et al., Design for Adaptation of Service-Based Applications: Main Issues and Requirements, Proceedings of the 2009 ICSOC/ServiceWave Workshops, 2010.
DOI : 10.1007/11596141_39

A. Bertolino, G. De-angelis, L. Frantzen, and A. Polini, Model-Based Generation of Testbeds for Web Services, Proc. of Testcom, pp.266-282, 2008.
DOI : 10.1109/MIC.2005.21

M. [. Barros, P. Dumas, ]. A. Oaksbdps10, G. Bertolino, A. De-angelis et al., Standards for Web Service Choreography and Orchestration: Status and Perspectives, presented at Business Process Management Workshops Sabetta: Trends and research issues in SOA validation, in Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions WSDL-based automatic test case generation for web services testing, Proc. of IEEE Int. Work. SOSE, pp.215-220, 2005.

]. K. Bec02 and . Beck, Test-Driven Development: By Example, 2002.

F. Baude, I. Filali, F. Huet, V. Legrand, E. Mathias et al., ESB federation for large-scale SOA SAC '10, Proceedings of the 2010 ACM Symposium on Applied Computing, pp.2459-2466, 2010.
DOI : 10.1145/1774088.1774597

L. Baresi, C. Ghezzi, and S. Guinea, Studies in Computational Intellligence, ch. Towards Self-healing Compositions of Services, 2006.

L. Baresi, S. Guinea, R. Kazhamiakin, and M. , Pistore: An Integrated Approach for the Run-Time Monitoring of BPEL Orchestrations, Towards a Service-Based Internet, pp.59-66, 2008.

C. Baier, M. Größer, M. Leucker, B. Bollig, and F. Ciesinski, Controller Synthesis for Probabilistic Systems, IFIP TCS, pp.493-506, 2004.

S. [. Baresi, O. Guinea, G. Nano, . Bgp08-]-l, S. Baresi et al., Spanoudakis: Comprehensive Monitoring of BPEL Processes, Integrated and Composable Supervision of BPEL Processes. 6th International Conference on Service Oriented Computing, 2008.

H. [. Booth, F. Haas, E. Mccabe, M. Newcomer, C. Champion et al., Web Services Architecture, 2004.

D. Bimschas, H. Hellbrück, D. Pfisterer, R. Mietz, K. Römer et al., Middleware for Smart Gateways Connecting Sensornets to the Internet, International workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks (MidSens'10), Colocated with Middleware, Formal Methods for Software Architectures, LNCS 2804, 2003.

[. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Proceedings of ACM/IFIP/USENIX 6th International Middleware Conference (Middleware), 2005.
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571

V. [. Bidan, T. Issarny, A. Saridakis, and . Zarras, A dynamic reconfiguration service for CORBA, Proceedings. Fourth International Conference on Configurable Distributed Systems (Cat. No.98EX159), 1998.
DOI : 10.1109/CDS.1998.675756
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.42.7299

E. [. Berry, M. M. Kamsties, and . Krieger, From contact drafting to software specification: Linguistic sources of ambiguity, a handbook, Canada, 2003.

H. [. Bucchiarone, F. Melgratti, and . Severoni, Testing Service Composition, Proceedings of the 8th Argentine Symposium on Software Engineering, 2007.

G. [. Brown, W. Moore, and . Tegan, SOA governance?IBM's approach., Application Innovation IBM Global Services Effective governance through the IBM SOA Governance Management Method approach White paper The Audition Framework for Testing Web Services Interoperability, Proceedings of 31th IEEE Euromicro Conference on Software Engineering and Advanced Applications (EUROMICRO), 2005.

R. [. Brogi and . Popescu, Automated Generation of BPEL Adapters, 2006.
DOI : 10.1007/11948148_3

I. Brandic, S. Pllana, and S. Benkner, Specification, planning, and execution of QoS-aware Grid workflows within the Amadeus environment, Concurrency and Computation: Practice and Experience, vol.8, issue.4, pp.331-345, 2008.
DOI : 10.1002/cpe.1215

J. [. Bliudze and . Sifakis, The Algebra of Connectors—Structuring Interaction in BIP, IEEE Transactions on Computers, vol.57, issue.10, pp.1315-1330, 2008.
DOI : 10.1109/TC.2008.26

P. [. Bennaceur, P. Singh, V. Raverdy, and . Issarny, The iBICOOP middleware: Enablers and services for emerging pervasive computing environments, 2009 IEEE International Conference on Pervasive Computing and Communications, pp.1-6, 2009.
DOI : 10.1109/PERCOM.2009.4912851
URL : https://hal.archives-ouvertes.fr/inria-00422412

E. N. Btech-]-bostech-chainbuilder, A. Badr, M. Taleb-bendiab, D. Randles, and . Reilly, A Deliberative Model for Self-Adaptation Middleware Using Architectural Dependency, chainforge.net Proceedings of the 15th International Workshop on Database and Expert Systems Applications (DEXA'04

Y. [. Bai, G. Wang, W. Dai, Y. Tsai, and . Chen, A Framework for Contract-Based Collaborative Verification and Validation of Web Services, CBSE 2007: Proceeedings of the 10th International Symposium on Component-Based Software Engineering, pp.258-273, 2007.
DOI : 10.1007/978-3-540-73551-9_18

R. Buyya, C. Yeo, S. Venugopal, J. Broberg, and I. Brandic, Cloud computing and emerging IT platforms: Vision, hype, and reality for delivering computing as the 5th utility, Future Generation Computer Systems, vol.25, issue.6, pp.599-616, 2009.
DOI : 10.1016/j.future.2008.12.001

J. [. Chetan, R. Al-muhtadi, M. D. Campbell, and . Mickunas, Mobile Gaia: A Middleware for Adhoc Pervasive Computing, IEEE Consumer Communications & Networking Conference Las Vegas, 2005.

W. Cirne, F. Brasileiro, N. Andrade, L. Costa, A. Andrade et al., Labs of the World, Unite!!!, Journal of Grid Computing, pp.225-246, 2006.
DOI : 10.1007/s10723-006-9040-x

[. Chuang and A. T. Chan, Dynamic QoS Adaptation for Mobile Middleware, IEEE Transactions on Software Engineering, vol.34, issue.6, pp.738-752, 2008.
DOI : 10.1109/TSE.2008.44

P. Costa, G. Coulson, R. Gold, M. Lad, C. Mascolo et al., The RUNES Middleware for Networked Embedded Systems and its Application in a Disaster Management Scenario, Fifth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom'07), pp.19-23, 2007.
DOI : 10.1109/PERCOM.2007.36

V. Cardellini, E. Casalicchio, V. Grassi, F. L. Presti, and R. Mirandola, Qos-driven runtime adaptation of service oriented architectures, 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.1595718
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.407.821

D. [. Cicchetti and . Ruscio, Decoupling web application concerns through weaving operations, Science of Computer Programming, 2007.
DOI : 10.1016/j.scico.2007.10.002
URL : http://doi.org/10.1016/j.scico.2007.10.002

E. [. Cavallaro and . Nitto, An approach to adapt service requests to actual service interfaces, Proceedings of the 2008 international workshop on Software engineering for adaptive and self-managing systems , SEAMS '08, 2008.
DOI : 10.1145/1370018.1370041

E. [. Colombo, M. D. Di-nitto, D. Penta, M. Distante, and . Zuccalà, Speaking a Common Language: A Conceptual Model for Describing Service-Oriented Systems, Proceedings of the 3rd International Conference on Service Oriented Computing, pp.7-257178, 2005.
DOI : 10.1007/11596141_5

G. Canfora, M. D. Penta, R. Esposito, and M. L. Villani, A framework for QoS-aware binding and re-binding of composite web services, Journal of Systems and Software, vol.81, issue.10, pp.81-1754, 2008.
DOI : 10.1016/j.jss.2007.12.792

F. Cassez, A. David, E. Fleury, K. G. Larsen, and D. Lime, Efficient On-the-Fly Algorithms for the Analysis of Timed Games, 2005.
DOI : 10.1007/11539452_9
URL : https://hal.archives-ouvertes.fr/hal-00350475

E. [. Cavallaro, C. A. Di-nitto, M. Furia, and . Pradella, A Tile-Based Approach for Self-Assembling Service Compositions, 2010 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010.
DOI : 10.1109/ICECCS.2010.6

G. [. Calvanese, M. De-giacomo, M. Lenzerini, F. Mecella, M. Patrizi et al., Automatic Service Composition and Synthesis: the Roman Model SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules, Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC), 2006.

L. Cavallaro, E. D. Nitto, and M. Pradella, An Automatic Approach to Enable Replacement of Conversational Services, Proceedings of the 7th International Joint Conference on Service- Oriented Computing, 2009.
DOI : 10.1007/978-3-642-10383-4_11

F. Corradini, F. De-angelis, A. Polini, and A. , Polzonetti: A participant testing strategy for service orchestration, ICDIM, vol.2008, pp.308-313
DOI : 10.1109/icdim.2008.4746778

F. Curbera, D. Ehnebuske, and D. Rogers, Using WSDL in a UDDI Registry, Version 1.07. UDDI Best Practice Report, pp.17-28, 2002.

T. Cao, P. Felix, R. Castanet, and I. Berrada, Online Testing Framework for Web Services, 2010 Third International Conference on Software Testing, Verification and Validation, pp.363-372, 2010.
DOI : 10.1109/ICST.2010.11
URL : https://hal.archives-ouvertes.fr/hal-00997950

R. Y. De-camargo, A. Goldchleger, M. Carneiro, and F. Kon, The Grid Architectural Pattern: Leveraging Distributed Processing Capabilities " in PloPD5, Dragos Manolescu, pp.337-56, 2006.

P. [. Cetina, J. Giner, V. Fons, and . Pelechano, Autonomic Computing through Reuse of Variability Models at Runtime: The Case of Smart Homes, Computer, vol.42, issue.10, pp.18-9162, 2009.
DOI : 10.1109/MC.2009.309

R. [. Cervantes and . Hall, Automating Service Dependency Management in a Service- Oriented Component Model, 2003.

O. , R. Media, . Inc, . H. Che09-]-b, and . Cheng, Using Models@Run Time to Manage Ultra-Large Scale Systems Models at Run Time, Sidebar in Guest Editor's Introduction, p.30, 2004.

V. Cardellini and S. Iannucci, Designing a Broker for QoS-driven Runtime Adaptation of SOA Applications, 2010 IEEE International Conference on Web Services, 2010.
DOI : 10.1109/ICWS.2010.77

I. Celino, A. Karla, A. De-medeiros, G. Zeissler, M. Oppitz et al., Semantic Business Process Analysis Simgrid: A generic framework for large-scale distributed experiments, Proceedings of the Workshop SBPM 2007 UKSIM '08: Proceedings of the Tenth International Conference on Computer Modeling and Simulation, pp.126-131, 2007.

P. Costa, L. Mottola, A. L. Murphy, and G. P. Picco, Programming Wireless Sensor Networks with the TeenyLime Middleware, Proceedings of the 8th ACM/IFIP/USENIX International Middleware Conference, 2007.
DOI : 10.1016/j.pmcj.2005.08.003

P. [. Cardoso, V. Raverdy, and . Issarny, A Privacy-Aware Service Discovery Middleware for Pervasive Environments, IFIPTM 2007 Joint iTrust and PST Conferences on Privacy, Trust Management and Security, 2007.
DOI : 10.1007/978-0-387-73655-6_5
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.483.3758

]. L. Cavallaro, G. Ripa, and M. Zuccalà, Adapting service requests to actual service interfaces through semantic annotations, 2009 ICSE Workshop on Principles of Engineering Service Oriented Systems, 2009.
DOI : 10.1109/PESOS.2009.5068824

R. D. Callaway, Y. Viniotis, A. Rodriguez, K. G. Brown, and R. Robinson, Enabling federations of enterprise service buses using a distributed service registry, Proceedings of the Second international workshop and Summer School on Service Science, pp.2-6, 2008.

[. Christos, C. Vassilakis, E. Rouvas, and P. Georgiadis, QoS-Driven Adaptation of BPEL Scenario Execution, 2009 IEEE International Conference on Web Services, 2009.
DOI : 10.1109/ICWS.2009.80

J. Choi and C. Yoo, Connect with Things through Instant Messaging. Internet of Things, International Conference for Industry and Academia, 2008.
DOI : 10.1007/978-3-540-78731-0_18

Q. [. Chao and . Zongyan, An Approach to Check Choreography with Channel Passing in WS- CDL, icws, IEEE International Conference on Web Services, pp.700-707, 2008.

J. J. Davies and A. R. Beresford, Scalable Inter-Vehicular Applications. On the Move to Meaningful Internet Systems, OTM 2007 Workshops (Part II), pp.876-885, 2007.
DOI : 10.1007/978-3-540-76890-6_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.109.7908

J. J. Davies, D. N. Cottingham, and B. D. Jones, A Sensor Platform for Sentient Transportation Research, 1st European Conference on Smart Sensing and Context (EuroSSC) 2006, pp.226-229, 2006.
DOI : 10.1007/11907503_18

R. Dijkman and M. Dumas, SERVICE-ORIENTED DESIGN: A MULTI-VIEWPOINT APPROACH, International Journal of Cooperative Information Systems, vol.13, issue.04, pp.337-368, 2004.
DOI : 10.1142/S0218843004001012

E. D. Nitto, M. D. Penta, A. Gambi, G. Ripa, and M. Villani, Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach, Proceedings of the 5th International Conference on Service-Oriented Computing (ISOC), 2007.
DOI : 10.1007/978-3-540-74974-5_24

T. Dyba, T. Dingsoyr, and G. K. Hanssen, Applying Systematic Reviews to Diverse Study Types: An Experience Report, First International Symposium on Empirical Software Engineering and Measurement (ESEM 2007), pp.225-234, 2007.
DOI : 10.1109/ESEM.2007.59

M. [. Dijkman, C. Dumas, and . Ouyang, Semantics and analysis of business process models in BPMN, Information and Software Technology, vol.50, issue.12, pp.1281-1294, 2008.
DOI : 10.1016/j.infsof.2008.02.006

]. G. Dec09 and . Decker, Design and Analysis of Process Choreographies, CHOReOS, vol.63, pp.7-257178, 2009.

Z. Du, J. Huai, and Y. Liu, Ad-UDDI: An Active and Distributed Service Registry, TES 2005, pp.58-71, 2005.
DOI : 10.1007/11607380_6
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.103.8425

J. Dilley, Web server workload characterization, 1996.

O. [. Decker, F. Kopp, M. Leymann, and . Weske, BPEL4Chor: Extending BPEL for Modeling Choreographies, IEEE International Conference on Web Services (ICWS 2007), 2007.
DOI : 10.1109/ICWS.2007.59

G. Dobson, R. Lock, and I. Sommerville, Quality of Service Requirements Specification using an Ontology, Proc. Service-Oriented Computing: Consequences for Engineering Requirements (SOCCER 05) at 13th Int'l Requirements Engineering Conf. (RE 05), 2005.

D. Di-ruscio, I. Malavolta, H. Muccini, P. Pelliccione, and A. Pierantonio, Developing next generation ADLs through MDE techniques, Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, ICSE '10, 2010.
DOI : 10.1145/1806799.1806816

[. Ruscio and A. Pierantonio, Model Transformations in the Development of Data???Intensive Web Applications, CAiSE'05, pp.475-490, 2005.
DOI : 10.1007/11431855_33

D. [. Duboc, T. Rosenblum, ]. Wicksdrz10, G. Giorgio, M. Ripa et al., A framework for characterization and analysis of software system scalability, Proceedings of the the 6th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering , ESEC-FSE '07, pp.375-384147, 2005.
DOI : 10.1145/1287624.1287679

[. Dong and H. Yu, Web service testing method based on fault-coverage, " in EDOC Workshops: The 10th IEEE International Enterprise Distributed Object Computing Conference, pp.43-43, 2006.

K. Elgazzar, A. E. Hassan, and P. Martin, Clustering WSDL Documents to Bootstrap the Discovery of Web Services, 2010 IEEE International Conference on Web Services, pp.147-154, 2010.
DOI : 10.1109/ICWS.2010.31

E. [. Eisenman, N. D. Miluzzo, R. A. Lane, G. Peterson, A. T. Ahn et al., The BikeNet mobile sensing system for cyclist experience mapping, Proceedings of the 5th international conference on Embedded networked sensor systems , SenSys '07, 2007.
DOI : 10.1145/1322263.1322273

I. [. Eramo, H. Malavolta, P. Muccini, A. Pelliccione, and . Pierantonio, A model-driven approach to automate the propagation of changes among Architecture Description Languages, Software & Systems Modeling, vol.7, issue.3, p.2010
DOI : 10.1007/s10270-010-0170-z

]. R. Eng05 and . Van-engele, Are web services scale free

M. Finger, G. Bezerra, and D. M. Conde, Resource use pattern analysis for predicting resource availability in opportunistic grids, Concurrency and Computation, pp.22-295, 2010.
DOI : 10.1002/cpe.1478

]. A. Fer04 and . Ferreira, Building a reference combinatorial model for manets, IEEE Network, vol.18, issue.5, pp.24-29, 2004.

M. [. Fickas and . Feather, Requirements monitoring in dynamic environments, Proceedings of 1995 IEEE International Symposium on Requirements Engineering (RE'95), 1995.
DOI : 10.1109/ISRE.1995.512555

M. Fredj, N. Georgantas, V. Issarny, and A. Zarras, Dynamic Service Substitution in Service-Oriented Architectures, 2008 IEEE Congress on Services, Part I, 2008.
DOI : 10.1109/SERVICES-1.2008.52

A. [. Ferreira, J. Goldman, and . Monteiro, Performance evaluation of routing protocols for MANETs with known connectivity patterns using evolving graphs, Wireless Networks, vol.8, issue.1, pp.627-640, 2010.
DOI : 10.1007/s11276-008-0158-6
URL : https://hal.archives-ouvertes.fr/inria-00496219

[. Networks, /fileadmin/documents/prague_documents/FIA- FCN_Internet_Scenarios_20090507.pdf [FIA-FISE] FIA Future Internet Socio-Economics (FISE), FISE Scenarios and Effects, 2009.

E. Fiorano, Enterprise Service Bus) Fiorano Software Technologies2010 available at http://www.fiorano.com/products/ESB-enterprise-service-bus/Fiorano-ESB-enterprise-servicebus .php [FIRE09] FIRE Use Scenarios (FIRE), 2009.

I. Foster and C. Kesselman, Globus: a Metacomputing Infrastructure Toolkit, International Journal of High Performance Computing Applications, vol.11, issue.2, pp.115-118, 1997.
DOI : 10.1177/109434209701100205

R. Fielding and R. Taylor, Principled design of the modern Web architecture, ACM Transactions on Internet Technology, vol.2, issue.2, pp.115-150, 2002.
DOI : 10.1145/514183.514185

M. Fluegge and D. Tourtchaninova, Ontology-derived activity components for composing travel CHOReOS 65 FP7-257178 web services. The International Workshop on Semantic Web Technologies in Electronic Business, 2004.

L. Frantzen, J. Tretmans, and R. D. Vries, Towards Model-Based Testing of Web Services, International Workshop on Web Services ? Modeling and Testing ? WS-MaTe 2006, pp.67-82, 2006.

H. Foster, S. Uchitel, J. Magee, and J. Kramer, Model-Based Analysis of Obligations in Web Service Choreography, aict-iciw, Advanced International Conference on Telecommunications and International Conference on Internet and Web Applications and Services (AICT-ICIW'06) Progress Software Corporation 2010 [FZGI10] M. Fredj, A. Zarras, N. Georgantas and V. Issarny. Dynamic AMintenance of Service Orchestrations Service Intelligence and Service Science: Evolutionary Technologies and Challenges, IGI, p.149, 2006.

I. T. Foster, Y. Zhao, I. Raicu, S. J. Lugc08-]-h, B. H. Goldsby et al., Cloud computing and grid computing 360-degree compared. CoRR, abs/0901.0131 Automatically Generating Behavioral Models of Adaptive Systems to Address Uncertainty, Proc. 11th Int'l Conf. Model Driven Eng. Languages and Systems (MoDELS 08), 2008.

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

J. C. Georgas, A. Van-der-hoek, and R. N. Taylor, Using Architectural Models to Manage and Visualize Runtime Adaptation, Computer, vol.42, issue.10, pp.18-9162, 2009.
DOI : 10.1109/MC.2009.335

]. T. Gil05 and . Gilb, Competitive Engineering: A Handbook for Systems & Software Engineering Management using Planguage, 2005.

T. Gjerlufsen, M. Ingstrup, J. Wolff, and O. Olsen, Mirrors of meaning: supporting inspectable runtime models, Computer, vol.42, issue.10, pp.18-9162, 2009.
DOI : 10.1109/MC.2009.325

J. [. Goudarzi and . Kramer, Maintaining node consistency in the face of dynamic change, Proceedings of International Conference on Configurable Distributed Systems, 1996.
DOI : 10.1109/CDS.1996.509347

F. [. Goldchleger, A. Kon, M. Goldman, G. C. Finger, and . Bezerra, InteGrade: object-oriented Grid middleware leveraging the idle computing power of desktop machines, Concurrency and Computation: Practice & Experience, 2004.
DOI : 10.1002/cpe.824

D. [. Gómez-goiri and . López-de-ipiña, A Triple Space-Based Semantic Distributed Middleware for Internet of Things, TouchTheWeb'10 International Workshop on Web-enabled Objects Model checking and modular verification, The Tenth International Conference on Web Engineering, pp.843-871, 1994.

]. A. Gro07 and . Grosskopf, XBPMN. formal control flow specification of a BPMN based process execution language, 2007.

M. [. Garlan and . Shaw, AN INTRODUCTION TO SOFTWARE ARCHITECTURE, Advances in Software Engineering and Knowledge Engineering, pp.7-257178
DOI : 10.1142/9789812798039_0001

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

E. [. Govindaraju, K. Slominski, P. Chiu, R. Liu, M. J. Van-engelen et al., Toward characterizing the performance of soap toolkits Evaluating the scalability of a web service-based distributed elearning and course management system, GRID 04 Third International Workshop on Web Services and Formal Methods (WS-FM06). Volume 4184 of Lecture Notes in Computer Science, pp.365-372, 2004.

V. [. Guinard and . Trifa, Towards the Web of Things: Web Mashups for Embedded Devices, Enterprise Mashups and Lightweight Composition on the Web proceedings of WWW (International World Wide Web Conferences), 2009.

]. B. Hay08 and . Hayes, Cloud Computing, Comm. of the ACM, vol.51, issue.7, pp.9-11, 2008.

B. Hofreiter and C. Huemer, A Model-Driven Top-Down Approach to Inter-organizational Systems: From Global Choreography Models to Executable BPEL, 2008 10th IEEE Conference on E-Commerce Technology and the Fifth IEEE Conference on Enterprise Computing, E-Commerce and E-Services, pp.136-145, 2008.
DOI : 10.1109/CECandEEE.2008.129

C. [. Hofreiter, P. Huemer, R. Liegl, M. Schuster, . Zapletal et al., UMM): A UML Profile for B2B e-Commerce, Advances in Conceptual Modeling -Theory and Practice, ER 2006 Workshops Automatic Conformance Testing of Web Services, proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering (FASE 2005), pp.19-31, 2005.

G. Huang, H. Mei, and F. Yang, Runtime recovery and manipulation of software architecture of component-based systems, Automated Software Engineering, vol.10, issue.1, 2006.
DOI : 10.1007/s10515-006-7738-4

P. Hens, M. Snoeck, M. De-backer, and G. Poels, Decentralized Event-based Orchestration in edBPM, Proceedings of the 4th international workshop on Event Driven Business Process Management, pp.1-12, 2010.
DOI : 10.1007/978-3-642-20511-8_63
URL : https://lirias.kuleuven.be/bitstream/123456789/278153/2/DecentralizedEvent.pdf

J. [. Hauptmann and . Wassel, On-line maintenance with on-the-fly software replacement, Proceedings of International Conference on Configurable Distributed Systems, 1996.
DOI : 10.1109/CDS.1996.509348

C. [. Huang, H. Xu, Y. Wang, J. Xia, C. Zhu et al., Formalizing Web Service Choreography Interface. ainaw Reconfigurable middleware for high availability sensor systems, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07) Proceedings of the Third ACM International Conference on Distributed Event-Based Systems (DEBS '09, pp.576-581, 2007.
DOI : 10.1109/ainaw.2007.188

]. P. Inv07 and . Inverardi, Software of the future is the future of Software, TGC 2006

. Iotsrr and . Sra, Cluster of European Projects on RFID and Internet of Things Internet of Things; Strategic Research Roadmap, 2009.

. Isosa and . Iso, Fourth working draft of Systems and Software Engineering ? Architectural Description (ISO/IECWD4 42010) Working doc, 2009.

D. [. Issarny, F. Sacchetti, F. Tartanoglu, R. Sailhan, N. Chibout et al., Developing Ambient Intelligence Systems: A Solution based on Web Services, Automated Software Engineering, vol.12, issue.1, 2005.
DOI : 10.1023/B:AUSE.0000049210.42738.00
URL : https://hal.archives-ouvertes.fr/inria-00414951

M. [. Inverardi and . Tivoli, Deadlock-free software architectures for COM/DCOM Applications, Journal of Systems and Software, vol.65, issue.3, 2003.
DOI : 10.1016/S0164-1212(02)00037-7

P. Inverardi, M. Tivoli, and M. Jackson, Software Architecture for Correct Components Assembly Software Requirements and Specifications, LNCS ANR ITEmIS project, vol.2804, 1995.
DOI : 10.1007/978-3-540-39800-4_6

P. Jogalekar and M. Woodside, Evaluating the scalability of distributed systems, IEEE Transactions on Parallel and Distributed Systems, vol.11, issue.6, pp.589-603, 2000.
DOI : 10.1109/71.862209

R. Krummenacher, D. Blunder, E. Simperl, and M. Fried, An open distributed middleware for the semantic web, International Conference on Semantic Systems (I-SEMANTICS), 2009.

L. Kuang, S. Deng, J. Wu, and Y. Li, Towards Adaptation of Service Interface Semantics, 2009 IEEE International Conference on Web Services, 2009.
DOI : 10.1109/ICWS.2009.45

B. [. Kassim, S. Esfandiari, L. Majumdar, and . Serghi, A Flexible Hybrid Architecture for Management of Distributed Web Service Registries, Fifth Annual Conference on Communication Networks and Services Research (CNSR '07), 2007.
DOI : 10.1109/CNSR.2007.1

V. Kumar and A. Gupta, Analyzing Scalability of Parallel Algorithms and Architectures, Journal of Parallel and Distributed Computing, vol.22, issue.3, pp.379-391, 1994.
DOI : 10.1006/jpdc.1994.1099

M. [. Kalasapur, B. Kumar, and . Shirazi, Dynamic Service Composition in Pervasive Computing Systems, IEEE Transactions on Parallel and Distributed Systems
DOI : 10.1109/tpds.2007.1039

P. [. Kruchten, H. Lago, . Van, and . Vliet, Building Up and Reasoning About Architectural Knowledge, Proceedings of the 2nd International Conference on Quality of Software Architectures (QoSA), 2006.
DOI : 10.1007/11921998_8

J. [. Kramer and . Magee, The evolving philosophers problem: dynamic change management, IEEE Transactions on Software Engineering, vol.16, issue.11, 1990.
DOI : 10.1109/32.60317
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.459.955

W. Kongdenfha, H. R. Nezhad, B. Benatallah, F. Casati, and R. Saint-paul, Mismatch Patterns and Adaptation Aspects: A Foundation for Rapid Development of Web Service Adapters, IEEE Transactions on Services Computing, vol.2, issue.2, pp.94-107, 2009.
DOI : 10.1109/TSC.2009.12

R. Kazhamiakin, M. Pistore, and M. Roveri, A framework for integrating Business Processes and Business Requirements 9th, International IEEE Enterprise Distributed Object Computing Conference, 2004.

]. K. Kro09 and . Kroeker, The Evolution of Virtualization, Communications of the ACM, vol.52, issue.3, 2009.

A. Kucera and O. Strazovský, On the Controller Synthesis for Finite-State Markov Decision Processes, FSTTCS, vol.2005, pp.541-552

V. [. Katasonov and . Terziyan, Semantic Agent Programming Language (S-APL): A Middleware Platform for the Semantic Web, 2008 IEEE International Conference on Semantic Computing, pp.504-511, 1996.
DOI : 10.1109/ICSC.2008.82

M. [. Lehmann, F. Blumendorf, S. Trollmann, and . Albayrak, Meta-modeling Runtime Models, proceedings of the 5th Workshop on Models@run.time at MODELS 2010, 2010.
DOI : 10.1007/978-3-642-21210-9_21

B. Lim and A. K. Dey, Assessing demand for intelligibility in context-aware applications, Proceedings of the 11th international conference on Ubiquitous computing, Ubicomp '09
DOI : 10.1145/1620545.1620576

J. Li, J. He, H. Zhu, and G. Pu, Modeling and Verifying Web Services Choreography Using Process Algebra, sew, 31st IEEE Software Engineering Workshop (SEW 2007) To Maximize Web Service Retrieval. International Conference on Convergence Information Technology, pp.256-268, 2007.

H. [. Liang and . Lam, Web Service Matching By Ontology Instance Categorization Semantic Support for Adaptive Long Term Composed Services, IEEE International Conference on Services Computing Proceedings of the IEEE International Conference on Web Services (ICWS), pp.202-209, 2008.

B. [. Luo, A. Montrose, A. Kim, M. H. Khashnobish, and . Kang, Adding OWL-S Support to the Existing UDDI Infrastructure, 2006 IEEE International Conference on Web Services (ICWS'06), pp.153-162, 2006.
DOI : 10.1109/ICWS.2006.26

W. [. Lu, N. D. Pan, T. Lane, A. T. Choudhury, . Campbell et al., SoundSense, Proceedings of the 7th international conference on Mobile systems, applications, and services, Mobisys '09, pp.147-154, 2009.
DOI : 10.1145/1555816.1555834

J. [. Liskov and . Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, 1994.
DOI : 10.1145/197320.197383

M. Lallali, F. Zaidi, A. Cavalli, and I. Hwang, Automatic Timed Test Case Generation for Web Services Composition, 2008 Sixth European Conference on Web Services, pp.53-62, 2008.
DOI : 10.1109/ECOWS.2008.14

R. Li, Z. Zhang, W. Song, F. Ke, and Z. Lu, Service Publishing and Discovering Model in a Web Services Oriented Peer-to-Peer System, Proceedings of the ICWE 2005, 2005.
DOI : 10.1007/11531371_78

Z. J. Li, J. Zhu, L. Zhang, and N. Mitsumori, Towards a practical and effective method for Web services test case generation, 2009 ICSE Workshop on Automation of Software Test, pp.106-114, 2009.
DOI : 10.1109/IWAST.2009.5069048

]. S. Mao09 and . Maoz, Using Model-Based Traces as Runtime Models, Computer journal, vol.42, pp.18-9162, 2009.

]. R. Mar02 and . Martin, Agile Software Development, Principles, Patterns, and Practices, 2002.

]. R. Mar06 and . Martin, Agile Principles, Patterns and Practices in C# [Mar08] E. A. Marks, Service-Oriented Architecture Governance for the Services Driven Enterprise, CHOReOS, vol.69, pp.7-257178, 2006.

B. Paolucci, T. Parsia, and . Payne, OWL?S: Semantic Markup for Web Services, World Wide Web Consortium, 2004.

O. [. Morin, J. Barais, F. Jezequel, A. Fleurey, and . Solberg, Models@ Run.time to Support Dynamic Adaptation, Computer, vol.42, issue.10, pp.18-9162, 2009.
DOI : 10.1109/MC.2009.327

H. M. Nezhad, B. Benatallah, A. Martens, F. Curbera, F. Casati et al., SemiAutomated Adaptation of Service Interactions, Proceedings of the International World Wide Web Conference (WWW), 2007.

]. G. Mes07 and . Meszaros, xUnit Test Patterns: Refactoring Test Code, 2007.

]. B. Mey88 and . Meyer, Object-Oriented Software Construction, 1988.

A. [. Melloul and . Fox, Reusable functional composition patterns for Web services, Proceedings. IEEE International Conference on Web Services, 2004., 2004.
DOI : 10.1109/ICWS.2004.1314775
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.57.8884

M. [. Madden, J. M. Franklin, W. Hellerstein, and . Hong, TinyDB: an acquisitional query processing system for sensor networks, ACM Transactions on Database Systems, vol.30, issue.1, pp.122-173, 2005.
DOI : 10.1145/1061318.1061322
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.136.3954

N. [. Mokhtar, V. Georgantas, and . Issarny, COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support, Journal of Systems and Software, vol.80, issue.12, 2007.
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927

G. [. Mei, H. Huang, W. Zhao, and . Jiao, An Architecture Centric Engineering Approach to Internetware, Science in China, issue.6, p.49, 2006.
DOI : 10.1007/s11432-006-2027-1
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.128.721

]. A. Min08 and . Mintchev, Interoperability among Service Registry Implementations: Is UDDI Standard Enough, IEEE International Conference on Web Services (ICWS), 2008.

G. Mega and F. Kon, An Eclipse-Based Tool for Symbolic Debugging of Distributed Object Systems, Proceedings of the 9th International Symposium on Distributed Objects, Middleware, and Applications (DOA'2007) , LNCS 4803, pp.648-666, 2007.
DOI : 10.1007/978-3-540-76848-7_44

[. Mokhtar, A. Kaul, N. Georgantas, and V. Issarny, Efficient Semantic Service Discovery in Pervasive Computing Environments, Proceedings of ACM/IFIP/USENIX 7th International Middleware Conference (Middleware), 2006.
DOI : 10.1007/11751113_10
URL : https://hal.archives-ouvertes.fr/inria-00415115

[. Mokhtar, J. Liu, N. Georgantas, and V. Issarny, QoS-aware dynamic service composition in ambient intelligence environments, Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering , ASE '05, 2005.
DOI : 10.1145/1101908.1101959
URL : https://hal.archives-ouvertes.fr/inria-00414943

K. [. Mackenzie, F. Laskey, P. F. Mccabe, R. Brown, and . Metz, OASIS Reference Model for Service Oriented Architecture 1.0. Committee Specification 1, 2006.

A. [. Mottola, A. Pathak, V. K. Bakshi, G. P. Prasanna, and . Picco, Enabling Scope-Based Interactions in Sensor Network Macroprogramming, 2007 IEEE Internatonal Conference on Mobile Adhoc and Sensor Systems, 2007.
DOI : 10.1109/MOBHOC.2007.4428655

T. Melliti, P. Poizat, and S. B. Mokhtar, Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services Automated Composition of Web Services: the ASTRO Approach, FASE 2008, p.31, 2008.

O. Moser, F. Rosenberg, and S. Dustdar, Non-intrusive monitoring and service adaptation for WS-BPEL, Proceeding of the 17th international conference on World Wide Web , WWW '08, 2008.
DOI : 10.1145/1367497.1367607

D. [. Medvidovic, D. Rosenblum, J. Redmiles, and . Robbins, Modeling software architectures in the Unified Modeling Language, ACM Transactions on Software Engineering and Methodology, vol.11, issue.1, 2002.
DOI : 10.1145/504087.504088

R. [. Medvidovic, . Taylor-]-m, F. Mamei, and . Zambonelli, 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

B. [. Nezhad, A. Benatallah, F. Martens, F. Curbera, and F. Casati, SemiAutomated Adaptation of Service Interactions, Proceedings of the 16th IEEE International World Wide Web Conference (WWW), 2007.

[. Nayak, B. Leenlkl07, ]. J. Nitzsche, T. Van-lessen, D. Karastoyanova et al., Deliverable D6.3: The NEXOF-RA Reference Model V3.0 Web Service Discovery with additional Semantics and Clustering, Proceedings of the IEEE ACM International Conference on Web Intelligence BPEL for Semantic Web Services (BPEL4SWS), " in On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, ser, pp.179-188, 2007.

H. R. Nezhad, G. Xu, and B. Benatallah, Protocol-aware matching of web service interfaces for adapter development, Proceedings of the International World Wide Web Conference, 2010.

]. J. Opesb-]-openesb, S. Pathak, R. R. Basu, V. Lutz, and . Honavar, html [OWL-S] Semantic Markup for Web Services Available at http://www.w3.org/Submission Stochastic automata network for modeling parallel systems, MOSCOE: an Approach for Composing Web Services through Iterative Reformulation of Functional Specifications, pp.1093-1108, 1991.

R. Passerone and L. De-alfaro, Convertibility verification and converter synthesis, Proceedings of the 2002 IEEE/ACM international conference on Computer-aided design , ICCAD '02, 2002.
DOI : 10.1145/774572.774592

A. [. Ponnekanti and . Fox, Interoperability Among Independently Evolving Web Services, Proceedings of the 5th ACM/IFIP/USENIX International Middleware Conference (MIDDLEWARE), 2004.
DOI : 10.1007/BFb0053382

A. Pathak and M. K. Gowda, Srijan, 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, pp.301-302, 2009.
DOI : 10.1145/1595696.1595752
URL : https://hal.archives-ouvertes.fr/inria-00459353

[. Pung, W. Gu, . Xue, . Palmes, . Zhu et al., Context-aware middleware for pervasive elderly homecare, CHARMY: A Framework for Designing and Verifying Architectural Specifications. IEEE Transactions on Software Engineering (TSE), pp.510-524, 2009.
DOI : 10.1109/JSAC.2009.090513

T. [. Paolucci, T. R. Kawamura, K. P. Payne, and . Sycara, Importing the Semantic Web in UDDI, Revised Papers for International Workshop on Web Services, E-Business, and the Semantic Web conj. with CAiSE, pp.225-236, 2002.
DOI : 10.1007/3-540-36189-8_18

. Plastic08 and . Plastic, A B3G Service Platform: The IST PLASTIC Project, 2008.

[. Sonic and E. , progress.com/en/sonic/sonic-esb, Service-Oriented Computing: State of the Art and Research Challenges proceedings of IEEE Computer Journal

M. [. Puhlmann and . Weske, Using the pi-calculus for formalizing workflow patterns, Proceedings 3rd International Conference on Business Process Management (BPM), pp.153-168, 2005.

O. [. Pautasso, F. Zimmermann, and . Leymann, Restful web services vs. "big"' web services, Proceeding of the 17th international conference on World Wide Web , WWW '08, 2008.
DOI : 10.1145/1367497.1367606

Z. Qiu, X. Zhao, C. Cai, and H. Yang, Towards the theoretical foundation of choreography, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.973-982, 2007.
DOI : 10.1145/1242572.1242704

F. Rosenberg, C. Enzi, A. Michlmayr, C. Platzer, and S. Dustdar, Integrating Quality of Service Aspects in Top-Down Business Process Development Using WS-CDL and WS-BPEL EDOC, Proceedings of the 11th IEEE international Enterprise Distributed Object Computing Conference, 2007.

J. S. Rellermeyer, O. Riva, and G. Alonso, AlfredO: An Architecture for Flexible Interaction with Electronic Devices, Proceedings of the 9th International Middleware Conference (Middleware'08), 2008.
DOI : 10.1145/571985.572008

P. Raverdy, O. Riva, A. De-la-chapelle, R. Chibout, and V. Issarny, Efficient Context-aware Service Discovery in Multi-Protocol Pervasive Environments, 7th International Conference on Mobile Data Management (MDM'06), 2006.
DOI : 10.1109/MDM.2006.78
URL : https://hal.archives-ouvertes.fr/inria-00415112

X. [. Rao and . Su, A Survey of Automated Web Service Composition Methods, SWSWPC 2004: Proceedings of the First International Workshop on Semantic Web Services and Web Process Composition, pp.43-54, 2004.
DOI : 10.1007/978-3-540-30581-1_5

F. Raimondi, J. Skene, and W. Emmerich, Efficient online monitoring of web-service SLAs, Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of software engineering, SIGSOFT '08/FSE-16, 2008.
DOI : 10.1145/1453101.1453125

W. [. Ramadge and . Wonham, The control of discrete event systems, Proceedings of the IEEE, 1989.
DOI : 10.1109/5.21072

G. Salaun, Generation of Service Wrapper Protocols from Choreography Specifications, sefm, Sixth IEEE International Conference on Software Engineering and Formal, pp.313-322, 2008.

]. M. Sat01 and . Satyanarayanan, Pervasive computing: Vision and challenges, IEEE Personal Communications, vol.8, issue.4, pp.10-17, 2001.

T. Savara-]-savara, G. Sivaharan, A. Blair, M. Friday, H. Wu et al., Testable Architecture methodology Cooperating Sentient Vehicles for Next Generation Automobiles Towards a Theory of Web Service Choreographies Web Service Discovery Using General-Purpose Search Engines, Proceedings of ACM MobiSys International Workshop on Applications of Mobile Embedded Systems Proc. of WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods IEEE International Conference on Web Services, pp.1-16, 2002.

]. B. Secse-]-secsesel03 and . Selic, Project web site: http://www.secse-project The Pragmatics of Model-driven Development, IEEE Software, vol.20, issue.5, pp.19-25, 2003.

J. [. Salatge and . Fabre, Fault Tolerance Connectors for Unreliable Web Services, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07), 2007.
DOI : 10.1109/DSN.2007.48

H. M. Sneed and S. Huang, The design and use of WSDL-test: a tool for testing web services Journal of Software Maintenance and Evolution: Research and Practice Applying MDE Tools at Runtime: Experiments upon Runtime Models, proceedings of the 5th Workshop on Models@run.time at MODELS 2010 Oslo, pp.297-314, 2007.

[. Schmidt, B. Hutchison, P. Lambros, R. Phippenshp03-]-e, J. Sirin et al., The Enterprise Service Bus:Making service-oriented architecture real Semi-automatic composition of web services using semantic descriptions, Proceedings of Web Services: Modeling, Architecture and Infrastructure workshop in conjunction with ICEIS2003, 2003.

P. Sawyer, J. Hutchinson, and J. , Walkerdine and I. Sommerville, Faceted Service Specification, Proceedings SOCCER (Service-Oriented Computing: Consequences for Engineering Requirements) Workshop, at RE'05 Conference, 2005.

M. [. Schepers, P. A. Iacob, and . Van-eck, A lifecycle approach to SOA governance, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.1055-1061, 1920.
DOI : 10.1145/1363686.1363932

E. [. Sangal, V. Jordan, D. Sinha, and D. Jackson, Using Dependency Models to Manage Complex Software Architecture, Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2005.

F. J. Da-silva-e-silva, F. Kon, A. Goldman, M. Finger, R. Y. De-camargo et al., Application execution management on the InteGrade opportunistic grid middleware, Journal of Parallel and Distributed Computing, vol.70, issue.5, pp.70-573, 2010.
DOI : 10.1016/j.jpdc.2010.01.010

A. Senart, M. Karpinski, M. Wieckowski, and V. Cahill, Using Sensor Networks for Pedestrian Detection, 2008 5th IEEE Consumer Communications and Networking Conference, 2008.
DOI : 10.1109/ccnc08.2007.160

A. Sassen and C. Macmillan, The Service engineering area: An overview of its current state and a vision of its future, 2005.

A. Servicemix, Project web site: http://www.soa4all, html [SOA4All] SOA4All, pp.12-12, 2007.

. Soapui and . Soapui, Web Services Functional Testing Tool

]. I. Som10 and . Sommerville, Software Engineering, 2010.

]. N. Srinivasan, M. Paolucci, and K. P. Sycara, An Efficient Algorithm for OWL-S Based Semantic Search in UDDI, Sonic ESB Progress Software Corporation Revised Selected Papers of the First International Workshop on Semantic Web Services and Web Process Composition, pp.96-110, 2004.
DOI : 10.1007/978-3-540-30581-1_9

N. [. Salaün and . Roohi, On Realizability and Dynamic Reconfiguration of Choreographies, 2009.

I. Silva-lepe, I. Rouvellou, R. Akolkar, and A. Iyengar, Seamless Cross-Domain Connectivity for Enabling Domain Autonomy in a Federated SOA, 2010 IEEE International Conference on Web Services, pp.669-670371, 2010.
DOI : 10.1109/ICWS.2010.57

F. [. Van-seghbroeck, B. De-turck, P. Dhoedt, and . Demeester, Web Service Choreography Conformance Verification in M2M Systems through the piX-model, perser Towards a RESTful Plug and Play Experience in the Web of Things, IEEE International Conference on Pervasive Services Proceedings of the 2008 IEEE International Conference on Semantic Computing (ICSC '08), pp.385-390, 2007.

. Super, K. Super-sivashanmugam, A. Verma, and . Sheth, Project web site: http://www.ip-super.org Discovery of Web Services in a Federated Registry Environment, Proceedings of the IEEE International Conference on Web Services (ICWS), 2004.

K. [. Sivashanmugam, A. P. Verma, J. A. Sheth, and . Miller, Adding Semantics to Web Services Standards, Proceedings of the International Conference on Web Services, ICWS '03, pp.395-401, 2003.

L. Schubert, M. Wilson, J. Haller, A. Arenas, A. Svirskas et al., The TrustCoM Conceptual Models, 2005.

M. Tivoli, P. Fradet, A. Girault, and G. Goessler, Adaptor Synthesis for Real-Time Components, proceedings of the International Conference on Tools and Algorithms for the Construction and Analysis of Systems member of the European Joint Conferences on Theory and Practice of Software, 2007.
DOI : 10.1007/978-3-540-71209-1_16

P. [. Tivoli and . Inverardi, Failure-free coordinators synthesis for component-based architectures, Science of Computer Programming, vol.71, issue.3, pp.181-212, 2008.
DOI : 10.1016/j.scico.2008.03.001

N. [. Taylor, E. M. Medvidovic, and . 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

W. T. Tsai, R. Paul, Z. Cao, L. Yu, and A. Saimi, Verification of Web services using an enhanced UDDI server, Proceedings of the Eighth International Workshop on Object-Oriented Real-Time Dependable Systems, 2003. (WORDS 2003)., pp.131-138, 2003.
DOI : 10.1109/WORDS.2003.1218075

. Uddi and . Oasis, Universal Description, Discovery and Integration (UDDI), version 3.0.1. Technical Committee Specification Available at http://uddi.xml.org/ and also, uddi_v3.htm [ULS06] Ultra-Large-Scale Systems the software challenge of the Future. Carnegie Mellon. Software engineering institute, 2003.

U. Un and . Cefact, Unified Modelling Language 2.2 http://www.omg.org/spec UMM Meta Model -Foundation Module, s Modeling Methodology (UMM), issue.2, 2006.

G. [. Urgaonkar, P. Pacifici, M. Shenoy, A. Spreitzer, and . Tantawi, Analytic modeling of multitier Internet applications, ACM Transactions on the Web, vol.1, issue.1, 2007.
DOI : 10.1145/1232722.1232724

]. M. Vou08, C. Vouk, S. Vecchiola, R. Pandey, and . Buyya, Cloud Computing, Issues Research and Implementation High-performance cloud computing: A view of scientific applications, Proceedings of the 30th International Conference on Information Technology Interfaces, pp.4-16, 2008.

]. R. Wal00 and . Waldinger, Web Agents Cooperating Deductively, " in FAABS '00: Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers, pp.250-262, 2000.

[. Websphere, E. L. Williams, E. M. Maximilien, and M. A. Vouk, IBM WebSphere Service Registry and Repository available at http://www- 01.ibm.com/software Test-Driven Development as a Defect-Reduction Practice, 14th International Symposium on Software Reliability Engineering, 2003.

P. Weill and J. W. Ross, IT governance: how top performers manage IT decision rights for superior results, 2004.

G. [. Wegmann, G. A. Regev, F. Garret, and . Marechal, Specifying Services for ITIL Service Management, 2008 International Workshop on Service-Oriented Computing: Consequences for Engineering Requirements, 2008.
DOI : 10.1109/SOCCER.2008.7

K. Whitehouse, C. Sharp, E. Brewer, and D. Culler, Hood, Proceedings of the 2nd international conference on Mobile systems, applications, and services , MobiSYS '04, pp.99-110, 2004.
DOI : 10.1145/990064.990079

. Ws-bpel, Business Process Execution Language for Web Services Version 2.0 http://docs.oasisopen .org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html [WSCDL] Web Services Choreography Description Language Version 1

. Wsci and . Web, Service Choreography Interface Version 1.0 http://www.w3.org/TR/wsci/ [WSDL] Web Services Description Language (WSDL) Version 1.2 http, pp.12-20030611, 2003.

R. [. Weber and . Weber, Internet of Things, 2010.
DOI : 10.1007/978-3-642-11710-7

]. W. Yeu08 and . Yeung, A Formal Basis for Cross-Checking ebXML BPSS Choreography and Web Service Orchestration, IEEE Asia-Pacific Services Computing Conference, pp.524-529, 2008.

J. [. Yao and . Gehrke, The cougar approach to in-network query processing in sensor networks. SIGMOD Rec, pp.9-18, 2002.

Z. [. Yuan, W. Li, and . Sun, A Graph-Search Based Approach to BPEL4WS Test Generation, 2006 International Conference on Software Engineering Advances (ICSEA'06), 2006.
DOI : 10.1109/ICSEA.2006.261270

E. Yu and J. M. Mylopoulos, Understanding "why" in software process modelling, analysis, and design, Proceedings of 16th International Conference on Software Engineering, pp.159-168, 1994.
DOI : 10.1109/ICSE.1994.296775

D. M. Yellin, R. E. Strom, H. Yang, X. Zhao, and C. Cai, Protocol specifications and component adaptors, IEEE International Symposium on Service-Oriented System EngineeringZar00] A. Zarras. Systematic Customization of Middleware, pp.7-25717879, 1997.
DOI : 10.1145/244795.244801

A. [. Zheng and . Bouguettaya, Service Mining on the Web, IEEE Transactions on Services Computing, vol.2, issue.1, pp.65-78, 2009.
DOI : 10.1109/TSC.2009.2

A. [. Zaha, M. Barros, A. Dumas, and . Terhofstede, Let???s Dance: A Language for Service Behavior Modeling, Proceedings of the 14th International Conference on Cooperative Information Systems (CoopIS), 2006.
DOI : 10.1007/11914853_10

B. [. Zeng, A. H. Benatallah, M. Ngu, J. Dumas, H. Kalagnanam et al., QoS-aware middleware for Web services composition, IEEE Transactions on Software Engineering, vol.30, issue.5, pp.311-327, 2004.
DOI : 10.1109/TSE.2004.11

B. [. Zhang and . Cheng, Model-based development of dynamically adaptive software, Proceeding of the 28th international conference on Software engineering , ICSE '06, 2006.
DOI : 10.1145/1134285.1134337

L. [. Zhang, R. Cheng, and . Boutaba, Cloud computing: state-of-the-art and research challenges, Journal of Internet Services and Applications, vol.33, issue.4, pp.7-18, 2004.
DOI : 10.1007/s13174-010-0007-6

G. [. Zachos, P. Dobson, and . Sawyer, Ontology-aided Translation in the Comparison of Candidate Service Quality Lyu: Collaborative reliability prediction of service-oriented system, Proceedings SOCCER workshop Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering ICSE'10, 2008.

P. Zhang, B. Li, H. Muccini, Y. Zhou, and M. Sun, Data-Enriched Modeling and Verification of WS- CDL Based on UML Models, icws, IEEE International Conference on Web Services, pp.752-753, 2008.

N. [. Zachos and . Maiden, Inventing Requirements from Software: An Empirical Investigation with Web Services, 2008 16th IEEE International Requirements Engineering Conference, pp.145-154
DOI : 10.1109/RE.2008.39

C. [. Zachariadis, W. Mascolo, and . Emmerich, The SATIN Component System-A Metamodel for Engineering Adaptable Mobile Systems, IEEE Transactions on Software Engineering, vol.32, issue.11, pp.910-927, 2006.
DOI : 10.1109/TSE.2006.115

N. [. Zachos, X. Maiden, X. Zhu, and S. Jones, Discovering Web Services to Specify More Complete System Requirements, Proceedings CaiSE'2007 Lecture Notes on Computer Science LNCS, pp.142-157
DOI : 10.1007/978-3-540-72988-4_11

J. Zhou, D. Pakkala, J. Perala, E. Niemela, J. Riekki et al., Dependency-aware Service Oriented Architecture and Service Composition, IEEE International Conference on Web Services (ICWS 2007), pp.1146-1149, 2007.
DOI : 10.1109/ICWS.2007.71

G. [. Zisman, J. Spanoudakis, and . Dooley, A Framework for Dynamic Service Discovery, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering, 2008.
DOI : 10.1109/ASE.2008.26

Y. Zhai, J. Zhang, and K. Lin, SOA Middleware Support for Service Process Reconfiguration with End-to-End QoS Constraints, 2009 IEEE International Conference on Web Services, 2009.
DOI : 10.1109/ICWS.2009.126