Conference Paper

A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments

DOI: 10.1007/11948148_28 Conference: Service-Oriented Computing - ICSOC 2006, 4th International Conference, Chicago, IL, USA, December 4-7, 2006, Proceedings
Source: DBLP


An important issue, in open environments like the web, is guarantee- ing the interoperability of a set of services. When the interaction scheme that the services should follow is given (e.g. as a choreography or as an interaction proto- col), it becomes possible to verify, before the interaction takes place, if the inter- active behavior of a service (e.g. a BPEL process specification) respects it. This verification is known as "conformance test". Recently some attempts have been done for defining conformance tests w.r.t. a protocol but these approaches fail in capturing the very nature of interoperability, turning out to be too restrictive. In this work we give a representation of protocol, based on message exchange and on finite state automata, and we focus on those properties that are essential to the verification of the interoperability of a set of services. In particular, we define a conformance test that can guarantee, a priori, the interoperability of a set of services by verifying properties of the single service against the protocol. This is particularly relevant in open environments, where services are identified and composed on demand and dynamically, and the system as a whole cannot be analyzed.

Full-text preview

Available from:
  • Source
    • "Intuitively, a set of parties is interoperable when it is stuck-free, i.e., whatever point of interaction may be reached, communication will not be blocked, and each of the parties will reach one of its final states [25] [5]. In other words, if we focus on a state of the execution of a set of parties, either each party has reached a final state (and the system has as well), or we expect some communication to occur between two parties. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Many real-world applications of multiagent systems require inde-pendently designed (heterogeneous) and operated (autonomous) a-gents to interoperate. We consider agents who offer business ser-vices and collaborate in interesting business service engagements. We formalize notions of interoperability and conformance, which appropriately support agent heterogeneity and autonomy. With re-spect to autonomy, our approach considers the choices that each agent has, and how their choices are coordinated so that at any time one agent leads and its counterpart follows, but with initiative flu-idly shifting among the participants. With respect to heterogeneity, we characterize the variations in the agents' designs, and show how an agent may conform to a specification or substitute for another agent. Our approach addresses a challenging problem with multi-party interactions that existing approaches cannot solve. Further, we introduce a set of edit operations by which to modify an agent design so as to ensure its conformance with others.
    Full-text · Conference Paper · Jan 2009
  • Source
    • "In it's current state, checking interoperability is done according to the description in [3], which is a variant of bisimulation [20]. The protocols we currently use are still simple, so a Java based approach was chosen to check compliance of a policy against the protocol role. "
    [Show abstract] [Hide abstract]
    ABSTRACT: Abstract Today, multimedia system are still widely realized as monolithic systems. But building such applications using Service-Oriented Architectures — especially for the Pro- cessing and Delivery of continous Multimedia data streams — has been a controversial topic since years. As a result, applications in the multimedia,domain,cannot yet benefit from Web service architectures. Thus, building and main- taining large-scale multimedia applications remains a diffi- cult, costly, time-consuming and challenging problem. In this paper we present our approach for building large- scale multimedia systems and compare,it with the current state of the art, concentrating on the selection and valida- tion of multimedia service composition.
    Full-text · Conference Paper · Jan 2008
  • Source
    • "[2] we have faced the conformance issue, proposing a conformance test that is based on a variant of bisimulation. In this work, we focus on the second problem: the selection of existing services that can play given choreography roles, preserving a condition of interest. "
    [Show abstract] [Hide abstract]
    ABSTRACT: The greater and greater quantity of services that are avail- able over the web causes a growing attention to techniques that facilitate their reuse. A web service specification can be quite complex, including various operations and message exchange patterns. In this work, we fo- cus on the problem of retrieving a web service, which can play a given choreography role, preserving at the same time a condition of interest (the goal to satisfy which the service is sought). We show that current semantic matchmaking techniques do not guarantee goal preservation. We also show an approach for overcoming these limits, which exploits the choreography definition. This work is based on an action-based rep- resentation of the operations of a service: each operation is described in terms of its preconditions and eects, without taking into account the ontology layer which is not functional to the aims of the work.
    Full-text · Conference Paper · Jan 2007
Show more