Automated Instantiation and Extraction of Web Service Choreographies

Service choreographies describe the interactions that take place in a distributed service collaboration without central entity orchestrating these interactions. It is obvious that each partner will execute parts of the choreography to fulfill the global collaborative effort. This paper focuses on translating the global choreography to local projections at design time. These projections need to be implemented by each participating partner. The process is decomposed in two steps: instantiation and extraction. In the instantiation step the abstraction levels are automatically determined, ranging from the choreography level to its smallest building blocks, the channel instances. In the extraction step, we present a way to map these channel instances to WS-BPEL. It is shown that this results in small WS-BPEL processes with a very straightforward correlation set, allowing for even resource-limited devices to participate in the choreography.