E. Guttman, C. Perkins, and J. Veizades, June) Service Location Protocol, Version 2, 1999.
DOI : 10.17487/rfc2608

Y. Goland, T. Cai, P. Leach, Y. Gu, and S. Albright, October) Simple Service Discovery Protocol/1.0, 1999.

U. Forum, October) UPnP Device Architecture 1.0, 2008.

P. Bouquet, H. Stoermer, C. Niederee, and A. Mana, Entity Name System: The Back-Bone of an Open and Scalable Web of Data, 2008 IEEE International Conference on Semantic Computing, pp.554-561, 2008.
DOI : 10.1109/ICSC.2008.37

M. Van-steen and A. Tanenbaum, Distributed Systems: Principles and Paradigms, 2001.

M. Object and . Group, The common object request broker: Architecture and specification Version 2.0, 1995.

E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, Web Services Description Language (WSDL) 1.1, February) W3C Working Group Note, 2001.

M. R. Corporation and . Srinivasan, Component Object Model (DCOM) Remote Protocol Specification August) Network Working Group Microsoft Message Queuing Java Message Service, Sun Microsystems, 1995.

A. Carzaniga, D. Rosenblum, and A. Wolf, Design and evaluation of a wide-area event notification service, ACM Transactions on Computer Systems, vol.19, issue.3, pp.332-383, 2001.
DOI : 10.1145/380749.380767

P. Wyckoff, S. Mclaughry, T. Lehman, and D. Ford, T Spaces, IBM Systems Journal, vol.37, issue.3, pp.454-474, 1998.
DOI : 10.1147/sj.373.0454

J. Waldo, Javaspaces specification 1.0, Sun Microsystems, 1998.

N. Davies, A. Friday, S. Wade, and G. Blair, L2imbo: A Distributed Systems Platform for Mobile Computing, ACM Mobile Networks and Applications (MONET), pp.143-156, 1998.

A. Murphy, G. Picco, and G. Roman, LIME: a middleware for physical and logical mobility, Proceedings 21st International Conference on Distributed Computing Systems, pp.524-533, 2001.
DOI : 10.1109/ICDSC.2001.918983

M. Roman, F. Kon, and R. Campbell, Reflective Middleware: From Your Desk to Your Hand, IEEE Distributed Systems Online, vol.2, issue.5, 2001.

F. Kon, Monitoring, Security, and Dynamic Configuration with the dynamicTAO Reflective ORB, Proceedings of the 2nd International ACM/IFIP Middleware Conference, 2000.
DOI : 10.1007/3-540-45559-0_7

P. Grace, G. 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

S. Vinoski, It's just a mapping problem, IEEE Internet Computing, vol.7, issue.3, pp.88-90, 2003.
DOI : 10.1109/MIC.2003.1200306

J. Miller and J. Mukerji, Model Driven Architecture, 2001.

P. Shah, Interoperability between Mobile Distributed Components using the UniFrame Approach, Proceedings of the 41st Annual ACM Southeast Conference, pp.30-35, 2003.

