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

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.

Original languageEnglish
Title of host publicationProceedings - 12th Asia-Pacific Software Engineering Conference, APSEC'05
Pages122-129
Number of pages8
DOIs
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
Volume2005
ISSN (Print)1530-1362

Conference

Conference12th Asia-Pacific Software Engineering Conference, APSEC'05
Country/TerritoryTaiwan
CityTaipei
Period15/12/0517/12/05

Fingerprint

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

Cite this