H. and R. Gamble, Introducing replaceability into web service composition, IEEE Transactions on Services Computing, vol.7, issue.2, pp.198-209, 2014.

E. Al-masri and Q. H. Mahmoud, Discovering the best web service, Proceedings of the 16th international conference on World Wide Web , WWW '07, pp.1257-1258, 2007.
DOI : 10.1145/1242572.1242795

L. Aldred, M. P. Wil, M. Van-der-aalst, A. H. Dumas, and . Ter-hofstede, On the Notion of Coupling in Communication Middleware, pp.1015-1033, 2005.
DOI : 10.1007/11575801_6

M. Alrifai, T. Risse, and W. Nejdl, A hybrid approach for efficient Web service composition with end-to-end QoS constraints, ACM Transactions on the Web, vol.6, issue.2, pp.1-731, 2012.
DOI : 10.1145/2180861.2180864

M. Alrifai, D. Skoutas, and T. Risse, Selecting skyline services for QoS-based web service composition, Proceedings of the 19th international conference on World wide web, WWW '10, pp.11-20, 2010.
DOI : 10.1145/1772690.1772693

URL : http://www.l3s.de/%7Erisse/pub/www2010.pdf

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

R. Angarita, N. Georgantas, and V. Issarny, USNB: Enabling Universal Online Social Interactions, 2017 IEEE 3rd International Conference on Collaboration and Internet Computing (CIC), 2017.
DOI : 10.1109/CIC.2017.00048

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

R. Angarita, N. Georgantas, C. Parra, J. Holston, and V. Issarny, Leveraging the Service Bus Paradigm for Computer-Mediated Social Communication Interoperability, 2017 IEEE/ACM 39th International Conference on Software Engineering: Software Engineering in Society Track (ICSE-SEIS), 2017.
DOI : 10.1109/ICSE-SEIS.2017.9

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

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. Arthur and S. Vassilvitskii, K-means++: The advantages of careful seeding, Proceedings of the Eighteenth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA '07, pp.1027-1035, 2007.

E. Avilés-lópez 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.
DOI : 10.1007/s11761-009-0043-x

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

F. Baader, D. Calvanese, D. L. Mcguinness, D. Nardi, and P. F. Patel-schneider, The Description Logic Handbook: Theory, Implementation, and Applications, 2003.
DOI : 10.1017/CBO9780511711787

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, pp.290-295, 2015.
DOI : 10.1109/ITSC.2015.57

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

A. Banks and R. Gupta, MQTT Version 3.1.1. OASIS Standard, OASIS, 2014.

L. Barakat, S. Miles, and M. Luck, Efficient Correlation-Aware Service Selection, 2012 IEEE 19th International Conference on Web Services, pp.1-8, 2012.
DOI : 10.1109/ICWS.2012.62

L. Baresi, N. Georgantas, K. Hamann, V. Issarny, W. Lamersdorf et al., Emerging Research Themes in Services-Oriented Systems, 2012 Annual SRII Global Conference, pp.333-342, 2012.
DOI : 10.1109/SRII.2012.44

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

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

F. Baskett, . Mani-chandy, R. Richard, . Muntz, G. Fernando et al., Open, Closed, and Mixed Networks of Queues with Different Classes of Customers, Journal of the ACM, vol.22, issue.2, pp.248-260, 1975.
DOI : 10.1145/321879.321887

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

M. Nebil-ben, QoS-aware Service-Oriented Middleware for Pervasive Environments, 2012.

S. Nebil-ben-mabrouk, E. Beauche, N. Kuznetsova, V. Georgantas, and . Issarny, QoS-Aware Service Composition in Dynamic Service Oriented Environments, Middleware 2009 -ACM/IFIP/USENIX, 10th International Conference, 2009.
DOI : 10.1007/978-3-540-39648-2_18

