An incremental analysis for resource conflicts to workflow specifications

Hwai jung Hsu*, Feng-Jian Wang

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

14 Scopus citations

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 assure the correctness of the specified system. In this paper, an incremental methodology is constructed to analyze resource consistency and temporal constraints after each edit unit defined on a workflow specification. The methodology introduces several algorithms for general and temporal analyses. The output returned right away can improve the judgment and thus the speed and quality on designing.

Original languageEnglish
Pages (from-to)1770-1783
Number of pages14
JournalJournal of Systems and Software
Volume81
Issue number10
DOIs
StatePublished - 1 Oct 2008

Keywords

  • Incremental methodology
  • Resource consistency
  • Temporal constraints
  • Workflow
  • Workflow specification

Fingerprint Dive into the research topics of 'An incremental analysis for resource conflicts to workflow specifications'. Together they form a unique fingerprint.

Cite this