Original Article

Informatik - Forschung und Entwicklung

, Volume 20, Issue 1, pp 90-101

First online:

Kommunizierende Workflow-Services modellieren und analysieren

  • Wolfgang ReisigAffiliated withInstitut für Informatik, Humboldt-Universität zu Berlin Email author 
  • , Karsten SchmidtAffiliated withInstitut für Informatik, Humboldt-Universität zu Berlin
  • , Christian StahlAffiliated withInstitut für Informatik, Humboldt-Universität zu Berlin

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.

Keywords

Petri nets Open workflow nets Workflow services BPEL Controllability