N. Nebil-ben-mabrouk, V. Georgantas, and . Issarny, Set-based Bi-level Optimisation for QoS-aware Service Composition in Ubiquitous Environments, Proceedings of the 22nd IEEE International Conference on Web Services (ICWS), 2015.

N. Nebil-ben-mabrouk, V. Georgantas, and . Issarny, Multi-Objective Service Composition in Ubiquitous Environments with Service Dependencies, International Journal of Services Computing (IJSC), vol.4, 2016.

S. B. Mokhtar, Semantic Middleware for Service-Oriented Pervasive Computing, 2007.
URL : https://hal.archives-ouvertes.fr/tel-00469457

S. Ben-mokhtar, N. Georgantas, and V. Issarny, Ad Hoc Composition of User Tasks in Pervasive Computing Environments, Software Composition, pp.31-46, 2005.
DOI : 10.1007/11550679_3

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

S. Ben-mokhtar, N. Georgantas, and V. 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

S. Ben-mokhtar and A. Kaul, Nikolaos Georgantas, and Valérie Issarny. Efficient Semantic Service Discovery in Pervasive Computing Environments, Middleware, pp.240-259, 2006.

S. Ben-mokhtar, D. Preuveneers, N. Georgantas, V. Issarny, and Y. Berbers, EASY: Efficient semAntic Service discoverY in pervasive computing environments with QoS and context support, Journal of Systems and Software, vol.81, issue.5, pp.785-808, 2007.
DOI : 10.1016/j.jss.2007.07.030

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

A. Bennaceur and V. Issarny, Automated Synthesis of Mediators to Support Component Interoperability, IEEE Transactions on Software Engineering, vol.41, issue.3, pp.221-240, 2015.
DOI : 10.1109/TSE.2014.2364844

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

A. Bennaceur and E. Andriescu, Roberto Speicys Cardoso, and Valérie Issarny. A Unifying Perspective on Protocol Mediation: Interoperability in the Future Internet, Journal of Internet Services and Applications, p.14, 2015.

A. Bennaceur, G. Blair, F. Chauvel, N. Georgantas, P. Grace et al., Towards an Architecture for Runtime Interoperability, ISoLA 2010 -4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, pp.206-220, 2010.
DOI : 10.1007/11693017_28

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

A. Bennaceur and V. Issarny, Layered Connectors, ECSA'14 -The 8th European Conference on Software Architecture, 2014.
DOI : 10.1007/978-3-319-09970-5_25

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

D. Berardi, D. Calvanese, G. D. Giacomo, R. Hull, and M. Mecella, Automatic composition of transition-based semantic web services with messaging, Proceedings of the 31st International Conference on Very Large Data Bases, VLDB '05, pp.613-624, 2005.

M. Berger and K. Honda, The two-phase commitment protocol in an extended¨Iextended¨extended¨I ? A-calculus

T. Berners-lee, J. Hendler, and O. Lassila, The Semantic Web, Scientific American, vol.284, issue.5, 2001.
DOI : 10.1038/scientificamerican0501-34

G. Blair, A. Bennaceur, N. Georgantas, P. Grace, V. Issarny et al., The Role of Ontologies in Emergent Middleware: Supporting Interoperability in Complex Distributed Systems, 12th International Middleware Conference (MIDDLEWARE), volume LNCS-7049 of Middleware 2011)configuration and Inspection, pp.410-430, 2011.
DOI : 10.1007/978-3-642-25821-3_21

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

G. Blair, M. Paolucci, P. Grace, and N. Georgantas, Interoperability in Complex Distributed Systems, 11th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Connectors for Eternal Networked Software Systems, 2011.
DOI : 10.1147/sj.444.0887

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

G. Bouloukakis, Enabling Emergent Mobile Systems in the IoT: from Middleware-layer Communication Interoperability to Associated QoS Analysis, 2017.
URL : https://hal.archives-ouvertes.fr/tel-01592623

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. 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 and I. Moscholios, Nikolaos Georgantas, and Valérie Issarny. Performance Modeling of the Middleware Overlay Infrastructure of Mobile Things, IEEE International Conference on Communications, 2017.

