T. S. Andrew and M. Van-steen, Distributed systems-principles and paradigms, 2007.

H. Van, A. Veer, and . Wiles, Achieving technical interoperability, European Telecommunications Standards Institute, 2008.

S. Bandyopadhyay, M. Sengupta, S. Maiti, and S. Dutta, Role Of Middleware For Internet Of Things: A Study, International Journal of Computer Science & Engineering Survey, vol.2, issue.3, 2011.
DOI : 10.5121/ijcses.2011.2307

V. Terziyan, O. Kaykova, and D. Zhovtobryukh, UbiRoad: Semantic Middleware for Context-Aware Smart Road Environments, 2010 Fifth International Conference on Internet and Web Applications and Services, 2010.
DOI : 10.1109/ICIW.2010.50

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

G. Bouloukakis, N. Georgantas, S. Dutta, and V. Issarny, Integration of Heterogeneous Services and Things into Choreographies, ACM ICSOC, 2016.
DOI : 10.1109/TSC.2010.3

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

N. Georgantas, G. Bouloukakis, S. Beauche, and V. Issarny, Service-Oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability, ESOCC, 2013.
DOI : 10.1007/978-3-642-40651-5_11

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

. Chorevolution, CHOReVOLUTION Service Bus, Security and Cloud -First outcomes Automated Synthesis of Dynamic and Secured Choreographies, 2015.

A. Kattepur, N. Georgantas, G. Bouloukakis, and V. Issarny, Analysis of Timing Constraints in Heterogeneous Middleware Interactions, ACM ICSOC, 2015.
DOI : 10.1109/ICWS.2013.39

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

G. Bouloukakis, I. Moscholios, N. Georgantas, and V. Issarny, Performance modeling of the middleware overlay infrastructure of mobile things, 2017 IEEE International Conference on Communications (ICC), 2017.
DOI : 10.1109/ICC.2017.7997451

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

G. Bouloukakis, N. Georgantas, A. Kattepur, and V. Issarny, Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering , ICPE '17, 2017.
DOI : 10.1137/1.9780898719734

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

G. Bouloukakis, R. Agarwal, N. Georgantas, A. Pathak, and V. Issarny, Leveraging CDR datasets for context-rich performance modeling of large-scale mobile pub/sub systems, 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2015.
DOI : 10.1109/WiMOB.2015.7348016

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

G. Bajaj, G. Bouloukakis, A. Pathak, P. Singh, N. Georgantas et al., Toward Enabling Convenient Urban Transit through Mobile Crowdsensing, 2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015.
DOI : 10.1109/ITSC.2015.57

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

T. Teixeira, S. Hachem, V. Issarny, and N. Georgantas, Service Oriented Middleware for the Internet of Things: A Perspective, ServiceWave, 2011.
DOI : 10.1109/CIMSA.2007.4362539

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

A. Al-fuqaha, A. Khreishah, M. Guizani, A. Rayes, and M. Mohammadi, Toward better horizontal integration among IoT services, IEEE Communications Magazine, vol.53, issue.9, 2015.
DOI : 10.1109/MCOM.2015.7263375

A. Molisch, K. Balakrishnan, C. Chong, S. Emami, A. Fort et al., IEEE 802.15. 4a channel model-final report, 2004.

, ZigBee specification, Z. Specification, 2008.

A. Kim, F. Hekland, S. Petersen, and P. Doyle, When HART goes wireless: Understanding and implementing the WirelessHART standard, 2008 IEEE International Conference on Emerging Technologies and Factory Automation, 2008.
DOI : 10.1109/ETFA.2008.4638503

T. Lennvall, S. Svensson, and F. Hekland, A comparison of WirelessHART and ZigBee for industrial applications, 2008 IEEE International Workshop on Factory Communication Systems, 2008.
DOI : 10.1109/WFCS.2008.4638746

C. Gomez, J. Oller, and J. Paradells, Overview and Evaluation of Bluetooth Low Energy: An Emerging Low-Power Wireless Technology, Sensors, vol.12, issue.9, 2012.
DOI : 10.3390/s120100806

M. Park, IEEE 80211 ah: sub-1-GHz license-exempt operation for the internet of things, IEEE Communications Magazine, 2015.

L. Alliance, LoRaWAN Specification, LoRa Alliance, 2015.

". I. Poole, Weightless wireless -M2M white space communications -tutorial, 2014.

A. Al-fuqaha, M. Guizani, M. Mohammadi, M. Aledhari, and M. Ayyash, Internet of Things: A Survey on Enabling Technologies, Protocols, and Applications, IEEE Communications Surveys & Tutorials, vol.17, issue.4, 2015.
DOI : 10.1109/COMST.2015.2444095

X. Zhang and K. G. Shin, Gap Sense: Lightweight coordination of heterogeneous wireless devices, 2013 Proceedings IEEE INFOCOM, 2013.
DOI : 10.1109/INFCOM.2013.6567122

I. Tinnirello, D. Croce, N. Galioto, D. Garlisi, and F. Giuliano, Cross-Technology WiFi/ZigBee Communications: Dealing With Channel Insertions and Deletions, IEEE Communications Letters, vol.20, issue.11, 2016.
DOI : 10.1109/LCOMM.2016.2603978

URL : https://iris.unipa.it/bitstream/10447/205760/2/LCOMM2603978_proof2.pdf

G. Aloi, G. Caliciuri, G. Fortino, R. Gravina, P. Pace et al., A Mobile Multi-Technology Gateway to Enable IoT Interoperability, 2016 IEEE First International Conference on Internet-of-Things Design and Implementation (IoTDI), 2016.
DOI : 10.1109/IoTDI.2015.29

