Specification and validation of process constraints for flexible workflows

Sadiq, S. W., Orlowska, M. E. and Sadiq, W. (2005) Specification and validation of process constraints for flexible workflows. Information Systems, 30 5: 349-378. doi:10.1016/j.is.2004.05.002

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Sadiq, S. W.
Orlowska, M. E.
Sadiq, W.
Title Specification and validation of process constraints for flexible workflows
Journal name Information Systems   Check publisher's open access policy
ISSN 0306-4379
Publication date 2005
Sub-type Article (original research)
DOI 10.1016/j.is.2004.05.002
Volume 30
Issue 5
Start page 349
End page 378
Total pages 30
Editor G. Vossen
D. Shasha
Place of publication Oxford, UK
Publisher Elsevier Science Ltd.
Collection year 2005
Language eng
Subject C1
280101 Information Systems Organisation
700103 Information processing services
Abstract Workflow systems have traditionally focused on the so-called production processes which are characterized by pre-definition, high volume, and repetitiveness. Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for flexible and dynamic specification. However, this flexibility cannot be offered at the expense of control, a critical requirement of business processes. In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control. The constraint specification framework is based on the concept of pockets of flexibility which allows ad hoc changes and/or building of workflows for highly flexible processes. Basically, our approach is to provide the ability to execute on the basis of a partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance. The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts. (c) 2004 Elsevier Ltd. All rights reserved.
Keyword Computer Science, Information Systems
Flexible Workflows
Process Modeling
Workflow Verification
Q-Index Code C1

Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 105 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 186 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Wed, 15 Aug 2007, 07:24:31 EST