C. Spécification-complète-du-connecteur, Définition des ensembles d'évènements de C-UNIV Set E1i i?[1,..,n] = { ?R1i ? ?Gluei }

. Gluei-i-?-[-1, ,n] = spécification de la gluei qui coordonne les rôles R1i et R2i Gluek k ? [1,..,m] = spécification de la gluek qui coordonne les rôles

S. E. Mullender, Distributed Systems, 1993.

G. Coulouris, J. Dollimore, and T. Kindberg, Distributed Systems: Concepts and design, 2000.

W. Emmerich, Engineering Distributed Objects, 2000.
DOI : 10.1007/3-540-45254-0

W. Emmerich, Sofware Engineering and Middleware: A Roadmap, 2000.

J. Gray, Notes on data base operating systems, Lecture Notes in Computer Science, vol.60, pp.393-481, 1978.
DOI : 10.1007/3-540-08755-9_9

J. Gray and A. Reuter, Transaction Processing: Concepts and techniques, 1993.

G. Vossen and G. Weikum, Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control, 2001.

S. B. Davidson, H. Garcia-molina, and D. Skeen, Consistency in Partitioned Networks, ACM Comp. Surveys, vol.17, issue.3, 1985.

K. P. Birman, Building secure and reliable network applications, 1997.
DOI : 10.1007/3-540-63343-X_35

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

N. Davies and H. Gellersen, Beyond prototypes: challenges in deploying ubiquitous systems, IEEE Pervasive Computing, vol.1, issue.1, 2002.
DOI : 10.1109/MPRV.2002.993142

D. A. Menascé, MOM vs. RPC: Communication Models for Distributed Applications, IEEE Internet Computing, vol.9, issue.2, 2005.
DOI : 10.1109/MIC.2005.42

J. E. White, High-level Framework for Network-based Resource Sharing, RFC, 1976.

A. D. Birrell and B. J. Nelson, Implementing remote procedure calls, ACM Transactions on Computer Systems, vol.2, issue.1, pp.39-59, 1984.
DOI : 10.1145/2080.357392

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

E. Gamma, R. Helm, R. Johnson, and E. J. Vlissides, Design Patterns ? Elements of Reusable Object-Oriented Software, 1995.

M. Object and . Group, CORBAservices: Common Object Services Specification

W. S. Unraveling and . Web, An introduction to SOAP, WSDL, and UDDI, Internet Computing. IEEE, vol.6, issue.2, pp.86-93, 2002.

A. Tanenbaum, Distributed operating systems, ACM Computing Surveys, vol.17, issue.4, 1995.
DOI : 10.1145/6041.6074

P. A. Bernstein, Middleware: a model for distributed system services, Communications of the ACM, vol.39, issue.2, pp.86-98, 1996.
DOI : 10.1145/230798.230809

. Spiteri, Generic Support for Distributed Applications, IEEE Computer, vol.33, pp.68-76, 2000.

A. Carzaniga, D. S. Rosenblum, and A. L. 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

G. Banavar, T. Chandra, R. Strom, and D. Sturman, A Case for Message Oriented Middleware, LNCS 1693, pp.1-18, 1999.
DOI : 10.1007/3-540-48169-9_1

L. Gilman and R. Schreiber, Distributed Computing with IBM MQSeries, 1996.

M. Hapner, R. Burridge, and R. Sharma, Java Message Service Specification

. Microsoft, Microsoft Message Queuing (MSMQ)

D. S. Rosenblum and A. L. Wolf, A design framework for Internet-scale event observation and notification, Proceedings of the Sixth European Software Engineering Conference, pp.344-360, 1997.

G. Cugola, E. D. Nitto, and A. Fuggetta, Exploiting an event-based infrastructure to develop complex distributed systems, Proceedings of the 20th International Conference on Software Engineering, pp.261-270, 1998.
DOI : 10.1109/ICSE.1998.671135

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

