Reasoning on Incomplete Execution Traces Using Action Languages – A First Report

  • Chiara Di FrancescomarinoEmail author
  • Chiara Ghidini
  • Sergio Tessaris
  • Itzel Vázquez Sandoval
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8954)


In this paper we tackle the problem of reconstructing information about incomplete business process execution traces proposing an approach based on action languages.


Actual Language Current Process Execution Classical Literals Block-structured Workflow Fiscal Code 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 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) CrossRefGoogle Scholar
  2. 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) CrossRefGoogle Scholar
  3. 3.
    Nau, D., Ghallab, M., Traverso, P.: Automated Planning: Theory & Practice. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (2004) zbMATHGoogle Scholar
  4. 4.
    Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning, II: the DLVK system. Artif. Intell. 144, 157–211 (2003)MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    van der Aalst, W.M.P., ter Hofstede, A.H.M.: YAWL: yet another workflow language. Inf. Syst. 30, 245–275 (2005)CrossRefGoogle Scholar
  6. 6.
    Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Krogstie, J., Bubenko, J., Pastor, O., Pernici, B., Rolland, C., Sølvberg, A. (eds.) Seminal Contributions to Information Systems Engineering, pp. 241–255. Springer, Berlin, Heidelberg (2013) CrossRefGoogle Scholar
  7. 7.
    Sandoval, I.V.: Automated reasoning support for process models using action language. Master’s thesis, Faculty of Computer Sciences, Free University of Bozen-Bolzano (2014)Google Scholar
  8. 8.
    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) CrossRefGoogle Scholar
  9. 9.
    Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. Proc. EDOC 2011, 55–64 (2011)Google Scholar
  10. 10.
    Marrella, A., Mecella, M., Russo, A.: Featuring automatic adaptivity through workflow enactment and planning. In: CollaborateCom 2011 (2011)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Chiara Di Francescomarino
    • 1
    Email author
  • Chiara Ghidini
    • 1
  • Sergio Tessaris
    • 2
  • Itzel Vázquez Sandoval
    • 2
  1. 1.FBK-IRSTTrentoItaly
  2. 2.Free University of Bozen–BolzanoBozen-BolzanoItaly

Personalised recommendations