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

ABSTRACT 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.

0 Followers
 · 
105 Views
  • Source
    [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.
    8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), Budapest, Hungary, May 10-15, 2009, Volume 2; 01/2009
  • Source
    [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.
    2008 IEEE International Conference on Web Services (ICWS 2008), September 23-26, 2008, Beijing, China; 01/2008
  • Source
    [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.
    Proceedings of the 2nd ECOWS07 Workshop on Emerging Web Services Technology, WEWST 2007, Halle (Saale), Germany, November 26, 2007; 01/2007

Preview

Download
0 Downloads