P. Raverdy, O. Riva, A. Chapelle, R. Chibout, and V. Issarny, Efficient Context-aware Service Discovery in Multi-Protocol Pervasive Environments, 7th International Conference on Mobile Data Management (MDM'06)
DOI : 10.1109/MDM.2006.78
URL : https://hal.archives-ouvertes.fr/inria-00415112

Y. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Proceedings of the IFIP/ACM/Usenix International Middleware Conference, pp.164-183, 2005.
DOI : 10.1007/978-3-540-39800-4_1
URL : https://hal.archives-ouvertes.fr/hal-00353571

J. Nakazawa, H. Tokuda, W. Edwards, and U. Ramachandran, A Bridging Framework for Universal Interoperability in Pervasive Systems, 26th IEEE International Conference on Distributed Computing Systems (ICDCS'06), 2006.
DOI : 10.1109/ICDCS.2006.5

N. Limam, OSDA: Open service discovery architecture for efficient cross-domain service provisioning, Computer Communications, vol.30, issue.3, pp.546-563, 2007.
DOI : 10.1016/j.comcom.2005.11.017
URL : https://hal.archives-ouvertes.fr/hal-01165443

C. Flores, G. Blair, and P. Grace, An Adaptive Middleware to Overcome Service Discovery Heterogeneity in Mobile Ad Hoc Environments, IEEE Distributed Systems Online, vol.8, issue.7, 2007.
DOI : 10.1109/MDSO.2007.41

S. Zachariadis, C. Mascolo, and W. Emmerich, Adaptable Mobile Applications: Exploiting Logical Mobility in Mobile Computing, Proceedings of 5th International Workshop on Mobile Agents for Telecommunication Applications, 2003.
DOI : 10.1007/978-3-540-39646-8_16

K. Arnold, B. O-'sullivan, R. Scheifler, J. Waldo, and A. Wollrath, The Jini Specification, 1999.

J. Hammer and D. Mcleod, AN APPROACH TO RESOLVING SEMANTIC HETEROGENEITY IN A FEDERATION OF AUTONOMOUS, HETEROGENEOUS DATABASE SYSTEMS, International Journal of Cooperative Information Systems, vol.02, issue.01, pp.51-83, 1993.
DOI : 10.1142/S0218215793000046

M. Burstein, DAML-S: Web Service Description for the Semantic Web, International Semantic Web Conference, pp.348-363, 2002.

D. Martin, Bringing Semantics to Web Services: The OWL-S Approach, First International Workshop on Semantic Web Services and Web Process Composition, pp.26-42, 2004.
DOI : 10.1007/978-3-540-30581-1_4

L. David and . Martin, Bringing Semantics to Web Services with OWL-S, World Wide Web Journal, pp.243-277, 2007.

J. Farrell and H. Lausen, August) W3C Recommendation, 2007.

D. Booth and K. Liu, Web Services Description Language (WSDL) Version 2.0 Part 0: Primer, p.20, 2007.

D. Mcguinness and F. Harmelen, February) W3C recommendation, 2004.

D. Martin, M. Paolucci, and M. Wagner, Bringing Semantic Annotations to Web Services: OWL-S from the SAWSDL Perspective, 6th International and 2nd Asian Semantic Web Conference (ISWC2007+ASWC2007), pp.340-352, 2007.
DOI : 10.1007/978-3-540-76298-0_25

J. De-bruijn, H. Lausen, R. Krummenacher, A. Polleres, and L. Predoiu, October) D16.1v0.21 The Web Service Modeling Language WSML, 2005.

A. Haller, E. Cimpian, A. Mocan, E. Oren, and C. Bussler, WSMX -a semantic serviceoriented architecture, Proceedings of the International Conference on Web Services, pp.321-328, 2005.

D. Jordan and J. Evdemon, April) Web Services Business Process Execution Language (WSBPEL) Version 2.0. [Online], November) Web Services Choreography Description Language Version 1.0. [Online], 2005.

E. Cimpian, WSMX Process Mediation, Second WSMO Implementation Workshop, 2005.

E. Cimpian and A. Mocan, WSMX Process Mediation Based on Choreographies, 1st International Workshop on Web Service Choreography and Orchestration fo Business Process Management, 2005.
DOI : 10.1007/11678564_12

S. Mcilraith, T. Son, and H. Zeng, Mobilizing the Semantic Web with DAML-enabled Web Services, The Second International Workshop on the Semantic Web, 2001.

E. Sirin, B. Parsia, J. Wu, S. Hendler, and . Naudana, HTN planning for Web Service composition using SHOP2, Web Semantics: Science, Services and Agents on the World Wide Web, vol.1, issue.4, pp.377-396, 2004.
DOI : 10.1016/j.websem.2004.06.005

S. Mcilraith and T. Son, Adapting Golog for composition of semantic webservices, Proceedings of the Eighth International Conference on Knowledge Representation and Reasoning (KR02), pp.482-493, 2002.

S. Sohrabi, N. Prokoshyna, and S. Mcilraith, Web Service Composition via the Customization of Golog Programs with User Preferences, Conceptual Modeling: Foundations and Applications, pp.319-334, 2009.
DOI : 10.1007/978-3-540-68234-9_46

P. Traverso and M. Pistore, Automatic composition of semantic web services into executable processes, Proceedings of the Third International Semantic Web Conference, 2004.