N. Busi and G. Zavattaro, A process algebraic view of shared dataspace coordination, The Journal of Logic and Algebraic Programming, vol.75, issue.1, pp.52-85, 2008.
DOI : 10.1016/j.jlap.2007.06.003

J. Cardoso, A. Sheth, J. Miller, J. Arnold, and K. Kochut, Quality of service for workflows and web service processes, Web Semantics: Science, Services and Agents on the World Wide Web, pp.281-308, 2004.
DOI : 10.1016/j.websem.2004.03.001

Y. Caseau, Efficient handling of multiple inheritance hierarchies, OOPSLA '93: Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications, pp.271-287, 1993.

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

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

D. Chappell, Enterprise Service Bus, 2004.

N. Chen, N. Cardozo, and S. Clarke, Goal-Driven Service Composition in Mobile and Pervasive Computing, IEEE Transactions on Services Computing, vol.11, issue.1, pp.1-1, 2017.
DOI : 10.1109/TSC.2016.2533348

Y. Chen, J. Huang, C. Lin, and J. Hu, A Partial Selection Methodology for Efficient QoS-Aware Service Composition, IEEE Transactions on Services Computing, vol.8, issue.3, pp.384-397, 2015.
DOI : 10.1109/TSC.2014.2381493

P. Chl-'tel, J. Malenfant, and I. Truck, Qos-based late-binding of service invocations in adaptive business processes, 2010 IEEE International Conference on Web Services, pp.227-234, 2010.

O. The and . Coalition, OWL-S: Semantic Markup for Web Services, W3C Member Submission, 2004.

D. Comes, H. Baraki, R. Reichle, M. Zapf, and K. Geihs, Heuristic Approaches for QoS-Based Service Selection, pp.441-455, 2010.
DOI : 10.1007/978-3-540-74974-5_38

I. Constantinescu and B. Faltings, Efficient matchmaking and directory services, Proceedings IEEE/WIC International Conference on Web Intelligence (WI 2003), 2003.
DOI : 10.1109/WI.2003.1241176

URL : http://liawww.epfl.ch/Publications/Archive/iconst03effmatch.pdf

D. Niccoì, W. Caro, K. Colitti, G. Steenhaut, G. Mangino et al., Comparison of two lightweight protocols for smartphone-based sensing, 2013 IEEE 20th Symposium on Communications and Vehicular Technology in the Benelux (SCVT), pp.1-6, 2013.

S. Desmet, B. Volckaert, S. Van-assche, D. Van-der, B. Weken et al., Throughput evaluation of different enterprise service bus approaches, Proceedings of SERP2007, the 2007 International Conference on Software Engineering Research & Practice (part of the 2007 World Congress in Computer Science, Computer Engineering, and Applied Computing), pp.378-384, 2007.

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, pp.70-75, 2015.
DOI : 10.1109/ICIN.2015.7073809

P. Th, P. A. Eugster, R. Felber, A. Guerraoui, and . Kermarrec, The Many Faces of Publish/Subscribe, ACM Comput. Surv, vol.35, issue.2, pp.114-131, 2003.

A. Federgruen and L. Green, Queueing Systems with Service Interruptions, Operations Research, vol.34, issue.5, pp.752-768, 1986.
DOI : 10.1287/opre.34.5.752

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

R. Thomas and F. , Architectural Styles and the Design of Network-based Software Architectures, 2000.

J. G. Pereira-filho and M. Van-sinderen, Web service architectures -semantics and contextawareness issues in web services platforms, 2003.

E. Fki, S. Tazi, and K. Drira, Automated and flexible composition based on abstract services for a better adaptation to user intentions, Future Generation Computer Systems, vol.68, pp.376-390, 2017.
DOI : 10.1016/j.future.2016.07.008