Q. Zhu, R. Wang, Q. Chen, Y. Liu, and W. Qin, IoT gateway: Bridgingwireless sensor networks into IoT, IEEE/IFIP EUC, 2010.
DOI : 10.1109/euc.2010.58

M. Tucic, V. Moravcevic, G. Velikic, D. Saric, and V. Mihic, Device abstraction and virtualization: Concept of device in device, 2015 IEEE 5th International Conference on Consumer Electronics, Berlin (ICCE-Berlin), 2015.
DOI : 10.1109/ICCE-Berlin.2015.7391300

Z. Shelby and C. Bormann, 6LoWPAN: The wireless embedded Internet, 2011.
DOI : 10.1002/9780470686218

F. A?ssaoui, G. Garzone, and N. Seydoux, Providing Interoperability for Autonomic Control of Connected Devices Semantic Sensor Network Ontology, 2005.

, IoT-O, " https://www

J. Kiljander, A. Elia, F. Morandi, P. Hyttinen, J. Takalo-mattila et al., Semantic Interoperability Architecture for Pervasive Computing and Internet of Things, IEEE Access, vol.2, 2014.
DOI : 10.1109/ACCESS.2014.2347992

URL : https://doi.org/10.1109/access.2014.2347992

G. Xiao, J. Guo, L. D. Xu, and Z. Gong, User interoperability with heterogeneous IoT devices through transformation, IEEE Transactions on Industrial Informatics, 2014.

D. Androcec and N. Vrcek, Thing as a Service Interoperability: Review and Framework Proposal, 2016 IEEE 4th International Conference on Future Internet of Things and Cloud (FiCloud), 2016.
DOI : 10.1109/FiCloud.2016.51

F. Michahelles and S. Mayer, Toward a Web of Systems, XRDS

, INTER-IoT -Interoperability Internet of Things

R. Agarwal, D. Fernandez, T. Elsaleh, A. Gyrard, J. Lanza et al., Unified IoT ontology to enable interoperability and federation of testbeds, 2016 IEEE 3rd World Forum on Internet of Things (WF-IoT), 2016.
DOI : 10.1109/WF-IoT.2016.7845470

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

, FIESTA-IoT -Federated Interoperable Semantic IoT Testbeds and Applications

, M3 lite

M. Bermudez-edo, T. Elsaleh, P. Barnaghi, and K. Taylor, IoT-Lite: A Lightweight Semantic Model for the Internet of Things, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld), 2016.
DOI : 10.1109/UIC-ATC-ScalCom-CBDCom-IoP-SmartWorld.2016.0035

J. R. Hobbs and F. Pan, Time ontology in OWL, W3C working draft, 2006.

E. Zeeb, A. Bobek, H. Bohn, and F. Golatowski, Service-Oriented Architectures for Embedded Systems Using Devices Profile for Web Services, 21st International Conference on Advanced Information Networking and Applications Workshops (AINAW'07), 2007.
DOI : 10.1109/AINAW.2007.330

]. W. Mahnke, S. Leitner, and M. Damm, OPC unified architecture OPC Unified Architecture, 2009.

Z. Shelby, The constrained application protocol (CoAP), Tech. Rep, 2014.
DOI : 10.17487/rfc7252

URL : https://www.rfc-editor.org/rfc/pdfrfc/rfc7252.txt.pdf

T. F. Roy, The REpresentational State Transfer (REST), 2000.

P. Saint-andre, Extensible messaging and presence protocol (XMPP): Core, 2011.

, Sun Microsystems. JMS Specifications and Reference Implementation

, DDS. Data Distribution Service

A. Banks and R. Gupta, OASIS standard, 2014.

O. Standard, Oasis advanced message queuing protocol (amqp) version 1.0., 2012

, SemiSpace. Light weight Open Source interpretation of Tuple Space / Object Space

I. Fette, The websocket protocol, 2011.
DOI : 10.17487/rfc6455

R. Kyusakov, J. Eliasson, J. Delsing, J. Van-deventer, and J. Gustafsson, Integration of Wireless Sensor and Actuator Nodes With IT Infrastructure Using Service-Oriented Architecture, IEEE Transactions on Industrial Informatics, vol.9, issue.1, 2013.
DOI : 10.1109/TII.2012.2198655

, JavaSpaces. Beyond Conventional Distributed Programming Paradigms

V. Karagiannis, P. Chatzimisios, F. Vazquez-gallego, and J. Alonso-zarate, A survey on application layer protocols for the internet of things, Transaction on IoT and Cloud Computing, 2015.

K. Fysarakis, I. Askoxylakis, O. Soultatos, I. Papaefstathiou, C. Manifavas et al., Which IoT Protocol? Comparing Standardized Approaches over a Common M2M Application, 2016 IEEE Global Communications Conference (GLOBECOM), 2016.
DOI : 10.1109/GLOCOM.2016.7842383

A. Talaminos-barroso, M. Estudillo-valderrama, L. M. Roa, J. Reina-tosina, and F. Ortega-ruiz, A Machine-to- Machine protocol benchmark for eHealth applications?Use case: Respiratory rehabilitation Computer methods and programs in biomedicine, 2016.

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

J. Gubbi, R. Buyya, S. Marusic, and M. Palaniswami, Internet of Things (IoT): A vision, architectural elements, and future directions, Future Generation Computer Systems, vol.29, issue.7, 2013.
DOI : 10.1016/j.future.2013.01.010

