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.

• Type: Conference
• Year: 2007
• Where: ICWS
• Authors: Saayan Mitra, Ratnesh Kumar, Samik Basu
• Keywords: I/O Automata, ICWS 2007, Internet Technology, Technique Considers Existence, Web Service Composition