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 such business areas as healthcare, public, transportation and education. Although nowadays, these techniques are mostly used for discovering business processes.However, process mining can be applied to software too. In the area of software design and development, process models and user interface workflows underlie the functional specification of almost every substantial software system. When the system is utilized, user interaction with the system can be recorded in event logs. After applying process mining methods to logs, we can derive process and user interface flow models. These models provide insights regarding the real usage of the software and can enable usability improvements and software redesign.In this industrial paper we present several process mining examples of different productive software systems used in the touristic domain. With the help of these examples we demonstrate that process mining enables new forms of software analysis. The user interaction with almost every software system can be mined in order to improve the software and to monitor and measure its real usage.

No abstract

Abstract. Process mining is a relatively new research field, offering methods of business processes analysis and improvement, which are based on studying their execution history (event logs). Conformance checking is one of the main sub-fields of process mining. Conformance checking algorithms are aimed to assess how well a given process model, typically represented by a Petri net, and a corresponding event log fit each other. Alignmentbased conformance checking is the most advanced and frequently used type of such algorithms. This paper deals with the problem of high computational complexity of the alignment-based conformance checking algorithm. Currently, alignment-based conformance checking is quite inefficient in terms of memory consumption and time required for computations. Solving this particular problem is of high importance for checking conformance between real-life business process models and event logs, which might be quite problematic using existing approaches. MapReduce is a popular model of parallel computing which allows for simple implementation of efficient and scalable distributed calculations. In this paper, a MapReduce version of the alignment-based conformance checking algorithm is described and evaluated. We show that conformance checking can be distributed using MapReduce and can benefit from it. Moreover, it is demonstrated that computation time scales linearly with the growth of event log size.

получена 17 июля 2017Аннотация. В ходе жизненного цикла информационной системы (ИС) ее реальное поведение может перестать соответствовать исходной модели системы. Между тем для поддержки системы очень важно иметь актуальную модель, отражающую текущее поведение системы. Для корректи-ровки модели можно использовать информацию из журнала событий системы. Журналы собы-тий процессно-ориентированных информационных систем содержат запись истории исполнения поддерживаемых процессов в виде более или менее детальных списков событий. Такие журна-лы, как правило, записываются всеми современным ИС. Эта информация может использоваться для анализа реального поведения ИС и ее усовершенствования. В работе рассматривается зада-ча корректировки (исправления) модели процесса на основе информации из журнала событий. Исходными данными для этой задачи являются первоначальная модель процесса в виде сети Пет-ри и журнал событий. Результатом корректировки должна быть новая модель процесса, лучше отображающая реальное поведение ИС, чем исходная модель. Актуальная модель может быть построена и полностью заново, например, с помощью одного из известных алгоритмов автомати-ческого синтеза модели процесса по журналу событий. Однако структура исходной модели при этом может полностью измениться. Полученную модель будет трудно сопоставить с прежней мо-делью процесса, что затруднит ее понимание и анализ. Поэтому при корректировке модели важно по возможности сохранить ее прежнюю структуру. Предлагаемый в настоящей работе алгоритм корректировки модели основан на принципе разделяй и властвуй . Исходная модель процесса декомпозируется на фрагменты. Для каждого из фрагментов проверяется, соответствует ли он актуальному журналу событий. Фрагменты, для которых выявлены несоответствия, заменяются на заново синтезированные. Новая модель собирается из фрагментов путем слияния переходов. Проведенные эксперименты показывают, что наш алгоритм корректировки дает хорошие резуль-таты, если применяется для исправления локальных несоответствий. Работа содержит описание алгоритма, формальное обоснование его корректности, а также результаты экспериментального тестирования на искусственных примерах.

Process models of different types and graphs are commonly used for modeling and visualization of processes in information systems. They may represent sets of objects, tasks or events involved in process linked with each other in some way. Wide use of process models in various notations engenders necessity of software tools for creating, editing, and analysing them. This paper describes the process model editor which allows for dealing with classical graphs, Petri nets, finite-state machines and systems of communicating automata. Additionally, the tool is armed with the following list of useful features: process simulation based on a Petri net token-based replay, import and export of process models in different persistent formats, various model layouts and other process visualization abilities. Moreover, Carassius is a modular tool which can be extended with additional process model notations, processing, import and export possibilities. In the paper one can find a detailed description of a couple of layout algorithms already implemented in the tool. These algorithms for visualization of Petri nets and graphs can be used as a base point for further development of more refined process visualization approaches. Carassius might be useful for educational and research purposes because of its simplicity, range of features and variety of supported notations.