Analyse Von Web Service-Spezifikationen Zur Unterst Tzung Von Transaktionen In Gesch Ftsprozessen door Filip Karst