N. Srinivasan, M. Paolucci, and K. P. Sycara, An Efficient Algorithm for OWL-S Based Semantic Search in UDDI, pp.96-110, 2004.
DOI : 10.1007/978-3-540-30581-1_9

M. Klusch, F. Benedikt, and K. P. Sycara, OWLS-MX: A hybrid Semantic Web service matchmaker for OWL-S services, Web Semantics: Science, Services and Agents on the World Wide Web, pp.121-133, 2009.
DOI : 10.1016/j.websem.2008.10.001

M. Klusch, Semantic Service Coordination. Semantic Service Discovery and Composition: A Survey, CASCOM -Intelligent Service Coordination in the Semantic Web, 2008.
DOI : 10.1007/978-3-7643-8575-0_4

R. Masuoka, B. Parsia, and Y. Labrou, Task Computing ??? The Semantic Web Meets Pervasive Computing, Proceedings of the 2nd International Semantic Web Conference (ISWC2003), 2003.
DOI : 10.1007/978-3-540-39718-2_55

S. Singh, S. Puradkar, and Y. Lee, Ubiquitous Computing: Connecting Pervasive Computing Through Semantic Web Information Systems and e-Business Management Journal, 2005.

D. Chakraborty, A. Joshi, and T. Finin, Toward Distributed service discovery in pervasive computing environments, IEEE Transactions on Mobile Computing, vol.5, issue.2, pp.97-112, 2006.
DOI : 10.1109/TMC.2006.26

D. Chakraborty, A. Joshi, T. Finin, and Y. Yesha, Service Composition for Mobile Environments, Mobile Networks and Applications, vol.7, issue.3, pp.435-451, 2005.
DOI : 10.1007/s11036-005-1556-y

S. B. Mokhtar, N. Georgantas, and V. Issarny, COCOA: COnversation-based service COmposition in pervAsive computing environments with QoS support, Journal of Systems and Software, Special Issue on ICPS'06, pp.1941-1955, 2007.
DOI : 10.1016/j.jss.2007.03.002
URL : https://hal.archives-ouvertes.fr/inria-00415927

S. B. 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, Special Issue on Web Services Modelling and Testing, pp.785-808, 2008.
DOI : 10.1016/j.jss.2007.07.030
URL : https://hal.archives-ouvertes.fr/inria-00415930

M. Haas, E. T. Lin, and M. A. Roth, Data integration through database federation, IBM Systems Journal, vol.41, issue.4, pp.578-596, 2002.
DOI : 10.1147/sj.414.0578
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.2247

J. Jung, Taxonomy alignment for interoperability between heterogeneous virtual organizations, Expert Systems with Applications, vol.34, issue.4, pp.2721-2731, 2008.
DOI : 10.1016/j.eswa.2007.05.015

J. Berlin and A. Motro, Database schema matching using machine learning with feature selection," in Lecture notes in computer science, pp.452-466, 2002.

J. Widom, Trio: A System for Integrated Management of Data, Accuracy, and Lineage, Proc. of CIDR, 2005.

G. Vetere and M. Lenzerini, Models for semantic interoperability in service-oriented architectures, IBM Systems Journal, vol.44, issue.4, pp.887-904, 2005.
DOI : 10.1147/sj.444.0887

R. Fagin, P. Kolaitis, and L. Popa, Data exchange: getting to the core, Proceedings of ACM Symposium of Principles of Database Systems, pp.90-101, 2003.
DOI : 10.1145/1061318.1061323

S. Narayanan and S. Mcilraith, Simulation, verification and automated composition of web services, Proceedings of the eleventh international conference on World Wide Web , WWW '02, pp.77-88, 2002.
DOI : 10.1145/511446.511457

A. Ankolekar, M. Paolucci, and K. Sycara, Towards a Formal Verification of OWL-S Process Models, International Semantic Web Conference, pp.37-51, 2005.
DOI : 10.1007/11574620_6

N. Mehta, N. Medvidovic, and S. Phadke, Towards a taxonomy of software connectors, Proceedings of the 22nd international conference on Software engineering , ICSE '00, pp.178-187, 2000.
DOI : 10.1145/337180.337201

