The Unified Modeling Language user guide
The Unified Modeling Language user guide
Modeling Software with Finite State Machines
Modeling Software with Finite State Machines
A model-driven choreography conceptual framework
Computer Standards & Interfaces
Choreography frameworks for business integration: Addressing heterogeneous semantics
Computers in Industry
Patterns of message interchange in decoupled hypermedia systems
Journal of Network and Computer Applications
SOPHIE: Use case and evaluation
Information and Software Technology
Choreography in IRS-III – coping with heterogeneous interaction patterns in web services
ISWC'05 Proceedings of the 4th international conference on The Semantic Web
The web service modeling language WSML: an overview
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
IRS-III: a broker for semantic web services based applications
ISWC'06 Proceedings of the 5th international conference on The Semantic Web
Hi-index | 0.00 |
Services communicate with each other by exchanging self-contained messages, enabling them to make or to respond to requests. Depending on the specific application requirements a number of mismatches affecting the semantics, sequence, cardinality and structure of messages can occur, which prevent interoperation among a prior compatible services. Current technologies present an "ad-hoc" approach for overcoming mismatches. Initiatives to overcome mismatches based on semantic descriptions and mediators, i.e. choreography service, are envisioned as promising in solving these problems. The SOPHIE framework tackles precisely these objectives. It supports the conceptualization and mediation of ontology-based choreographies among interacting services, as a realization of a fully fledged Service Oriented Architecture (SOA). This paper provides an overview of the architecture and algorithms behind SOPHIE. In detail, the service topologies that define the different ways in which parties can be linked and the structure they define are depicted. The operational algorithms that model the mechanisms to generate mediators for overcoming heterogeneity among the Message Exchange Patterns (MEP) of interacting parties are presented. Finally, the correlation algorithms that put in place the required logic to link the messages sent by one party to the ones expected by another are described.