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.

Download PDF (426.37 Kb)

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.

Download PDF (435.25 Kb)

Facilitating Dynamic Flexibility and Exception Handling for Workflows

Michael Adams
PhD Thesis, Queensland University of Technology, May 2007

Download PDF (3.23 Mb)

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.

Download PDF (310.29 Kb)

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.

Download from QUT e-Prints

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

Download PDF (345.24 Kb)

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

Download PDF (47.52 Kb)

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.

Download PDF (154.19 Kb)

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.

Download PDF (257.28 Kb)

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.

Download from QUT e-Prints

Fundamentals of Process Integration

L. Aldred
PhD Thesis, Queensland University of Technology, 2011

Download PDF (2.79Mb)

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.

Download PDF (332.11 Kb)

Foundations of Process-Aware Information System

Nick Russell
PhD Thesis, Queensland University of Technology, June 2007

Download PDF (3.29 Mb)

YAWL: Yet Another Workflow Language

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

Download from QUT e-Prints

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.

Download PDF (336.56 Kb)

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

Download PDF (278.74 Kb)

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.

Download PDF (110.91 Kb)

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.

Download from QUT ePrints

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.

Download from QUT e-Prints

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.

Download PDF (702.28 Kb)

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.

Download from BPM Center

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.

Download from QUT e-Prints

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.

Download PDF (185.47 Kb)

Privacy and Trust Management for Electronic Health Records

Bandar S. Alhaqbani.
PhD Thesis, Queensland University of Technology, 2010.

Download PDF (2.93Mb)

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.

Download from QUT e-Prints

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.

Download from QUT e-Prints

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

Download from QUT e-Prints

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.

Download from BPM Center

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.

Download PDF (460.9 Kb)

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

Download from BPM Center

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.

Download PDF (633.6 Kb)

Semantics, Verification, and Implementation of Workflows with Cancellation Regions and OR-joins

Moe Thandar Wynn
PhD Thesis, Queensland University of Technology, Nov 2006.

Download PDF (9.18 Mb)

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.

Download PDF (460.9Kb)

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.

Download PDF (490.53Kb)

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.

Download PDF (405.22Kb)

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.

Download from QUT e-Prints

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.

Download PDF (961.11 Kb)

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.

Download from BPM Center

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.

Download PDF (164.02 Kb)

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 Center

Workflow 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.

Download from QUT e-Prints

Administration and Monitoring

Support for Workflow Administration and Monitoring in the YAWL Environment

Saphira Heijens.
Master Thesis Information Science, Free University Amsterdam, 2005.

Download PDF (1.92 MB)

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.

Download from QUT e-Prints

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.

Download from QUT e-Prints