, Volume 20, Issue 1-2, pp 90-101
Date: 21 Sep 2005

Kommunizierende Workflow-Services modellieren und analysieren

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access

Zusammenfassung

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.

Abstract

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.

CR Subject Classification

I.2.2,H.3.5,D.2.2,D.2.4