Synthesis of two-party error-recoverable protocols
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
Synthesis of Communication Protocols: Survey and Assessment
IEEE Transactions on Computers - Special issue on protocol engineering
Automated synthesis of interface adapters for reusable classes
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Protocol specifications and component adaptors
ACM Transactions on Programming Languages and Systems (TOPLAS)
On Communicating Finite-State Machines
Journal of the ACM (JACM)
On the Construction of Submodule Specifications and Communication Protocols
ACM Transactions on Programming Languages and Systems (TOPLAS)
The Conceptual Basis for Mediation Services
IEEE Expert: Intelligent Systems and Their Applications
Behavior Protocols for Software Components
IEEE Transactions on Software Engineering
Derivation of Glue Code for Agent Interoperation
Autonomous Agents and Multi-Agent Systems
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Concurrent Semantics for the Web Services Specification Language DAML-S
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
SOFA/DCUP: Architecture for Component Trading and Dynamic Updating
CDS '98 Proceedings of the International Conference on Configurable Distributed Systems
A formal approach to component adaptation
Journal of Systems and Software - Special issue: Automated component-based software engineering
Ontology translation for interoperability among semantic Web services
AI Magazine - Special issue on semantic integration
Specifying and Monitoring Composite Events for Semantic Web Services
ECOWS '07 Proceedings of the Fifth European Conference on Web Services
Semantic Web Services Monitoring: An OWL-S Based Approach
HICSS '08 Proceedings of the Proceedings of the 41st Annual Hawaii International Conference on System Sciences
Exception Handling and Recovery of Semantic Web Services
ICNS '08 Proceedings of the Fourth International Conference on Networking and Services
Applied Ontology
Modeling and Discovery of Data Providing Services
ICWS '08 Proceedings of the 2008 IEEE International Conference on Web Services
On the update of description logic ontologies at the instance level
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
DL-Lite: tractable description logics for ontologies
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Formalizing Web Service Choreographies
Electronic Notes in Theoretical Computer Science (ENTCS)
Choreography in IRS-III – coping with heterogeneous interaction patterns in web services
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
Automated generation of BPEL adapters
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
A software engineering approach to design and development of semantic web service applications
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
IRS-III: a broker for semantic web services based applications
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
WSMX process mediation based on choreographies
BPM'05 Proceedings of the Third international conference on Business Process Management
Visual mediation mechanisms for collaborative design and development
UAHCI'11 Proceedings of the 6th international conference on Universal access in human-computer interaction: design for all and eInclusion - Volume Part I
Achieving interoperability through semantics-based technologies: the instant messaging case
ISWC'12 Proceedings of the 11th international conference on The Semantic Web - Volume Part II
Hi-index | 0.00 |
The ability to deal with the incompatibilities of service requesters and providers is a critical factor for achieving interoperability in dynamic open environments. We focus on the problem of process mediation of the semantically annotated process models of the service requester and service provider. We propose an Abstract Process Mediation Framework (APMF) identifying the key functional areas that need to be addressed by process mediation components. Next, we present algorithms for solving the process mediation problem in two scenarios: (1) when the mediation process has complete visibility of the process model of the service provider and service requester (complete visibility scenario) and (2) when the mediation process has visibility only of the process model of the service provider, but not the service requester (asymmetric scenario). The algorithms combine planning and semantic reasoning with the discovery of appropriate external services such as data mediators. Finally, the Process Mediation Agent (PMA) is introduced, which realises an execution infrastructure for runtime mediation.