> Details

Lohmann, Niels [Author]; Massuthe, Peter [Author]; Stahl, Christian [Author]; Weinberg, Daniela [Author]

Analyzing Interacting BPEL Processes

Reference
management

Bookmarks

Remove from
bookmarks

Share this on Whatsapp

Close

Bookmarks



You can manage bookmarks using lists, please log in to your user account for this.
  • Media type: Electronic Conference Proceeding
  • Title: Analyzing Interacting BPEL Processes
  • Contributor: Lohmann, Niels [Author]; Massuthe, Peter [Author]; Stahl, Christian [Author]; Weinberg, Daniela [Author]
  • Published: Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, 2006-10-06
  • Language: English
  • DOI: https://doi.org/10.1007/11841760_3; https://doi.org/10.18452/9286
  • ISBN: 978-3-540-38901-9
  • ISSN: 0302-9743
  • Keywords: Business process modeling and analysis ; Process verification and validation ; Formal models in business process management ; Petri nets
  • Origination:
  • Footnote: Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
  • Description: This paper addresses the problem of analyzing the interaction between BPEL processes. We present a technology chain that starts out with a BPEL process and transforms it into a Petri net model. On the model we decide controllability of the process (the existence of a partner process, such that both can interact properly) and compute its operating guideline (a characterization of all properly interacting partner processes). A case study demonstrates the value of this technology chain. ; Peer Reviewed ; Lecture Notes in Computer Science, 4102, pp 17-32, Fourth International Conference on Business Process Management, Wien, 05.09.2006 - 07.09.2006
  • Access State: Open Access
  • Rights information: In Copyright