10.18452/9281
Reisig, Wolfgang
Schmidt, Karsten
Stahl, Christian
Kommunizierende Workflow-Services modellieren und analysieren
Humboldt-Universität zu Berlin
2005
Petri nets
Open workflow nets
Workflow services
BPEL
Controllability
004 Informatik
Humboldt-Universität zu Berlin
Humboldt-Universität zu Berlin
2017-06-17
2017-06-17
2007-03-20
2005-10-01
2005-10-01
0949-2925
http://edoc.hu-berlin.de/oa/articles/reuDHquyIRN2/PDF/21mLP6gktqRd2.pdf
http://edoc.hu-berlin.de/18452/9933
urn:nbn:de:kobv:11-10076189
10.1007/s00450-005-0209-5
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.