Improving the Automatic Derivation of Choreography-conforming Web Services Systems

We present DIEGO 2.0, a new version of our tool DIEGO. Given a WS-CDL choreography, it automatically ex-tracts a set of WS-BPEL web services such that, if these services interact with each other, they necessarily produce the behavior defined in the choreography even if the natural projection does not work. This is achieved by introducing some control messages which make services coordinate as expected. The main improvement with respect to the pre-vious version of the tool is that the number of these messages has been dramatically reduced. We formally define the new derivation, prove its correctness, and empirically compare the efficiency of new and former derivation algorithms. We also introduce other improvements of the new tool version, such as the testing engine.