M. Razzaque, M. Milojevic-jevric, A. Palade, and S. Clarke, Middleware for Internet of Things: A Survey, IEEE Internet of Things Journal, vol.3, issue.1, 2016.
DOI : 10.1109/JIOT.2015.2498900

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, 2010.
DOI : 10.1109/TSC.2010.3

M. Eisenhauer, P. Rosengren, and P. Antolin, HYDRA: A Development Platform for Integrating Wireless Devices and Sensors into Ambient Intelligence Systems, The Internet of Things, 2010.
DOI : 10.1007/978-1-4419-1674-7_36

C. Fok, G. Roman, and C. Lu, Servilla: A flexible service provisioning middleware for heterogeneous sensor networks, Science of Computer Programming, vol.77, issue.6, 2012.
DOI : 10.1016/j.scico.2010.11.006

I. Corredor, J. F. Martínez, M. Familiar, and L. López, Knowledge-Aware and Service-Oriented Middleware for deploying pervasive services, Journal of Network and Computer Applications, vol.35, issue.2, 2012.
DOI : 10.1016/j.jnca.2011.05.009

K. Aberer, M. Hauswirth, and A. Salehi, Infrastructure for Data Processing in Large-Scale Interconnected Sensor Networks, 2007 International Conference on Mobile Data Management, 2007.
DOI : 10.1109/MDM.2007.36

URL : http://www.manfredhauswirth.org/research/papers/GSN-MDM2007.pdf

P. Evensen and H. Meling, SenseWrap: A service oriented middleware with sensor virtualization and self-configuration, 2009 International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), 2009.
DOI : 10.1109/ISSNIP.2009.5416827

C. Perera, P. Jayaraman, A. Zaslavsky, D. Georgakopoulos, and P. Christen, MOSDEN: An Internet of Things Middleware for Resource Constrained Mobile Devices, 2014 47th Hawaii International Conference on System Sciences, 2014.
DOI : 10.1109/HICSS.2014.137

URL : http://ieeexplore.ieee.org:80/stamp/stamp.jsp?tp=&arnumber=6758734

, An Architectural Style for the Development of Choreographies in the Future Interne

S. Cherrier and Y. Ghamri-doudane, The " Object-as-a-Service " paradigm, IEEE GIIS, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01058957

S. Cherrier, Y. Ghamri-doudane, S. Lohier, and G. Roussel, D-LITe: Building Internet of Things Choreographies, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01422433

S. Cherrier, Y. Ghamri-doudane, S. Lohier, and G. Roussel, Fault-recovery and coherence in internet of things choreographies, IEEE WF-IoT, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01509183

D. Chappell, Enterprise service bus, 2004.

L. Alboaie, S. Alboaie, and A. Panu, Swarm Communication - A Messaging Pattern Proposal for Dynamic Scalability in Cloud, 2013 IEEE 10th International Conference on High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing, 2013.
DOI : 10.1109/HPCC.and.EUC.2013.277

L. Alboaie, S. Alboaie, and T. Barbu, Extending swarm communication to unify choreography and long-lived processes, 2014.

. Choreos, Final CHOReOS Architectural Style Large Scale Choreographies for the Future Internet, Tech. Rep, 2013.

. Choreos, Integrated CHOReOS middleware -Enabling large-scale, QoS-aware adaptive choreographies Large Scale Choreographies for the Future Internet, Tech. Rep, 2013.

B. Negash, A. Rahmani, T. Westerlund, P. Liljeberg, and H. Tenhunen, LISA: Lightweight Internet of Things Service Bus Architecture, Procedia Computer Science, vol.52, 2015.
DOI : 10.1016/j.procs.2015.05.010

B. Negash, A. Rahmani, T. Westerlund, P. Liljeberg, and H. Tenhunen, LISA 2.0: lightweight internet of things service bus architecture using node centric networking, Journal of Ambient Intelligence and Humanized Computing, vol.7, issue.3, 2016.
DOI : 10.1109/WF-IoT.2014.6803174

B. Negash, A. Rahmani, T. Westerlund, P. Liljeberg, and H. Tenhunen,

B. Cheng, D. Zhu, S. Zhao, and J. Chen, Situation-Aware IoT Service Coordination Using the Event-Driven SOA Paradigm, IEEE Transactions on Network and Service Management, vol.13, issue.2, 2016.
DOI : 10.1109/TNSM.2016.2541171

Y. Tao, X. Xu, and X. Wang, Service-Based Interactive Proxy for Sensor Networks in Smart Home: An Implementation of Home Service Bus, 2014 5th International Conference on Digital Home, 2014.
DOI : 10.1109/ICDH.2014.52

A. Ismail and W. Kastner, A middleware architecture for vertical integration Ponte -M2M Bridge Framework, 2016.

, Intel IoT Gateway https://software.intel.com/en-us/articles/what-is-the-gateway-and-why-should-i-care

M. Blackstock and R. Lea, IoT interoperability: A hub-based approach, 2014 International Conference on the Internet of Things (IOT)
DOI : 10.1109/IOT.2014.7030119

W. Macêdo, T. Rocha, and E. Moreno, GoThings-An Application-layer Gateway Architecture for the Internet of Things, WEBIST, 2015.

P. Desai, A. Sheth, and P. Anantharam, Semantic Gateway as a Service Architecture for IoT Interoperability, 2015 IEEE International Conference on Mobile Services, 2015.
DOI : 10.1109/MobServ.2015.51

