Resource constraints analysis of workflow specifications

  • Authors:

  • Hongchen Li;Yun Yang;T. Y. Chen

  • Affiliations:

  • Centre for Internet Computing and E-Commerce, School of Information Technology, Swinburne University of Technology, P.O. Box 218, Hawthorn VIC 3122, Melbourne 3122, Australia;Centre for Internet Computing and E-Commerce, School of Information Technology, Swinburne University of Technology, P.O. Box 218, Hawthorn VIC 3122, Melbourne 3122, Australia;Centre for Software Engineering, School of Information Technology, Swinburne University of Technology, Melbourne 3122, Australia

  • Venue:
  • Journal of Systems and Software - Special issue: Applications of statistics in software engineering
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.