DIEGO: A Tool for DerIving chorEoGraphy-cOnforming Web Service Systems | Publicación