Process Mining using Parameterised Graphs
نویسندگان
چکیده
This is a brief report on Andrey Mokhov’s visit to Josep Carmona’s research lab in Universitat Politècnica de Catalunya. The report summarises potential benefits that Parameterised Graphs (PGs) [1] can bring to the domain of process mining [2] and outlines important challenges to be addressed in future research. The authors intend to elaborate on the presented ideas in followup peer reviewed publications. Andrey Mokhov, Josep Carmona: Process Mining using Parameterised Graphs 1 Motivation for using PGs in process mining In this section we discuss key reasons that motivate us to study the application of PGs in process mining, namely: (i) their ability to compactly represent complex behaviours without excessive over-generalisation, and (ii) the possibility of capturing event log meta data as part of PG representations and taking advantage of the data for the purpose of explaining the processes under observation. Note that in this report we work with PGs whose equivalence is considered up to the transitive closure. Such PGs have historically been studied under the name of Conditional Partial Order Graphs [3]. 1.1 Compact representation We have performed a number of experiments with state-of-the-art process mining software and found out that the existing solutions often produce too general solutions for event logs corresponding to processes with nontrivial mix of concurrency, causilty and choice. One example of such an event log is L = {abcd,cdab,badc,dcba}. One can notice that in this example the order between events a and b always coincides with the order between events c and d, which we consider an important piece of information about the process. The existing process mining methods, however, fail to capture this information and produce the most general explanation for the process in which all four events are concurrent. x
منابع مشابه
The Parameterised Complexity of List Problems on Graphs of Bounded Treewidth
We consider the parameterised complexity of several list problems on graphs, with parameter treewidth or pathwidth. In particular, we show that List Edge Chromatic Number and List Total Chromatic Number are fixed parameter tractable, parameterised by treewidth, whereas List Hamilton Path is W[1]-hard, even parameterised by pathwidth. These results resolve two open questions of Fellows, Fomin, L...
متن کاملParameterised Verification of Autonomous Mobile-Agents in Static but Unknown Environments
Automata walking on graphs are a mathematical formalisation of autonomous mobile agents with limited memory operating in discrete environments. This paper establishes a framework in which to model and automatically verify that autonomous mobile agents correctly perform their tasks. The framework consists of a logical language tailored for expressing agent tasks, and an algorithm solving the par...
متن کاملBig Graph Mining: Frameworks and Techniques
Big graph mining is an important research area and it has attracted considerable attention. It allows to process, analyze, and extract meaningful information from large amounts of graph data. Big graph mining has been highly motivated not only by the tremendously increasing size of graphs but also by its huge number of applications. Such applications include bioinformatics, chemoinformatics and...
متن کاملROTE: A Tool to Support Users in Defining the Relative Importance of Quality Characteristics
This paper describes the Relative Ordering Tool for Evaluation (ROTE) which is designed to support the process of building a parameterised quality model for evaluation. It is a very simple tool which enables users to specify the relative importance of quality characteristics (and associated metrics) to reflect the users' particular requirements. The tool allows users to order any number of qual...
متن کاملConstruction of strict Lyapunov function for nonlinear parameterised perturbed systems
In this paper, global uniform exponential stability of perturbed dynamical systems is studied by using Lyapunov techniques. The system presents a perturbation term which is bounded by an integrable function with the assumption that the nominal system is globally uniformly exponentially stable. Some examples in dimensional two are given to illustrate the applicability of the main results.
متن کامل