Gero Decker Oliver Kopp Frank Leymann Mathias Weske Interacting services: From specification to execution. 946-972 2009 68 Data Knowl. Eng. 10 http://dx.doi.org/10.1016/j.datak.2009.04.003 db/journals/dke/dke68.html#DeckerKLW09