An Incremental Analysis to Workflow Specifications

  • Authors:

  • Hwai-Jong Hsu;Feng-Jian Wang;Da-Li Yang

  • Affiliations:

  • National Chiao-Tung University, Taiwan;National Chiao-Tung University, Taiwan;National Chiao-Tung University, Taiwan

  • Venue:
  • APSEC '05 Proceedings of the 12th Asia-Pacific Software Engineering Conference
  • Year:
  • 2005

Quantified Score

Hi-index 0.00

Visualization

Abstract

Workflow management technology helps modulizing and controlling complex business processes within an enterprise. Generally speaking, a workflow management system (WfMS) is composed of two primary components, a design environment and a run-time system. Structural, timing and resource verifications of a workflow specification are required to help assure the correctness of the specified system. In this paper, we address an incremental methodology to analyze resource consistency and timing constraints after each editing activity of a workflow specification and to provide proper feedbacks to designer or maintainer of the workflow specification.