Related Publications

In this section, the user can find the necessary publications for a complete understanding of the formal models and how the algorithms work:

G. Díaz and I. Rodríguez.
Checking the conformance of orchestrations with respect to choreographies in web services: A formal approach.
In International Conference FMOODS and FORTE (FMOODS/FORTE 2009). (FORTE2009.pdf)

G. Díaz and I. Rodríguez.
Automatically deriving choreography-conforming systems of services.
In IEEE International Conference on Services Computing (SCC 2009). (SCC2009.pdf)

Pablo Rabanal, José Antonio Mateo, Ismael Rodríguez, and Gregorio Díaz
DIEGO: A tool for DerIving chorEoGraphy-cOnforming web service systems
In IEEE International Conference on Web Services (ICWS 2011). (ICWS2011.pdf)

I. Rodríguez, G. Díaz, P. Rabanal and J. A. Mateo.
Improving the Automatic Derivation of Choreography-conforming Web Services Systems
Journal of Logic and Algebraic Programming, vol. 81, pp. 127-159, 2012.(JLAP2012.pdf)

P. Rabanal, J. A. Mateo, I. Rodríguez and G. Díaz, .
A centralized and a decentralized method to automatically derive choreography-conforming web service systems
International Conference on Computational Science (ICCS 2012).(ICCS2012.pdf)