An integer programming based approach for verification and diagnosis of workflows

Data and Knowledge Engineering

Volumn 69, Issue 8, 2010, Pages 816-835

  Eshuis, Rik ^a   Kumar, Akhil ^b  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

^b PENNSYLVANIA STATE UNIVERSITY   (United States)

Author keywords

Business process management; Integer programming; Verification; Workflow

Indexed keywords

BUSINESS PROCESS MANAGEMENT; CONTROL FLOWS; MODELING ERRORS; OPEN SOURCES; PROCESS MODEL; SOLUTION TIME; STATE OF THE ART; WORK-FLOWS; WORKFLOW ANALYSIS; WORKFLOW MODELS; WORKFLOW PATTERNS;

COMPUTER SOFTWARE SELECTION AND EVALUATION; DIAGNOSIS; DYNAMIC PROGRAMMING; ENTERPRISE RESOURCE MANAGEMENT; ERRORS; PROGRAM DIAGNOSTICS;

INTEGER PROGRAMMING;

EID: 77955272285     PISSN: 0169023X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.datak.2010.03.003     Document Type: Article

References (41)

1. W.M.P. van der Aalst, A. Hirnschall, and H.M.W. Verbeek An alternative way to analyze workflow graphs A. Banks-Pidduck, J. Mylopoulos, C.C. Woo, M.T. Ozsu, Proc. of the 14th Int. Conf. on Advanced Information Systems Engineering (CAiSE′02), Volume 2348 of Lecture Notes in Computer Science 2002 Springer-Verlag Berlin 535 552
2. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, and A.P. Barros Workflow patterns Distributed and Parallel Databases 14 1 2003 5 51
3. W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera, and E. Verbeek Business process management: where business processes and web services meet Data & Knowledge Engineering 61 1 2007 1 5
4. J. Bae, H. Bae, S.-H. Kang, and Y. Kim Automatic control of workflow processes using ECA rules IEEE Transactions on Knowledge and Data Engineering 16 8 2004 1010 1023
5. H. Bi, and J.L. Zhao Process logic for verifying the correctness of business process models Proc. of the Int. Conf. on Information Systems (ICIS 2004) 2004 Association for Information Systems 91 100
6. Y. Choi, and J. Zhao Decomposition-based verification of cyclic workflows D.A. Peled, Y.-K. Tsay, Proc. of Automated Technology for Verification and Analysis (ATVA 2005), Volume 3707 of Lecture Notes in Computer Science 2005 Springer-Verlag Taipei, Taiwan 84 98
7. J. Dehnert, and P. Rittgen Relaxed soundness of business processes K.R. Dittrich, A. Geppert, M.C. Norrie, Proc. of the 13th Int. Conference on Advanced Information Systems Engineering (CAiSE′01), Volume 2068 of Lecture Notes in Computer Science 2001 Springer-Verlag Berlin 157 170
8. A. Deutsch, R. Hull, F. Patrizi, and V. Vianu Automatic verification of data-centric business processes R. Fagin, Proc. 12th International Conference on Database Theory (ICDT 2009), Volume 361 of ACM International Conference Proceeding Series 2009 ACM 252 267
9. R. Eshuis and A. Kumar. Diagflow tool. Available at http://is.ieis.tue. nl/staff/heshuis/DiagFlow.
10. R. Eshuis, and A. Kumar An integer programming based approach for diagnosing workflows Beta Working Paper Series, WP 264 2008 Eindhoven University of Technology
11. R. Eshuis, and R. Wieringa Verification support for workflow design with UML activity graphs Proc. Int. Conf. on Software Engineering (ICSE 2002) 2002 ACM Press 166 176
12. GraphViz/Dot. http://www.graphviz.org.
13. T. Gschwind, J. Koehler, and J. Wong Applying patterns during business process modeling M. Dumas, M. Reichert, M.-C. Shan, Proc. BPM 2008, Volume 5240 of Lecture Notes in Computer Science 2008 Springer 4 19
14. R. Hauser, M. Friess, J.M. Küster, and J. Vanhatalo An incremental approach to the analysis and transformation of workflows using region trees IEEE Transactions on Systems, Man, and Cybernetics, Part C 38 3 2008 347 359
15. A.H.M. ter Hofstede, M.E. Orlowska, and J. Rajapakse Verification problems in conceptual workflow specifications Data and Knowledge Engineering 24 3 1998 239 256
16. T. Hornung, A. Koschmider, and G. Lausen Recommendation based process modeling support: method and user experience Q. Li, S. Spaccapietra, E. Yu, A. Olivé, Proc. ER 2008, Volume 5231 of Lecture Notes in Computer Science 2008 Springer 265 278
17. W. Janssen, R. Mateescu, S. Mauw, P. Fennema, and P. van der Stappen Model checking for managers D. Dams, R. Gerth, S. Leue, M. Massink, Proc. 5th and 6th Int. SPIN Workshops, Volume 1680 of Lecture Notes in Computer Science 1999 Springer 92 107
18. JDom. http://www.jdom.org.
19. C.T. Karamanolis, D. Giannakopoulou, J. Magee, and S.M. Wheater Model checking of workflow schemas Proc. EDOC 2000 2000 IEEE Computer Society 170 181
20. B. Kiepuszewski. Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows. PhD thesis, Queensland University of Technology, 2002.
21. B. Kiepuszewski, A.H.M. ter Hofstede, and W.M.P. van der Aalst Fundamentals of control flow in workflows Acta Informatica 39 3 2003 143 209
22. B. Kiepuszewski, A.H.M. ter Hofstede, and C. Bussler On structured workflow modelling B. Wangler, L. Bergman, Proc. CAiSE ′00, Volume 1789 of Lecture Notes in Computer Science 2000 Springer 431 445
23. H. Lin, Z. Zhao, H. Li, and Z. Chen A novel graph reduction algorithm to identify structural conflicts Proc. of the 35th Ann. Hawaii International Conference on System Science (HICSS-35) 2002 IEEE Computer Society Press
24. R. Liu, and A. Kumar An analysis and taxonomy of unstructured workflows W.M.P. van der Aalst, B. Benatallah, F. Casati, F. Curbera, Proc. 3rd Conference on Business Process Management (BPM 2005), Lecture Notes in Computer Science 3649 2005 268 284
25. LPsolve. http://lpsolve.sourceforge.net.
26. R. Lu, S. Sadiq, and G. Governatori On managing business processes variants Data & Knowledge Engineering 68 7 2009 642 664
27. S. Mazanek, S. Maier, and M. Minas Auto-completion for diagram editors based on graph grammars P. Bottoni, M.B. Rosson, M. Minas, Proc. 2008 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 2008) 2008 242 245
28. J. Mendling Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness, Volume 6 of Lecture Notes in Business Information Processing 2008 Springer
29. J. Mendling, H.M.W. Verbeek, B.F. van Dongen, W.M.P. van der Aalst, and G. Neumann Detection and prediction of errors in epcs of the sap reference model Data & Knowledge Engineering 64 1 2008 312 329
30. A. Mukherjee, A.K. Sen, and A. Bagchi The representation, analysis and verification of business processes: a metagraph-based approach Information Technology and Management 8 1 2007 65 81
31. M. Palmonari, G. Viscusi, and C. Batini A semantic repository approach to improve the government to business relationship Data & Knowledge Engineering 65 3 2008 485 511
32. F. Puhlmann, and M. Weske Investigations on soundness regarding lazy activities S. Dustdar, J.L. Faideiro, A. Sheth, Proc. Int. Conf. on Business Process Management (BPM 2006), Volume 4102 of Lecture Notes in Computer Science, Pages 145-160 2006 Springer-Verlag Berlin
33. W. Sadiq, and M.E. Orlowska Analyzing process models using graph reduction techniques Information Systems 25 2 2000 117 134
34. A. Schrijver Theory of Linear and Integer Programming 1998 John Wiley & Sons
35. S.X. Sun, J.L. Zhao, J.F. Nunamaker, and O.R.L. Sheng Formulating the data-flow perspective for business process management Information Systems Research 17 4 2006 374 391
36. F. Touré, K. Baïna, and K. Benali An efficient algorithm for workflow graph structural verification Proc. Int. Conf. on Cooperative Information Systems (CoopIS 2008), Volume 5331 of Lecture Notes in Computer Science 2008 Springer-Verlag Berlin 392 408
37. J. Vanhatalo, H. Völzer, and J. Koehler The refined process structure tree Data & Knowledge Engineering 68 9 2009 793 818
38. J. Vanhatalo, H. Völzer, and F. Leymann Faster and more focused control-flow analysis for business process models through SESE decomposition Service-Oriented Computing - ICSOC 2007 2007 43 55
39. J. Vanhatalo, H. Völzer, F. Leymann, and S. Moser Automatic workflow graph refactoring and completion Service-Oriented Computing - ICSOC 2008 2008 100 115
40. H.M.W. Verbeek, T. Basten, and W.M.P. van der Aalst Diagnosing workflow processes using Woflan The Computer Journal 44 4 2001 246 279
41. WFMC Workflow management coalition workflow standard: Workflow process definition interface - XML process definition language (XPDL) (WFMC-TC-1025) Technical Report, Workflow Management Coalition, Lighthouse Point 2002 Florida, USA