Publications
Exception Handling and Dynamic Workflow
Flexibility as a Service
W.M.P van der Aalst, M. Adams, A.H.M. ter Hofstede, M. Pesic, and H. Schonenberg
BPM Center Report BPM-08-09, BPMcenter.org, 2008.
Dynamic, Extensible and Context-Aware Exception Handling for Workflow
Michael Adams, Arthur H.M. ter Hofstede, Wil M.P. van der Aalst, and David Edmond.
Proceedings of the 15th International Conference on Cooperative Information Systems
(CoopIS 2007), Vilamoura, Algarve, Portugal, November 2007.
Springer Verlag.
Facilitating Dynamic Flexibility and Exception Handling for Workflows
Michael Adams
PhD Thesis, Queensland University of Technology, May 2007
Dynamic and Extensible Exception Handling for Workflows: A Service-Oriented Implementation
M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
BPM Center Report BPM-07-03, BPMcenter.org, 2007.
Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows
Michael Adams, Arthur ter Hofstede, David Edmond, W.M.P. van der Aalst.
Proceedings of the 14th International Conference on Cooperative Information Systems
(CoopIS 06), Montpellier, France, November, 2006.
Implementing Dynamic Flexibility in Workflows using Worklets
M. Adams, A.H.M. ter Hofstede, D. Edmond, and W.M.P. van der Aalst.
BPM Center Report BPM-06-06, BPMcenter.org, 2006
Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets.
Michael Adams, Arthur H. M. ter Hofstede, David Edmond and Wil M.P. van der Aalst.
In Proceedings of the 17th Conference on Advanced Information Systems
Engineering Forum (CAiSE05 Forum), June 2005, Porto, Portugal.
Springer Verlag
Facilitating Flexibility and Dynamic Exception Handling in Workflows through Worklets
Michael Adams, Arthur ter Hofstede, David Edmond, W.M.P. van der Aalst
QUT Technical Report, FIT-TR-2004-03, Queensland University of Technology, Brisbane, 2004.
The Application of Activity Theory to Dynamic Workflow Adaptation Issues
Michael Adams, David Edmond and Arthur H. M. ter Hofstede.
In Proceedings of the Seventh Pacific Asia Conference on Information Systems
(PACIS-2003), July 2003, Adelaide, Australia, p 1836 - 1852.
Integration
Dimensions of Coupling in Middleware
L. Aldred, W.M.P. van der Aalst, M. Dumas & A.H.M ter Hofstede
Concurrency and Computation: Practice and Experience, 21(18), pp. 2233-2269.
Fundamentals of Process Integration
L. Aldred
PhD Thesis, Queensland University of Technology, 2011
Language
newYAWL: Specifying a Workflow Reference Language using Coloured Petri Nets
Nick Russell, Arthur H.M. ter Hofstede, and Wil M.P. van der Aalst.
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN
Tools, Aarhus, Denmark, October 2007.
Foundations of Process-Aware Information System
Nick Russell
PhD Thesis, Queensland University of Technology, June 2007
YAWL: Yet Another Workflow Language
W.M.P. van der Aalst and A.H.M. ter Hofstede
Information Systems, 30(4):245-275, 2005
YAWL: Yet Another Workflow Language (Revised Version)
W.M.P. van der Aalst and A.H.M. ter Hofstede
QUT Technical Report, FIT-TR-2003-04, Queensland University of Technology, Brisbane, 2003.
YAWL: Yet Another Workflow Language
W.M.P. van der Aalst and A.H.M. ter Hofstede
QUT Technical Report, FIT-TR-2002-06, Queensland University of Technology, Brisbane, 2002
Workflow Patterns: On the Expressive Power of (Petri-net based) Workflow Languages
W.M.P. van der Aalst and A.H.M. ter Hofstede
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.
newYAWL: Towards Workflow 2.0
Nick Russell and A.H.M. ter Hofstede.
In K. Jensen and W. van der Aalst, editors, Special issue of LNCS Transactions
on Petri Nets and Other Models of Concurrency (ToPNoC) II on Concurrency in
Process-Aware Information Systems volume 5460 of Lecture Notes in Computer
Science, pages 79-97, 2009.
Designing a Workflow System Using Coloured Petri Nets
N.C. Russell, W.M.P. van der Aalst, & A.H.M. ter Hofstede
Transactions on Petri Nets and Other Models of Concurrency III, 5800, pp. 1-24.
System
Visual Support for Work Assignment In Process-Aware Information Systems
Massimiliano de Leoni, Wil M.P. van der Aalst and Arthur H.M. ter Hofstede
Proceedings of the 6th International Conference on Business Process Management
(BPM08), Milan, Italy, September 2008.
Visual Support for Work Assignment in Process-aware Information Systems: Framework, Formalization, Operationalisation
M. de Leoni, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
BPM Center Report BPM-08-06, BPMcenter.org, 2008.
Design and Implementation of the YAWL system
W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
Proceedings of The 16th International Conference on Advanced Information Systems
Engineering (CAiSE 04), Riga, Latvia, June 2004.
Springer Verlag.
Design and Implementation of the YAWL system
W.M.P. van der Aalst, L. Aldred, M. Dumas, and A.H.M. ter Hofstede.
QUT Technical Report, FIT-TR-2003-07, Queensland University of Technology, Brisbane, 2003.
Privacy and Trust Management for Electronic Health Records
Bandar S. Alhaqbani.
PhD Thesis, Queensland University of Technology, 2010.
Anthology
Surmounting BPM Challenges: The YAWL Story
Nick Russell and A.H.M. ter Hofstede.
Special issue of Computer Science - Research and Development on Flexible
Process-aware Information Systems 23(2):67-79, May 2009.
Open Source Software for Workflow Management: the Case of YAWL
M.J. Adams, A.H.M. ter Hofstede & M. La Rosa
IEEE Software. May/June 2011.
Verification
Business Process Verification - Finally a Reality!
Moe T. Wynn, H.M.W. Verbeek, Wil M.P. van der Aalst, Arthur H.M. ter Hofstede,
and David Edmond.
Business Process Management Journal, 15(1):74-92, 2009
Soundness of Workflow Nets: Classification, Decidability, and Analysis
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.
BPM Center Report BPM-08-02, BPMcenter.org, 2008.
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants
H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
The Computer Journal 50(3):294-314, 2007.
Reduction Rules for Reset/Inhibitor Nets
H.M.W. Verbeek, M.T. Wynn, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
BPM Center Report BPM-07-13, BPMcenter.org, 2007
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Reset Nets and Reachability Analysis
M.T. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede and D. Edmond
BPM Center Report BPM-06-12, BPMcenter.org, 2006.
Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins
Moe Thandar Wynn
PhD Thesis, Queensland University of Technology, Nov 2006.
Verifying Workflows with Cancellation Regions and OR-joins: An Approach Based on Invariants
H.M.W. Verbeek, W.M.P. van der Aalst, and A.H.M. ter Hofstede.
BPM Center Report BPM-06-01, BPMcenter.org, 2006.
Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets
Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede.
Proceedings of the 26th International Conference On Application and Theory of
Petri Nets and Other Models of Concurrency, Miami, Florida, June 2005.
Springer Verlag.
Achieving a General, Formal and Decidable Approach to the OR-join in Workflow using Reset nets
Moe Thandar Wynn, David Edmond, W.M.P. van der Aalst and A.H.M. ter Hofstede.
QUT Technical report, FIT-TR-2004-02, Queensland University of Technology, Brisbane, 2004.
Soundness of Workflow Nets with Reset Arcs
W.M.P. van der Aalst, K.M. Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek,
M. Voorhoeve & M.T. Wynn
Lecture Notes in Computer Science:
Transactions on Petri Nets and Other Models of Concurrency III, 5800, pp. 50-70.
Simulation
Workflow Simulation for Operational Decision Support using Design, Historic and State Information
A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge.
Proceedings of the 6th International Conference on Business Process Management
(BPM 2008), Milan, Italy, September 1-4 2008.
Springer Verlag.
Workflow Simulation for Operational Decision Support using YAWL and ProM
A. Rozinat, M. Wynn, W.M.P. van der Aalst, A.H.M. ter Hofstede, and C. Fidge.
BPM Center Report BPM-08-04, BPMcenter.org, 2008.
Business Process Simulation for Operational Decision Support
M.T. Wynn, M. Dumas, C.J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst.
Proceedings of the 3rd Workshop on Business Process Intelligence (BPI 2007),
Brisbane, Australia, 25-27 September 2007.
Springer Verlag.
Business Process Simulation for Operational Decision Support
M.T. Wynn, M. Dumas, C.J. Fidge, A.H.M. ter Hofstede, and W.M.P. van der Aalst. BPM Center Report BPM-07-14, BPMcenter.org, 2007.
Download from BPM CenterWorkflow simulation for operational decision support
A. Rozinat, M.T. Wynn, W.M.P. van der Aalst, A.H.M ter Hofstede & C.J. Fidge
Data and Knowledge Engineering, 68(9), pp. 834-850.
Administration and Monitoring
Support for Workflow Administration and Monitoring in the YAWL Environment
Saphira Heijens.
Master Thesis Information Science, Free University Amsterdam, 2005.
YAWL4Film
Camera, Set, Action: Automating Film Production via Business Process Management
Chun Ouyang, Arthur ter Hofstede, Marcello La Rosa, Michael Rosemann,
Katherine Shortland and David Court.
In Proceedings of International Conference "Creating Value: Between Commerce and
Commons" 2008.
Towards Web-Scale Workflows for Film Production.
Chun Ouyang, Marcello La Rosa, Arthur ter Hofstede, Marlon Dumas, and
Katherine Shortland.
In IEEE Internet Computing, September/October 2008.