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.

Five Generic Processes for Behavior Description in Software Engineering

Advancing Behavior Engineering: Toward Integrated Events Modeling

Beyond SDLC: Process Modeling and Documentation Using Thinging Machines

Software Engineering Meets Systems Engineering: Conceptual Modeling Applied to Engineering Operations

Conceptual Modeling of Actions

Discovery and Quality Evaluation of Software Component Behavioral Models

Patterns Of Process Modeling

Preconceptual Modeling in Software Engineering: Metaphysics of Diagrammatic Representations

Thinging as a Way of Modeling in Poiesis: Applications in Software Engineering

Behavior modeling for application software using hierarchical automata

Software Engineering Modeling Applied to English Verb Classification (and Poetry)

Behavior Trees and State Machines in Robotics Applications

Modeling Events as Machines

Behavior modeling of virtual manufacturing environment

Modeling Human Behavior Part I -- Learning and Belief Approaches

Exploration in Algorithm Engineering: Modeling Algorithms

Understanding and measuring software engineer behavior: What can we learn from the behavioral sciences?

In Pursuit of Unification of Conceptual Models: Sets as Machines

UML Modeling to TM Modeling and Back

Teaching Software Process Modeling

Conceptual Modeling Founded on the Stoic Ontology: Reality with Dynamic Existence and Static Subsistence