Page 12 -

Contents xiii
16.3 jBPM ..................................................................411
16.4 Enhydra Shark ........................................................422
16.5 Epilogue ...............................................................431

Part VII Advanced Topics

17 Process Mining and Simulation .............................................437
Moe Wynn and Anne Rozinat and Wil van der Aalst and
Arthur ter Hofstede, and Colin Fidge
17.1 Introduction ...........................................................437
17.2 Payment Process ......................................................437
17.3 Process Mining and YAWL...........................................438
17.4 Process Simulation and YAWL.......................................443
17.5 Conclusion ............................................................454

18 Process Configuration ........................................................459
Florian Gottschalk and Marcello La Rosa
18.1 Introduction ...........................................................459
18.2 How Does Process Configuration Work? ............................460
18.3 Configuring YAWL Models ..........................................462
18.4 Steering Process Configuration Through Questionnaires ...........468
18.5 Applying Configuration Decisions to YAWL Models...............474
18.6 Tool Support ..........................................................480
18.7 Summary ..............................................................483

19 Process Integration ...........................................................489
Lachlan Aldred
19.1 Introduction ...........................................................489
19.2 Coupling Dimensions.................................................495
19.3 Batch Messaging ......................................................501
19.4 Seeking Feedback: Bidirectional Interactions .......................502
19.5 Composed Interactions ...............................................504
19.6 Event-based Process Patterns.........................................506
19.7 Transformations .......................................................507
19.8 Process Discovery.....................................................508
19.9 Conclusion ............................................................509

20 Verification ....................................................................513
Eric Verbeek and Moe Wynn
20.1 Introduction ...........................................................513
20.2 Preliminaries ..........................................................514
20.3 Soundness of YAWL Models.........................................517
20.4 Soundness-Preserving Reduction Rules .............................521
20.5 Structural Invariant Properties........................................533