Table of Contents

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

Userful Websites