On detecting data flow errors in workflows

Journal of Data and Information Quality

Volumn 2, Issue 1, 2010, Pages

  Meda, Hema S ^a,b   Sen, Anup Kumar ^a,b   Bagchi, Amitava ^b  

^a Indian Institute of Management   (United States)

^b Indian Institute of Science Education and Research   (India)

Author keywords

Corresponding pair; Data flow errors; Workflow management

Indexed keywords

ALGORITHMIC PROCEDURE; CONTROL FLOWS; CONTROL-FLOW ERRORS; CORRESPONDING PAIR; DATA FLOW; DATA REQUIREMENTS; FLOW OF DATA; IN-CONTROL; TRAVERSAL ALGORITHMS; VERIFICATION METHOD; WORK-FLOWS; WORKFLOW MANAGEMENTS;

ALGORITHMS; CONCURRENCY CONTROL; DATA FLOW ANALYSIS; ERRORS; WORK SIMPLIFICATION;

MANAGEMENT;

EID: 78651591704     PISSN: 19361955     EISSN: 19361963     Source Type: Journal    
DOI: 10.1145/1805286.1805290     Document Type: Article

References (33)

1. AALST, W.M.P. AND HEE, K. V. 2002. Workflow Management: Models, Methods and Systems.The MIT Press.
2. AALST, W.M.P., HOFSTEDE, A.H.M., KlEPUSZEWSKI, B., AND BARROS, A. P. 2003. Workflow patterns. Distrib. Parall. Databa., 14, 1, 5-51.
3. BASU, A. AND BLANNING, R. W. 2000. A formal approach to workflow analysis. Information Systems Research 11, 1, 17-36.
4. BASU, A. AND BLANNING, R. W. 2007. Metagraphs and Their Applications. Integrated Series in Information Systems. Senes, Springer.
5. BI, H.H. AND ZHAO, J. L. 2004. Applying propositional logic to workflow verification. J. Inform. Techn. Manage. 5, 3-4, 293-318.
6. BOOCH, G., RUMBAUGH, J., AND JACOBSON, I. 1999. The UML User Guide. Addison Wesley.
7. 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'01) .Lecture Notes in Computer Science, vol. 1973, 316-330.
8. CALDERS, T., DEKEYSER, S., HIDDERS, J., AND PAREDAENS, J. 2006. Analyzing workflows implied by instance-dependent access rules. In Proceedings of the 25th ACM SIGMOD-SIGACT- SIGART Symposium on Principles of Database Systems (PODS'06). 100-109.
9. 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.
10. ESHUIS, R. AND WIERINGA, R. 2004. Tool support for verifying UML activity diagrams. IEEE Trans. Softw. Engin. 30, 7, 437-447.
11. ESHUIS, R. 2006. Symbolic model checking of UML activity diagrams. ACM Trans.Softw. Engin. Method. 15, 1, 1-38.
12. HEE, K.V., HIDDERS, J., HOUBEN, G., PAREDAENS, J., AND THIRAN, P. 2009. On the relationship between workflow models and document types. Inform. Syst. 34, 1, 178-208.
13. LIU, R. AND KUMAR, A. 2005. An analysis and taxonomy of unstructured workflows. In Proceedings ofthe 3rd International Conference on Business Process Management. Lecture Notes in Computer Science, vol. 3649, Springer Verlag, 268-284.
14. LUDÄSCHER, B., ALTINTAS, I., BERKLEY, C., HIGGINS, D., JAEGER, E., JONES, M., LEE, E.A., TAO, J., AND ZHAO, Y. 2006. Scientific workflow management and the Kepler system. Concurr. Comput. Pract. Experi. 18, 10, 1039-1065.
15. 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.
16. 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.
17. MUKHERJEE, A., SEN, A.K., AND BAGCHI, A. 2007. Representation, analysis and verification of business processes: A metagraph-based approach. J. Inform. Techn. Manage. 8, 1, 65-81.
18. OINN, T., GREENWOOD, M., ADDIS, M., ALPDEMIR, M.N., FERRIS, J., GLOVER K., GOBLE, C., GODERIS, A., HULL, D., MARVIN, D., LI, P., LORD, P., POCOCK, M.R., SENGER, M., STEVENS, R., WIPAT, A., AND WROE, C. 2006. Taverna: Lessons in creating a workflow environment for the life sciences. Concurr. Comput. Pract. Experi. 18, 10, 1067-1100.
19. OMG. 2005. Unified Modeling Language: Superstructure, Version 2.0, formal/2005-07-04.
20. OMG. 2006. Business Process Modeling Notation Specification, BPMN 1.0, OMG Final Adopted Specification dtc/06-02-01, www.bpmn.org.
21. REICHERT, M. AND DADAM, P. 1998. ADEPTflex - Supporting dynamic changes of workflows without losing control. J. Intell. Inform. Syst. 10, 2, 93-129.
22. 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.
23. 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.
24. SADIQ, W. AND ORLOWSKA, M. E. 2000. Analyzing process models using graph reduction techniques. Inform. Syst. 25, 2, 117-134.
25. 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.
26. SUN, S.X., ZHAO, J.L., NUNAMAKER, J., AND SHENG, O. 2006. Formulating the data flow perspective for business process management. Inform. Syst. Resear. 17, 4, 374-391.
27. SUN, S.X. AND ZHAO, J. L. 2008. Developing a workflow design framework based on dataflow analysis. In Proceedings of the 41st Hawaii International Conference on System Sciences.
28. 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.
29. TRCKA, N., SIDOROVA N., AND AALST, W. M. P. 2009. Data-flow anti-patterns: Discovering dataflow errors in workflows. In Proceedings of the 21st International Conference on. Advanced Information Systems (CAISE'09). Lecture Notes in Computer Science, vol. 5565, 425-439.
30. 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.
31. VERBEEK, H.M.W., BASTEN, T., AND AALST, W. M. P. 2001. Diagnosing workflow processes using Woflan. Comput. J. 44, 4, 246-279.
32. WANG, J. AND KUMAR, A. 2005. A framework for document-driven workflow systems. In Proceedings of the 3rd International Conference on Business Process Management. Lecture Notes in Computer Science, vol. 3649, Springer Verlag, 285-301.
33. WYNN, M.T., VERBECK, H.M.W., AALST, W.M.P., HOFSTEDE, A.H.M., AND EDMOND, D. 2009. Business process verification - finally a reality! Bus. Proc. Manage. J. 15, 1, 74-92.