Add data into business process verification: Bridging the gap between theory and practice

31st AAAI Conference on Artificial Intelligence, AAAI 2017

Volumn , Issue , 2017, Pages 1091-1099

  De Masellis, Riccardo ^a   Di Francescomarino, Chiara ^a   Ghidini, Chiara ^a   Montali, Marco ^b   Tessaris, Sergio ^b  

^a ITC IRST   (Italy)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; CONCRETES; DATA HANDLING; MANAGEMENT SCIENCE; MODELING LANGUAGES; PETRI NETS; SYSTEMS ENGINEERING;

BPM ARCHITECTURES; BUSINESS PROCESS; BUSINESS PROCESS MODELING; REACHABILITY ANALYSIS; RELATIONAL MODEL; STATE OF THE ART; THEORY AND PRACTICE; VERIFICATION TOOLS;

FORMAL VERIFICATION;

EID: 85020552041     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (30)

1. Abiteboul, S.; Vianu, V.; Fordham, B. S.; and Yesha, Y. 2000. Relational transducers for electronic commerce. Journal of Computer and System Sciences 61(2):236-269.
2. Abiteboul, S.; Segoufin, L.; and Vianu, V. 2009. Modeling and verifying Active XML artifacts. Bull. of the IEEE Computer Society Technical Committee on Data Engineering 32(3):10-15.
3. Badouel, E.; Hélouët, L.; and Morvan, C. 2015. Petri nets with semi-structured data. In Proc. of 36th International Conference on Application and Theory of Petri Nets and Concurrency.
4. Bagheri Hariri, B.; Calvanese, D.; De Giacomo, G.; Deutsch, A.; and Montali, M. 2013. Verification of relational datacentric dynamic systems with external services. In 32nd Symposium on Principles of Database Systems (PODS '13), 163-174. ACM.
5. Belardinelli, F.; Lomuscio, A.; and Patrizi, F. 2012. An abstraction technique for the verification of artifact-centric systems. In Proc. of 13th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2012, 319-328.
6. Calvanese, D.; Montali, M.; Patrizi, F.; and Stawowy, M. 2016. Plan synthesis for knowledge and action bases. In Proc. of the 25th Int. Joint Conf. on Artificial Intelligence (IJCAI 2016). AAAI Press.
7. Calvanese, D.; De Giacomo, G.; and Montali, M. 2013. Foundations of data-aware process analysis: A database theory perspective. In 32nd Symposium on Principles of Database Systems (PODS '13), 1-12. ACM.
8. Damaggio, E.; Deutsch, A.; and Vianu, V. 2011. Artifact systems with data dependencies and arithmetic. In Proc. of the 14th Int. Conf. on Database Theory (ICDT 2011), 66-77.
9. De Giacomo, G.; Lesperance, Y.; and Patrizi, F. 2012. Bounded situation calculus action theories and decidable verification. In 13th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR 2012, 467-477.
10. Di Francescomarino, C.; Ghidini, C.; Tessaris, S.; and Sandoval, I. V. 2015. Completing workflow traces using action languages. In Proc. of 27th Int. Conf. on Advanced Information Systems Engineering (CAiSE 2015), Volume 9097 of LNAI, 314-330. Springer.
11. Dijkman, R. M.; Dumas, M.; and Ouyang, C. 2008. Semantics and analysis of business process models in bpmn. Information and Software Technology 50(12):1281-1294.
12. Eiter, T.; Faber, W.; Leone, N.; Pfeifer, G.; and Polleres, A. 2003. A logic programming approach to knowledgestate planning, II: The DLVK system. Artificial Intelligence 144(1-2):157-211.
13. Gelfond, M., and Lifschitz, V. 1998. Action Languages. Electronic Transactions on AI 2(3-4):193-210.
14. Gerede, C. E.; Bhattacharya, K.; and Su, J. 2007. Static analysis of business artifact-centric operational models. In IEEE Int. Conf. on Service-Oriented Computing and Applications, SOCA 2007, 133-140. IEEE Computer Society.
15. Hariri, B. B.; Calvanese, D.; Montali, M.; and Deutsch, A. 2014. State-boundedness in data-aware dynamic systems. In Proc. of 14th Int. Conf. on the Principles of Knowledge Representation and Reasoning, KR 2014. AAAI Press.
16. Hull, R., and Motahari Nezhad, H. R. 2016. Rethinking BPM in a cognitive world: Transforming how we learn and perform business processes. In 14th Int. Conf. on Business Process Management, BPM 2016, Volume 9850 of LNCS, 3-19. Springer.
17. Hull, R. 2008. Artifact-centric business process models: Brief survey of research results and challenges. In Proceedings of the OTM 2008 Confederated International Conferences, Volume 5332 of LNCS, 1152-1163. Springer.
18. Kappel, G.; Kapsammer, E.; and Retschitzegger, W. 2004. Integrating xml and relational database systems. World Wide Web 7(4):343-384.
19. Kiepuszewski, B.; ter Hofstede, A. H. M.; and Bussler, C. J. 2013. Onstructured workflow modelling. In 12th Int. Conf on Advanced Information Systems Engineering (CAiSE 2000), Volume 1789 of LNCS. Springer. 431-445.
20. Lazić, R.; Newcomb, T.; Ouaknine, J.; Roscoe, A. W.; and Worrell, J. 2007. Nets with Tokens Which Carry Data. In 28th Int. Conf. on Applications and Theory of Petri Nets and Other Models of Concurrency, (ICATPN 2007), Volume 4546 of LNCS, 301-320. Springer.
21. Lifschitz, V. 1999. Action languages, answer sets and planning. In The Logic Programming Paradigm: a 25-Year Perspective. Springer Verlag. 357-373.
22. Meyer, A.; Smirnov, S.; and Weske, M. 2011. Data in business processes. Technical Report 50, Hasso-Plattner-Institut for IT Systems Engineering, Universität Potsdam.
23. Minsky, M. L. 1967. Computation: Finite and Infinite Machines. Prentice-Hall, Inc.
24. Montali, M., and Calvanese, D. 2016. Soundness of data-aware, case-centric processes. International Journal on Software Tools for Technology Transfer 18(5):535-558.
25. Reichert, M. 2012. Process and data: Two sides of the same coin? In Proceedings of the OTM 2012 Confederated International Conferences, Volume 7565 of LNCS, 2-19. Springer.
26. Rosa-Velardo, F., and de Frutos-Escrig, D. 2011. Decidability and complexity of petri nets with unordered data. Theoretical Computer Science 412(34):4439-4451.
27. Sidorova, N.; Stahl, C.; and Trcka, N. 2011. Soundness verification for conceptual workflow nets with data: Early detection of errors with the most precision possible. Information Systems 36(7):1026-1043.
28. ter Hofstede, A. H. M.; van der Aalst, W. M. P.; Adams, M.; and Russell, N., eds. 2010. Modern Business Process Automation - YAWL and its Support Environment. Springer.
29. van der Aalst, W., and Stahl, C. 2011. Modeling Business Processes: A Petri Net-Oriented Approach. MIT Press.
30. Van Der Aalst, W. M. P. 1998. The application of petri nets to workflow management. Journal of Circuits, Systems and Computers 08:21-66.