Master Thesis Defence by Ms Itzel Vázquez Sandoval
Ms Itzel Vázquez Sandoval defended his master thesis on 'Automated Reasoning Support for Process Models using Action Languages'.
Ms Itzel Vázquez Sandoval defended his master thesis on 'Automated Reasoning Support for Process Models using Action Languages' at unibz on 13 October 2014.
By cause of the human-interactive nature of business processes a diversity of problems emerge from their automation, extensively effected nowadays. Such automation allows to monitor process and service executions, and consequently to analyze and reason about the observed data. These activities are weakened nevertheless by the detection of incomplete information concerning the process-level tasks.
The purpose of the present thesis is to solve the particular problem of reconstructing incomplete observed executions of processes, in order to support the performance of reliable business analysis over monitored behavior. Such analysis permits among others, the enhancement of the process models. The proposed solution consists in the characterization of the model of the process, along with the recorded trace, as a logical formulation in terms of a planning problem; by means of automated reasoning then, plans conforming to possible sequences of activities that correspond to complete instances of process executions can be generated.