Data-flow anti-patterns: Discovering data-flow errors in workflows

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5565 LNCS, Issue , 2009, Pages 425-439

  Trčka, Nikola ^a   Van Der Aalst, Wil M P ^a   Sidorova, Natalia ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS APPROACH; ANALYSIS TECHNIQUES; ANTI-PATTERNS; CONTROL FLOWS; CONTROL-FLOW ERRORS; DATA DEPENDENCIES; DATA ELEMENTS; DATAFLOW; MODEL-CHECKING TECHNIQUES; SEAMLESS INTEGRATION; WORK-FLOWS;

ERRORS; INFORMATION SYSTEMS; MANAGEMENT; MODEL CHECKING; SYSTEMS ENGINEERING; TEMPORAL LOGIC;

DATA FLOW ANALYSIS;

EID: 69849089733     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-02144-2_34     Document Type: Conference Paper

References (21)

1. van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21-66 (1998)
2. van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2004)
3. van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of Workflow Nets: Classification, Decidability, and Analysis. BPM Center Report BPM-08-102, BPMcenter.org (2008)
4. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
5. CPN Group, University of Aarhus, Denmark. CPN Tools Home Page, http://wiki.daimi.au.dk/cpntools/
6. Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: Process-Aware Information Systems: Bridging People and Software through Process Technology. Wiley & Sons, Chichester (2005)
7. Eshuis, R.: Symbolic Model Checking of UML Activity Diagrams. ACM Transactions on Software Engineering Methodology 15(1), 1-38 (2006)
8. Fan, S., Dou, W.C., Chen, J.: Dual Workflow Nets: Mixed Control/Data-Flow Representation for Workflow Modeling and Verification. In: Chang, K.C.-C., Wang, W., Chen, L., Ellis, C.A., Hsu, C.-H., Tsoi, A.C., Wang, H. (eds.) APWeb/WAIM 2007. LNCS, vol.4537, pp. 433-444. Springer, Heidelberg (2007)
9. Georgakopoulos, D., Hornick, M., Sheth, A.: An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases 3, 119-153 (1995)
10. Institute of Formal Methods in Computer Science, Software Reliability and Security Group, University of Stuttgart. Model-Checking Kit Home Page, http://www.informatik.uni-stuttgart.de/fmi/szs/tools/mckit/
11. Jablonski, S., Bussler, C.: Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London (1996)
12. Koenig, A.: Patterns and Antipatterns. Journal of Object-Oriented Programming 8(1), 46-48 (1995)
13. M̈akel̈a, M.: Maria: Modular Reachability Analyser for Algebraic System Nets. In: Esparza, J., Lakos, C.A. (eds.) ICATPN 2002. LNCS, vol.2360, pp. 434-444. Springer, Heidelberg (2002)
14. Reichert, M., Dadam, P.: ADEPTflex: Supporting Dynamic Changes of Workflow without Loosing Control. Journal of Intelligent Information Systems 10(2), 93-129 (1998)
15. Sadiq, S.W., Orlowska, M.E., Sadiq, W., Foulger, C.: Data Flow and Validation in Workflow Modelling. In: Fifteenth Australasian Database Conference (ADC), Dunedin, New Zealand. CRPIT, vol.27, pp. 207-214. Australian Computer Society (2004)
16. Sadiq, W., Orlowska, M.E.: Analyzing Process Models using Graph Reduction Techniques. Information Systems 25(2), 117-134 (2000)
17. Schmidt, D.A.: Data Flow Analysis is Model Checking of Abstract Interpretations. In: Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL 1998), pp. 38-48. ACM, New York (1998)
18. Sun, S.X., Zhao, J.L., Nunamaker, J.F., Liu Sheng, O.R.: Formulating the Data Flow Perspective for Business Process Management. Information Systems Research 17(4), 374-391 (2006)
19. Sundari, M.H., Sen, A.K., Bagchi, A.: Detecting Data Flow Errors in Workflows: A Systematic Graph Traversal Approach. In: 17th Workshop on Information Technology & Systems (WITS 2007), Montreal (2007)
20. Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal 44(4), 246-279 (2001)
21. Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Berlin (2007)