Abstract:Tremendous amounts of execution data are collected during software execution. These data provide rich information for software runtime behavior comprehension. The unstructured execution data may be too complex, involving multiple interleaved components and so on. Applying existing process discovery techniques results in spaghetti-like models with no clear structure and no valuable information that can be easily understood by end users. In this article, we start with the observation that a software system is composed of a group of components, and we use this information to decompose the problem into smaller independent ones by discovering a behavioral model per component. To this end, we first distill a software event log for each component from the raw software execution data. Then, we construct the hierarchical software event log by recursively applying caller-and-callee relation detection. Next, component behavioral models, represented as hierarchical Petri nets, are discovered by recursively applying existing process discovery techniques. To measure the quality of discovered models against the execution data, we transform hierarchical Petri nets to flat ones, and the quality metrics, e.g., fitness, precision, and complexity, are applied. All proposed approaches have been implemented in the open-source process mining toolkit ProM. Through the experimental evaluation using both synthetic software systems and open-source software systems, we illustrate that the proposed approach facilitates the discovery of more understandable and high-quality software behavioral models. Note to Practitioners—Software execution data record rich information on the runtime behavior of software systems. Discovering an overall behavioral model for the whole software system typically results in an extremely complicated model that hinders further comprehension and usage. With the observation that a software system is composed of a set of interacting co-ponents, this article considers the problem of discovering a behavioral model per component. The proposed techniques are implemented in the open-source process mining tool ProM, and experimental evaluations using both synthetic and real-life software systems have indicated their applicability. The proposed approaches are readily applicable to industrial-size software behavior comprehension.

Discovering Hierarchical Multi-Instance Business Processes from Event Logs

Formal Modeling and Discovery of Hierarchical Business Processes: A Petri Net-Based Approach

Discovering BPMN Models with Sub-processes and Multi-instance Markers.

Stage-based Discovery of Business Process Models from Event Logs.

Discovering Hierarchical Process Models: an Approach Based on Events Clustering

Process Modeling Leveraged by Workflow Structure and Running Logs Analysis

Decomposed and Parallel Process Discovery: A Framework and Application.

A Two-Layered Framework for the Discovery of Software Behavior: A Case Study

Business Process Discovery using Process Mining Techniques and Distributed Framework

Alignment-Based Conformance Checking of Hierarchical Process Models

Process Discovery using Inductive Miner and Decomposition

Discovering High-Quality Process Models Despite Data Scarcity

Discovering Multi-perspective Process Models: The Case of Loosely-Structured Processes

Semi-supervised Log Pattern Detection and Exploration Using Event Concurrence and Contextual Information

Sampling business process event logs using graph‐based ranking model

Discovering process models from event multiset

Grouping Local Process Models

Imposing Rules in Process Discovery: an Inductive Mining Approach

Discovery and Quality Evaluation of Software Component Behavioral Models

Process Modeling Leveraged by Workflow Fragments and Logs Analysis

A Novel Approach Of Process Mining With Event Graph