Komponentensysteme besitzen ebenso wie Service-orientierte Architekturen große Vorteile bei der Erstellung von Anwendungen aus vielen beziehungsweise unbekannten Komponenten (Services). Service-orientierte Architekturen werden häufig genutzt, um Arbeitsabläufe zu integrieren. Leider ist es nicht möglich, die Errungenschaften bei der Sicherstellung von Funktionalität von imperativen beziehungsweise objektorientierten Programmen - z. B. Optimierungen, Vorhersage von Verhalten etc. - zu integrieren. Da die Komponenten häufig unbekannt sind und der Quellcode nicht zugreifbar ist, fehlt einerseits eine Möglichkeit des Vorhersagens von dem Verhalten einer Komponente. Andererseits ist es nur sehr schwer möglich, Anwendungen zu implementieren, deren Funktionalität bereits bei der Konfiguration der Komponenten abgesichert werden kann. Darüber hinaus implementieren Komponenten häufig einen eigenen Geschäftsprozess. Theoretisch ist die Vorhersage des Verhaltens nur bei zustandlosen Komponenten mit exakt einer Schnittstelle problemlos möglich, praktisch resultiert aus diesen Eigenschaften ein erhöhter Testaufwand. Die Funktionalität von Komponentensystemen und Service-orientierten Architekturen kann also nicht auf traditionelle Art und Weise sichergestellt werden. In dieser Arbeit stellen wir einen An- satz vor, der sicherstellen kann, dass die vorgesehenen Workflows eingehalten werden.