Sciweavers

ICSOC
2009
Springer

An Automatic Approach to Enable Replacement of Conversational Services

13 years 10 months ago
An Automatic Approach to Enable Replacement of Conversational Services
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of the research efforts supporting this replacement assume that the interface of the interchangeable services are the same and known at design time. Such assumption is not realistic since it implies that providers of the same kinds of services agree on the interfaces the services offer. By interface mapping we mean the class of approaches aiming at relaxing this assumption. Most of those approaches available in the literature focus on stateless services and simply address mapping operation names and data structures. Instead, this paper focuses on conversational services for which the sequence of required operation calls, i.e., the interaction protocol, matters. We use model checking to automatically identify the interaction protocols mapping. We validate our technique both by applying it to the invocation of two...
Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradel
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where ICSOC
Authors Luca Cavallaro, Elisabetta Di Nitto, Matteo Pradella
Comments (0)