Assessing service protocol adaptability based on protocol reduction and graph search

Abstract

Given the inherent autonomy, heterogeneity, and continuous evolution of Web services, mismatches usually exist between service protocols. Adapters are typically used to reconcile these mismatches. Before synthesizing an adapter, a service requestor is often willing to assess whether her expected interactions can be conducted or not. The effort of synthesizing an adapter is beneficial only if the result of this assessment is positive. Previous effort analyzing service interactions focused on either (i) compatibility analysis for checking whether interactions can be conducted in a direct manner or (ii) adapter synthesization for reconciling mismatches. In this paper we propose a new kind of adaptability assessment that (i) determines whether two service protocols of a requestor and a provider are adaptable, (ii) computes an adaptation degree, and (iii) identifies conditions that determine when these two service protocols can be adapted. This adaptability assessment provides complementary criteria to the service requestor for selecting a suitable service protocol from a set of functionally equivalent candidates according to her requirements

A Petri Net Method for Compatibility Enforcement to Support Service Choreography

“…In order to analyze the compatibility of service choreography, several formal semantics have been adopted, such as graphs [40], message sequence charts (MSC) [41], ontology [3], finite state machines (FSM) [43], process algebra (PA) [47], martin type theory (MTT) [49] and Petri nets (PN) [50]- [52]. In particular, Petri net models have been widely adopted to describe service choreography, from languages like WS-CDL to interaction Petri nets [25].…”

“…For the syntactic consideration, Nezhad et al [15] identify the split/ merge interface mismatch and construct an adaptor for these services. Zhou et al [40] gain abstract protocols from service protocols by defining many rules. Then, to adapt two services, they establish an adaptation matrix through a depth-first search with back tracking methods.…”

Portability of Process-Aware and Service-Oriented Software : Evidence and Metrics

“…A number of studies in the field of SOA deals with the topic of adapter synthesis, e. g., [297][298][299], which resolves to an application integration problem [75]. In a distributed setting, two service-oriented and process-aware applications might need to interact with each other to achieve a desired goal.…”