S. K. Datta, C. Bonnet, and N. Nikaein, An IoT gateway centric architecture to provide novel M2M services, 2014 IEEE World Forum on Internet of Things (WF-IoT), 2014.
DOI : 10.1109/WF-IoT.2014.6803221

M. Collina, G. Corazza, and A. Vanelli-coralli, Introducing the QEST broker: Scaling the IoT by bridging MQTT and REST, 2012 IEEE 23rd International Symposium on Personal, Indoor and Mobile Radio Communications, (PIMRC), 2012.
DOI : 10.1109/PIMRC.2012.6362813

A. Castellani, T. Fossati, and S. Loreto, HTTP-CoAP cross protocol proxy: an implementation viewpoint, 2012 IEEE 9th International Conference on Mobile Ad-Hoc and Sensor Systems (MASS 2012), 2012.
DOI : 10.1109/MASS.2012.6708523

S. Han, S. Park, G. Lee, and N. Crespi, Extending the Devices Profile for Web Services Standard Using a REST Proxy, IEEE Internet Computing, vol.19, issue.1, 2015.
DOI : 10.1109/MIC.2014.44

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

, Eclipse IoT -Open Source for IoT

, Kura -OSGi-based Application Framework for M2M Service Gateways

, Eclipse NeoSCADA

, Eclipse SmartHome, " https://eclipse.org/proposals/technology.smarthome

, Krikkit

S. Datta and C. Bonnet, Smart M2M Gateway Based Architecture for M2M Device and Endpoint Management, 2014 IEEE International Conference on Internet of Things(iThings), and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, Physical and Social Computing (CPSCom), 2014.
DOI : 10.1109/iThings.2014.18

S. Datta and C. Bonnet, A lightweight framework for efficient M2M device management in oneM2M architecture, 2015 International Conference on Recent Advances in Internet of Things (RIoT), 2015.
DOI : 10.1109/RIOT.2015.7104900

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

R. Morabito, R. Petrolo, V. Loscrí, and N. Mitton, Enabling a lightweight Edge Gateway-as-a-Service for the Internet of Things, 2016 7th International Conference on the Network of the Future (NOF), 2016.
DOI : 10.1109/NOF.2016.7810110

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

G. Suciu, S. Halunga, A. Vulpe, and V. Suciu, Generic platform for IoT and cloud computing interoperability study, International Symposium on Signals, Circuits and Systems ISSCS2013, 2013.
DOI : 10.1109/ISSCS.2013.6651222

]. S. Soursos, I. Zarko, P. Zwickl, I. Gojmerac, G. Bianchi et al., Towards the cross-domain interoperability of IoT platforms, 2016 European Conference on Networks and Communications (EuCNC), 2016.
DOI : 10.1109/EuCNC.2016.7561070

A. Bröring, Enabling IoT Ecosystems through Platform Interoperability, IEEE Software, vol.34, issue.1, p.2017
DOI : 10.1109/MS.2017.2

, MDA -The Architecture of Choice for a Changing World

, Vorto

, Eclipse Modeling Framework (EMF), " https://eclipse.org/modeling

, Franca

F. Ciccozzi, I. Crnkovic, D. Di-ruscio, I. Malavolta, P. Pelliccione et al., Model-Driven Engineering for Mission-Critical IoT Systems, IEEE Software, vol.34, issue.1, 2017.
DOI : 10.1109/MS.2017.1

URL : http://www.ivanomalavolta.com/files/papers/IEEE_software_2017.pdf

P. Grace, B. Pickering, and M. Surridge, Model-driven interoperability: engineering heterogeneous IoT systems, Annals of Telecommunications, vol.7, issue.3, 2016.
DOI : 10.1109/MIC.2003.1200306

URL : https://link.springer.com/content/pdf/10.1007%2Fs12243-015-0487-2.pdf

D. Evans, The internet of things: How the next evolution of the internet is changing everything, 2011.

K. Sood, S. Yu, and Y. Xiang, Software-defined wireless networking opportunities and challenges for Internetof-things: A review, IEEE Internet of Things Journal, 2016.
DOI : 10.1109/jiot.2015.2480421

Z. Qin, G. Denker, C. Giannelli, P. Bellavista, and N. Venkatasubramanian, A Software Defined Networking architecture for the Internet-of-Things, 2014 IEEE Network Operations and Management Symposium (NOMS), 2014.
DOI : 10.1109/NOMS.2014.6838365

O. Salman, I. Elhajj, A. Kayssi, and A. Chehab, Edge computing enabling the Internet of Things, 2015 IEEE 2nd World Forum on Internet of Things (WF-IoT), 2015.
DOI : 10.1109/WF-IoT.2015.7389122

C. Lee, Y. Chang, C. Chuang, and Y. Lai, Interoperability enhancement for Internet of Things protocols based on software-defined network, 2016 IEEE 5th Global Conference on Consumer Electronics, 2016.
DOI : 10.1109/GCCE.2016.7800510

T. Zachariah, N. Klugman, B. Campbell, J. Adkins, N. Jackson et al., The Internet of Things Has a Gateway Problem, Proceedings of the 16th International Workshop on Mobile Computing Systems and Applications, HotMobile '15, 2015.
DOI : 10.1109/MPRV.2009.82

, Pivotal RabbitMQ

, Apache Kafka

, GigaSpaces. Empowering next Generation Web Scale Applications

, Terrastore. Ubiquitous, Distributed and Elastic clustering technology, " https://code.google.com/archive

