The biconnected verification of workflow nets

Authors:
Artem Polyvyanyy;Matthias Weidlich;Mathias Weske
Affiliations:
Business Process Technology Group, Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany;Business Process Technology Group, Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany;Business Process Technology Group, Hasso Plattner Institute at the University of Potsdam, Potsdam, Germany
Venue:
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Year:
2010

Citing 12
Cited 0

Transformations and decompositions of nets

Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Free choice Petri nets

Free choice Petri nets
Algorithm 447: efficient algorithms for graph manipulation

Communications of the ACM
A Linear Time Implementation of SPQR-Trees

GD '00 Proceedings of the 8th International Symposium on Graph Drawing
Verification of Workflow Nets

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques

Business Process Management, Models, Techniques, and Empirical Studies
Tool Support for Verifying UML Activity Diagrams

IEEE Transactions on Software Engineering
Faster and More Focused Control-Flow Analysis for Business Process Models Through SESE Decomposition

ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
Instantaneous Soundness Checking of Industrial Business Process Models

BPM '09 Proceedings of the 7th International Conference on Business Process Management
A feature-complete Petri net semantics for WS-BPEL 2.0

WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Simplified computation and generalization of the refined process structure tree

WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Efficient computation of causal behavioural profiles using structural decomposition

PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

Formal representations of business processes are used for analysis of the process behavior. Workflow nets are a widely used formalism for describing the behavior of business processes. Structure theory of processes investigates the relation between the structure of a model and its behavior. In this paper, we propose to employ the connectivity property of workflow nets as an angle to their structural analysis. In particular, we show how soundness verification can be organized using biconnected components of a workflow net. This allows for efficient identification and localization of flaws in the behavior of workflow nets and for supporting process analysts with diagnostic information.