TY - GEN
T1 - Semantic notions of weakly correct AND/XOR business workflows based on partial synchronization
AU - Kumar, Akhil
AU - Sen, Anup K.
AU - Sundari, Meda H.
AU - Bagchi, Amitava
PY - 2011
Y1 - 2011
N2 - Workflows coordinate the execution of multiple tasks or services. This paper presents a novel approach to model workflows based on partial synchronization. We develop new notions of weak correctness called semantic correctness and redundancy soundness that permit semantically correct execution instances with some partially finished paths, and show how to deal with them by the notion of transactional "undo". The properties of partial synchronization using strong and weak corresponding pairs are analyzed, and illustrated with realistic examples. An algorithm called WeakVerify is developed to check a workflow for weak correctness properties. This algorithm makes use of an existing algorithm for strict verification. Our design approach mimics how end users think about workflows in practice, and we contrast it with other notions of strict and weak correctness. We compare our approach with various other approaches.
AB - Workflows coordinate the execution of multiple tasks or services. This paper presents a novel approach to model workflows based on partial synchronization. We develop new notions of weak correctness called semantic correctness and redundancy soundness that permit semantically correct execution instances with some partially finished paths, and show how to deal with them by the notion of transactional "undo". The properties of partial synchronization using strong and weak corresponding pairs are analyzed, and illustrated with realistic examples. An algorithm called WeakVerify is developed to check a workflow for weak correctness properties. This algorithm makes use of an existing algorithm for strict verification. Our design approach mimics how end users think about workflows in practice, and we contrast it with other notions of strict and weak correctness. We compare our approach with various other approaches.
UR - http://www.scopus.com/inward/record.url?scp=80053153437&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=80053153437&partnerID=8YFLogxK
U2 - 10.1109/SCC.2011.101
DO - 10.1109/SCC.2011.101
M3 - Conference contribution
AN - SCOPUS:80053153437
SN - 9780769544625
T3 - Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011
SP - 128
EP - 135
BT - Proceedings - 2011 IEEE International Conference on Services Computing, SCC 2011
T2 - 2011 IEEE International Conference on Services Computing, SCC 2011
Y2 - 4 July 2011 through 9 July 2011
ER -