Decomposition-based verification of cyclic workflows

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

15 Scopus Citations
View graph of relations

Author(s)

Detail(s)

Original languageEnglish
Title of host publicationLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Pages84-98
Volume3707 LNCS
StatePublished - 2005
Externally publishedYes

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume3707 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

TitleThird International Symposium on Automated Technology for Verification and Analysis, ATVA 2005
PlaceTaiwan
CityTaipei
Period4 - 7 October 2005

Abstract

A critical challenge in workflow analysis and design is the verification of workflow models, considering commercial workflow systems merely provide a simulation tool for validating workflow models through trial and error. As a result, the current workflow technology does not guarantee that workflow models do not fail or will behave in a manner expected by the modeler. While a couple of verification methods have been reported in the recent literature, how to verify cyclic workflow models remains an open research question. In this paper, we propose a novel integrated approach of hierarchical decomposition and verification of cyclic workflows. This result is significant since it helps close the research gap that other known workflow verification methods fail to deal with cyclic workflow models. © Springer-Verlag Berlin Heidelberg 2005.

Citation Format(s)

Decomposition-based verification of cyclic workflows. / Choi, Yongsun; Zhao, J. Leon.

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 3707 LNCS 2005. p. 84-98 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3707 LNCS).

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