Vladimir Rubin

• PhD
• CEO at ADEAL Systems GmbH

Process mining is an emerging discipline incorporating methods and tools for the analysis of system/process executions captured in the form of event logs [1]. Traditionally process mining can be divided into three research areas: discovery (construction of process models from event logs), conformance checking (finding log and model deviations), and...

Information systems (IS) produce numerous traces and logs at runtime. In context of SOA-based (service-oriented architecture) IS, these logs contain details about sequences of process and service calls. Modern application monitoring and error tracking tools provide only rather straightforward log search and filtering functionality. However, ``cleve...

Process-aware information systems (PAIS) are systems relying on processes, which involve human and software resources to achieve concrete goals. There is a need to develop approaches for modeling, analysis, improvement and monitoring processes within PAIS. These approaches include process mining techniques used to discover process models from event...

Process mining techniques aim to analyze and improve conformance and performance of processes using event data. Process discovery is the most prominent process-mining task: A process model is derived based on an event log. The process model should be able to capture causalities, choices, concurrency, and loops. Process discovery is very challenging...

Modern information systems produce tremendous amounts of event data. The area of process mining deals with extracting knowledge from this data. Real-life processes can be effectively discovered, analyzed and optimized with the help of mature process mining techniques. There is a variety of process mining case studies and experience reports from suc...

Modern companies continue investing more and more in the creation, maintenance and change of software systems, but the proper specification and design of such systems continues to be a challenge. The majority of current approaches either ignore real user and system runtime behavior or consider it only informally. This leads to a rather prescriptive...

Process mining includes the automated discovery of processes from event logs. Based on observed events (e.g., activities being executed or messages being exchanged) a process model is constructed. One of the essential problems in process mining is that one cannot assume to have seen all possible behavior. At best, one has seen a representative subs...

This tool paper describes the functionality of ProM. Version 4.0 of ProM has been released at the end of 2006 and this version reflects recent achievements in process mining. Process mining techniques attempt to extract non-trivial and useful information from so-called “event logs”. One element of process mining is control-flow discovery, i.e., aut...

Software development processes are often not explicitly mod-elled and sometimes even chaotic. In order to keep track of the involved documents and files, engineers use software configuration management systems. Along the way, those systems collect and store information on the software development process itself. In this paper, we show how this info...

AMFIBIA is a meta-model that formalises the essential aspects and concepts of business processes. Though AMFIBIA is not the first approach to formalising the aspects and concepts of business processes, it is more ambitious in the following respects: Firstly, it is independent from particular modelling formalisms of business processes and it is desi...

The theory of regions and the algorithms for synthesizing a Petri net model from a transition system, which are based on this theory, have interesting practical applications – in particular in the design of electronic circuits. In this paper, we show that this theory can be also applied for mining the underlying process from the user interactions w...

The field of formal methods provides all kinds of powerful techniques for the specification, design, verification, validation, and ramp-up of systems. Petri nets, in different versions and “levels”, are among those techniques that have successfully been used in various fields of application and for different engineering tasks. During the full devel...

Incremental workflow mining is a technique for automati- cally deriving a process model from the on-going executions of a process. This way, the process model becomes more and more accurate, and is automatically adapted when the process is being changed. Therefore, in- cremental workflow mining could help in flexible workflow support: In this paper...

Current enterprises spend much effort in obtaining precise models of their software engineering processes in order to improve the process capability of their or- ganization and to move one step forward in the CMM. The manual design of pro- cess models, however, is complicated, time-consuming, error-prone and the results are rapidly becoming out-dat...

AMFIBIA is a meta-model that formalizes the essential as- pects and concepts of business process modelling. Though AMFIBIA is not the first approach to formalizing the aspects and concepts of busi- ness process modelling, it is more ambitious in the following respects: First, it is independent from particular modelling formalisms of busi- ness proc...

Current enterprises spend much effort to obtain precise models of their system engineering processes in order to improve the process capability of the organization. The manual design of workflow models is complicated, time-consuming and error-prone; capabilities of human beings in detecting discrepancies between the actual process and the process m...

The field of formal methods provides all kinds of powerful techniques for the specification, design, verification, validation, and start- up of systems. Unfortunately, the dierent techniques have dierent un- derlying formalisms and notations, they use dierent concepts and meth- ods, and they are supported by dierent and, in many cases, incompatible...

Petri nets are a powerful technique for modelling, analysing and verifying dynamic aspects of all kinds of systems. And so are many other techniques from the field of formal methods, e.g. State Charts or timed automata. All of these techniques have their particular strengths and weaknesses, which often make it necessary to have models in dierent,no...

More and more information about processes is recorded by information systems in the form of so-called "event logs". Despite the omnipresence and richness of these event logs, most software vendors have been focusing on relatively simple questions under the assumption that the process is fixed and known, e.g., the calculation of simple perfor-mance...

Triple graph grammars are a technique for translating and for maintaining consistency among dierent models. Imple- mentations of such triple graph grammar transformations work only for automatically generated models. Therefore, the transformations cannot be applied to third-party models. In this paper, we discuss this problem and ideas for its solu...

It is now well-established, that there are three important aspects of business processes: the behaviour aspect, the information as- pect, and the organisation aspect. Dependent on the application area and the purpose of the models, there are even more aspects that need to be considered. Conceptually, most of the aspects of business pro- cesses are...

Zusammenfassung Der Einsatz Formaler Methoden beschleunigt den Entwurf des Aufbaus, die Ent-wicklung der Steuerungssoftware, sowie die Inbetriebnahme und Wartung von Flexiblen Fertigungssystemen. Die unterschiedlichen Aufgaben erfordern jedoch den Einsatz verschiedener Formalismen mit unterschiedlichen Konzepten, Nota-tionen und Verfahren, die zude...

Current enterprises spend much effort in obtaining precise models of software and systems engineering processes in order to improve the process capability of their organization. Nowadays, process engineers are designing such process models manually, which is complicated and time-consuming. In order to keep track of the involved documents and files,...