G. S. Blair, G. Coulson, P. Robin, and M. Papathomas, An Architecture for Next Generation Middleware, Proceedings of Middleware, 2000.
DOI : 10.1007/978-1-4471-1283-9_12

. Hopper, Implementing a Sentient Computing System, IEEE Computer Magazine, vol.34, issue.8, pp.50-56, 2001.

M. Satyanarayanan, Pervasive computing: vision and challenges, IEEE Personal Communications, vol.8, issue.4, 2001.
DOI : 10.1109/98.943998

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

G. Cugola, E. D. Nitto, and A. Fuggetta, The JEDI event-based infrastructure and its application to the development of the OPSS WFMS, IEEE Transactions on Software Engineering, vol.27, issue.9, pp.827-850, 2001.
DOI : 10.1109/32.950318

B. Segall, Content Based Routing with Elvin4, Proceeding of AUUG2K, 2000.

R. Meier and V. Cahill, Taxonomy of Distributed Event Based Programming Systems, Proceedings of the International Conference on Distributed Computing Systems (ICDCS/DEBS'02), 2002.

M. P. Papazoglou and D. Georgakopoulos, Service-Oriented Computing, Communications of the ACM, vol.46, issue.10, 2003.

M. N. Huhns and M. P. Singh, Service-oriented computing: key concepts and principles, IEEE Internet Computing, vol.9, issue.1, pp.75-81, 2005.
DOI : 10.1109/MIC.2005.21

E. Guttman, C. Perkins, J. Veizades, and M. Day, Service Location Protocol, IETF RFC 2608, Network Working Group, 1999.

C. Bettstetter and C. Renner, A Comparison of Service Discovery Protocols and Implementation of the Service Location Protocol, Proceedings of the 6th EUNICE Open European Summer School: Innovative Internet Applications, 2000.

R. E. Schantz and D. C. Schmidt, Middleware for Distributed Systems, 2001.
DOI : 10.1002/9780470050118.ecse241

C. Mascolo, L. Capra, and W. Emmerich, Mobile Computing Middleware, Lecture Notes in Computer Science, pp.20-58, 2002.
DOI : 10.1007/3-540-36162-6_2

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

M. Satyanarayanan, Fundamental challenges in mobile computing, Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing , PODC '96, 1996.
DOI : 10.1145/248052.248053

R. Want and T. Pering, System Challenges for Ubiquitous & Pervasing Computing, Proceedings of the 27 th international conference on Software engineering, (ICSE'05), pp.9-14, 2005.

D. Saha and A. Mukherjee, Pervasive Computing, pp.25-31, 2003.
DOI : 10.1007/978-1-4615-1143-4_1

. Hopper, Implementing a sentient computing system, IEEE Computer, vol.34, pp.50-56, 2001.

M. Weiser, The Computer for the 21st Century, Scientific American, vol.265, issue.3, pp.94-104, 1991.
DOI : 10.1038/scientificamerican0991-94

M. Musolesi, C. Mascolo, and S. Hailes, EMMA: Epidemic Messaging Middleware for Ad hoc networks. Personal and Ubiquitous Computing, pp.28-36, 2006.

R. Meier and V. Cahill, STEAM: event-based middleware for wireless ad hoc networks, Proceedings 22nd International Conference on Distributed Computing Systems Workshops, 2002.
DOI : 10.1109/ICDCSW.2002.1030841

A. Zeidler and L. Fiege, Mobility Support with REBECCA, Proceedings of the 23 rd international Conference on Distributed Computing Workshops (ICDCSW'03), 2003.
DOI : 10.1109/icdcsw.2003.1203579

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

T. S. Rappaport, Wireless Communications: Principles and Practice, 2002.

M. Boulkenafed and V. Issarny, Middleware Service for Mobile Ad Hoc Data Sharing, Enhancing Data Availability, proceedings of the 4th ACM/IFIP/USENIX International Middleware Conference, 2003.
DOI : 10.1007/3-540-44892-6_25

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

G. H. Forman and J. Zahorjan, The challenges of mobile computing, Computer, vol.27, issue.4, pp.38-47, 1994.
DOI : 10.1109/2.274999

R. Klefstad, S. Rao, and D. Schimidt, Design and performance of a dynamically configurable, messaging protocols framework for real-time CORBA, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the, 2003.
DOI : 10.1109/HICSS.2003.1174883

M. Haahr, R. Cunningham, and V. Cahill, Supporting CORBA in a Mobile Environment (ALICE), Proceedings of Mobile Computing and Networking (MobiCom, pp.36-47, 1999.

P. Reynolds and R. Brangeon, Service Machine Development for an Open Longterm Mobile and Fixed Network Environment

A. D. Joseph, J. A. Tauber, and M. F. Kaashoek, Mobile computing with the Rover toolkit, IEEE Transactions on Computers, vol.46, issue.3, pp.337-352, 1997.
DOI : 10.1109/12.580429

G. Mühl, L. Fiege, F. Gärtner, and A. Buchmann, Evaluating advanced routing algorithms for content-based publish/subscribe systems, Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, pp.167-176, 2002.
DOI : 10.1109/MASCOT.2002.1167074

L. Fiege, F. Gärtner, O. Kasten, and A. Zeidler, Supporting Mobility in Content-Based Publish/Subscribe Middleware, Proceedings of Middleware 2003, 2003.
DOI : 10.1007/3-540-44892-6_6

P. Sutton, R. Arkins, and B. Segall, Supporting disconnectedness - transparent information delivery for mobile and invisible computing, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid, 2001.
DOI : 10.1109/CCGRID.2001.923204

T. Wall and V. Cahill, Mobile RMI: supporting remote access to Java server objects on mobile hosts, Proceedings 3rd International Symposium on Distributed Objects and Applications, 2001.
DOI : 10.1109/DOA.2001.954070

G. Biegel, V. Cahill, and M. Haahr, A Dynamic Proxy Based Architecture to Support Distributed Java Objects in a Mobile Environment, Proceedings of the international Symposium on Distributed Objects and Applications, 2002.
DOI : 10.1007/3-540-36124-3_54

A. L. Murphy, G. P. Picco, and G. Roman, LIME, ACM Transactions on Software Engineering and Methodology, vol.15, issue.3, pp.279-328, 2006.
DOI : 10.1145/1151695.1151698

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

M. Mutka and D. Zhu, Promoting Cooperation Among Strangers to Access Internet Services from an Ad Hoc Network, Proceedings of IEEE International Conference on Pervasive Computing and Communications, 2004.

B. Wang, J. Bodily, and S. K. Gupta, Supporting Persistent Social Groups in Ubiquitous Computing Environments Using Context-Aware Ephemeral Group Service, Proceedings of IEEE International Conference on Pervasive Computing and Communications (PerCom'04), 2004.

M. Beigl, T. Zimmer, A. Krohn, C. Decker, and P. Robinson, Creating Ad- Hoc Pervasive Computing Environments, Proceedings of the Second International Conference on Pervasive Computing, 2004.

S. Chetan, J. Al-muhtadi, R. Campbell, and M. D. Mickunas, Mobile Gaia : A Middleware for Ad-hoc Pervasive Computing, IEEE Consumer Communications & Networking Conference, 2005.

M. Mamei and F. Zambonelli, Programming pervasive and mobile computing applications with the TOTA middleware, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the, 2004.
DOI : 10.1109/PERCOM.2004.1276864

J. D. Day and H. Zimmermann, The OSI reference model, Proc. IEEE, pp.1334-1340
DOI : 10.1109/PROC.1983.12775

G. J. Holzmann, Design and Validation of Computer Protocols, 1991.

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

N. Medvidovic and R. N. Taylor, A classification and comparison framework for software architecture description languages, IEEE Transactions on Software Engineering, vol.26, issue.1, pp.70-93, 2000.
DOI : 10.1109/32.825767

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

V. Issarny, F. Tartanoglu, J. Liu, and F. Sailhan, Software architecture for mobile distributed computing, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004), 2004.
DOI : 10.1109/WICSA.2004.1310703

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

V. Issarny, Configuration-Based Programming Systems Proceedings of SOFSEM'97: Theory and Practice of informatics, pp.183-200, 1997.

D. Garlan, Formal Modelling and Analysis of Software Architecture: Components, Connectors, and Events, Third International School on Formal Methods for the Design of Computer, Communication and Software systems: Software Architectures. LNCS 2804, pp.1-24, 2003.

R. Allen, A Formal Approach to Software Architecture, 1997.

R. J. Allen, R. Douence, and D. Garlan, Specifying and analyzing dynamic software architectures, Proceedings of the 1998 Conference on Fundamental Approaches to Software Engineering (FASE '98), 1998.
DOI : 10.1007/BFb0053581

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

D. Garlan, R. T. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.169-183, 1997.
DOI : 10.1145/1925805.1925814

D. Garlan, R. T. Monroe, and D. Wile, Acme, CASCON First Decade High Impact Papers on, CASCON '10, pp.47-68, 2000.
DOI : 10.1145/1925805.1925814

D. Garlan, R. Allen, and J. Ockerbloom, Architectural mismatch: why reuse is so hard, IEEE Software, vol.12, issue.6, pp.17-26, 1995.
DOI : 10.1109/52.469757

C. Hoare, Communicating Sequential Processes, 1986.

R. Milner, Communication and concurrency, 1989.

M. Shaw and D. Garlan, Software Architecture: Perspectives on an Emerging Discipline, 1996.

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

M. Shaw and P. Clements, A field guide to boxology: preliminary classification of architectural styles for software systems, Proceedings Twenty-First Annual International Computer Software and Applications Conference (COMPSAC'97), pp.6-13, 1997.
DOI : 10.1109/CMPSAC.1997.624691

N. Medvidovic, D. S. Rosenblum, and R. N. Taylor, A language and environment for architecture-based software development and evolution, Proceedings of the 21st international conference on Software engineering, ICSE '99, pp.44-53, 1999.
DOI : 10.1145/302405.302410

P. Oreizy, N. Medvidovic, and R. N. Taylor, Architecture-based runtime software evolution, Proceedings of the 20th International Conference on Software Engineering, pp.177-186, 1998.
DOI : 10.1109/ICSE.1998.671114

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

J. Magee and J. Kramer, Dynamic Structure in Software Architectures, Proceedings of ACM SIGSOFT '96: Fourth Symposium Foundations of Software Eng. (FSE4), pp.3-14, 1996.

J. Magee and J. Kramer, Concurrency: State Models and Java Programs, 1999.

B. Spitznagel and D. Garlan, A Compositional Formalization of ConnectorWrappers, Proceedings of the 2003 International Conference on Software Engineering (ICSE'03), 2003.

B. Spitznagel, Compositional Transformation of Software Connectors, 2004.

M. Shaw, Architectural issues in software reuse: it's not the functionality, it's the packaging, Proceedings of the Symposium on Software Reuse (SSR'95), 1995.

P. Grace, G. S. Blair, and S. Samuel, A reflective framework for discovery and interaction in heterogeneous mobile environments, special section on Discovery and Interaction of Mobile Services, pp.2-14, 2005.
DOI : 10.1145/1055959.1055962

C. Szyperski, Component Sofware: Beyond Object-Oriented Programming, 1998.

T. Meijler and O. Nierstrasz, Beyond objects: Components. Cooperative Information Systems: Current Trends and Directions, 1997.

G. Kiczales, J. Des-rivières, and D. G. Bobrow, The Art of the Metaobject Protocol, 1991.

F. Kon, F. Costa, G. S. Blair, and R. Campbell, The case for reflective middleware, Communications of the ACM, vol.45, issue.6, 2002.
DOI : 10.1145/508448.508470

T. Ledoux, OpenCorba: a Reflective Open Broker, nd International Conference on Reflection and Meta-level Architectures, 1999.
DOI : 10.1007/3-540-48443-4_19

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

. Osgi-alliance, Open Service Gateway Initiative: The OSGi Service Platform Specification, Release 3 Enterprise Service Bus, 2003.

H. Cervantes and R. Hall, Autonomous adaptation to dynamic availability using a service-oriented component model, Proceedings. 26th International Conference on Software Engineering, pp.614-623, 2004.
DOI : 10.1109/ICSE.2004.1317483

P. Grace, Overcoming Middleware Heterogeneity in Mobile Computing Applications, 2004.

G. Coulson, G. S. Blair, P. Grace, A. Joolia, K. Lee et al., A generic component model for building systems software, Proceedings of IASTED Software Engineering and Applications (SEA'04), 2004.
DOI : 10.1145/1328671.1328672

H. Cervantes, Vers un Modèle à Composants Orienté Services pour Supporter la Disponibilité Dynamique, Thèse, université Joseph Fourier, 2004.

A. Slominski, M. Govindaraju, D. Gannon, and R. Bramley, Design of an XML based Interoperable RMI System: SoapRMI C++/Java 1.1, Proceedings of Parallel and Distributed Processing Techniques and Applications Conference, 2001.

L. Pautet, Intergiciels schizophrènes : une solution à l'interopérabilité entre modèles de répartition, 2001.

S. Vinoski, Integration with Web services, IEEE Internet Computing, vol.7, issue.6, 2003.
DOI : 10.1109/MIC.2003.1250587

D. A. Chappell, Enterprise Service Bus, 2004.

I. Artix, Computer Networks. Fourth Edition, 2003.

T. Bolognesi and E. Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, vol.14, issue.1, pp.25-59, 1987.
DOI : 10.1016/0169-7552(87)90085-7

S. S. Lam, Protocol conversion-Correctness problems, Proceedings of ACM SIGCOMM, 1986.
DOI : 10.1145/1013812.18175

S. S. Lam, Protocol conversion Enterprise Application Integration, IEEE Trans. Software Eng, vol.14, 1988.

S. C. Cheung and J. Kramer, Checking safety properties using compositional reachability analysis, ACM Transactions on Software Engineering and Methodology, vol.8, issue.1, pp.49-78, 1999.
DOI : 10.1145/295558.295570

D. Giannakopoulou, J. Magee, and J. Kramer, Checking progress with action priority, th European Software Engineering Conference held jointly with the 7 th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE'99), pp.1687-511, 1999.
DOI : 10.1145/318774.319268

N. D. Ryan and A. L. Wolf, Using event-based translation to support dynamic protocol evolution, Proceedings. 26th International Conference on Software Engineering, pp.408-417, 2004.
DOI : 10.1109/ICSE.2004.1317463

J. Waldo, The Jini architecture for network-centric computing, Communications of the ACM, vol.42, issue.7, 1999.
DOI : 10.1145/306549.306582

R. Gupta, S. Talwar, and D. P. Agrawal, Jini home networking: a step toward pervasive computing, Computer, vol.35, issue.8, pp.34-40, 2002.
DOI : 10.1109/MC.2002.1023786

U. Forum, UPnP? Device Architecture 1.0, 2003.

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

Y. D. Bromberg and V. Issarny, Service Discovery Protocol Interoperability in the Mobile Environment, Proceedings of the International Workshop Software Engineering and Middleware, 2004.
DOI : 10.1007/11407386_6

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

Y. D. Bromberg and V. Issarny, INDISS: Interoperable Discovery System for Networked Services, Proceedings of ACM/IFIP/USENIX 6th International Middleware Conference, 2005.
DOI : 10.1007/978-3-540-39800-4_1

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

Z. Albanna, K. Almeroth, D. Meyer, and M. Schipper, IANA Guidelines for IPv4 Multicast Address Assignments, IETF RFC Network Working Group, vol.3171
DOI : 10.17487/rfc3171

Y. Y. Gloand, T. Cai, and P. Leach, SSDP: Simple service discovery protocol, IETF Draft, 2000.

E. Guttman, C. Perkins, and J. Kempf, Service Templates and Service: Schemes. IETF RFC 2609, Network Working Group, 1999.
DOI : 10.17487/rfc2609

S. Preuss, JESA Service Discovery Protocol, Proceedings of Networking pp, pp.1196-1201, 2002.

D. Steinberg and S. Cheshire, ZeroConfiguration Networking: The Definitive Guide, 2005.

E. Guttman, Autoconfiguration for IP networking: enabling local communication, IEEE Internet Computing, vol.5, issue.3, 2001.
DOI : 10.1109/4236.935181

S. Helal and C. Lee, Protocols for Service Discovery in Dynamic and Mobile Networks, International Journal of Computing Research, vol.22, issue.1, pp.1-12, 2002.

N. Georgantas, S. B. Mokhtar, Y. Bromberg, V. Issarny, J. Kalaoja et al., The Amigo Service Architecture for the Open Networked Home Environment, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 2005.
DOI : 10.1109/WICSA.2005.71

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

V. Issarny, D. Sacchetti, F. Tartanoglu, F. Sailhan, R. Chibout et al., Developing Ambient Intelligence Systems: A Solution based on Web Services, Automated Software Engineering, vol.12, issue.1, 2005.
DOI : 10.1023/B:AUSE.0000049210.42738.00

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

D. Garlan, D. Siewiorek, A. Smailagic, and P. Steenkiste, Project Aura: toward distraction-free pervasive computing, IEEE Pervasive Computing, vol.1, issue.2, pp.22-31, 2002.
DOI : 10.1109/MPRV.2002.1012334

M. Román, C. K. Hess, R. Cerqueira, A. Ranganathan, R. H. Campbell et al., Gaia: A Middleware Infrastructure to Enable Active Spaces, IEEE Pervasive Computing, pp.74-83, 2002.

P. Raverdy, V. Issarny, R. Chibout, and A. L. Chapelle, A Multi-Protocol Approach to Service Discovery and Access in Pervasive Environments, 2006 3rd Annual International Conference on Mobile and Ubiquitous Systems, Workshops, 2006.
DOI : 10.1109/MOBIQW.2006.361780

Y. Bromberg, V. Issarny, and P. Raverdy, Interoperability of Service Discovery Protocols: Transparent versus Explicit Approaches, Proceedings of the 15th IST Mobile & Wireless Communications Summit, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00567928

B. Neuman, Scale in Distributed Systems, Readings in Distributed Computing Systems, pp.69-78, 1994.

E. Charles and . Perkins, Ad Hoc Networking, 2001.

R. S. Consortium, F. Ben-mokhtar, V. Tartanoglu, and . Issarny, Survey of Middleware for Networked Embedded Systems. Deliverable D5.1. http://www.ist-runes.org/docs, Semanticaware Services for the Mobile Computing Environment. Architecting Dependable Systems III, 2005.

A. Consortium, Deliverable D3.1: Detailed Design of the Amigo Middleware Core, 2005.

N. Georgantas, S. B. Mokhtar, Y. Bromberg, V. Issarny, J. Kalaoja et al., The Amigo Service Architecture for the Open Networked Home Environment, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05), 2005.
DOI : 10.1109/WICSA.2005.71

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

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

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=

S. B. Mokhtar, A. Kaul, N. Georgantas, and V. Issarny, Towards Efficient Matching of Semantic Web Service Capabilities, Proceedings of the international workshop on Web Services Modeling and Testing (WS-MATE'06), 2006.

C. Dabrowski, K. Mills, and S. Quirolgico, A Modelbased Analysis of First- Generation Service Discovery Systems. Special Publication 500-260, 2005.

R. S. Marin-perianu, P. H. Hartel, and J. Scholten, A Classification of Service Discovery Protocols, 2005.

A. Friday, N. Davies, and E. Catterall, Supporting Service Discovery, Querying and Interaction in Ubiquitous Computing Environments, Proceedings of MobiDE, 2001.

C. Bettstetter and C. Renner, A Comparison Of Service Discovery Protocols and Implementation of The Service Location, Proceedings of 6th EUNICE Open European Summer School: Innovative Internet Applications (EUNICE), 2000.

S. B. Mokhtar, A. Kaul, N. Georgantas, and V. Issarny, Efficient Semantic Service Discovery in Pervasive Computing Environments, Proceedings of the ACM/IFIP/USENIX 7th International Middleware Conference (Middleware'06)
DOI : 10.1007/11751113_10

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

L. Arnstein, R. Grimm, C. Hung, J. H. Kang, A. Lamarca et al., Systems Support for Ubiquitous Computing: A Case Study of Two Implementations of Labscape, Proceedings of IEEE International Conference on Pervasive Computing and Communications, 2002.
DOI : 10.1007/3-540-45866-2_4

C. Becker, G. Schiele, H. Gubbels, and K. Rothermel, BASE - a micro-broker-based middleware for pervasive computing, Proceedings of the First IEEE International Conference on Pervasive Computing and Communications, 2003. (PerCom 2003)., pp.443-451, 2003.
DOI : 10.1109/PERCOM.2003.1192769

T. Nakajima and I. Satoh, Personal home server: enabling personalized and seamless ubiquitous computing environments, Second IEEE Annual Conference on Pervasive Computing and Communications, 2004. Proceedings of the, pp.341-345, 2004.
DOI : 10.1109/PERCOM.2004.1276871

A. Acierno, G. De-pietro, A. Coronato, and G. Gugliara, Plugin-Orb for Applications in a Pervasive Computing Environment, Proceedings of the 2005 International Conference on Pervasive Systems and Computing, 2005.

P. Costa, G. Coulson, C. Mascolo, G. P. Picco, and S. Zachariadis, The RUNES Middleware: A Reconfigurable Component-based Approach to Networked Embedded Systems, 2005 IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications, 2005.
DOI : 10.1109/PIMRC.2005.1651554

. Ferreira, A Flexible Middleware for Service Provision Over Heterogeneous Pervasive Networks, Proceedings of the IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks, 2006.

F. Sailhan and V. Issarny, Scalable Service Discovery for MANET, Third IEEE International Conference on Pervasive Computing and Communications, 2005.
DOI : 10.1109/PERCOM.2005.36

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

O. Ratsimor, D. Chakraborty, A. Joshi, and T. Finin, Allia, Proceedings of the 2nd international workshop on Mobile commerce , WMC '02, 2002.
DOI : 10.1145/570705.570707

D. Chakraborty, A. Joshi, T. Finin, and Y. Yesha, GSD: a novel group-based service discovery protocol for MANETS, 4th International Workshop on Mobile and Wireless Communications Network, 2002.
DOI : 10.1109/MWCN.2002.1045711

D. Chakraborty, A. Joshi, Y. Yesha, 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

S. Penz, SLP-based service management for dynamic ad-hoc networks, Proceedings of the 3rd international workshop on Middleware for pervasive and ad-hoc computing , MPAC '05, 2005.
DOI : 10.1145/1101480.1101498

C. Cortes, G. Blair, and P. Grace, A Multi-protocol Framework for Ad-hoc Service Discovery, Proceedings of the 4th International Workshop on on Middleware for Pervasive and Ad-Hoc Computing (MPAC '06), co-located with Middleware, 2006.