L. Aldred, W. M. Aalst, M. Dumas, and A. H. Hofstede, On the Notion of Coupling in Communication Middleware, pp.1015-1033, 2005.
DOI : 10.1007/11575801_6

R. Alur and D. L. Dill, A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994.
DOI : 10.1016/0304-3975(94)90010-8

L. Baresi, C. Ghezzi, and L. Mottola, On accurate automatic verification of publishsubscribe architectures, IEEE Intl. Conf. on Software Engineering, 2007.

A. Barker, C. D. Walton, and D. Robertson, Choreographing Web Services, IEEE Transactions on Services Computing, vol.2, issue.2, pp.152-166, 2009.
DOI : 10.1109/TSC.2009.8

A. Basu, S. Bensalem, M. Bozgt, B. Delahaye, and A. Legay, Statistical abstraction and model-checking of large heterogeneous systems, International Journal on Software Tools for Technology Transfer, vol.204, issue.9, pp.53-71, 2012.
DOI : 10.1007/s10009-011-0201-2
URL : https://hal.archives-ouvertes.fr/hal-01055148

G. S. Blair, A. Andersen, L. Blair, G. Coulson, and D. Sanchez, Supporting dynamic QoS management functions in a reflective middleware platform, Proc. IEE Software, pp.2000-2013
DOI : 10.1049/ip-sen:20000327

D. A. Chappell, Enterprise Service Bus. O'Reilly Media, 2004.

. Choreos, Final CHOReOS architectural style Large Scale Choreographies for the Future Internet, 2013.

E. M. Clarke, E. A. Emerson, and A. P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, vol.8, issue.2, pp.244-263, 1986.
DOI : 10.1145/5397.5399

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

N. Georgantas, G. Bouloukakis, S. Beauche, and V. Issarny, Service-Oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability, Euro. Conf. on Service-Oriented and Cloud Computing, 2013.
DOI : 10.1007/978-3-642-40651-5_11
URL : https://hal.archives-ouvertes.fr/hal-00841332

D. Guinard, S. Karnouskos, V. Trifa, B. Dober, P. Spiess et al., 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

F. He, L. Baresi, C. Ghezzi, and P. Spoletini, Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata, Formal Techniques for Networked and Distributed Systems, pp.247-262, 2007.
DOI : 10.1007/3-540-48320-9_12

V. Issarny, A. Bennaceur, and Y. Bromberg, Middleware-Layer Connector Synthesis: Beyond State of the Art in Middleware Interoperability, Formal Methods for Eternal Networked Soft. Sys, pp.217-255, 2011.
DOI : 10.1007/978-3-642-21455-4_7
URL : https://hal.archives-ouvertes.fr/inria-00586630

A. Kattepur, N. Georgantas, and V. Issarny, QoS Analysis in Heterogeneous Choreography Interactions, Intl. Conf. on Service Oriented Computing, 2013.
DOI : 10.1007/978-3-642-45005-1_3
URL : https://hal.archives-ouvertes.fr/hal-00866190

M. Kim, M. Stehr, C. Talcott, N. Dutt, and N. Venkatasubramanian, Combining formal verification with observed system execution behavior to tune system parameters. In Formal Modeling and Analysis of Timed Systems, 2007.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, Proc. Tools Session of Aachen Intl. Multiconf. on Measurement, Modelling and Evaluation of Computer-Communication Systems, pp.7-12, 2001.
DOI : 10.1007/3-540-46029-2_13
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.100.2142

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

Y. Sun, X. Qiao, B. Cheng, and J. Chen, A Low-Delay, Lightweight Publish/Subscribe Architecture for Delay-Sensitive IOT Services, 2013 IEEE 20th International Conference on Web Services, 2013.
DOI : 10.1109/ICWS.2013.33

L. Waszniowski, J. Krakora, and Z. Hanzalek, Case study on distributed and fault tolerant system modeling based on timed automata, Journal of Systems and Software, vol.82, issue.10, pp.1678-1694, 2009.
DOI : 10.1016/j.jss.2009.04.042

T. Zhang, J. Ma, C. Sun, Q. Li, and N. Xi, Service Composition in Multi-domain Environment under Time Constraint, 2013 IEEE 20th International Conference on Web Services, 2013.
DOI : 10.1109/ICWS.2013.39