C. and R. Block-(-s,-t-s-i, CD j from its own BLOCK queue; 3.2.1 CD i updates T S i to T S i + 1

E. Masri and Q. H. Mahmoud, Discovering Web Services in Search Engines, IEEE Internet Computing, vol.12, issue.3, pp.74-77, 2008.
DOI : 10.1109/MIC.2008.53

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

D. Ardagna and B. 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

D. Athanasopoulos and A. Zarras, Fine-Grained Metrics of Cohesion Lack for Service Interfaces, 2011 IEEE International Conference on Web Services, 2011.
DOI : 10.1109/ICWS.2011.27
URL : https://hal.archives-ouvertes.fr/inria-00574182

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

D. Athanasopoulos, A. V. Zarras, P. Vassiliadis, and V. Issarny, Mining service abstractions, Proceeding of the 33rd international conference on Software engineering, ICSE '11, pp.944-947, 2011.
DOI : 10.1145/1985793.1985954
URL : https://hal.archives-ouvertes.fr/inria-00583780

L. Atzori, A. Iera, and G. Morabito, The Internet of Things: A survey, Computer Networks, vol.54, issue.15, pp.2787-2805, 2010.
DOI : 10.1016/j.comnet.2010.05.010

E. Avií-es-l-´-opez and J. A. García-macías, TinySOA: a Service-oriented Architecture for Wireless Sensor Networks, Service Oriented Computing and Applications, pp.99-108, 2009.

A. Bakshi, A. Pathak, and V. K. Prasanna, System-level Support for Macroprogramming of Networked Sensing Applications, Int. Conf. on Pervasive Systems and Computing (PSC). Citeseer, 2005.

S. Basu and T. Bultan, Choreography conformance via synchronizability, Proceedings of the 20th international conference on World wide web, WWW '11, pp.795-804, 2011.
DOI : 10.1145/1963405.1963516
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.205.9561

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

S. Ben-mokhtar, N. Georgantas, . Vaí, and . Issarny, COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support, Journal of Systems and Software, vol.80, issue.12, pp.1941-1955, 2007.
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927

G. S. Blair, A. Bennaceur, G. Georgantas, P. Grace, V. Issarny et al., The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems, Proceedings of Middleware'2011 -To appear, 2011.
DOI : 10.1007/978-3-642-25821-3_21
URL : https://hal.archives-ouvertes.fr/inria-00629059

D. Brand and P. Zafiropulo, On Communicating Finite-State Machines, Journal of the ACM, vol.30, issue.2, pp.323-342, 1983.
DOI : 10.1145/322374.322380

B. A. Brandin and W. M. Wonham, Supervisory control of timed discrete-event systems, IEEE Transactions on Automatic Control, p.39, 1994.

A. Brogi and R. Popescu, Automated Generation of BPEL Adapters, Proc. of IC- SOC'06, pp.27-39, 2006.
DOI : 10.1007/11948148_3

G. Cabri, L. Leonardi, and F. Zambonelli, Reactive tuple spaces for mobile agent coordination, Lecture Notes in Computer Science, pp.237-248, 1998.
DOI : 10.1007/BFb0057663

D. Calvanese, G. D. Giacomo, M. Lenzerini, M. Mecella, and F. Patrizi, Automatic service composition and synthesis: the roman model, IEEE Data Eng. Bull, vol.31, issue.3, pp.18-22, 2008.

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

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, pp.131-140, 2009.
DOI : 10.1145/1595696.1595718

A. Carzaniga and A. L. Wolf, Content-Based Networking: A New Communication Infrastructure, Lecture Notes in Computer Science, pp.59-68, 2002.
DOI : 10.1007/3-540-36257-6_6

M. Ceriotti, A. L. Murphy, and G. P. Picco, Data sharing vs. message passing: synergy or incompatibility?, Proceedings of the 2008 ACM symposium on Applied computing , SAC '08, pp.100-107, 2008.
DOI : 10.1145/1363686.1363714

M. Colombo, E. D. Nitto, and M. Mauri, SCENE: A Service Composition Execution Environment Supporting Dynamic Changes Disciplined Through Rules, Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC), pp.191-202, 2006.
DOI : 10.1007/11948148_16

D. Fensel, F. Fischer, J. Kopecky, R. Krummenacher, D. Lambert et al., WSMO-Lite: Lightweight Semantic Descriptions for Services on the Web (W3C Member Submission ), 2010.

