Workflow completion patterns

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

7 Citaten (Scopus)
101 Downloads (Pure)


The most common correctness requirement for a (business) workflow is the completion requirement, imposing that, in some form, every case-instance of the workflow reaches its final state. In this paper, we define three workflow completion patterns, called the mandatory, optional and possible completion. These patterns are formalized in terms of the temporal logic CTL*, to remove ambiguities, allow for easy comparison, and have direct applicability. In contrast to the existing methods, we do not look at the control flow in isolation but include some data information as well. In this way the analysis remains tractable but gains precision. Together with our previous work on data-flow (anti-)patterns, this paper is a significant step towards a unifying framework for complete workflow verification, using the well-developed, stable, adaptable, and effective model-checking approach.
Originele taal-2Engels
TitelProceedings 5th Annual IEEE Conference on Automation Science and Engineering (CASE 2009, Bangalore, India, August 22-25, 2009)
UitgeverijInstitute of Electrical and Electronics Engineers
ISBN van geprinte versie978-1-4244-4578-3
StatusGepubliceerd - 2009


Duik in de onderzoeksthema's van 'Workflow completion patterns'. Samen vormen ze een unieke vingerafdruk.

Citeer dit