Modeling and Reasoning over Declarative Data-Aware Processes with Object-Centric Behavioral Constraints · Study