An efficient approach to detect lack of synchronization in acyclic workflow graphs

Cédric Favre
2010 Central-European Workshop on Services and their Composition  
Control-flow analysis of business process models requires to check the absence of lack of synchronization. We use workflow graphs, which may contain inclusive OR gateways, to represent the control-flow of business process models. We structurally characterize lack of synchronization in an acyclic workflow graph. Based on this characterization, we show how to detect lack of synchronization in quadratic time.
dblp:conf/zeus/Favre10 fatcat:xjpstjcblzgzhlw7mqnvvd3zum