A reflective framework for discovery and interaction in heterogeneous mobile environments
ACM SIGMOBILE Mobile Computing and Communications Review
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
A Bridging Framework for Universal Interoperability in Pervasive Systems
ICDCS '06 Proceedings of the 26th IEEE International Conference on Distributed Computing Systems
OSDA: Open service discovery architecture for efficient cross-domain service provisioning
Computer Communications
Bringing Semantics to Web Services with OWL-S
World Wide Web
An Adaptive Middleware to Overcome Service Discovery Heterogeneity in Mobile Ad Hoc Environments
IEEE Distributed Systems Online
Applied Ontology
Reflective Middleware: From Your Desk to Your Hand
IEEE Distributed Systems Online
INDISS: interoperable discovery system for networked services
Proceedings of the ACM/IFIP/USENIX 2005 International Conference on Middleware
On handling data in automata learning: considerations from the CONNECT perspective
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A theory of mediators for eternal connectors
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
On-the-fly interoperability through automated mediator synthesis and monitoring
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Dependability analysis and verification for CONNECTed systems
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
LearnLib: a library for automata learning and experimentation
FASE'06 Proceedings of the 9th international conference on Fundamental Approaches to Software Engineering
On handling data in automata learning: considerations from the CONNECT perspective
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A theory of mediators for eternal connectors
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
On-the-fly interoperability through automated mediator synthesis and monitoring
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
Middleware'11 Proceedings of the 12th ACM/IFIP/USENIX international conference on Middleware
ACTrESS: automatic context transformation in event-based software systems
Proceedings of the 6th ACM International Conference on Distributed Event-Based Systems
Automated inference of models for black box systems based on interface descriptions
ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I
Proceedings of the 12th International Middleware Conference
Satisfying requirements for pervasive service compositions
Proceedings of the 7th Workshop on Models@run.time
Hi-index | 0.00 |
Interoperability remains a fundamental challenge when connecting heterogeneous systems which encounter and spontaneously communicate with one another in pervasive computing environments. This challenge is exasperated by the highly heterogeneous technologies employed by each of the interacting parties, i.e., in terms of hardware, operating system, middleware protocols, and application protocols. This paper introduces CONNECT, a software framework which aims to resolve this interoperability challenge in a fundamentally different way. CONNECT dynamically discovers information about the running systems, uses learning to build a richer view of a system's behaviour and then uses synthesis techniques to generate a connector to achieve interoperability between heterogeneous systems. Here, we introduce the key elements of CONNECT and describe its application to a distributed marketplace application involving heterogeneous technologies.