H. Foster, S. Uchitel, J. Magee, and J. Kramer, Model-based verification of Web service compositions, 18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings., pp.152-161, 2003.
DOI : 10.1109/ASE.2003.1240303

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

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), pp.1-7, 2016.
DOI : 10.1109/GLOCOM.2016.7842383

URL : http://eprints.bournemouth.ac.uk/24345/1/2016_globecom.pdf

N. Georgantas, S. B. Mokhtar, F. Tartanoglu, and V. Issarny, Semantics-Aware Services for the Mobile Computing Environment, Architecting Dependable Systems III, pp.1-35, 2005.
DOI : 10.1007/11556169_1

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

N. Georgantas, G. Bouloukakis, S. Beauche, V. Issarny, O. H. Ibarra et al., Service-Oriented Distributed Applications in the Future Internet: The Case for Interaction Paradigm Interoperability, ESOCC 2013 -European Conference on Service-Oriented and Cloud Computing Proceedings of the 2Nd International Conference on Service Oriented Computing, ICSOC '04, pp.134-148, 2004.
DOI : 10.1007/978-3-642-40651-5_11

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

R. Godfrey, D. Ingham, and R. Schloming, Advanced Message Queuing Protocol (AMQP) Version 1.0 Part 0: Overview. OASIS Standard, OASIS, 2012.

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

I. Graja, N. Guermouche, A. H. Kacem, and K. Drira, An Approach for Multiple-Instance Based Service Composition, 2015 IEEE International Conference on Services Computing, pp.435-442, 2015.
DOI : 10.1109/SCC.2015.66

D. Grigori, J. C. Corrales, M. Bouzeghoub, and A. Gater, Ranking BPEL Processes for Service Discovery, IEEE Transactions on Services Computing, vol.3, issue.3, pp.178-192, 2010.
DOI : 10.1109/TSC.2010.6

M. Grüninger, R. Hull, and S. Mcilraith, A short overview of FLOWS: A first-order logic ontology of web services, IEEE Data Eng. Bull, vol.31, pp.3-7, 2008.

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 (FORTE), pp.247-262, 2007.
DOI : 10.1007/3-540-48320-9_12

S. Y. Hwang, E. P. Lim, C. H. Lee, and C. H. Chen, Dynamic Web Service Selection for Reliable Web Service Composition, IEEE Transactions on Services Computing, vol.1, issue.2, pp.104-116, 2008.
DOI : 10.1109/TSC.2008.2

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

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

V. Issarny, N. Georgantas, S. Hachem, A. Zarras, P. 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/978-3-540-76440-3

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

W. Jiang, S. Hu, and Z. Liu, Top K Query for QoS-Aware Automatic Service Composition, IEEE Transactions on Services Computing, vol.7, issue.4, pp.681-695, 2014.
DOI : 10.1109/TSC.2013.41

J. Jin, Y. Zhang, Y. Cao, X. Pu, and J. Li, ServiceStore: A Peer-to-Peer Framework for QoS-Aware Service Composition, pp.190-199, 2010.
DOI : 10.1109/ICWS.2005.66

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

K. Debessay-fesehaye-kassa, G. Nahrstedt, and . Wang, Analytical models of short-message reliability in mobile wireless networks, Proc. of the 14th ACM Intl. Conf. on Modeling, analysis and simulation of wireless and mobile systems, pp.369-376, 2011.

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

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

A. Klein, F. Ishikawa, and S. Honiden, SanGA: A Self-Adaptive Network-Aware Approach to Service Composition, IEEE Transactions on Services Computing, vol.7, issue.3, pp.452-464, 2014.
DOI : 10.1109/TSC.2013.2

J. Kopeck, T. Vitvar, C. Bournez, and J. Farrell, SAWSDL: Semantic Annotations for WSDL and XML Schema, IEEE Internet Computing, vol.11, issue.6, pp.60-67, 2007.
DOI : 10.1109/MIC.2007.134