, Lime. Linda in a Mobile Enviroment

D. Thangavel, X. Ma, A. Valera, H. Tan, and C. Tan, Performance evaluation of MQTT and CoAP via a common middleware, 2014 IEEE Ninth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (ISSNIP), 2014.
DOI : 10.1109/ISSNIP.2014.6827678

S. Mukherjee and S. Elias, An applications interoperability model for heterogeneous internet of things environments, Computers & Electrical Engineering, 2017.

S. Bandyopadhyay and A. Bhattacharyya, Lightweight Internet protocols for web enablement of sensors using constrained gateway devices, 2013 International Conference on Computing, Networking and Communications (ICNC), 2013.
DOI : 10.1109/ICCNC.2013.6504105

Y. Sun, X. Qiao, B. Cheng, and J. Chen, A low-delay, lightweight publish/subscribe architecture for delaysensitive IoT services, IEEE ICWS, 2013.
DOI : 10.1109/icws.2013.33

S. Lee, H. Kim, D. Hong, and H. Ju, Correlation analysis of MQTT loss and delay according to QoS level, IEEE ICOIN, 2013.

Z. B. Babovic, J. Protic, and V. Milutinovic, Web Performance Evaluation for Internet of Things Applications, IEEE Access, vol.4, 2016.
DOI : 10.1109/ACCESS.2016.2615181

URL : https://doi.org/10.1109/access.2016.2615181

E. Davis, A. Calveras, and I. Demirkol, Improving Packet Delivery Performance of Publish/Subscribe Protocols in Wireless Sensor Networks, Sensors, vol.3, issue.1, 2013.
DOI : 10.1080/15501320601069861

F. Mehmeti and T. Spyropoulos, Performance analysis of " on-the-spot " mobile data offloading, IEEE GLOBECOM, 2013.

F. Mehmeti and T. Spyropoulos, Performance Analysis of Mobile Data Offloading in Heterogeneous Networks, IEEE Transactions on Mobile Computing, vol.16, issue.2
DOI : 10.1109/TMC.2016.2557799

F. Mehmeti and T. Spyropoulos, Is it worth to be patient? Analysis and optimization of delayed mobile data offloading, IEEE INFOCOM 2014, IEEE Conference on Computer Communications, 2014.
DOI : 10.1109/INFOCOM.2014.6848181

K. Lee, J. Lee, Y. Yi, I. Rhee, and S. Chong, Mobile data offloading: how much can WiFi deliver, Proceedings of the 6th International COnference, 2010.

E. Hyytiä, T. Spyropoulos, and J. Ott, Optimizing Offloading Strategies in Mobile Cloud Computing, 2013.

H. Wu and K. Wolter, Tradeoff Analysis for Mobile Cloud Offloading Based on an Additive Energy-Performance Metric, Proceedings of the 8th International Conference on Performance Evaluation Methodologies and Tools, 2014.
DOI : 10.4108/icst.valuetools.2014.258222

T. Phung-duc, H. Masuyama, S. Kasahara, and Y. Takahashi, A simple algorithm for the rate matrices of level-dependent QBD processes, Proceedings of the 5th International Conference on Queueing Theory and Network Applications, QTNA '10, 2010.
DOI : 10.1145/1837856.1837864

E. Altman and U. Yechiali, Analysis of customers??? impatience in queues with server vacations, Queueing Systems, vol.66, issue.4, 2006.
DOI : 10.1080/03155986.1976.11731635

G. Latouche and V. Ramaswami, Introduction to matrix analytic methods in stochastic modeling. Siam, 1999.

M. Vernon, J. Zahorjan, and E. Lazowska, A comparison of performance Petri nets and queueing network models, 1986.

L. Aldred, W. Van-der-aalst, M. Dumas, and A. Ter-hofstede, On the Notion of Coupling in Communication Middleware, OTM Confederated International Conferences " On the Move to Meaningful Internet Systems, 2005.
DOI : 10.1007/11575801_6

A. Kattepur and M. Nambiar, Performance Modeling of Multi-tiered Web Applications with Varying Service Demands, IPDPS Workshops, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01118352

A. Basu, S. Bensalem, M. Bozga, B. Caillaud, B. Delahaye et al., Statistical abstraction and modelchecking of large heterogeneous systems, Formal Techniques for Distributed Systems, 2010.
URL : https://hal.archives-ouvertes.fr/inria-00466158

L. Waszniowski, J. Krákora, and Z. Hanzálek, Case study on distributed and fault tolerant system modeling based on timed automata, Journal of Systems and Software, vol.82, issue.10, 2009.
DOI : 10.1016/j.jss.2009.04.042

Y. Zhou, J. Ge, P. Zhang, and W. Wu, ????????????????????????????????????????????????????????????, Science China Information Sciences, vol.22, issue.3, 2016.
DOI : 10.3724/SP.J.1001.2011.04017

M. Kim, M. Stehr, C. Talcott, N. Dutt, and N. Venkatasubramanian, Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters, 2007.
DOI : 10.1007/978-3-540-75454-1_19

B. Aziz, A formal model and analysis of an IoT protocol, Ad Hoc Networks, 2016.
DOI : 10.1016/j.adhoc.2015.05.013

R. Alur and D. L. Dill, A theory of timed automata, Theoretical computer science, 1994.

G. Behrmann, A. David, and K. Larsen, A tutorial on UPPAAL, vol.4, issue.0, 2006.

