&. Stability and . Interdependency, Analysis (SIA) Model(s)

C. Spec, Framework Run?5me V&V Model(s)

C. Deployment, Enactment and Run?)me Choreography Synthesis [WP2] Service Discovery

D. J. Abadi, Y. Ahmad, M. Balazinska, M. Cherniack, W. Jeong-hyon-hwang et al., The design of the borealis stream processing engine, CIDR, 2005.

. Danielj, D. Abadi, M. Carney, C. Cherniack, S. Convey et al., Aurora: a new model and architecture for data stream management, 2003.

I. F. Akyildiz, T. Melodia, and K. R. Chowdury, Wireless multimedia sensor networks: A survey, Wireless Communications IEEE, issue.6, p.14

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

G. Amato, P. Baronti, and S. Chessa, MaD-WiSe: Programming and Accessing Data in a Wireless Sensor Networks, EUROCON 2005, The International Conference on "Computer as a Tool", 2005.
DOI : 10.1109/EURCON.2005.1630339

G. Amato, S. Chessa, and C. Vairo, Mad-wise: a distributed stream management system for wireless sensor networks. Software: Practice and Experience, 2010.

E. Andriescu, A. Bennaceur, P. Inverardi, and V. Issarny, Romina Spalazzese, and Roberto Speicys-Cardoso. Dynamic Connector Synthesis: Principles, Methods, Tools and Assessment, 2012.

A. Arasu, B. Babcock, S. Babu, J. Cieslewicz, M. Datar et al., Data-Stream Management: Processing High-Speed Data Streams, chapter STREAM: The Stanford Data Stream Management System, 2005.

A. Arasu, S. Babu, and J. Widom, The CQL continuous query language: semantic foundations and query execution, The VLDB Journal, vol.Francisco, issue.1, pp.121-142, 2006.
DOI : 10.1007/s00778-004-0147-z

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 P. Vassiliadis, Service selection for happy users, Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE '12, pp.32-35, 2012.
DOI : 10.1145/2393596.2393632
URL : https://hal.archives-ouvertes.fr/hal-00728844

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

E. Avií-es-l-´-opez and J. García-macías, TinySOA: a service-oriented architecture for wireless sensor networks, Service Oriented Computing and Applications, 2009.

C. Baier and J. P. Katoen, Principles of Model Checking, 2008.

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.

D. F. Barbieri, D. Braga, S. Ceri, E. D. Valle, and M. Grossniklaus, C-SPARQL, Proceedings of the 18th international conference on World wide web, WWW '09, p.4, 2010.
DOI : 10.1145/1526709.1526856
URL : http://nbn-resolving.de/urn:nbn:de:bsz:352-277370

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

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, 2011.
DOI : 10.1007/978-3-642-25821-3_21
URL : https://hal.archives-ouvertes.fr/inria-00629059

I. Botan, R. Derakhshan, N. Dindar, L. Haas, R. J. Miller et al., SECRET, Proceedings of the VLDB Endowment, vol.3, issue.1-2, 2010.
DOI : 10.14778/1920841.1920874

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.907

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.

J. Campbell, P. B. Gibbons, S. Nath, P. Pillai, S. Seshan et al., IrisNet, Proceedings of the 13th annual ACM international conference on Multimedia , MULTIMEDIA '05, 2005.
DOI : 10.1145/1101149.1101162

M. Carbone, K. Honda, and N. Yoshida, Structured Communication-Centred Programming for Web Services, LNCS, vol.4421, pp.2-17, 2007.
DOI : 10.1007/978-3-540-71316-6_2

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. Dezfuli and M. Haghjoo, Xtream: A System for Continuous Querying over Uncertain Data Streams, Scalable Uncertainty Management, 2012.
DOI : 10.1007/978-3-642-33362-0_1

G. Mohammad, M. S. Dezfuli, and . Haghjoo, Probabilistic querying over uncertain data streams, International Journal of Uncertainty, issue.05, pp.20-2012

R. Dickerson, J. Lu, J. Lu, and K. Whitehouse, Stream Feeds - An Abstraction for the World Wide Sensor Web, The Internet of Things, pp.360-375, 2008.
DOI : 10.1007/978-3-540-78731-0_23

N. Dindar, N. Tatbul, . Renej, . Miller, . Lauram et al., Modeling the execution semantics of stream processing engines with SECRET, The VLDB Journal, 2012.
DOI : 10.1007/s00778-012-0297-3

A. Dunkels, Full TCP/IP for 8-bit architectures, Proceedings of the 1st international conference on Mobile systems, applications and services, MobiSys '03, 2003.
DOI : 10.1145/1066116.1066118

