doi dblp Declarative specification and verification of service choreographiess Marco Montali | Maja Pesic | Wil M. P. van der Aalst | Federico Chesani | Paola Mello | Sergio Storari 2010 Volume 4 Issue 1