X. Dong, A. Halevy, J. Madhavan, E. Nemes, and J. Zhang, Similarity Search for Web Services, Proceedings of VLDB, 2004.
DOI : 10.1016/B978-012088469-8.50035-8

S. Dustdar and M. Treiber, A View Based Analysis on Web Service Registries. Distributed and Parallel Databases, pp.147-171, 2005.

P. Eugster, . Th, P. A. Felber, R. Guerraoui, and A. Kermarrec, The many faces of publish/subscribe, ACM Computing Surveys, vol.35, issue.2, pp.114-131, 2003.
DOI : 10.1145/857076.857078

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

E. Freeman, K. Arnold, and S. Hupfer, JavaSpaces Principles, Patterns, and Practice, 1999.

D. Gelernter, Generative communication in Linda, ACM Transactions on Programming Languages and Systems, vol.7, issue.1, pp.80-112, 1985.
DOI : 10.1145/2363.2433

P. Grace, G. S. Blair, and S. Samuel, A reflective framework for discovery and interaction in heterogeneous mobile environments, ACM SIGMOBILE Mobile Computing and Communications Review, vol.9, issue.1, pp.2-14, 2005.
DOI : 10.1145/1055959.1055962

D. Guinard, V. Trifa, S. Karnouskos, P. Spiess, and D. Savio, Interacting with the SOA-Based Internet of Things: Discovery, Query, Selection, and On-Demand Provisioning of Web Services, IEEE Transactions on Services Computing, vol.3, issue.3, pp.223-235, 2010.
DOI : 10.1109/TSC.2010.3

S. Halí-e and T. Bultan, Realizability analysis for message-based interactions using shared-state projections, Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering, FSE '10, pp.27-36, 2010.

E. John, J. D. Hopcroft, and . Ullman, Introduction To Automata Theory, Languages, And Computation [37] Vaí erie Issarny, Amel Bennaceur, and Y ´ erom-David Bromberg. Middleware-layer connector synthesis: Beyond state of the art in middleware interoperability, Mauro Caporuscio, and Nikolaos Georgantas. A Perspective on the Future of Middleware-based Software Engineering. In Proceedings of FOSE 2007, pp.217-255, 1990.

J. Kopecky and T. Vitvar, microWSMO:Semantic description of RESTFUL Services (WSMO working draft), 2008.

F. Jammes and H. Smit, Service-Oriented Paradigms in Industrial Automation, IEEE Transactions on Industrial Informatics, vol.1, issue.1, pp.62-70, 2005.
DOI : 10.1109/TII.2005.844419

. Jos-de-bruijn, WSMO: Web Service Modeling Ontology (W3C Member Submission), 2005.

K. Gomadam, A. Ranabahu, and A. Sheth, SA-REST: Semantic Annotation of Web Resources (W3C Member Submission), 2010.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.
DOI : 10.1145/359545.359563

B. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, vol.16, issue.6, pp.1811-1841, 1994.
DOI : 10.1145/197320.197383

