Data-aware automatic derivation of choreography-conforming systems of services | Publicación