Verifikation von Webservicekompositionen:

Webservicekompositionen koordinieren Webservices verschiedener Unternehmen. Es wird erwartet, dass sie die Grundlage serviceorientierter Architekturen bilden, Geschäftsprozesse verbessern sowie zur Förderung intra- und interorganisatorischer Integration beitragen. Vor allem in interorganisatorischen Kontexten stellen die Dienstqualität bezogen auf nichtfunktionale Anforderungen und die Konformität mit funktionalen Anforderungen zunehmend wichtige Merkmale dar. Da Webservicekompositionen asynchrone und verteilte Systeme sind, kann die zweite – auch als Korrektheit bezeichnete – Eigenschaft am besten mittels Verifikation nachgewiesen werden. Dieser Beitrag untersucht aus systemtheoretischer Perspektive, wie der Korrektheitsbegriff für Webservicekompositionen konkretisiert werden kann. Außerdem wird ein Anforderungsframework für serviceorientierte Modellierungsansätze vorgeschlagen, sodass Korrektheit durch Verifikation gezeigt werden kann und Webservicekompositionen intuitiv modelliert werden können. Um die prinzipielle Anwendbarkeit des Frameworks zu demonstrieren, wird ein beispielhafter Ansatz in Bezug auf die Anforderungen des Frameworks analysiert.