A centralized and a decentralized method to automatically derive choreography-conforming web service systems | Publicación