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

15 Scopus citations


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
Issue number10
StatePublished - 1 Oct 2008


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


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

Cite this