G. Broll, Perci: Pervasive Service Interaction with the Internet of Things, IEEE Internet Computing, vol.13, issue.6, pp.74-81, 2009.
DOI : 10.1109/MIC.2009.120

P. Shvaiko and J. Euzenat, Ten Challenges for Ontology Matching, Proceedings of the 7th International Conference on Ontologies, Databases, and Applications of Semantics (ODBASE), 2008.
DOI : 10.1007/978-3-540-88873-4_18
URL : https://hal.archives-ouvertes.fr/hal-00825956

J. Euzenat, Results of the Ontology Alignment Evaluation Initiative, Proceedings of the 5th International Semantic Web Conference, 2006.
URL : https://hal.archives-ouvertes.fr/hal-01140027

J. Euzenat, Results of the Ontology Alignment Evaluation Initiative, Proceedings of the 6th International Semantic Web Conference, 2007.
URL : https://hal.archives-ouvertes.fr/hal-01140027

C. Caracciolo, Results of the Ontology Alignment Evaluation Initiative, Proceedings of the 7th International Smeantic Web Conference, 2008.

N. Jian, W. Hu, G. Cheng, and Y. Qu, FalconAO: Aligning Ontologies with Falcon, Proceedings of the Integrating Ontologies Workshop, 2005.

Y. Qu, W. Hu, and G. Cheng, Constructing virtual documents for ontology matching, Proceedings of the 15th international conference on World Wide Web , WWW '06, 2006.
DOI : 10.1145/1135777.1135786

W. Hu and Y. Qu, Falcon-AO: A practical ontology matching system, Web Semantics: Science, Services and Agents on the World Wide Web, vol.6, issue.3, pp.237-239, 2008.
DOI : 10.1016/j.websem.2008.02.006

W. Hu, Y. Qu, and G. Cheng, Matching large ontologies: A divide-and-conquer approach, Data & Knowledge Engineering, vol.67, issue.1, pp.140-160, 2008.
DOI : 10.1016/j.datak.2008.06.003

J. Kengue, J. Euzenat, and P. Valtchev, OLA in the OAEI 2007 evaluation contest, Proceedings of the 6th International Semantic Web Conference, 2007.
URL : https://hal.archives-ouvertes.fr/hal-00817805

P. Bouquet, F. Giunchiglia, F. Van-harmelen, L. Serafini, and H. Stuckenschmidt, C-OWL: Contextualizing Ontologies, Web Semantics: Science, Services and Agents on the World Wide Web, pp.325-343, 2004.
DOI : 10.1007/978-3-540-39718-2_11

H. Do and E. Rahm, COMA ??? A system for flexible combination of schema matching approaches, Proceedings of the 28th International Conference on Very Large Databases, 2002.
DOI : 10.1016/B978-155860869-6/50060-3

D. Aumueller, H. Do, S. Massmann, and E. Rahm, Schema and ontology matching with COMA++, Proceedings of the 2005 ACM SIGMOD international conference on Management of data , SIGMOD '05, 2005.
DOI : 10.1145/1066157.1066283

S. Massmann, D. Engmann, and E. Rahm, COMA++: Results for the Ontology Alignment Contest, Proceedings of the 5th International Semantic Web Conference, 2006.

J. Euzenat, Results of the Ontology Alignment Evaluation Initiative, Proceedings of the 8th International Semantic Web Conference, 2009.
URL : https://hal.archives-ouvertes.fr/hal-01140027

F. Shi, J. Li, J. Tang, G. Xie, and H. Li, Actively Learning Ontology Matching via User Interaction, Proceedings of the International Semantic Web Conference, 2009.
DOI : 10.1007/978-3-642-04930-9_37

A. Gal and P. Shvaiko, Advances in Ontology Matching, Advances in Web Semantics I: Ontologies, Web Services and Applied Semantic Web, p.100, 2008.
DOI : 10.1016/0165-0114(78)90029-5

V. Firus, S. Becker, and J. Happe, Parametric Performance Contracts for QML-specified Software Components, Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, pp.73-90, 2005.
DOI : 10.1016/j.entcs.2005.04.036