Covering Places and Transitions in Open Nets

Christian Stahl and Karsten Wolf. Covering Places and Transitions in Open Nets. In Marlon Dumas and Manfred Reichert, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1–4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 116-131. Springer-Verlag, September 2008.

Authors

  • paper by Christian Stahl and Karsten Wolf

  • to be presented at BPM 2008 by Christian Stahl

Abstract

We present a finite representation of all services M where the composition with a given service N is deadlock-free, and a given set of activities of N can be covered (\i.e. is not dead). Our representation is an extension of the existing notion of an operating guideline which only cared about deadlock freedom. We further present an algorithm to decide whether a service M matches with the extended operating guideline of N.

Key words: process modeling and analysis, SOA, Petri nets, operating guidelines

Downloads

The slides will be published here after the talk.

Case Study/Experimental Results

For all examples provided on this side, you need the Fiona version provided further down on this page using the following commands. First, we compute the operating guideline with global constraint for a given open net N.owfn and a file N.owfn.cov containing the nodes of N to be covered:

fiona -t og -p cover N.owfn N.owfn.cov

Using

fiona -t og -p cover -s coverall N.owfn

an operating guideline is computed that shows for each OG node which nodes of N are covered. To check whether a given open net M.owfn is a cover_X-strategy for an open net N.owfn (where X is the set containing the nodes of N to be covered) we need to calculate the operating guideline with constraint N.owfn.covog for N using the -s empty option and then check whether M.owfn matches with N.owfn.covog

fiona -t og -p cover -s empty N.owfn N.owfn.cov

fiona -t match -p cover N.owfn.covog M.owfn

You can download the example files used in the paper. Unfortunately, there is an error in the paper: Neither M1.owfn nor M2.owfn are cover_X-strategies for Nc.owfn in case X = {t5,t6}. You can check it using Fiona. Therefore, we added an open net M3.owfn into the zip file which is a cover_X-strategy for Nc.owfn.

Fiona used for running the example

  • Fiona Version 3.1:

  • Source Tarball (run ./configure; make; make install in order to build a version suitable for your system)

Referenced Tools

  • BPEL2oWFN (to transform a BPEL process in an open net)

  • Fiona (to calculate the operating guideline for a service, specified as an open net)

BibTeX

@inproceedings{StahlW_2008_bpm,

Author = {Christian Stahl and Karsten Wolf},

Booktitle = {Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1--4, 2008, Proceedings},

Editor = {Marlon Dumas and Manfred Reichert},

Month = sep,

Pages = {116-131},

Publisher = {Springer-Verlag},

Series = {Lecture Notes in Computer Science},

Volume = {5240},

Title = {Covering Places and Transitions in Open Nets},

Year = {2008}}