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.

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

Discovery and Quality Evaluation of Software Component Behavioral Models

BPMiner: mining developers' behavior patterns from screen-captured task videos.

Discovering Hierarchical Multi-Instance Business Processes from Event Logs

Process Modeling Leveraged by Workflow Structure and Running Logs Analysis

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

An Integrated Framework for Process Discovery Algorithm Evaluation

Software Cybernetics in Bpm: Modeling Software Behavior As Feedback for Evolution by A Novel Discovery Method Based on Augmented Event Logs

Business Process Discovery using Process Mining Techniques and Distributed Framework

A technique for discovering BPMN collaboration diagrams

A framework for optimisation based stochastic process discovery

RapidProM: Mine Your Processes and Not Just Your Data

PLG2: Multiperspective Processes Randomization and Simulation for Online and Offline Settings

Process Modeling Leveraged by Workflow Fragments and Logs Analysis

Process Discovery for Structured Program Synthesis

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

Detection Of Consistent Patterns From Process Enactment Data

Change Your History: Learning from Event Logs to Improve Processes

Mining Invisible Tasks in Non-free-choice Constructs

Object-Centric Local Process Models

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