Leading the World in Process Innovation  

     
 

Articles

Exception Handling and Dynamic Workflow

W.M.P van der Aalst, M. Adams, A.H.M. ter Hofstede, M. Pesic, and H. Schonenberg
Flexibility as a Service
BPM Center Report BPM-08-09, BPMcenter.org, 2008.

Michael Adams, Arthur H.M. ter Hofstede, Wil M.P. van der Aalst, and David Edmond.
Dynamic, Extensible and Context-Aware Exception Handling for Workflow. (PDF, 435Kb)
Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS 2007), Vilamoura, Algarve, Portugal, November 2007. Springer Verlag.

Michael Adams
Facilitating Dynamic Flexibility and Exception Handling for Workflows (PDF, 3.23Mb)
PhD Thesis, Queensland University of Technology, May 2007

M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
Dynamic and Extensible Exception Handling for Workflows: A Service-Oriented Implementation. (PDF, 311Kb)
BPM Center Report BPM-07-03, BPMcenter.org, 2007.

Michael Adams, Arthur ter Hofstede, David Edmond, W.M.P. van der Aalst.
Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. (PDF, 278Kb)
Proceedings of the 14th International Conference on Cooperative Information Systems (CoopIS 06), Montpellier, France, November, 2006.

M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
Implementing Dynamic Flexibility in Workflows using Worklets. (PDF, 346Kb)
BPM Center Report BPM-06-06, BPMcenter.org, 2006

Michael Adams, Arthur H. M. ter Hofstede, David Edmond and Wil M.P. van der Aalst.
Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets.
In Proceedings of the 17th Conference on Advanced Information Systems Engineering Forum (CAiSE05 Forum), June 2005, Porto, Portugal. Springer Verlag

Michael Adams, Arthur ter Hofstede, David Edmond, W.M.P. van der Aalst
Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets. (PDF, 156 Kb)
QUT Technical Report, FIT-TR-2004-03, Queensland University of Technology, Brisbane, 2004.

Michael Adams, David Edmond and Arthur H. M. ter Hofstede.
The Application of Activity Theory to Dynamic Workflow Adaptation Issues.
In Proceedings of the Seventh Pacific Asia Conference on Information Systems (PACIS-2003), July 2003, Adelaide, Australia, p 1836 - 1852.

Language

Nick Russell, Arthur H.M. ter Hofstede, and Wil M.P. van der Aalst.
newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets. (PDF, 332Kb)
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 2007.

Nick Russell
Foundations of Process-Aware Information Systems. (PDF, 2.88Mb)
PhD Thesis, Queensland University of Technology, June 2007

W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language.
Information Systems , 30(4):245-275, 2005.

W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language (Revised version). (PDF, 336 Kb)
QUT Technical report, FIT-TR-2003-04, Queensland University of Technology, Brisbane, 2003.

W.M.P. van der Aalst and A.H.M. ter Hofstede.
YAWL: Yet Another Workflow Language. (PDF, 279 Kb)
QUT Technical report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002.

W.M.P. van der Aalst and A.H.M. ter Hofstede.
Workflow Patterns: On the Expressive Power of (Petri-net-based) Workflow Languages. (PDF, 111 Kb)
In K. Jensen, editor, Proceedings of the Fourth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2002), volume 560 of DAIMI, pages 1?20, Aarhus, Denmark, August 2002. University of Aarhus.

System

Massimiliano de Leoni, Wil M.P. van der Aalst and Arthur H.M. ter Hofstede.
Visual Support for Work Assignment in Process-Aware Information Systems. (PDF, 703Kb)
Proceedings of the 6th International Conference on Business Process Management (BPM08), Milan, Italy, September 2008.

M. de Leoni, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
Visual Support for Work Assignment in Process-aware Information Systems: Framework, Formalization, Operationalisation
.
BPM Center Report BPM-08-06, BPMcenter.org, 2008.

W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Design and Implementation of the YAWL system. (PDF, 288 Kb)
Proceedings of The 16th International Conference on Advanced Information Systems Engineering (CAiSE 04), Riga, Latvia, June 2004. Springer Verlag.

W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Design and Implementation of the YAWL System. (PDF, 185 Kb)
QUT Technical Report, FIT-TR-2003-07, Queensland University of Technology, Brisbane, 2003.

Verification

Moe T. Wynn, H.M.W. Verbeek, Wil M.P. van der Aalst, Arthur H.M. ter Hofstede, and David Edmond.
Business Process Verification - Finally a Reality!
Business Process Management Journal. (to appear)

W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn.
Soundness of Workflow Nets: Classification, Decidability, and Analysis.
BPM Center Report BPM-08-02
, BPMcenter.org, 2008.

H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants.
The Computer Journal
50(3):294-314, 2007.

H.M.W. Verbeek, M.T. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
Reduction Rules for Reset/Inhibitor Nets
.
BPM Center Report BPM-07-13, BPMcenter.org, 2007.

M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond.
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis. (PDF, 634Kb)
BPM Center Report BPM-06-12, BPMcenter.org, 2006.

Moe Thandar Wynn
Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins (PDF, 9.18MB)
PhD Thesis, Queensland University of Technology, Nov 2006

H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants. (PDF, 461Kb)
BPM Center Report BPM-06-01 , BPMcenter.org, 2006.

Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede.
Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. (PDF, 491 Kb)
Proceedings of the 26th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency, Miami, Florida, June 2005. Springer Verlag.

Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede.
Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets. (PDF, 405 Kb)
QUT Technical report, FIT-TR-2004-02, Queensland University of Technology, Brisbane, 2004.

Simulation

A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge.
Workflow Simulation for Operational Decision Support using Design, Historic and State Information
.
Proceedings of the 6th International Conference on Business Process Management (BPM 2008) , Milan, Italy, September 1-4 2008. Springer Verlag.

A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge.
Workflow Simulation for Operational Decision Support using YAWL and ProM.
BPM
Center Report BPM-08-04, BPMcenter.org, 2008.

M.T. Wynn, M. Dumas, C.J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Business Process Simulation for Operational Decision Support.
Proceedings of the 3rd Workshop on Business Process Intelligence (BPI 2007), Brisbane, Australia, 25-27 September 2007. Springer Verlag.

M.T. Wynn, M. Dumas, C.J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Business Process Simulation for Operational Decision Support
.
BPM Center Report BPM-07-14, BPMcenter.org, 2007.

Administration and Monitoring

Saphira Heijens.
Support for Workflow Administration and Monitoring in the YAWL Environment,
Master Thesis Information Science, Free University Amsterdam, 2005.

YAWL4film

Chun Ouyang, Arthur ter Hofstede, Marcello La Rosa, Michael Rosemann, Katherine Shortland and David Court.
Camera, Set, Action: Automating Film Production via Business Process Management.
In Proceedings of International Conference "Creating Value: Between Commerce and Commons" 2008 (a pre-print can be downloaded here)

Chun Ouyang, Marcello La Rosa, Arthur ter Hofstede, Marlon Dumas, and Katherine Shortland.
Towards Web-Scale Workflows for Film Production.
In IEEE Internet Computing, September/October 2008 (a pre-print can be downloaded here)

Declarative Workflow