Diagnosing correctness of semantic workflow models

Data and Knowledge Engineering

Volumn 87, Issue , 2013, Pages 167-184

  Borrego, Diana ^a   Eshuis, Rik ^b   Gómez López, María Teresa ^a   Gasca, Rafael M ^a  

^a UNIVERSITY OF SEVILLE   (Spain)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process management; Constraint programming; Diagnosis; Integer programming; Workflow

Indexed keywords

ARTIFICIAL INTELLIGENCE TECHNIQUES; BUSINESS PROCESS MANAGEMENT; CONSTRAINT PROGRAMMING; CONSTRAINT SOLVERS; FULLY AUTOMATED; OPERATIONAL BUSINESS; WORKFLOW; WORKFLOW MODELS;

ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; CONSTRAINT THEORY; DIAGNOSIS; ENTERPRISE RESOURCE MANAGEMENT; INTEGER PROGRAMMING; MODEL CHECKING; SEMANTICS;

DATA FLOW ANALYSIS;

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

References (40)

1. R. Eshuis, and A. Kumar An integer programming based approach for verification and diagnosis of workflows Data & Knowledge Engineering 69 2010 816 835
2. S. Jablonski, and C. Bussler Workflow Management - Modeling Concepts, Architecture and Implementation 1996 International Thomson
3. W. van der Aalst, A. Hirnschhall, and H.M.W. Verbeek An alternative way to analyze workflow graphs Proceedings of the 14th International Conference on Advanced Information Systems Engineering (CAiSE02) Lecture Notes in Computer Science vol. 2348 2002 Springer-Verlag 535 552
4. R. Eshuis, and R. Wieringa Verification support for workflow design with UML activity graphs Proceedings of the 24th International Conference on Software Engineering, ACM 2002 166 176
5. S.W. Sadiq, M.E. Orlowska, W. Sadiq, and C. Foulger Data flow and validation in workflow modelling ADC CRPIT vol. 27 2004 Australian Computer Society 207 214
6. F. Touré, K. Baïna, and K. Benali An efficient algorithm for workflow graph structural verification Proceedings of the OTM 2008 Confederated International Conferences Part I on On the Move to Meaningful Internet Systems 2008 Springer-Verlag Berlin, Heidelberg 392 408
7. W.M.P. van der Aalst, K.M. van Hee, A.H.M. ter Hofstede, N. Sidorova, H.M.W. Verbeek, M. Voorhoeve, and M.T. Wynn Soundness of workflow nets with reset arcs Transactions on Petri Nets and Other Models of Concurrency 3 2009 50 70
8. M.T. Wynn, H.M.W. Verbeek, W.M.P.v.d. Aalst, A.t. Hofstede, and D. Edmond Business process verification - finally a reality! Business Process Management Journal 15 2009 74 92
9. W. Van Der Aalst, K. Van Hee, A. Ter Hofstede, N. Sidorova, H. Verbeek, M. Voorhoeve, and M. Wynn Soundness of workflow nets: classification, decidability, and analysis Formal Aspects of Computing 23 2011 333 363 (Cited By (since 1996) 20)
10. S. Patig, and M. Stolz A pattern-based approach for the verification of business process descriptions Information and Software Technology 55 2013 58 87
11. 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 2006 374 391
12. N. Trčka, W.M. Aalst, and N. Sidorova Data-flow anti-patterns: discovering data-flow errors in workflows Proceedings of the 21st International Conference on Advanced Information Systems Engineering, CAiSE '09 2009 Springer-Verlag Berlin, Heidelberg 425 439
13. I. Weber, J. Hoffmann, and J. Mendling Beyond soundness: on the verification of semantic business process models Distributed and Parallel Databases 27 2010 271 343
14. N. Sidorova, C. Stahl, and N. Trcka Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible Information Systems 36 2011 1026 1043
15. W.M.P. van der Aalst, N. Lohmann, and M. La Rosa Ensuring correctness during process configuration via partner synthesis Information Systems 37 2012 574 592
16. F. Rossi, P. van Beek, and T. Walsh Handbook of Constraint Programming 2006 Elsevier
17. WFMC Workflow management coalition workflow standard: process definition interface - XML process definition language Technical Report WFMC-TC-1025 2005 Workflow Management Coalition
18. OMG, Object Management Group Business Process Model and Notation (BPMN), Version 2.0, OMG Standard 2011
19. W. Sadiq, and M.E. Orlowska Analyzing process models using graph reduction techniques Information Systems 25 2000 117 134
20. R. Eshuis, and A. Kumar An integer programming based approach for diagnosing workflows Technical Report, Beta Working Paper Series, WP 264 2008 Eindhoven University of Technology
21. R. Eshuis, and R. Wieringa Tool support for verifying uml activity diagrams IEEE Transactions on Software Engineering 30 2004 437 447
22. B. Alpern, M.N. Wegman, and F.K. Zadeck Detecting equality of variables in programs Proceedings of the 15th ACM SIGPLAN-SIGACT, Symposium on Principles of Programming Languages 1988 ACM New York, NY, USA 1 11
23. R. Cytron, J. Ferrante, B.K. Rosen, M.N. Wegman, and F.K. Zadeck Efficiently computing static single assignment form and the control dependence graph ACM Transactions on Programming Languages and Systems 13 1991 451 490
24. U. Acar, P. Buneman, J. Cheney, J. Van Den Bussche, N. Kwasnikowska, and S. Vansummeren A graph model of data and workflow provenance Proceedings of the 2nd Conference on Theory and Practice of Provenance, TAPP'10 2010 USENIX Association Berkeley, CA, USA 8 18
25. Y. Gil, P. Szekely, S. Villamizar, T.C. Harmon, V. Ratnakar, S. Gupta, M. Muslea, F. Silva, and C.A. Knoblock Mind your metadata: exploiting semantics for configuration, adaptation, and provenance in scientific workflows Proceedings of the 10th International Conference on The Semantic Web - Volume Part II, ISWC'11 2011 Springer-Verlag Berlin, Heidelberg 65 80
26. K. Hettne, S. Soiland-Reyes, G. Klyne, K. Belhajjame, M. Gamble, S. Bechhofer, M. Roos, and O. Corcho Workflow forever: semantic web semantic models and tools for preserving and digitally publishing computational experiments Proceedings of the 4th International Workshop on Semantic Web Applications and Tools for the Life Sciences, SWAT4LS '11 2012 ACM New York, NY, USA 36 37
27. Dynamic Decision Technologies Dynadec web page http://dynadec.com/ 2011
28. P. Traxler The time complexity of constraint satisfaction Proceedings of the 3rd International Conference on Parameterized and Exact Computation, IWPEC'08 2008 Springer-Verlag Berlin, Heidelberg 190 201
29. R. Dechter Constraint networks Encyclopedia of Artificial Intelligence Second edition 1992 276 285
30. V. Kumar Algorithms for constraint satisfaction problems: a survey AI Magazine 13 1992 32 44
31. J. Cardoso Evaluating the process control-flow complexity measure Web Services, ICWS 2005 Proceedings. 2005 IEEE International Conference vol. 2 2005 803 804
32. A. Bulatov, P. Jeavons, and A. Krokhin Classifying the complexity of constraints using finite algebras SIAM Journal on Computing 34 2005 720 742
33. M. Chinosi, and A. Trombetta Bpmn: an introduction to the standard Computer Standards and Interfaces 34 2012 124 134
34. R.M. Haralick, and G.L. Elliott Increasing tree search efficiency for constraint satisfaction problems Proceedings of the 6th International Joint Conference on Artificial Intelligence - Volume 1, IJCAI'79 1979 Morgan Kaufmann Publishers Inc. San Francisco, CA, USA 356 364
35. P. Van Hentenryck Constraint Satisfaction in Logic Programming 1989 MIT Press
36. D. Borrego, R.M. Gasca, M.T. Gómez-López, and L. Parody Contract-based diagnosis for business process instances using business compliance rules Proceedings of the 21st International Workshop on Principles of Diagnosis (DX-10) 2010 169 176
37. F.M. Maggi, M. Montali, and W.M.P. van der Aalst An operational decision support framework for monitoring business constraints Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering, FASE'12 2012 Springer-Verlag Berlin, Heidelberg 146 162
38. F. Maggi, M. Montali, M. Westergaard, and W. van der Aalst Monitoring business constraints with linear temporal logic: an approach based on colored automata Proc. of BPM LNCS 2011 Springer-Verlag
39. L.T. Ly, S. Rinderle-Ma, D. Knuplesch, and P. Dadam Monitoring business process compliance using compliance rule graphs 19th International Conference on Cooperative Information Systems (CoopIS 2011) LNCS number 7044 2011 Springer 82 99
40. K. Jensen, L.M. Kristensen, and L. Wells Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems International Journal on Software Tools for Technology Tran 9 2007 213 254