Zusammenfassung.
Der Artikel diskutiert die Spezifikation, Verifikation und verteilte Ausführung von Workflows mit Hilfe von State- und Activitycharts. Die formale Fundierung der State- und Activitycharts wird auf drei Ebenen ausgenutzt. Auf der Spezifikationsebene erzwingt der verwendete Formalismus präzise Beschreibungen von Geschäftsprozessen, läßt jedoch ebenfalls spätere Verfeinerungen zu. Darüber hinaus können Spezifikationen, die mit anderen Methoden erstellt wurden, weitgehend automatisch auf State- und Activitycharts abgebildet werden. Auf der Ebene der Verifikation kritischer Workflow-Eigenschaften eröffnen Statecharts die Anwendung der effizienten Methode des Modellprüfens. Auf der Ausführungsebene schließlich können aus einer Spezifikation verteilt ausführbare Komponenten generiert werden. Im Rahmen des MENTOR-Projekts wurde eine alle drei Ebenen umfassende Umgebung für die Spezifikation, Verifikation und verteilte Ausführung von Workflows realisiert.
Abstract.
This article presents an approach to the specification, verification, and distributed execution of workflows based on state and activity charts. The formal foundation of state and activity charts is exploited at three levels. At the specification level, the formalism enforces precise descriptions of business processes while also allowing subsequent refinements. In addition, precise specifications based on other methods can be automatically converted into state and activity charts. At the level of verification, state charts are amenable to the efficient method of model checking, to verify particularly critical workflow properties. Finally, at the execution level, a state chart specification forms the basis for the automatic generation of modules that can be directly executed in a distributed manner. Within the MENTOR project, a coherent prototype system has been built that comprises all three levels: specification, verification, and distributed execution.
Author information
Authors and Affiliations
Additional information
Eingegangen am 23. August 1996/Angenommen am 4. Februar 1997
Rights and permissions
About this article
Cite this article
Weikum, G., Wodtke, D., Dittrich, A. et al. Spezifikation, Verifikation und verteilte Ausführung von Workflows in MENTOR. Informatik Forsch Entw 12, 61–71 (1997). https://doi.org/10.1007/s004500050075
Issue Date:
DOI: https://doi.org/10.1007/s004500050075