M. Kwiatkowska, G. Norman, and D. Parker, PRISM: Probabilistic Symbolic Model Checker, MMMECCS, 2001.
DOI : 10.1007/3-540-46029-2_13

URL : http://qav.comlab.ox.ac.uk/papers/tools02.pdf

A. Nouri, M. Bozga, A. Legay, and S. Bensalem, Performance Evaluation of Complex Systems Using the SBIP Framework, VECoS, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01406591

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

URL : https://link.springer.com/content/pdf/10.1007%2F978-3-540-73196-2_16.pdf

L. Baresi, C. Ghezzi, and L. Mottola, On Accurate Automatic Verification of Publish-Subscribe Architectures, 29th International Conference on Software Engineering (ICSE'07), 2007.
DOI : 10.1109/ICSE.2007.57

URL : http://www.sics.se/~luca/papers/baresi07accurate.pdf

T. Pongthawornkamol, K. Nahrstedt, and G. Wang, The Analysis of Publish/Subscribe Systems over Mobile Wireless Ad Hoc Networks, 2007 Fourth Annual International Conference on Mobile and Ubiquitous Systems: Networking & Services (MobiQuitous), 2007.
DOI : 10.1109/MOBIQ.2007.4451024

URL : https://www.ideals.illinois.edu/bitstream/handle/2142/14416/paper.pdf?sequence=2

T. Pongthawornkamol, K. Nahrstedt, and G. Wang, Probabilistic QoS modeling for reliability/timeliness prediction in distributed content-based publish/subscribe systems over best-effort networks, Proceeding of the 7th international conference on Autonomic computing, ICAC '10, 2010.
DOI : 10.1145/1809049.1809083

URL : http://cairo.cs.uiuc.edu/publications/papers/Thadpong_ICAC10.pdf

T. , Reliability and timeliness analysis of content-based publish/subscribe systems, 2011.

D. Kassa, K. Nahrstedt, and G. Wang, Analytical models of short-message reliability in mobile wireless networks, Proceedings of the 14th ACM international conference on Modeling, analysis and simulation of wireless and mobile systems, MSWiM '11, 2011.
DOI : 10.1145/2068897.2068960

A. A. Gaddah, A pro-active mobility management scheme for publish/subscribe middleware systems, 2008.

A. Gaddah and T. Kunz, EXtending Mobility to Publish/Subscribe Systems Using a Pro-Active Caching Approach, Mobile Information Systems, 2010.
DOI : 10.1155/2010/130137

S. Kounev, K. Sachs, J. Bacon, and A. Buchmann, A Methodology for Performance Modeling of Distributed Event-Based Systems, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC), 2008.
DOI : 10.1109/ISORC.2008.51

G. Mühl, A. Schröter, H. Parzyjegla, S. Kounev, and J. Richling, Stochastic Analysis of Hierarchical Publish/Subscribe??Systems, Euro-Par, 2009.
DOI : 10.1109/ISORC.2008.51

T. Martinec, L. Marek, A. Steinhauser, P. Tuma, Q. Noorshams et al., Constructing performance model of JMS middleware platform, Proceedings of the 5th ACM/SPEC international conference on Performance engineering, ICPE '14, 2014.
DOI : 10.1145/2568088.2568096

K. Sachs, S. Kounev, and A. Buchmann, Performance modeling and analysis of message-oriented event-driven systems, Software & Systems Modeling, 2013.
DOI : 10.1016/0304-3975(81)90049-9

G. Singh and A. Singh, Measuring Tradeoffs between Performance and QoS in Event Based Systems, 2015.

V. Setty, G. Kreitz, R. Vitenberg, M. Van-steen, G. Urdaneta et al., The hidden pub/sub of Spotify:(industry article), ACM DEBS, 2013.

V. Setty, G. Kreitz, G. Urdaneta, R. Vitenberg, and M. Van-steen, Maximizing the number of satisfied subscribers in pub/sub systems under capacity constraints, IEEE INFOCOM 2014, IEEE Conference on Computer Communications, 2014.
DOI : 10.1109/INFOCOM.2014.6848205

V. J. Setty, Publish/Subscribe for Large-Scale Social Interaction: Design, Analysis and Resource Provisioning, 2015.

D. Schrank, B. Eisele, and T. Lomax, TTI's 2012 urban mobility report, Texas A&M Transportation Institute. The Texas A&M University System, 2012.

, ITS. Intelligent Transportation Systems

, XD. Traffic

J. Yoon, B. Noble, and M. Liu, Surface street traffic estimation, Proceedings of the 5th international conference on Mobile systems, applications and services , MobiSys '07, 2007.
DOI : 10.1145/1247660.1247686

P. Mohan, V. N. Padmanabhan, and R. Ramjee, Nericell: rich monitoring of road and traffic conditions using mobile smartphones, ACM SenSys, 2008.

J. Reumann, Goops: Pub/sub at google, Lecture & Personal Communications at EuroSys & CANOE Summer School, 2009.

B. Billet and V. Issarny, dioptase: data Streaming Middleware for the Internet of Things, 2015.

K. Ueno and M. Tatsubori, Early capacity testing of an enterprise service bus, IEEE ICWS, 2006.

S. Desmet, B. Volckaert, S. Van-assche, D. Van-der-weken, B. Dhoedt et al., Throughput evaluation of different enterprise service bus approaches, 2007.

E. Clarke, A. Emerson, and P. Sistla, Automatic verification of finite-state concurrent systems using temporal logic specifications, ACM Transactions on Programming Languages and Systems, 1986.

N. Caro, W. Colitti, K. Steenhaut, G. Mangino, and G. Reali, Comparison of two lightweight protocols for smartphone-based sensing, IEEE SCVT, 2013.

L. Durkop, B. Czybik, and J. Jasperneite, Performance evaluation of M2M protocols over cellular networks in a lab environment, 2015 18th International Conference on Intelligence in Next Generation Networks, 2015.
DOI : 10.1109/ICIN.2015.7073809

E. Lazowska, J. Zahorjan, S. Graham, and K. Sevcik, Quantitative system performance: computer system analysis using queueing network models, 1984.

F. Baskett, M. Chandy, R. Muntz, and F. Palacios, Open, Closed, and Mixed Networks of Queues with Different Classes of Customers, Journal of the ACM, vol.22, issue.2, 1975.
DOI : 10.1145/321879.321887

I. Adan, J. Resing, and Q. Theory, Dep. of Mathematics and Computing Science, 2005.

W. Chang, Preemptive Priority Queues, Operations Research, vol.13, issue.5, 1965.
DOI : 10.1287/opre.13.5.820

G. R. Wright, W. R. Stevens, /. Tcp, and . Ip-illustrated, , 1995.

T. Field, JINQS: An extensible library for simulating multiclass queueing networks, v1. 0 user guide, 2006.

R. Baldoni, A. Virgillito, and .. , Distributed event routing in publish/subscribe communication systems: a survey List of figures 1.1 Platform for interoperability and interoperability effectiveness evaluation in IoT applications, 2005.

I. Interoperability-at-multiple-layers and .. , , p.24

S. , , p.30

T. , Transport Information Management, p.46

, Platform for ensuring functional interoperability inside an IoT application, p.47

C. and .. , , p.49

C. and D. , , p.50

P. and .. , , p.52

D. Ps-sequence, , p.53

D. and .. , , p.54

D. Ds-sequence, , p.56

T. and .. , , p.57

.. Ts-sequence-diagram, , p.58

.. , 11 VSB end-to-end runtime architecture, p.63

G. The, , p.64

B. Generic and .. , , p.65

, Concrete BC for bridging a Thing's middleware protocol to the bus protocol, p.66

.. Vsb-development-framework-architecture, , p.68

3. , 16 REST traffic-light interacting with the TIM system, p.69

, Components of the mock environment for the VSB runtime capacity testing, p.73

.. , Throughput for one-way interactions through REST, CoAP and DPWS bus protocols in scenarios 1, 2 and 3, p.75

.. , Response times for one-way interactions through REST, CoAP and DPWS bus protocols in scenarios 1, 2 and 3, p.76

, Platform for ensuring successful interactions into an IoT application, p.80

, Analysis of post and get ? increments for GM one-way interactions, p.82

, Analysis of post and get ? increments for two-way synchronous interactions, p.84

A. Gm-sender,

A. Gm-receiver,

.. Gm-glue-one-way-automaton, , p.88

A. Gm, , p.91

G. Server and A. , , p.92

.. Gm, , p.93

, Delivery success rates with varying time on and lifetime periods, p.97

.. , Response time distributions for interactions with varying time on and lifetime periods, p.98

.. , Platform for evaluating the performance of an IoT application

I. Continuous, , p.105

.. , Two-class ON/OFF queueing center with preemptive priority, p.106

.. , Queues with message expirations and finite capacity

.. , Middleware interaction model with the underlying infrastructure, p.110

.. Overall-end-to-end-connectivity-pattern, , p.112

C. Perfmp-for and .. Ds-one-way-interactions, , p.114

C. Perfmp-for and .. Two-way-synchronous-interactions, , p.116

C. Perfmp-for and I. , , p.118

P. Perfmp-for and .. One-way-interactions, , p.119

P. Perfmp-for and .. Two-way-stream-interactions, , p.121

T. Perfmp-for and .. One-way-interactions, , p.123

T. Perfmp-for and .. Two-way-sync-interactions, , p.124

.. , End-to-end queueing network for the vehicle-device ? estimation-service interconnection, p.127

.. , End-to-end queueing networks for several interconnections between different communication styles, p.128

, Analytical vs. simulated response times at the ON/OFF queueing center, p.130

.. , Validation using antenna real traces, p.131

C. Connections and D. , , p.133

T. Validation, , p.134

.. , Success rates for the reliable pattern 4 with varying connection/disconnection and lifetime periods, p.136

.. , Cumulative distributions of response times for the reliable pattern 4 with varying connection/disconnection and lifetime periods, p.137

. Platform-for-interoperability and .. Interoperability-effectiveness-evaluation-in-iot-applications, , p.140

.. , 1 Creating a new metamodel through our Eclipse plugin, p.163

B. For-the-traffic-light-thing and .. , , p.164

.. , GIDL model for fixed-sensors, p.165

B. For-vehicle-devices and .. , , p.166

B. and S. , , p.168

.. , 6 GIDL model for the estimation-service, p.153

.. , List of tables 2.1 MAC layer protocols, p.26

I. Comparison, , p.28

.. , IoT gateways and their supported middleware protocols, p.32

.. , IoT platforms and their supported middleware protocols, p.34

.. Qos-features-of-iot-middleware-protocols, , p.36

.. Literature-survey-in-queueing-theory, , p.38

.. Literature-survey-for-middleware-systems, , p.40

.. , Literature survey for publish/subscribe systems, p.41

A. , , p.50

P. and A. , , p.52

A. , , p.55

A. , , p.57

.. , , p.60

.. , , p.60

