Logo image
Porifera: A Relational Approach to Conformance Checking for Object-Centric Behavioral Constraints
Conference proceeding   Peer reviewed

Porifera: A Relational Approach to Conformance Checking for Object-Centric Behavioral Constraints

M Basmer, RD Fălcuşan, Marco Montali and M Weidlich
Advanced Information Systems Engineering: 38th International Conference, CAiSE 2026 Verona, Italy, June 8–12, 2026, Proceedings, Part I, Vol.16559, pp.366-384
Lecture Notes in Computer Science, 16559
38th International Conference on Advanced Information Systems Engineering (Verona, 08/06/2026–12/06/2026)
2026
Handle:
https://hdl.handle.net/10863/52557

Abstract

An object-centric behavioral constraint (OCBC) model provides an integrated view on entities handled in a process-oriented information system. It defines behavioral constraints between activities operating on data objects and cardinality constraints for relations over activities and objects. Existing techniques for OCBC conformance checking evaluate conditions from the model on an event log. As such, conformance cannot be evaluated directly over the relational databases that typically store the event data. Instead, log construction is required, which induces computational overhead and decouples data management and process analysis. In this paper, we show how to incorporate OCBC conformance checking directly within relational database systems. To this end, we introduce conformance queries for two representations of process data that differ in how they capture the relationships between events and objects, i.e., explicitly by dedicated tables or implicitly through foreign keys. Moreover, we present strategies for continuous conformance monitoring under database updates. We demonstrate the feasibility of our approach using event data generated based on the TPC-H benchmark.
url
https://doi.org/10.1007/978-3-032-28117-3_21View

Details

Metrics

1 Record Views
Logo image