Traditional workflow systems focus on providing support for
the control-flow perspective of a business process, with other aspects such
as data management and work distribution receiving markedly less attention.
A guide to desirable workflow characteristics is provided by the
well-known workflow patterns which are derived from a comprehensive
survey of contemporary tools and modelling formalisms. In this paper
we describe the approach taken to designing the newYAWL workflow
system, an offering that aims to provide comprehensive support for the
control-flow, data and resource perspectives based on the workflow patterns.
The semantics of the newYAWL workflow language are based on
Coloured Petri Nets thus facilitating the direct enactment and analysis
of processes described in terms of newYAWL language constructs.
As part of this discussion, we explain how the operational semantics for
each of the language elements are embodied in the newYAWL system
and indicate the facilities required to support them in an operational
environment. We also review the experiences associated with developing
a complete operational design for an offering of this scale using formal
|Title of host publication||Transactions on Petri Nets and Other Models of Concurrency III|
|Editors||K. Jensen, J. Billington, M. Koutny|
|Place of Publication||Berlin|
|Publication status||Published - 2009|
|Name||Lecture notes in computer science|