Local and On-the-Fly Choreography-Based Web Service Composition

The authors present a goal-directed, local and on-the-fly algorithm for verifying the existence of and synthesizing a choreographer for Web service composition. They use i/o-automata to represent the (existing/component) services, the desired functionality of the composition, and a choreographer to achieve the desired service by composing the existing ones. As is the case with the prior work, choreographer existence and synthesis are typically performed by identifying all possible compositions realizable from the existing services and verifying whether one such composition conforms to the desired required functionality.

Provided by: Iowa State University Topic: Software Date Added: Jan 2011 Format: PDF

Find By Topic