J. Magee and J. Kramer, Concurrency : State models and Java programs, Hoboken (N.J, 2006.

A. Marconi, M. Pistore, and P. Traverso, Automated composition of web services: the astro approach, IEEE Data Eng. Bull, vol.31, issue.3, pp.23-26, 2008.

N. Medvidovic and R. 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

R. Nikunj, N. Mehta, S. Medvidovic, and . Phadke, Towards a taxonomy of software connectors, Proceedings of ICSE, 2000.

T. Melliti, P. Poizat, and S. B. Mokhtar, Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services, Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering, FASE'08/ETAPS'08, pp.146-162, 2008.
DOI : 10.1007/978-3-540-78743-3_12
URL : https://hal.archives-ouvertes.fr/hal-00340490

R. Milner, Communication and concurrency, 1989.

A. L. Murphy, G. P. Picco, and G. C. Roman, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, p.328, 2006.
DOI : 10.1145/1151695.1151698

N. Project and N. Project, The NEXOF-RA Reference Model v3.0

E. Di, N. , and D. S. Rosenblum, Exploiting adls to specify architectural styles induced by middleware infrastructures, Proceedings of ICSE, 1999.

S. Oundhakar, K. Verma, K. Sivashanugam, A. Sheth, and J. Miller, Discovery of Web Services in a Multi-Ontology and Federated Registry Environment, International Journal of Web Services Research, vol.2, issue.3, pp.1-32, 2005.
DOI : 10.4018/jwsr.2005070101

P. Mike, W. Papazoglou, and . Heuvel, Service oriented architectures: approaches, technologies and research issues, The VLDB Journal, vol.16, pp.389-415, 2007.

D. Parnas, On the criteria to be used in decomposing systems into modules, Communications of the ACM, vol.15, issue.12, pp.1053-1058, 1972.
DOI : 10.1145/361598.361623

J. Pathak, R. Lutz, and V. Honavar, MoSCoE: AN APPROACH FOR COMPOSING WEB SERVICES THROUGH ITERATIVE REFORMULATION OF FUNCTIONAL SPECIFICATIONS, International Journal on Artificial Intelligence Tools, vol.17, issue.01, pp.109-138, 2008.
DOI : 10.1142/S0218213008003807

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

P. Pietzuch, D. Eyers, S. Kounev, and B. Shand, Towards a common API for publish/subscribe, Proceedings of the 2007 inaugural international conference on Distributed event-based systems , DEBS '07, pp.152-157, 2007.
DOI : 10.1145/1266894.1266924

B. Priyantha, A. Kansal, M. Goraczko, and F. Zhao, Tiny Web Services for Sensor Device Interoperability, 2008 International Conference on Information Processing in Sensor Networks (ipsn 2008), pp.567-568
DOI : 10.1109/IPSN.2008.33

P. J. Ramadge and W. M. Wonham, Supervisory Control of a Class of Discrete Event Processes, SIAM Journal on Control and Optimization, vol.25, issue.1, pp.206-230, 1987.
DOI : 10.1137/0325013

M. Rambold, H. Kasinger, F. Lautenbacher, and B. Bauer, Towards Autonomic Service Discovery A Survey and Comparison, 2009 IEEE International Conference on Services Computing, pp.192-201, 2009.
DOI : 10.1109/SCC.2009.59

L. Richardson and S. Ruby, RESTful Web Services. O'Reilly, 2007.

A. W. Roscoe, C. A. Hoare, and R. Bird, The Theory and Practice of Concurrency, 1997.

A. Rowstron, Wcl: A co-ordination language for geographically distributed agents, World Wide Web, vol.1, issue.3, pp.167-1791019263731139, 1023.
DOI : 10.1023/A:1019263731139

I. T. Antony, A. Rowstron, and . Wood, Solving the linda multiple rd problem, Proceedings of the First International Conference on Coordination Languages and Models, COORDINATION '96, pp.357-367, 1996.

G. Salä-un, Generation of service wrapper protocols from choreography specifications, Proceedings of the 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods, pp.313-322, 2008.

B. Spitznagel and D. Garlan, A compositional formalization of connector wrappers, 25th International Conference on Software Engineering, 2003. Proceedings., 2003.
DOI : 10.1109/ICSE.2003.1201216

J. Su, T. Bultan, X. Fu, and X. Zhao, Towards a Theory of Web Service Choreographies, WS-FM, pp.1-16, 2007.
DOI : 10.1007/978-3-540-79230-7_1

D. Taubner, Finite representations of CCS and TCSP programs by automata and Petri nets, 1989.

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

C. Project and T. , CHOReOS State of the Art, Baseline and Beyond -Public Project deliverable D1, 2010.

C. Project and T. , CHOReOS dynamic development model definition -Public Project deliverable D2, 2011.

C. Project and T. , CHOReOS Perspective on the Future Internet and Initial Conceptual Model -Public Project deliverable D1, 2011.

M. Tivoli and P. 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

S. Uchitel, J. Kramer, and J. Magee, Incremental elaboration of scenario-based specifications and behavior models using implied scenarios, ACM Transactions on Software Engineering and Methodology, vol.13, issue.1, pp.37-85, 2004.
DOI : 10.1145/1005561.1005563

R. J. Van-glabbeek, Notes on the methodology of CCS and CSP, Theoretical Computer Science, vol.177, issue.2, pp.329-349, 1997.
DOI : 10.1016/S0304-3975(96)00251-4

W. and X. Schema, Semantic Markup for Web Services, 2002.

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

D. Wutke, D. Martin, and F. Leymann, Facilitating Complex Web Service Interactions through a Tuplespace Binding, Proceedings of the 8th IFIP WG 6.1 international conference on Distributed applications and interoperable systems, DAIS'08, pp.275-280, 2008.
DOI : 10.1145/2363.2433

J. Yang and M. 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

L. Zeng, B. Benatallah, M. Dumas, J. Kalagnamam, and H. Chang, 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