Local Enforceability in Interaction Petri Nets

  • Gero Decker
  • Mathias Weske
Conference paper

DOI: 10.1007/978-3-540-75183-0_22

Part of the Lecture Notes in Computer Science book series (LNCS, volume 4714)
Cite this paper as:
Decker G., Weske M. (2007) Local Enforceability in Interaction Petri Nets. In: Alonso G., Dadam P., Rosemann M. (eds) Business Process Management. BPM 2007. Lecture Notes in Computer Science, vol 4714. Springer, Berlin, Heidelberg

Abstract

In scenarios where a set of independent business partners engage in complex conversations, global interaction models are a means to specify the allowed interaction behavior from a global perspective. In these models atomic interactions serve as basic building blocks and behavioral dependencies are defined between them. Global interaction models might not be locally enforceable, i.e. they specify constraints that cannot be enforced during execution without additional synchronization interactions. As this property has only been defined textually so far, this paper presents a formal definition. For doing so, this paper introduces interaction Petri nets, a Petri net extension for representing global interaction models. Algorithms for deriving the behavioral interface for each partner and for enforceability checking are provided.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Gero Decker
    • 1
  • Mathias Weske
    • 1
  1. 1.Hasso-Plattner-Institute, University of PotsdamGermany

Personalised recommendations