{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T18:50:17Z","timestamp":1771699817987,"version":"3.50.1"},"reference-count":33,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2010,7,1]],"date-time":"2010-07-01T00:00:00Z","timestamp":1277942400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["J. Data and Information Quality"],"published-print":{"date-parts":[[2010,7]]},"abstract":"<jats:p>When designing a business workflow, it is customary practice to create the control flow structure first and to ensure its correctness. Information about the flow of data is introduced subsequently into the workflow and its correctness is independently verified. Improper specification of data requirements of tasks and XOR splits can cause problems such as wrong branching at XOR splits and the failure of tasks to execute. Here we present a graph traversal algorithm called GTforDF for detecting data flow errors in both nested and unstructured workflows, and illustrate its operation on realistic examples. Two of these have interconnected loops and are free of control flow errors, and the third one is an unstructured loop-free workflow. Our approach extends and generalizes data flow verification methods that have been recently proposed. It also makes use of the concept of corresponding pairs lately introduced in control flow verification. It thus has the potential for development into a unified algorithmic procedure for the concurrent detection of control flow and data flow errors. The correctness of the algorithm has been proved theoretically. It has also been tested experimentally on many examples.<\/jats:p>","DOI":"10.1145\/1805286.1805290","type":"journal-article","created":{"date-parts":[[2010,7,27]],"date-time":"2010-07-27T14:10:03Z","timestamp":1280239803000},"page":"1-31","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":24,"title":["On Detecting Data Flow Errors in Workflows"],"prefix":"10.1145","volume":"2","author":[{"given":"Hema S.","family":"Meda","sequence":"first","affiliation":[{"name":"Indian Institute of Management Calcutta"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anup Kumar","family":"Sen","sequence":"additional","affiliation":[{"name":"Indian Institute of Management Calcutta"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amitava","family":"Bagchi","sequence":"additional","affiliation":[{"name":"Indian Institute of Science, Education, and Research"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2010,7]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7301.001.0001","volume-title":"Workflow Management: Models, Methods and Systems","author":"Aalst W. M. P.","year":"2002","unstructured":"Aalst , W. M. P. and Hee , K. V . 2002 . Workflow Management: Models, Methods and Systems . The MIT Press . Aalst, W. M. P. and Hee, K. V. 2002. Workflow Management: Models, Methods and Systems. The MIT Press."},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022883727209"},{"key":"e_1_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.11.1.17.11787"},{"key":"e_1_2_1_4_1","unstructured":"Basu A. and Blanning R. W. 2007. Metagraphs and Their Applications. Integrated Series in Information Systems. Senes Springer. Basu A. and Blanning R. W. 2007. Metagraphs and Their Applications . Integrated Series in Information Systems. Senes Springer."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:ITEM.0000031583.16306.0f"},{"key":"e_1_2_1_6_1","unstructured":"Booch G. Rumbaugh J. and Jacobson I. 1999. The UML User Guide. Addison Wesley. Booch G. Rumbaugh J. and Jacobson I. 1999. The UML User Guide . Addison Wesley."},{"key":"e_1_2_1_7_1","volume-title":"Proceedings of the International Conference on Database Theory (ICDT\u201901)","volume":"1973","author":"Buneman P.","unstructured":"Buneman , P. , Khanna , S. , and Tan , W . 2001. Why and where: A characterization of data provenance . In Proceedings of the International Conference on Database Theory (ICDT\u201901) . Lecture Notes in Computer Science , vol. 1973 , 316--330. Buneman, P., Khanna, S., and Tan, W. 2001. Why and where: A characterization of data provenance. In Proceedings of the International Conference on Database Theory (ICDT\u201901). Lecture Notes in Computer Science, vol. 1973, 316--330."},{"key":"e_1_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142365"},{"key":"e_1_2_1_9_1","volume-title":"Proceedings of the 1st Workshop on e-Business. 154--165","author":"Choi Y.","unstructured":"Choi , Y. and Zhao , J. L . 2002. Matrix-based abstraction and verification for e-Business processes . In Proceedings of the 1st Workshop on e-Business. 154--165 . Choi, Y. and Zhao, J. L. 2002. Matrix-based abstraction and verification for e-Business processes. In Proceedings of the 1st Workshop on e-Business. 154--165."},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.33"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1125808.1125809"},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2008.06.003"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_18"},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v18:10"},{"key":"e_1_2_1_15_1","volume-title":"Proceedings of the 17th Workshop on Information Technologies and Systems. 133--138","author":"Meda H. S.","unstructured":"Meda , H. S. , Sen , A. K. , and Bagchi , A . 2007. Detecting data flow errors in workflows: A systematic graph traversal approach . In Proceedings of the 17th Workshop on Information Technologies and Systems. 133--138 . Meda, H. S., Sen, A. K., and Bagchi, A. 2007. Detecting data flow errors in workflows: A systematic graph traversal approach. In Proceedings of the 17th Workshop on Information Technologies and Systems. 133--138."},{"key":"e_1_2_1_16_1","volume-title":"Proceedings of the 16th Workshop on Information Technologies and Systems. 49--54","author":"Meda H. S.","unstructured":"Meda , H. S. , Sen , A. K. , and Bagchi , A . 2006. On extending the set of split and join connectors in workflows . In Proceedings of the 16th Workshop on Information Technologies and Systems. 49--54 . Meda, H. S., Sen, A. K., and Bagchi, A. 2006. On extending the set of split and join connectors in workflows. In Proceedings of the 16th Workshop on Information Technologies and Systems. 49--54."},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10799-006-0004-4"},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v18:10"},{"key":"e_1_2_1_19_1","unstructured":"OMG. 2005. Unified Modeling Language: Superstructure Version 2.0 formal\/2005-07-04. OMG. 2005. Unified Modeling Language: Superstructure Version 2.0 formal\/2005-07-04."},{"key":"e_1_2_1_20_1","unstructured":"OMG. 2006. Business Process Modeling Notation Specification BPMN 1.0 OMG Final Adopted Specification dtc\/06-02-01 www.bpmn.org. OMG. 2006. Business Process Modeling Notation Specification BPMN 1.0 OMG Final Adopted Specification dtc\/06-02-01 www.bpmn.org."},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008604709862"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling. 95--104","author":"Russell N.","unstructured":"Russell , N. , Aalst , W. M. P. , Hofstede , A. H. M. , and Wohed , P . 2006a. On the suitability of UML 2.0 activity diagrams for business process modelling . In Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling. 95--104 . Russell, N., Aalst, W. M. P., Hofstede, A. H. M., and Wohed, P. 2006a. On the suitability of UML 2.0 activity diagrams for business process modelling. In Proceedings of the 3rd Asia-Pacific Conference on Conceptual Modelling. 95--104."},{"key":"e_1_2_1_23_1","unstructured":"Russell N. Hofstede A. H. M. Aalst W. M. P. and Mulyar N. 2006b. Workflow control-flow patterns: A revised view BPM Center rep. BPM-06-22 BPMcenter.org www.workflowpatterns.com 2006. Russell N. Hofstede A. H. M. Aalst W. M. P. and Mulyar N. 2006b. Workflow control-flow patterns: A revised view BPM Center rep. BPM-06-22 BPMcenter.org www.workflowpatterns.com 2006."},{"key":"e_1_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0306-4379(00)00012-0"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 15th Australasian Database Conference. 207--214","author":"Sadiq S.","unstructured":"Sadiq , S. , Orlowska , M. , Sadiq , W. , and Foulger , C . 2004. Data flow and validation in workflow modeling . In Proceedings of the 15th Australasian Database Conference. 207--214 . Sadiq, S., Orlowska, M., Sadiq, W., and Foulger, C. 2004. Data flow and validation in workflow modeling. In Proceedings of the 15th Australasian Database Conference. 207--214."},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1287\/isre.1060.0105"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2008.120"},{"key":"e_1_2_1_28_1","unstructured":"Trcka N. Aalst W. M. P. and Sidorova N. 2008. Analyzing control-flow and data-flow in workflow processes in a unified way. Computer Science Rep. no. 08-31 Technische Universiteit Eindhoven 1--23. Trcka N. Aalst W. M. P. and Sidorova N. 2008. Analyzing control-flow and data-flow in workflow processes in a unified way. Computer Science Rep. no. 08-31 Technische Universiteit Eindhoven 1--23."},{"key":"e_1_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02144-2_34"},{"key":"e_1_2_1_30_1","doi-asserted-by":"crossref","unstructured":"Taylor I. Shields M. Wang I. and Harrison A. 2007. The Triana workflow environment: Architecture and applications. In I. Taylor E. Deelman D. Gannon and M. Shields Eds. Workflows for e-Science Springer 320--339. Taylor I. Shields M. Wang I. and Harrison A. 2007. The Triana workflow environment: Architecture and applications. In I. Taylor E. Deelman D. Gannon and M. Shields Eds. Workflows for e-Science Springer 320--339.","DOI":"10.1007\/978-1-84628-757-2_20"},{"key":"e_1_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.4.246"},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_19"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1108\/14637150910931479"}],"container-title":["Journal of Data and Information Quality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1805286.1805290","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1805286.1805290","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:36Z","timestamp":1750286616000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1805286.1805290"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,7]]},"references-count":33,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["10.1145\/1805286.1805290"],"URL":"https:\/\/doi.org\/10.1145\/1805286.1805290","relation":{},"ISSN":["1936-1955","1936-1963"],"issn-type":[{"value":"1936-1955","type":"print"},{"value":"1936-1963","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,7]]},"assertion":[{"value":"2008-03-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-02-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2010-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}