3. , 7 GM two-way synchronous interaction, p.61

3. , 8 GM two-way stream interaction, p.62

.. , Primitives of core models mapped to GM primitives, p.62

3. , 10 BC synthesis Key Performance Indicator (KPI), p.70

3. , 11 Development effort of the application developer, p.71

, 12 Results for one-way interaction in the three scenarios with 300 concurrent senders, p.74

.. , Analysis parameters' and shorthand notation, p.81

.. , , p.99

.. , Queueing models' variables and shorthand notation, p.104

P. Performance-modeling, , p.113

@. G. Bouloukakis, I. Moscholios, N. Georgantas, and V. Issarny, Performance modeling of the middleware overlay infrastructure of mobile things, 2017 IEEE International Conference on Communications (ICC)
DOI : 10.1109/ICC.2017.7997451

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

@. G. Bouloukakis, N. Georgantas, A. Kattepur, and V. Issarny, Timeliness Evaluation of Intermittent Mobile Connectivity over Pub/Sub Systems, Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering , ICPE '17
DOI : 10.1137/1.9780898719734

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

@. V. Issarny, G. Bouloukakis, N. Georgantas, and B. Billet, Revisiting Service-Oriented Architecture for the IoT: A Middleware Perspective, International Conference on Service Oriented Computing (icsoc)
DOI : 10.1109/TPDS.2012.105

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

@. G. Bajaj, R. Agarwal, G. Bouloukakis, P. Singh, N. Georgantas et al., Towards building real-time, convenient route recommendation system for public transit, 2016 IEEE International Smart Cities Conference (ISC2)
DOI : 10.1109/ISC2.2016.7580779

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

@. G. Bouloukakis, N. Georgantas, R. Agarwal, A. Pathak, and V. Issarny, Leveraging CDR datasets for context-rich performance modeling of large-scale mobile pub/sub systems, 2015 IEEE 11th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), 2015.
DOI : 10.1109/WiMOB.2015.7348016

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

@. G. Bajaj, G. Bouloukakis, A. Pathak, P. Singh, N. Georgantas et al., Toward Enabling Convenient Urban Transit through Mobile Crowdsensing, 2015 IEEE 18th International Conference on Intelligent Transportation Systems, 2015.
DOI : 10.1109/ITSC.2015.57

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

@. A. Kattepur, N. Georgantas, G. Bouloukakis, and V. Issarny, Analysis of Timing Constraints in Heterogeneous Middleware Interactions, International Conference on Service Oriented Computing (icsoc), 2015.
DOI : 10.1109/ICWS.2013.39

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

@. N. Georgantas, G. Bouloukakis, S. Beauche, and V. Issarny, Service-Oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability, European Conference on Service-Oriented and Cloud Computing (esocc), 2013.
DOI : 10.1007/978-3-642-40651-5_11

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

. Demos, @. G. Posters, N. Bouloukakis, S. Georgantas, V. Dutta et al., Integration of Heterogeneous Services and Things into Choreographies Demo, International Conference on Service Oriented Computing (icsoc)

@. G. Bouloukakis, N. Georgantas, R. Agarwal, A. Pathak, and V. Issarny, Towards Enabling Mobile Social Crowd-Sensing for Unstructured Transport Information Management Poster Paper in D4D Challenge, 2015.

T. Research, @. F. Reports, N. Martelli, G. Georgantas, P. Bouloukakis et al., CHOReV- OLUTION Service Bus, Security and Cloud ? Intermediate outcomes research report, 2017.

@. B. Billet, G. Bouloukakis, N. Georgantas, S. Hachem, V. Issarny et al., Final CHOReOS Architectural Style and its Relation with the CHOReOS Development Process and IDRE research report, 2013.

, Exp ONOvrlPubBr = new Exp(Params.ON_OVRL_PUB_BR_RATE

, Exp OFFOvrlPubBr = new Exp(Params.OFF_OVRL_PUB_BR_RATE

, Exp ONOvrlBrSub = new Exp(Params.ON_OVRL_BR_SUB_RATE

, Exp OFFOvrlBrSub = new Exp(Params.OFF_OVRL_BR_SUB_RATE

=. Onoffqn-pub_app and . Onoffqn, PUB-APP

, 21

=. Queueingnode-pub_mdw and . Queueingnode,

=. Queueingnode-br_in and . Queueingnode,

=. Onoffqn-br_out and . Onoffqn, BR-OUT

=. Queueingnode-sub_mdw and . Queueingnode,

=. Queueingnode-sub_app and . Queueingnode,

=. Sinklftlses-sinkpubapp and . Sinklftlses,

=. Sinklftlses-sinkbrin and . Sinklftlses,

=. Sinklftlses-sinkbrout and . Sinklftlses,

=. Sinkovrlnet-sinksubend and . Sinkovrlnet,

, LftLsesBranch branchPubApp = new LftLsesBranch(new Node

, LftLsesBranch branchBrIn = new LftLsesBranch(new Node

, LftLsesBranch branchBrOut = new LftLsesBranch(new Node

, queueing network creation 39 src.setLink(new Link

, 40 pub_app.setLink(branchPubApp)

, 41 pub_mdw.setLink(new Link(br_in))

, 42 br_in.setLink(branchBrIn)

, 43 br_out.setLink(branchBrOut)

, 44 sub_mdw.setLink(new Link(sub_app))

, 45 sub_app.setLink(new Link(sinkSubEnd))

, 48 Network.displayResults(0.01)

C. Listing, 7: Pattern 4 (reliable) simulation constructor