Dieses Projekt wird von der Deutschen Forschungsgemeinschaft (DFG) finanziert.
In diesem Projektvorhaben untersuchen wir die Frage, wann ein Service in einer Service-Orientierten Architektur gegen einen anderen, für gewisse Zwecke geeigneteren Service ausgetauscht werden kann. Diese Frage studieren wir zunächst anhand von Modellen von Services. Diese Modelle berücksichtigen insbesondere das Konzept der Bedienungsanleitung eines Services P als abstrakte Beschreibung der Möglichkeiten, P zu bedienen. Die Resultate der Modellierungsebene werden algorithmisch unterlegt und prototypisch implementiert.
Wir wollen drei Ziele in diesem Projektvorhaben erreichen:
Eigenschaften der Austauschbarkeit charakterisieren:
Wir untersuchen welche Eigenschaften E betrachtet werden müssen, wenn ein Service S gegen einen Service S’ ausgetauscht wird. Eigenschaften werden durch den Austausch bewahrt oder gewonnen. Diese Eigenschaften sind zu klassifizieren. Für jede Eigenschaft E entsteht so kanonisch ein Begriff „Austauschbarkeit unter E“.
Austauschbarkeitsbegriffe algorithmisch unterlegen:
Wir erweitern das Modell der offenen Workflownetze (oWFNs) und die Theorie der Bedienungsanleitungen um Konzepte zur adäquaten Wiederspiegelung der identifizierten Eigenschaften. Wir erarbeiten für jeden Austauschbarkeitsbegriff Entscheidungs- und Konstruktionsalgorithmen.
Entscheidungs- und Konstruktionsaufgaben effizient lösen:
Die entwickelten Algorithmen sind exakt aber nicht effizient. Deshalb erarbeiten wir hinreichende Kriterien, um die Austauschbarkeit von P gegen P’ unter E effizient auf der Struktur der oWFNs zu entscheiden.
Universität:
Industrie: