Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
A behavioral notion of subtyping
ACM Transactions on Programming Languages and Systems (TOPLAS)
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes
Communications of the ACM - Special 25th Anniversary Issue
Formal verification of parallel programs
Communications of the ACM
A Discrete Event Systems Approach for Protocol Conversion
Discrete Event Dynamic Systems
The Conceptual Basis for Mediation Services
IEEE Expert: Intelligent Systems and Their Applications
A compositional formalization of connector wrappers
Proceedings of the 25th International Conference on Software Engineering
Ontology mapping: the state of the art
The Knowledge Engineering Review
Semantic integration: a survey of ontology-based approaches
ACM SIGMOD Record
Semi-automated adaptation of service interactions
Proceedings of the 16th international conference on World Wide Web
A Pattern-Based Approach to Development of Service Mediators for Protocol Mediation
WICSA '08 Proceedings of the Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008)
CONNECT Challenges: Towards Emergent Connectors for Eternal Networked Systems
ICECCS '09 Proceedings of the 2009 14th IEEE International Conference on Engineering of Complex Computer Systems
Ensuring interoperable service-oriented systems through engineered self-healing
Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
An agent for asymmetric process mediation in open environments
SOCASE'08 Proceedings of the 2008 AAMAS international conference on Service-oriented computing: agents, semantics, and engineering
Towards an architecture for runtime interoperability
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
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
Protocol mediation for adaptation in semantic web services
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Developing adapters for web services integration
CAiSE'05 Proceedings of the 17th international conference on Advanced Information Systems Engineering
Towards an architecture for runtime interoperability
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
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
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
A semi-automatic behavioral mediation approach based on models@runtime
Proceedings of the 7th Workshop on Models@run.time
Integration architecture synthesis for taming uncertainty in the digital space
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Synthesizing self-adaptive connectors meeting functional and performance concerns
Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems
Towards interoperability between heterogeneous distributed components
Proceedings of the 12th International Workshop on Adaptive and Reflective Middleware
Hi-index | 0.00 |
On the fly synthesis of mediators is a revolutionary approach to the seamless networking of today's and future digital systems that increasingly need be connected. The resulting emergent mediators (or CONNECTors) adapt the interaction protocols run by the connected systems to let them communicate. However, although the mediator concept has been studied and used quite extensively to cope with many heterogeneity dimensions, a remaining key challenge is to support on-the-fly synthesis of mediators. Towards this end, this paper introduces a theory of mediators for the ubiquitous networking environment. The proposed formal model: (i) precisely characterizes the problem of interoperability between networked systems, and (ii) paves the way for automated reasoning about protocol matching (interoperability) and related mediator synthesis.