M. Koshkina and F. Van-breugel, Verification of business processes for web services, Canada, 2003.

S. Kounev, Performance Modeling and Evaluation of Distributed Component-Based Systems Using Queueing Petri Nets, IEEE Transactions on Software Engineering, vol.32, issue.7, pp.486-502, 2006.
DOI : 10.1109/TSE.2006.69

A. Krall, J. Vitek, and N. Horspool, Near optimal hierarchical encoding of types, 11th European Conference on Object Oriented Programming, pp.128-145, 1997.
DOI : 10.1007/BFb0053377

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17

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

D. Edward, J. Lazowska, S. Zahorjan, . Graham, C. Kenneth et al., Quantitative system performance: computer system analysis using queueing network models, 1984.

K. Lee, J. Lee, Y. Yi, I. Rhee, and S. Chong, Mobile Data Offloading: How Much Can WiFi Deliver?, IEEE/ACM Transactions on Networking, vol.21, issue.2, pp.536-550, 2013.
DOI : 10.1109/TNET.2012.2218122

J. Li, Y. Zhao, M. Liu, H. Sun, and D. Ma, An adaptive heuristic approach for distributed qos-based service composition, The IEEE symposium on Computers and Communications, pp.687-694, 2010.

D. Liu, Z. Shao, C. Yu, and G. Fan, A Heuristic QoS-Aware Service Selection Approach to Web Service Composition, 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science, pp.1184-1189, 2009.
DOI : 10.1109/ICIS.2009.76

