Modeling and Monitoring Business Constraints of Non-conformant Choreographed Business Processes. - Giovanni Meroni; Pierluigi Plebani; Simone Tagliente; Marco Montali (CAiSE (2), 2025)