Modern Business Process Management

Part I Introduction

1 Introduction
Wil van der Aalst, Michael Adams, Arthur ter Hofstede, and
Nick Russell
1.1 Overview
1.2 On the Role of Models in BPM
1.3 BPM Standard Approaches
1.4 The Workflow Patterns Initiative
1.5 Petri Nets and Workflow Nets
1.6 The Emergence of YAWL
1.7 A Brief Overview of YAWL
1.8 Positioning of YAWL
1.9 Overview of the Book

Part II Concepts

2 The Language: Rationale and Fundamentals
Nick Russell and Arthur ter Hofstede
2.1 Introduction
2.2 Workflow Patterns
2.3 Formal Foundation
2.4 Control-flow
2.5 Data
2.6 Resources
2.7 Syntax
2.8 Working Example
2.9 Conclusion

3 Advanced Synchronization
Moe Wynn, Wil van der Aalst, and Arthur ter Hofstede
3.1 Introduction
3.2 The OR-join Semantics
3.3 Motivation
3.4 Operationalizing the OR-join
3.5 Conclusion

Part III Flexibility and Change

4 DynamicWorkflow
Michael Adams
4.1 Introduction
4.2 YAWL and Dynamic Workflow
4.3 Worklets: Theoretical Basis
4.4 Conceptualization of Worklets
4.5 Context, Rules and Worklet Selection
4.6 The Selection Process
4.7 Service Interface
4.8 Secondary Data Sources
4.9 Conclusion

5 Exception Handling
Michael Adams and Nick Russell
5.1 Overview
5.2 A General Framework for Exception Handling
5.3 YAWLeX: a Graphical Exception Handling Language
5.4 Exception Handling in YAWL
5.5 Epilogue

6 Declarative Workflow
Maja Pesic, Helen Schonenberg, and Wil van der Aalst
6.1 Introduction
6.2 Constraint-Based Workflow Specification
6.3 Enactment of Constraint Model Instances
6.4 Dynamic Instance Change
6.5 Conclusions

Part IV The Core System

7 The Architecture
Michael Adams, Marlon Dumas and Marcello La Rosa
7.1 Architectural and Implementation Considerations
7.2 A 3-Tier View of the YAWL System
7.3 YAWL Services and Interfaces
7.4 Summary

8 The Design Environment
Stephan Clemens, Marcello La Rosa and Arthur ter Hofstede
8.1 Introduction
8.2 Setting up the Process Control Logic
8.3 Defining Data Aspects
8.4 Assigning Human Resources to the Process
8.5 Error Reporting
8.6 XML-based Specification File
8.7 Summary

9 The Runtime Environment
Michael Adams
9.1 Introduction
9.2 Basic Operations
9.3 Internal Architecture
9.4 The Life-Cycle of a Case
9.5 The Life-Cycle of a Work item
9.6 Persistence
9.7 Logging
9.8 Summary

Part V Services

10 The Resource Service
Michael Adams
10.1 Introduction
10.2 Functional Overview
10.3 Organizational Model
10.4 Architecture
10.5 Initial Distribution
10.6 Privileges
10.7 The Worklist
10.8 Conclusion

11 The Worklet Service
Michael Adams
11.1 Introduction
11.2 Service Overview
11.3 Service Oriented Architecture
11.4 Worklet Service Architecture
11.5 Service Installation and Configuration
11.6 Worklet Process Definition
11.7 Exlet Process Definition
11.8 Ripple-Down Rule Sets
11.9 Extending the Available Conditionals
11.10 The Rules Editor

12 The Declare Service
Maja Pesic, Helen Schonenberg, and Wil van der Aalst
12.1 Introduction
12.2 Service Architecture
12.3 Constraint Templates
12.4 Constraint Workflow Models
12.5 Verification of Constraint Models
12.6 Execution of Constraint Model Instances
12.7 Optional Constraints
12.8 Dynamic Instance Change
12.9 Decompositions of YAWL and Declarative Workflows
12.10 Conclusions

Part VI Positioning

13 The Business Process Modeling Notation
Gero Decker, Remco Dijkman, Marlon Dumas, and Luciano Garcia-Banuelos
13.1 Introduction
13.2 BPMN
13.3 Mapping BPMN to YAWL
13.4 Tool Support
13.5 Summary

14 EPCs
Jan Mendling
14.1 Introduction
14.2 Event-Driven Process Chains
14.3 Pattern Comparison of YAWL and EPCs
14.4 Mapping EPCs to YAWL
14.5 Mapping YAWL to EPCs
14.6 Transformation by Synthesis
14.7 Conclusion

15 The Business Process Execution Language
Chun Ouyang, Marlon Dumas, and Petia Wohed
15.1 Introduction
15.2 Overview of BPEL through the YAWL Prism
15.3 Workflow Patterns Support
15.4 Epilogue

16 Open SourceWorkflow Systems
Petia Wohed, Birger Andersson, and Paul Johannesson
16.1 Introduction
16.2 OpenWFEru – Ruote
16.3 jBPM
16.4 Enhydra Shark
16.5 Epilogue

Part VII Advanced Topics

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

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

19 Process Integration
Lachlan Aldred
19.1 Introduction
19.2 Coupling Dimensions
19.3 Batch Messaging
19.4 Seeking Feedback: Bi-directional Interactions
19.5 Composed Interactions
19.6 Event-based Process Patterns
19.7 Transformations
19.8 Process Discovery
19.9 Conclusion

20 Verification
Eric Verbeek and Moe Wynn
20.1 Introduction
20.2 Preliminaries
20.3 Soundness of YAWL Models
20.4 Soundness-Preserving Reduction Rules
20.5 Structural Invariant Properties
20.6 Tools
20.7 Concluding Remarks

Part VIII Case Studies

21 YAWL4Healthcare
Ronny Mans, Wil van der Aalst, Nick Russell, Arnold Moleman, Piet
Bakker, and Monique Jaspers
21.1 Introduction
21.2 Healthcare Processes
21.3 Gynecological Oncology
21.4 Realization
21.5 Conclusions

22 YAWL4Film
Chun Ouyang
22.1 Introduction
22.2 Overview of Film Production Processes
22.3 YAWL4Film Design and Implementation
22.4 YAWL4Film Deployment
22.5 Pilot Applications: Rope Burn and Family Man
22.6 Epilogue
Exercises

Part IX Epilogue

23 Epilogue
Wil van der Aalst, Michael Adams, Arthur ter Hofstede, and Nick Russell
23.1 Overview
23.2 Positioning of YAWL
23.3 Analysis
23.4 Next Steps

Part X Appendices

A The Order Fulfillment Process Model
Marcello La Rosa, Stephan Clemens and Arthur ter Hofstede
A.1 Introduction
A.2 Overall Process
A.3 Ordering
A.4 Carrier Appointment
A.5 Payment
A.6 Freight in Transit
A.7 Freight Delivered
A.8 Showcased YAWL features
A.9 Setup

B Mathematical Notation
Nick Russell

C The Original Workflow Patterns
Nick Russell

References

Index

Cited Author Index

Acronyms

UsefulWebsites