J. Liu and V. Issarny, Qos-aware service location in mobile ad-hoc networks, Proceedings of IEEE International Conference on Mobile Data Management (MDM'04), pp.224-235, 2004.
URL : https://hal.archives-ouvertes.fr/inria-00414802

S. Majithia, D. W. Walker, and W. A. Gray, A Framework for Automated Service Composition in Service-Oriented Architectures, 1st European Semantic Web Symposium, 2004.
DOI : 10.1007/978-3-540-25956-5_19

A. Martens, Analyzing Web Service Based Business Processes, pp.19-33, 2005.
DOI : 10.1007/978-3-540-31984-9_3

URL : http://www2.informatik.hu-berlin.de/top/download/publications/Martens2005b.pdf

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

R. Masuoka, B. Parsia, and Y. Labrou, Task Computing ??? The Semantic Web Meets Pervasive Computing, Lecture Notes in Computer Science, vol.2870, pp.866-881, 2003.
DOI : 10.1007/978-3-540-39718-2_55

URL : http://www.csee.umbc.edu/~jklabrou/publications/Task-Computing-ISWC2003-202-color-final.pdf

S. A. Mcilraith, T. C. Son, and H. Zeng, Semantic Web services, IEEE Intelligent Systems, vol.16, issue.2, pp.46-53, 2001.
DOI : 10.1109/5254.920599

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, pp.2364-2372, 2014.
DOI : 10.1109/INFOCOM.2014.6848181

F. Mehmeti and T. Spyropoulos, Performance analysis of " on-the-spot " mobile data offloading, 2013 IEEE Global Communications Conference (GLOBECOM), pp.1577-1583, 2013.

D. A. Menasce, Composing Web Services: A QoS View, IEEE Internet Computing, vol.8, issue.6, pp.88-90, 2004.
DOI : 10.1109/MIC.2004.57

S. B. Mokhtar, N. Georgantas, and V. Issarny, COCOA : ConversationBased Service Composition for Pervasive Computing Environments, 2006 ACS/IEEE International Conference on Pervasive Services, pp.29-38, 2006.
DOI : 10.1109/PERSER.2006.1652204

URL : http://hal.inria.fr/docs/00/41/59/27/PDF/File4.pdf

S. Ben-mokhtar, N. Georgantas, and V. Issarny, Ad Hoc Composition of User Tasks in Pervasive Computing Environments, pp.31-46, 2005.
DOI : 10.1007/11550679_3

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

P. Nain, Queueing systems with service interruptions: An approximation model. Performance Evaluation, pp.123-129, 1983.
DOI : 10.1016/0166-5316(83)90013-5

M. Pantazoglou and A. Tsalgatidou, A Generic Query Model for the Unified Discovery of Heterogeneous Services, IEEE Transactions on Services Computing, vol.6, issue.2, pp.201-213, 2013.
DOI : 10.1109/TSC.2011.47

M. Paolucci, T. Kawamura, T. R. Payne, and K. Sycara, Semantic Matching of Web Services Capabilities, Lecture Notes in Computer Science, vol.2342, pp.333-347, 2002.
DOI : 10.1007/3-540-48005-6_26

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, pp.4038-4083, 2007.
DOI : 10.1109/MC.2007.400

P. Mike, W. Papazoglou, and . Heuvel, Service Oriented Architectures: Approaches, Technologies and Research Issues, The VLDB Journal, vol.16, pp.389-415, 2007.

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

URL : http://www.cl.cam.ac.uk/research/srg/opera/publications/papers/peter-debs07.pdf

T. Pongthawornkamol, K. Nahrstedt, and G. Wang, Probabilistic qos modeling for reliability/timeliness prediction in distributed content-based publish/subscribe systems over besteffort networks, Proc. of the 7th Intl. Conf. on Autonomic computing, pp.185-194, 2010.

D. Preuveneers and Y. Berbers, Prime numbers considered useful: Ontology encoding for efficient subsumption testing, 2006.

D. Preuveneers, J. Van-den-bergh, D. Wagelaar, A. Georges, P. Rigole et al., Towards an Extensible Context Ontology for Ambient Intelligence, EUSAI, pp.148-159, 2004.
DOI : 10.1007/978-3-540-30473-9_15

URL : http://www.cs.kuleuven.ac.be/~davy/publications/eusai04.pdf

P. Rodriguez-mier, M. Mucientes, and M. Lama, Hybrid Optimization Algorithm for Large-Scale QoS-Aware Service Composition, IEEE Transactions on Services Computing, vol.10, issue.4, pp.547-559, 2017.
DOI : 10.1109/TSC.2015.2480396

URL : http://arxiv.org/pdf/1509.06254

P. Rodriguez-mier, C. Pedrinaci, M. Lama, and M. Mucientes, An Integrated Semantic Web Service Discovery and Composition Framework, IEEE Transactions on Services Computing, vol.9, issue.4, pp.537-550, 2016.
DOI : 10.1109/TSC.2015.2402679

URL : http://arxiv.org/pdf/1502.02840

D. Roman, U. Keller, H. Lausen, J. De-bruijn, R. Lara et al., Web service modeling ontology, Appl. Ontol, vol.1, issue.1, pp.77-106, 2005.

Z. Shen and J. Su, Web service discovery based on behavior signatures, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1, pp.279-286, 2005.
DOI : 10.1109/SCC.2005.107

E. Sirin, B. Parsia, and J. Hendler, Template-based composition of semantic web services, AAAI Fall Symposium on Agents and the Semantic Web, 2005.

N. Srinivasan, M. Paolucci, and K. Sycara, Adding owl-s to uddi, implementation and throughput, Proceedings of the Workshop on Semantic Web Service and Web Process Composition, 2004.

T. G. Stavropoulos, S. Andreadis, N. Bassiliades, and D. , The Tomaco Hybrid Matching Framework for SAWSDL Semantic Web Services, IEEE Transactions on Services Computing, vol.9, issue.6, pp.954-967, 2016.
DOI : 10.1109/TSC.2015.2430328

URL : http://arxiv.org/pdf/1410.5614

C. Surianarayanan and G. Ganapathy, An Approach to Computation of Similarity, Inter-Cluster Distance and Selection of Threshold for Service Discovery Using Clusters, IEEE Transactions on Services Computing, vol.9, issue.4, pp.524-536, 2016.
DOI : 10.1109/TSC.2015.2399301

K. Sycara, J. Lu, M. Klusch, and S. Widoff, Matchmaking among heterogeneous agents on the internet, Proceedings of the 1999 AAAI Spring Symposium on Intelligent Agents in Cyberspace, 1999.
DOI : 10.21236/ada599015

URL : http://www.ri.cmu.edu/pub_files/pub1/sycara_katia_1998_1/sycara_katia_1998_1.ps.gz

K. Sycara, M. Paolucci, A. Ankolekar, and N. Srinivasan, Automated discovery, interaction and composition of Semantic Web services, Web Semantics: Science, Services and Agents on the World Wide Web, pp.27-46, 2003.
DOI : 10.1016/j.websem.2003.07.002

D. Trastour, C. Bartolini, and J. Gonzalez-castillo, A semantic web approach to service description for matchmaking of services, Proceedings of the first Semantic Web Working SymposiumSWWS), pp.447-461, 2001.

