Resource constraints analysis of workflow specifications

A workflow specification is a formal description of business processes in the real world. Its correctness is critical to the workflow execution and hence the realisation of business objectives. In addition to structural and temporal constraints, resource constraints are also implied in workflow specifications. Therefore, they should be analysed to ensure that the workflow specification is resource consistent at build-time. In this paper, we first identify the problem of resource constraints in a workflow specification. Then we propose an innovative approach with corresponding algorithms to the checking of resource consistency for a workflow specification. Furthermore, we extend our analysis work to timed workflow specifications, where time information is taken into consideration for the checking of the resource consistency of a workflow specification. The work reported in this paper provides a theoretical foundation for workflow modeling and analysis in workflow management.

[1]  Abbas K. Zaidi,et al.  On temporal logic programming using Petri nets , 1999, IEEE Trans. Syst. Man Cybern. Part A.

[2]  Hai Zhuge,et al.  A timed workflow process model , 2001, J. Syst. Softw..

[3]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[4]  Kwang-Hoon Kim,et al.  Performance Analytic Models and Analyses for Workflow Architectures , 2001, Inf. Syst. Frontiers.

[5]  Munindar P. Singh.  Formal Aspects of Workflow Management, Part 1: Semantics , 1997 .

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

[7]  C. R. Ramakrishnan,et al.  Logic based modeling and analysis of workflows , 1998, PODS '98.

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

[9]  Vijayalakshmi Atluri,et al.  Modeling and Analysis of Workflows Using Petri Nets , 1998, Journal of Intelligent Information Systems.

[10]  J. Leon Zhao,et al.  Temporal workflow management in a claim handling system , 1999, WACC '99.

[11]  Gregory R. Madey,et al.  Temporal representation and reasoning for workflow in engineering design change review , 2000, IEEE Trans. Engineering Management.

[12]  Paul W. P. J. Grefen,et al.  A specification language for the WIDE workflow model , 1998, SAC '98.

[13]  Gustavo Alonso,et al.  Atomicity and isolation for transactional processes , 2002, TODS.

[14]  Maria E. Orlowska,et al.  On the Complexity of Some Verification Problems in Process Control Specifications , 1999, Comput. J..

[15]  Yahiko Kambayashi,et al.  Evolution of business processes and a process simulation tool , 1999, Proceedings Sixth Asia Pacific Software Engineering Conference (ASPEC'99) (Cat. No.PR00509).

[16]  Johann Eder,et al.  Time Constraints in Workflow Systems , 1999, CAiSE.

[17]  J. Leon Zhao,et al.  Temporal workflow management in a claim handling system , 1999 .

[18]  Takashi Kobayashi,et al.  Definition of deadlock patterns for business processes workflow models , 1999, Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences. 1999. HICSS-32. Abstracts and CD-ROM of Full Papers.