Data Flow and Validation in Workflow Modelling

A complete workflow specification requires careful integration of many different process characteristics. Decisions must be made as to the definitions of individual activities, their scope, the order of execution that maintains the overall business process logic, the rules governing the discipline of work list scheduling to performers, identification of time constraints and more. The goal of this paper is to address an important issue in workflows modelling and specification, which is data flow, its modelling, specification and validation. Researchers have neglected this dimension of process analysis for some time, mainly focussing on structural considerations with limited verification checks. In this paper, we identify and justify the importance of data modelling in overall workflows specification and verification. We illustrate and define several potential data flow problems that, if not detected prior to workflow deployment may prevent the process from correct execution, execute process on inconsistent data or even lead to process suspension. A discussion on essential requirements of the workflow data model in order to support data validation is also given.

[1]  Johann Eder,et al.  Time Management in Workflow Systems , 1999, BIS.

[2]  Dragos Manolescu,et al.  Production workflow: concepts and techniques , 2001, SOEN.

[3]  Stewart Robinson,et al.  Simulation model verification and validation: increasing the users' confidence , 1997, WSC '97.

[4]  Wasim Sadiq,et al.  On verification issues in conceptual modelling of workflow processes , 2001 .

[5]  Olivera Marjanovic,et al.  Dynamic verification of temporal constraints in production workflows , 2000, Proceedings 11th Australasian Database Conference. ADC 2000 (Cat. No.PR00528).

[6]  August-Wilhelm Scheer,et al.  ARIS - Business Process Modeling , 1998 .

[7]  Maria E. Orlowska,et al.  BIS '99, 3rd International Conference on Business Information Systems, Poznan, Poland 14-16 April 1999 , 1999, BIS.

[8]  Christoph Bussler,et al.  Workflow Management: Modeling Concepts, Architecture and Implementation , 1996 .

[9]  Steven R. Rakitin.  Software verification and validation - a practitioner's guide , 1997 .

[10]  Moorsel A van,et al.  Design of a Business Process Analyzer , 2002 .

[11]  Vlatka Hlupic,et al.  Business process modelling and analysis using discrete-event simulation , 1998, 1998 Winter Simulation Conference. Proceedings (Cat. No.98CH36274).

[12]  Wil M. P. van der Aalst,et al.  Verification of Workflow Nets , 1997, ICATPN.

[13]  Fabio Casati,et al.  Business Process Simulation with HP Process Manager , 2001 .

[14]  Alois Ferscha,et al.  Optimistic distributed execution of business process models , 1998, Proceedings of the Thirty-First Hawaii International Conference on System Sciences.

[15]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[16]  Maria E. Orlowska,et al.  Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..