Sciweavers

ICWS
2007
IEEE

Automated Choreographer Synthesis for Web Services Composition Using I/O Automata

14 years 18 days ago
Automated Choreographer Synthesis for Web Services Composition Using I/O Automata
We study the problem of synthesis of a choreogrpher in Web service composition for a given set of services and a goal. Services and goal are represented using i/o automata which can succinctly and precisely describe the interfaces of the services. Our technique considers existence and synthesis of two types of the choreographers: a simple choreographer capable of only relaying outputs from one service to input of another and a transducing choreographer which is capable of storing and reusing inputs/outputs from the services. The central theme of our technique relies on generating i/o automata representation of all possible choreographed behavior of existing services (captured in form of universal service automaton, a concept introduced in this paper) and verifying that the goal can be simulated by the universal set of choreographed behaviors.
Saayan Mitra, Ratnesh Kumar, Samik Basu
Added 29 Oct 2010
Updated 29 Oct 2010
Type Conference
Year 2007
Where ICWS
Authors Saayan Mitra, Ratnesh Kumar, Samik Basu
Comments (0)