An incremental analysis to workflow specifications

Hwai Jong Hsu*, Da Li Yang, Feng-Jian Wang

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review


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.

Original languageEnglish
Title of host publicationProceedings - 12th Asia-Pacific Software Engineering Conference, APSEC'05
Number of pages8
StatePublished - 1 Dec 2005
Event12th Asia-Pacific Software Engineering Conference, APSEC'05 - Taipei, Taiwan
Duration: 15 Dec 200517 Dec 2005

Publication series

NameProceedings - Asia-Pacific Software Engineering Conference, APSEC
ISSN (Print)1530-1362


Conference12th Asia-Pacific Software Engineering Conference, APSEC'05


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

Cite this