On Process Mining Executable Use Case Maps: Concurrency-Aware Scenario Synthesis with Variant- and Data-Driven Conditions

Abstract

The Use Case Map (UCM) notation, part of the ITU-T Z.151 User Requirements Notation standard, offers first-class support for executable scenarios that drive the validation of UCM process models. To date, such models and their scenarios have been written manually. This paper presents an end-to-end pipeline, packaged as the open-source PM4Py-UCM, that mines a UCM process model from an event log, clusters the log’s traces under a concurrency-aware equivalence, and synthesizes a collection of executable scenario definitions enabling simple validation with stakeholders. The mined models include typed variables, mutually-exclusive OR-fork conditions, and per-loop integer counters that drive predetermined numbers of iterations per scenario. Two condition encodings are supported: a variant-driven baseline where the encoding faithfully replays observed variants from the original event log, and a data-driven alternative where decision-tree-mined expressions over case-level attributes provide business-readable rules. The tool-supported approach is illustrated using realistic event logs, which suggest practical feasibility and benefits.