K. Ueno and M. Tatsubori, Early capacity testing of an enterprise service bus, IEEE International Conference on Web Services (ICWS'06), pp.709-716, 2006.

W. M. Van-der-aalst and A. H. Ter-hofstede, YAWL: yet another workflow language, Information Systems, vol.30, issue.4, pp.245-275, 2005.
DOI : 10.1016/j.is.2004.02.002

S. Verel, A. Liefooghe, and C. Dhaenens, Set-based multiobjective fitness landscapes, Proceedings of the 13th annual conference on Genetic and evolutionary computation, GECCO '11, pp.769-776, 2011.
DOI : 10.1145/2001576.2001681

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

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

K. Wang and Y. Chang, Cost analysis of a finite M/M/R queueing system with balking, reneging, and server breakdowns, Mathematical Methods of Operations Research (ZOR), vol.56, issue.2, pp.169-180, 2002.
DOI : 10.1007/s001860200206

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

A. Wombacher, P. Fankhauser, B. Mahleko, and E. Neuhold, Matchmaking for business processes based on choreographies In e-Technology, e-Commerce and e-Service, IEEE International Conference on, pp.359-368, 2004.

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, pp.90-97, 2014.
DOI : 10.4108/icst.valuetools.2014.258222

URL : http://eudl.eu/pdf/10.4108/icst.valuetools.2014.258222

D. Wutke, D. Martin, and F. Leymann, Facilitating Complex Web Service Interactions through a Tuplespace Binding, Proceedings of the 8th IFIP International Conference on Distributed Applications and Interoperable Systems, pp.275-280, 2008.
DOI : 10.1109/EDOC.2007.31

A. Moormann, Z. , and J. M. Wing, Signature matching: a tool for using software libraries, ACM Transactions on Software Engineering and Methodology, vol.4, issue.2, pp.146-170, 1995.

A. Moormann, Z. , and J. M. Wing, Specification matching of software components, ACM Transactions on Software Engineering and Methodology, 1997.

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), pp.956-963, 2007.
DOI : 10.1109/AINAW.2007.330

H. Zheng, W. Zhao, J. Yang, and A. Bouguettaya, QoS Analysis for Web Service Compositions with Complex Structures, IEEE Transactions on Services Computing, vol.6, issue.3, pp.373-386, 2013.
DOI : 10.1109/TSC.2012.7

Y. Zibin and J. Gil, Efficient subtyping tests with pq-encoding, Proceedings of the 16th ACM SIGPLAN Conference on Object-oriented Programming, Systems, Languages, and Applications, OOPSLA '01, pp.96-107, 2001.

E. Zitzler, L. Thiele, and J. Bader, On Set-Based Multiobjective Optimization, IEEE Transactions on Evolutionary Computation, vol.14, issue.1, pp.58-79, 2010.
DOI : 10.1109/TEVC.2009.2016569