Automating correctness verification of artifact-centric business process models

Information and Software Technology

Volumn 62, Issue 1, 2015, Pages 187-197

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

^a UNIVERSITY OF SEVILLE   (Spain)

Author keywords

Artifact centric business process model; Constraint programming; Verification

Indexed keywords

ADMINISTRATIVE DATA PROCESSING; ALGORITHMS; ARTIFICIAL INTELLIGENCE; COMPUTER PROGRAMMING; CONSTRAINT THEORY; ENTERPRISE RESOURCE MANAGEMENT; ERRORS; LIFE CYCLE; VERIFICATION;

ARTIFACT-CENTRIC; ARTIFICIAL INTELLIGENCE TECHNIQUES; BUSINESS PROCESS MANAGEMENT; BUSINESS PROCESS MODEL; CONSTRAINT PROGRAMMING; CORRECTNESS VERIFICATIONS; RESEARCH CHALLENGES; VERIFICATION ALGORITHMS;

NUMERICAL METHODS;

EID: 84932637441     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.infsof.2015.02.010     Document Type: Article

References (31)

1. M. Weske, Business Process Management: Concepts, Languages, Architectures, Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2007.
2. A. Nigam, N.S. Caswell, Business artifacts: an approach to operational specification, IBM Syst. J. 42 (2003) 428-445.
3. D. Cohn, R. Hull, Business artifacts: a data-centric approach to modeling business operations and processes, IEEE Data Eng. Bull. 32 (2009) 3-9.
4. R. Eshuis, R. Hull, Y. Sun, R. Vaculín, Splitting gsm schemas: a framework for outsourcing of declarative artifact systems, in: Business Process Management (BPM 2013), Lecture Notes in Computer Science, Springer-Verlag, Berlin, 2013, pp. 259-274.
5. OMG, Object Management Group, Business Process Model and Notation (BPMN) Version 2.0, OMG Standard, 2011.
6. A. Meyer, L. Pufahl, D. Fahland, M. Weske, Modeling and enacting complex data dependencies in business processes, in: Proceedings of the 11th International Conference on Business Process Management, Springer-Verlag, 2013, pp. 171-186.
7. M.T. Gómez-López, D. Borrego, R.M. Gasca, Data state description for the migration to activity-centric business process model maintaining legacy databases, in: Business Information Systems, Springer, 2014, pp. 86-97.
8. D. Borrego, R. Eshuis, M.T. Gómez-López, R.M. Gasca, Diagnosing correctness of semantic workflow models, Data Knowl. Eng. 87 (2013) 167-184.
9. F. Rossi, P. van Beek, T. Walsh (Eds.), Handbook of Constraint Programming, Elsevier, 2006.
10. R. Hull, Artifact-centric business process models: brief survey of research results and challenges, in: Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II On the Move to Meaningful Internet Systems, OTM '08, Springer-Verlag, Berlin, Heidelberg, 2008, pp. 1152-1163.
11. R. Eshuis, A. Kumar, An integer programming based approach for verification and diagnosis of workflows, Data Knowl. Eng. 69 (2010) 816-835.
12. M.T. Gómez-López, R.M. Gasca, J.M. Pérez-Álvarez, Compliance validation and diagnosis of business data constraints in business processes at runtime, Inf. Syst. 48 (2015) 26-43.
13. P. Cheeseman, B. Kanefsky, W.M. Taylor, Where the really hard problems are, in: Proceedings of the 12th International Joint Conference on Artificial Intelligence, IJCAI'91, vol. 1, Morgan Kaufman Publishers Inc., San Francisco, CA, USA, 1991, pp. 331-337.
14. K. Apt, Principles of Constraint Programming, Cambridge University Press, New York, NY, USA, 2003.
15. A. Bulatov, P. Jeavons, A. Krokhin, Classifying the complexity of constraints using finite algebras, SIAM J. Comput. 34 (2005) 720-742.
16. M. Chinosi, A. Trombetta, Bpmn: an introduction to the standard, Comput. Stand. Interf. 34 (2012) 124-134.
17. R.M. Haralick, G.L. Elliott, Increasing tree search efficiency for constraint satisfaction problems, in: Proceedings of the 6th International Joint Conference on Artificial Intelligence, IJCAI'79, 1, Morgan Kaufman Publishers Inc., San Francisco, CA, USA, 1979, pp. 356-364.
18. P. Van Hentenryck, Constraint Satisfaction in Logic Programming, MIT Press, 1989.
19. I. Weber, J. Hoffmann, J. Mendling, Beyond soundness: on the verification of semantic business process models, Distrib. Parallel Databases 27 (2010) 271-343.
20. C.E. Gerede, K. Bhattacharya, J. Su, Static analysis of business artifact-centric operational models, in: Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications, SOCA '07, IEEE Computer Society, Washington, DC, USA, 2007, pp. 133-140.
21. A. Deutsch, R. Hull, F. Patrizi, V. Vianu, Automatic verification of data-centric business processes, in: Proceedings of the 12th International Conference on Database Theory, ICDT '09, ACM, New York, NY, USA, 2009, pp. 252-267.
22. E. Damaggio, A. Deutsch, V. Vianu, Artifact systems with data dependencies and arithmetic, ACM Trans. Database Syst. 37 (2012) 1-36.
23. P. Gonzalez, A. Griesmayer, A. Lomuscio, Verifying gsm-based business artifacts, in: ICWS, IEEE, 2012, pp. 25-32.
24. F. Belardinelli, A. Lomuscio, F. Patrizi, Verification of gsm-based artifact-centric systems through finite abstraction, in: Proceedings of the 10th International Conference on Service-Oriented Computing, ICSOC'12, Springer-Verlag, Berlin, Heidelberg, 2012, pp. 17-31.
25. N. Lohmann, Compliance by design for artifact-centric business processes, Inform. Syst. 38 (2013) 606-618.
26. A. Meyer, A. Polyvyanyy, M. Weske, Weak conformance of process models with respect to data objects, in: Central-European Workshop on Services and their Composition (ZEUS), 2012, pp. 74-80.
27. W.M.P. van der Aalst, The application of petri nets to workflow management, J. Circ. Syst. Comput. 8 (1998) 21-66.
28. W.M.P. van der Aalst, Workflow verification: finding control-flow errors using petri-net-based techniques, in: Business Process Management, Models, Techniques, and Empirical Studies, Springer-Verlag, London, UK, 2000, pp. 161-183.
29. A. Awad, G. Decker, N. Lohmann, Diagnosing and repairing data anomalies in process models, in: Business Process Management Workshops, Lecture Notes in Business Information Processing, vol. 43, Springer, 2009, pp. 5-16.
30. D. Fahland, M. Leoni, B. Dongen, W. Aalst, Conformance Checking of Interacting Processes with Overlapping Instances, in: Business Process Management (BPM 2011), Lecture Notes in Computer Science, vol. 6896, Springer-Verlag, Berlin, 2011, pp. 345-361.
31. C.E. Gerede, J. Su, Specification and verification of artifact behaviors in business process models, in: International Conference on Service Oriented Computing, ICSOC'07, 2007, pp. 181-192.