ISSN:
0949-2925
Keywords:
Schlüsselwörter: Workflow-Management
;
verteilte Informationssysteme
;
Spezifikationsmethoden
;
Statecharts
;
Key words: Workflow management
;
distributed information systems
;
specification methods
;
state charts
;
CR Subject Classification: H.4 (Information Systems Applications)
;
H.4.1 (Office Automation)
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
Description / Table of Contents:
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.
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/s004500050075
Permalink