S. Duquennoy, G. Grimaud, and J. Vandewalle, The Web of Things: Interconnecting Devices with High Usability and Performance, 2009 International Conference on Embedded Software and Systems, 2009.
DOI : 10.1109/ICESS.2009.13
URL : https://hal.archives-ouvertes.fr/inria-00390615

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

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

M. Fredj, A. Zarras, N. Georgantas, and V. Issarny, Service Intelligence and Service Science, chapter Dynamic Maintenance of Service Orchestrations, IGI, pp.57-78, 2011.

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. B. Gibbons, B. Karp, Y. Ke, S. Nath, and S. Seshan, Irisnet: an architecture for a worldwide sensor web. Pervasive Computing, IEEE, vol.2, issue.4

L. Golab, D. Dehaan, E. D. Demaine, A. Lopez-ortiz, and J. I. Munro, Identifying frequent items in sliding windows over on-line packet streams, Proceedings of the 2003 ACM SIGCOMM conference on Internet measurement , IMC '03, 2003.
DOI : 10.1145/948205.948227

G. Gregor, G. Ossler, and . Salä-un, Realizability of choreographies for services interacting asynchronously, FACS, pp.151-167

W. I. Grosky, A. Kansal, S. Nath, J. Liu, and F. Zhao, Senseweb: An infrastructure for shared sensing, MultiMedia, IEEE, vol.14, issue.4

G. Matthias, P. Udemann, G. Poizat, A. Salä-un, and . Dumont, Verchor: A framework for verifying choreographies, FASE, pp.226-230

S. Hadim and N. Mohamed, Middleware: middleware challenges and approaches for wireless sensor networks. Distributed Systems Online, IEEE, vol.7, issue.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.

A. Hornsby, P. Belimpasakis, I. Bennaceur, and Y. Bromberg, Xmpp-based wireless sensor network and its integration into the extended home environment [46] Vaí erie Issarny and Amel Bennaceur Composing distributed systems: Overcoming the interoperability challenge Middleware-layer connector synthesis: Beyond state of the art in middleware interoperability, Consumer Electronics, 2009. ISCE '09. IEEE 13th International Symposium on SFM, pp.217-255, 2011.

N. Vaí-erie-issarny, S. Georgantas, A. Hachem, P. Zarras, M. Vassiliadis et al., Service-oriented middleware for the Future Internet: state of the art and research directions, Journal of Internet Services and Applications, vol.2, issue.1, pp.23-45, 2011.
DOI : 10.1007/s13174-011-0021-3

N. Jain, S. Mishra, A. Srinivasan, J. Gehrke, J. Widom et al., Towards a streaming SQL standard, Proceedings of the VLDB Endowment, vol.1, issue.2, 2008.
DOI : 10.14778/1454159.1454179

F. Jouault, F. Allilaire, J. , and I. Kurtev, ATL: A model transformation tool, Science of Computer Programming, vol.72, issue.1-2, pp.31-39, 2008.
DOI : 10.1016/j.scico.2007.08.002
URL : https://hal.archives-ouvertes.fr/hal-00483363

J. Kramer, J. Magee, J. Urgen-krämerkr¨krämer, and B. Seeger, The Evolving Philosophers Problem Semantics and implementation of continuous sliding window queries over data streams, IEEE Transactions on Software Engineering ACM Trans. Database Syst, vol.15, issue.341, pp.1293-1306, 1990.

G. Lam and D. Rossiter, A web service framework supporting multimedia streaming. Services Computing, IEEE Transactions on, issue.99, p.2012
DOI : 10.1109/tsc.2012.11

S. S. Lam, Protocol conversion, IEEE Transactions on Software Engineering, vol.14, issue.3, pp.353-362, 1988.
DOI : 10.1109/32.4655

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

D. Le-phuoc, H. Quoc-nguyen-mau, J. Xavier-parreira, and M. Hauswirth, A middleware framework for scalable management of linked streams, Web Semantics: Science, Services and Agents on the World Wide Web, pp.16-2012
DOI : 10.1016/j.websem.2012.06.003

D. Le-phuoc, J. Xavier-parreira, and M. Hauswirth, Linked Stream Data Processing, Reasoning Web. Semantic Technologies for Advanced Query Answering, 2012.
DOI : 10.14778/2078331.2078335

. F. Leonardoa, G. A. Leite, . Oliva, . Guilhermem, M. Nogueira et al., A systematic literature review of service choreography adaptation, Service Oriented Computing and Applications, pp.1-18, 2012.

T. Lin, H. Zhao, J. Wang, G. Han, and J. Wang, An embedded web server for equipment, Parallel Architectures, Algorithms and Networks Proceedings. 7th International Symposium on, 2004.

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

T. Luckenbach, P. Gober, S. Arbanowski, A. Kotsopoulos, and K. Kim, Tinyrest -a protocol for integrating sensor networks into the internet, Proceedings of Workshop on Real-World Wireless Sensor Networks, 2005.

R. Samuel, M. J. Madden, J. M. Franklin, W. Hellerstein, and . Hong, Tinydb: an acquisitional query processing system for sensor networks, ACM Trans. Database Syst, vol.30, issue.1, 2005.

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

L. Mottola and G. P. Picco, Programming wireless sensor networks, ACM Computing Surveys, vol.43, issue.3, 2011.
DOI : 10.1145/1922649.1922656

G. Mulligan, The 6LoWPAN architecture, Proceedings of the 4th workshop on Embedded networked sensors, EmNets '07, 2007.
DOI : 10.1145/1278972.1278992

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

R. Newton, G. Morrisett, and M. Welsh, The regiment macroprogramming system, Proceedings of the 6th international conference on Information processing in sensor networks, IPSN '07, pp.489-498, 2007.

R. Newton and M. Welsh, Region streams, Proceeedings of the 1st international workshop on Data management for sensor networks in conjunction with VLDB 2004, DMSN '04, 2004.
DOI : 10.1145/1052199.1052213

M. F. O-"-connor, K. Conroy, M. Roantree, A. F. Smeaton, and N. M. Moyna, Querying xml data streams from wireless sensor networks: An evaluation of query engines, Research Challenges in Information Science, 2009.

B. Ostermaier, F. Schlup, and K. , WebPlug: A framework for the Web of Things, 2010 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops), 2010.
DOI : 10.1109/PERCOMW.2010.5470522

D. Papadimitriou, Future Internet?The Cross-ETP Vision Document, European Technology Platform Alcatel Lucent, vol.8, 2009.

M. P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, Service-Oriented Computing: State of the Art and Research Challenges, Computer, vol.40, issue.11, p.40, 2007.
DOI : 10.1109/MC.2007.400

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

J. Pereira, From autonomous to cooperative distributed monitoring and control: Towards the Internet of smart things, ERCIM Workshop on eMobility, 2008.

P. Poizat and G. Salä-un, Checking the realizability of BPMN 2.0 choreographies, Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC '12, pp.1927-1934, 2012.
DOI : 10.1145/2245276.2232095
URL : https://hal.archives-ouvertes.fr/hal-00685393

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.

E. Rukzio, M. Paolucci, M. Wagner, H. Berndt, J. Hamard et al., Mobile service interaction with the web of things, 13th International Conference on Telecommunications, 2006.

G. Salä and U. , 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.

M. Shaw, Procedure calls are the assembly language of software interconnection: Connectors deserve first-class status, 1994.
DOI : 10.1007/BFb0030517

S. Shon, Protocol Implementations for Web Based Control Systems, International Journal of Control, Automation, and Systems, 2005.

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

P. Stuckmann and R. Zimmermann, European research on future Internet design, IEEE Wireless Communications, vol.16, issue.5, 2009.
DOI : 10.1109/MWC.2009.5300298

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 Middleware Specification -Public Project deliverable D3, 2011.

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

C. Project and T. , Initial Architectural Style for CHOReOS Choreographies -Public Project deliverable D1, 2011.

C. Project and T. , CHOReOS Middleware Implementation -Public Project deliverable D3.2, 2012.

I. Toma, E. Simperl, A. Filipowska, G. Hench, and J. Domingue, Semantics-Driven Interoperability on the Future Internet, 2009 IEEE International Conference on Semantic Computing, 2009.
DOI : 10.1109/ICSC.2009.73

V. Trifa, D. Guinard, V. Davidovski, A. Kamilaris, and I. Delchev, Web Messaging for Open and Scalable Distributed Sensing Applications, Web Engineering, 2010.
DOI : 10.1007/978-3-642-13911-6_9

V. Trifa, D. Guinard, V. Davidovski, A. Kamilaris, and I. Delchev, Web Messaging for Open and Scalable Distributed Sensing Applications, Web Engineering, 2010.
DOI : 10.1007/978-3-642-13911-6_9

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

K. Whitehouse, F. Zhao, and J. Liu, Semantic Streams: A Framework for Composable Semantic Interpretation of Sensor Data, Wireless Sensor Networks, pp.5-20, 2006.
DOI : 10.1007/11669463_4

Y. Yao and J. Gehrke, The cougar approach to in-network query processing in sensor networks, ACM SIGMOD Record, vol.31, issue.3, 2002.
DOI : 10.1145/601858.601861