Handling cycles in workflow verification by feedback identification and partition

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)

2 Scopus Citations
View graph of relations

Author(s)

Detail(s)

Original languageEnglish
Title of host publicationProceedings of the International Conference on Information and Knowledge Engineering
Pages337-343
Volume1
StatePublished - 2003
Externally publishedYes

Publication series

Name
Volume1

Conference

TitleProceedings of the International Conference on Information and Knowledge Engineering 2003
PlaceUnited States
CityLas Vegas, NV
Period23 - 26 June 2003

Abstract

Workflow verification is an important and complex step in workflow analysis and design. Further, certain classes of workflow models can contain cycles, thus making workflow verification even more challenging. Few commercial workflow systems have implemented the workflow verification functionality, partly due to the lack of simple, yet generic algorithms that can handle cyclic processes. We have developed an innovative method that views a cycle as the composition of a main path and a feedback path. Based on this perspective, we develop ways to identify the cycles and determine the feedback path in each elementary cycle. Furthermore, our previous research results on matrix-based workflow abstraction and verification for acyclic processes can be extended to verifying cyclic workflows. We refer to our method of dealing with cycles as Feedback Identification and Partition (FIP). In this paper, we present the basic FIP concept and algorithms, prove the theoretical correctness of the FIP approach, and demonstrate the use of the FIP method in a real world example.

Citation Format(s)

Handling cycles in workflow verification by feedback identification and partition. / Choi, Yongsun; Zhao, J. Leon.

Proceedings of the International Conference on Information and Knowledge Engineering. Vol. 1 2003. p. 337-343.

Research output: Chapters, Conference Papers, Creative and Literary Works (RGC: 12, 32, 41, 45)32_Refereed conference paper (with ISBN/ISSN)