Page 11 -
P. 11
xii Contents
12 The Declare Service ..........................................................327
Maja Pesic, Helen Schonenberg, and Wil van der Aalst
12.1 Introduction ...........................................................327
12.2 Service Architecture ..................................................328
12.3 Constraint Templates .................................................330
12.4 Constraint Workflow Models .........................................330
12.5 Verification of Constraint Models ....................................333
12.6 Execution of Constraint Model Instances............................333
12.7 Optional Constraints ..................................................336
12.8 Dynamic Instance Change............................................337
12.9 Decompositions of YAWL and Declarative Workflows .............339
12.10 Conclusions ...........................................................341
Part VI Positioning
13 The Business Process Modeling Notation ..................................347
Gero Decker, Remco Dijkman, Marlon Dumas,
and Luciano Garc´ıa-Ba˜nuelos
13.1 Introduction ...........................................................347
13.2 BPMN .................................................................348
13.3 Mapping BPMN to YAWL ...........................................355
13.4 Tool Support ..........................................................364
13.5 Summary ..............................................................365
14 EPCs ...........................................................................369
Jan Mendling
14.1 Introduction ...........................................................369
14.2 Event-Driven Process Chains.........................................370
14.3 Pattern Comparison of YAWL and EPCs ............................372
14.4 Mapping EPCs to YAWL .............................................373
14.5 Mapping YAWL to EPCs .............................................374
14.6 Transformation by Synthesis .........................................379
14.7 Conclusion ............................................................381
15 The Business Process Execution Language ................................385
Chun Ouyang, Marlon Dumas, and Petia Wohed
15.1 Introduction ...........................................................385
15.2 Overview of BPEL through the YAWL Prism .......................387
15.3 Workflow Patterns Support ...........................................394
15.4 Epilogue ...............................................................398
16 Open Source Workflow Systems ............................................401
Petia Wohed, Birger Andersson, and Paul Johannesson
16.1 Introduction ...........................................................401
16.2 OpenWFEru: Ruote...................................................401
