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

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

[1]  Piergiorgio Bertoli,et al.  Reasoning-Based Techniques for Dealing with Incomplete Business Process Execution Traces , 2013, AI*IA.

[2]  Ricardo Seguel,et al.  Process Mining Manifesto , 2011, Business Process Management Workshops.

[3]  Wil M.P. van der Aalst,et al.  YAWL: yet another workflow language , 2005, Inf. Syst..

[4]  Paolo Traverso,et al.  Automated Planning: Theory & Practice , 2004 .

[5]  Boudewijn F. van Dongen,et al.  Conformance Checking Using Cost-Based Fitness Analysis , 2011, 2011 IEEE 15th International Enterprise Distributed Object Computing Conference.

[6]  Massimo Mecella,et al.  Featuring automatic adaptivity through workflow enactment and planning , 2011, 7th International Conference on Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom).

[7]  Mathias Weske,et al.  Improving Documentation by Repairing Event Logs , 2013, PoEM.

[8]  Wolfgang Faber,et al.  A logic programming approach to knowledge-state planning: Semantics and complexity , 2004, TOCL.

[9]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.