Zur adäquaten Nutzung von Workflow-Implementierungen kommunizierender Geschäftsprozesse werden Konzepte vorgeschlagen, die
von konkreten Implementierungen abstrahieren. Auf der Basis von Petrinetzen werden unterschiedliche Varianten der
Bedienbarkeit von Workflows charakterisiert und dafür Entscheidungsalgorithmen vorgestellt. Die Angemessenheit des Ansatzes wird am Beispiel
der Semantik von Komponenten der Geschäftsprozess-Modellierungssprache
BPEL demonstriert.
We consider workflow implementations of communicating business processes. We propose theoretic concepts for their adequate
use. Based on a class of Petri nets, we characterize different versions of
usability (or
controllability) of workflows and present decision procedures for these properties. Through a Petri net semantics for the web service description
language BPEL, we link our concepts to a practically relevant domain.
Keywords Petri nets - Open workflow nets - Workflow services - BPEL - Controllability
CR Subject Classification I.2.2,H.3.5,D.2.2,D.2.4