Completing workflow traces using action languages

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

Volumn 9097, Issue , 2015, Pages 314-330

  Di Francescomarino, Chiara ^a   Ghidini, Chiara ^a   Tessaris, Sergio ^b   Sandoval, Itzel Vàzquez ^b  

^a ITC IRST   (Italy)

^b FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

Author keywords

Business processes; Execution logs; Planning

Indexed keywords

PLANNING; SYSTEMS ENGINEERING;

BUSINESS PROCESS; EXECUTION LOGS; INCOMPLETE INFORMATION; INFORMATION HIDING; MISSING INFORMATION; PLANNING PROBLEM; PROCESS EXECUTION; SERVICE EXECUTION;

INFORMATION SYSTEMS;

EID: 84937485381     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-19069-3_20     Document Type: Conference Paper

References (22)

1. Rogge-Solti, A., Mans, R.S., van der Aalst, W.M.P., Weske, M.: Improving documentation by repairing event logs. In: Grabis, J., Kirikova, M., Zdravkovic, J., Stirna, J. (eds.) PoEM 2013. LNBIP, vol. 165, pp. 129–144. Springer, Heidelberg (2013)
2. Bertoli, P., Di Francescomarino, C., Dragoni, M., Ghidini, C.: Reasoning-based techniques for dealing with incomplete business process execution traces. In: Baldoni, M., Baroglio, C., Boella, G., Micalizio, R. (eds.) AI*IA 2013. LNCS, vol. 8249, pp. 469–480. Springer, Heidelberg (2013)
3. Nau, D., Ghallab, M., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc., San Francisco (2004)
4. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, ii: The dlvk system. Artificial Intelligence 144, 157–211 (2003)
5. Lifschitz, V.: Action languages, answer sets and planning. In: The Logic Programming Paradigm: A 25-Year Perspective, pp. 357–373. Springer Verlag (1999)
6. van der Aalst, W.M.P., ter Hofstede, A.H.M.: Yawl: Yet another workflow language. Inf. Syst. 30, 245–275 (2005)
7. Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Seminal Contributions to Information Systems Engineering, pp. 241–255. Springer (2013)
8. Vàzquez Sandoval, I.: Automated Reasoning Support for Process Models using Action Language. Master’s thesis, Computer Science Faculty, Free University of Bozen-Bolzano (2014)
9. Russell, N.C.: Foundations of process-aware information systems. Thesis, Queensland University of Technology (2007)
10. Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns: identification, representation and tool support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, O. (eds.) ER 2005. LNCS, vol. 3716, pp. 353–368. Springer, Heidelberg (2005)
11. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning: Semantics and complexity. INFSYS Research Report INFSYS RR-1843-01-11. TU Wien (2001)
12. van der Aalst, W., et al.: Process mining manifesto. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part I. LNBIP, vol. 99, pp. 169–194. Springer, Heidelberg (2012)
13. Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: Proc. of EDOC 2011, pp. 55–64 (2011)
14. de Leoni, M., van der Aalst, W.M.P., van Dongen, B.F.: Data- and resource-aware conformance checking of business processes. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 48–59. Springer, Heidelberg (2012)
15. de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: Aligning event logs and declarative process models for conformance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 82–97. Springer, Heidelberg (2012)
16. Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 32, 3–9 (2009)
17. Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., et al.: Introducing the guardstage- milestone approach for specifying business entity lifecycles (invited talk). In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1–24. Springer, Heidelberg (2011)
18. Regis, G., Ricci, N., Aguirre, N.M., Maibaum, T.: Specifying and verifying declarative fluent temporal logic properties of workflows. In: Gheyi, R., Naumann, D. (eds.) SBMF 2012. LNCS, vol. 7498, pp. 147–162. Springer, Heidelberg (2012)
19. Rodrìguez-Moreno, M.D., Borrajo, D., Cesta, A., Oddi, A.: Integrating planning and scheduling in workflow domains. Expert Systems with Applications 33, 389–406 (2007)
20. da Silva, C.E., de Lemos, R.: A framework for automatic generation of processes for self-adaptive software systems. Informatica (Slovenia) 35, 3–13 (2011)
21. Marrella, A., Russo, A., Mecella, M.: Planlets: automatically recovering dynamic processes in yawl. In: Meersman, R., et al. (eds.) OTM 2012, Part I. LNCS, vol. 7565, pp. 268–286. Springer, Heidelberg (2012)
22. Marrella, A., Mecella, M., Russo, A.: Featuring automatic adaptivity through workflow enactment and planning. In: CollaborateCom 2011 (2011)