Detecting Dynamic Relationships in Object-Centric Event Logs
Pith reviewed 2026-05-15 09:48 UTC · model grok-4.3
The pith
Assumptions allow unambiguous representation of dynamic relationships in object-centric event logs.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central discovery is the identification and formal definition of assumptions that permit the representation and manipulation of dynamic relationships in object-centric event logs (OCELs) in a way that is semantically unambiguous. Evaluation on existing logs demonstrates that these assumptions hold sufficiently often to provide full transparency of relationship semantics.
What carries the argument
The formally defined assumptions on dynamic relationships in OCELs, which ensure that time-varying connections between objects can be handled without semantic ambiguity.
Load-bearing premise
The defined assumptions are satisfied in a sufficient number of real OCELs to make relationship semantics transparent.
What would settle it
A real-world OCEL where dynamic object relationships lead to ambiguous semantics under the defined assumptions.
read the original abstract
Object-centric process mining examines how processes interact with multiple co-evolving objects, and has gained great interest in recent years. However, object-centric event logs (OCELs) leave object relationships underspecified in several respects, especially if relationships are dynamic, i.e., they change over time. In this paper, we identify and formally define for the first time assumptions that allow to represent and manipulate dynamic relationships in OCELs in a semantically unambiguous way. We evaluate existing logs to show that our assumptions are often satisfied, ensuring full transparency of relationship semantics.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims to identify and formally define, for the first time, assumptions that enable semantically unambiguous representation and manipulation of dynamic relationships in object-centric event logs (OCELs). It supplies the formalization and reports an evaluation on existing logs showing that the assumptions are often satisfied, thereby ensuring full transparency of relationship semantics.
Significance. If the definitions are internally consistent and the assumptions hold with the frequency reported, the work supplies a foundational methodological contribution to object-centric process mining. By clarifying previously underspecified dynamic relationships, it can improve the reliability of downstream analyses such as process discovery and conformance checking that involve co-evolving objects. The combination of formal definitions with empirical checks on real logs is a strength.
minor comments (2)
- [Evaluation] The evaluation section should explicitly state the selection criteria for the existing logs and report quantitative metrics (e.g., percentage of relationships satisfying each assumption) rather than the qualitative statement that assumptions are 'often satisfied'.
- [§3] The formal definitions would benefit from one or two concrete running examples showing how a dynamic relationship is represented before and after applying the assumptions, to aid reader comprehension.
Simulated Author's Rebuttal
We thank the referee for the positive assessment of our contribution and the recommendation for minor revision. The referee's summary correctly reflects the paper's focus on formally defining assumptions for unambiguous handling of dynamic relationships in OCELs, along with the empirical evaluation. No specific major comments were raised in the report.
Circularity Check
Minor self-citation of prior OCEL work; central claim is definitional and self-contained
full rationale
The paper's core contribution is the identification and formal definition of assumptions enabling unambiguous representation of dynamic relationships in OCELs. This is presented as a new formalization rather than a derivation from equations or data fits. Evaluation on existing logs is offered as empirical support that the assumptions hold sufficiently often, without statistical prediction or parameter fitting that would create circularity. A minor self-citation to earlier OCEL literature appears but is not load-bearing for the main argument, as the new definitions and transparency claims stand on their own formal content. No self-definitional reductions, fitted inputs renamed as predictions, uniqueness theorems imported from the same authors, or ansatz smuggling are present in the described structure.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Object-centric event logs can be extended with dynamic relationship semantics under the defined assumptions without loss of generality.
Reference graph
Works this paper leans on
- [1]
- [2]
-
[3]
Berti, A., et al.: OCEL (Object-Centric Event Log) 2.0 Specification (2024)
work page 2024
- [4]
- [5]
-
[6]
Fahland, D.: Process Mining over Multiple Behavioral Dimensions with Event Knowledge Graphs, LNBIP, vol. 448. Cham (2022)
work page 2022
-
[7]
Fahland, D., Montali, M., Lebherz, J., van der Aalst, W.M.P., van Asseldonk, M., Blank, P., Bosmans, L., Brenscheidt, M., Ciccio, C.D., Delgado, A., Calegari, D., Peeperkorn, J., Verbeek, E., Vugs, L., Wynn, M.T.: Towards a simple and extensible standard for object-centric event data (OCED) - core model, design space, and lessons learned. CoRRabs/2410.14495(2024)
- [8]
- [9]
- [10]
- [11]
-
[12]
In: Software Engineering and Formal Methods
van der Aalst, W.M.P.: Object-Centric Process Mining: Dealing with Divergence and Convergence in Event Data. In: Software Engineering and Formal Methods. pp. 3–25. Springer (2019)
work page 2019
- [13]
- [14]
-
[15]
Funda- menta Informaticae175(1-4), 1–40 (2020)
van der Aalst, W.M.P., Berti, A.: Discovering Object-centric Petri Nets. Funda- menta Informaticae175(1-4), 1–40 (2020)
work page 2020
- [16]
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.