Bedienbarkeit
- Ansprechpartner: Karsten Schmidt, Peter Massuthe
- Zusammenarbeit: Axel Martens
- Mitarbeiter: Daniela Weinberg, Christian Stahl
Unternehmensübergreifende Geschäftsprozesse werden zunehmend nach dem Paradigma der Services organisiert. Dabei stellt sich neben der Frage der lokalen Korrektheit eines veröffentlichten Services auch die Frage, ob es überhaupt Partnerservices gibt, die mit dem Service vernünftig zusammenarbeiten können. Gibt es solche Partner, so heißt der Service bedienbar, gibt es solche Partner nicht, so heißt er nicht bedienbar.
In diesem Forschungsschwerpunkt werden Methoden und Werkzeuge zum Umgang mit der Frage nach der Bedienbarkeit eines Services entwickelt. Als Modellierungsmethoden verwenden wir Petrinetze.
Es wird die Bedienbarkeit unter verschiedenen Dimensionen betrachtet, u.a.:
- Ist der untersuchte Service azyklisch oder hat er Zyklen?
- Interagiert er mit einem oder mit mehreren Partnern?
- Welche Terminierungsforderung stellt man an die Interaktion?
Prototypische Implementationen zur Entscheidung der Bedienbarkeit sind am Lehrstuhl entwickelt worden: Wombat4WS
Aktuell: Die Entwicklung der Algorithmen und Werkzeuge wird im Projekt Tools4BPEL weitergeführt. Interessierte Studenten sind zur Mitarbeit in diesem Projekt eingeladen.
Publikationen
Theorie der Programmierung | Kontakt | zuletzt geändert am 27.07.2010 12:58