TY - GEN
T1 - Decomposition-based verification of cyclic workflows
AU - Choi, Yongsun
AU - Zhao, J. Leon
PY - 2005
Y1 - 2005
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/33646170278
UR - https://www.scopus.com/pages/publications/33646170278#tab=impact
U2 - 10.1007/11562948_9
DO - 10.1007/11562948_9
M3 - RGC 32 - Refereed conference paper (with host publication)
SN - 3540292098
SN - 9783540292098
VL - 3707 LNCS
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 84
EP - 98
BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
T2 - Third International Symposium on Automated Technology for Verification and Analysis, ATVA 2005
Y2 - 4 October 2005 through 7 October 2005
ER -