Enhancing timed commitments in BPMN for flexible process compliance checking

In complex multi-party business processes, maintaining reliable and transparent interactions between participants is crucial, especially when these processes involve organizations with independent and variable workflows. Traditional choreography models, designed to coordinate such inter-organizational processes, often fall short in contexts where visibility into the internal operations of individual participants is limited or intermittent. Additionally, it cannot be assumed that a Business Process Management System (BPMS) is always available to support and ensure correct process execution. This thesis builds upon the \textit{Timed Commitment} model, a well-established framework for representing obligations and commitments between participants, and expands it to provide flexible, adaptable management suited to real-world scenarios. The primary goal is to address the limitations of the original commitment models by proposing an enhanced semantics for \textit{connection points}, enabling dynamic adaptation of commitment monitoring to specific business process needs. Through this approach, the system manages participant interactions, even in the face of unexpected events, ensuring operational continuity without disrupting monitoring activities. The thesis thus aims to create a robust and adaptable foundation for monitoring obligations within multi-agent processes, addressing the demand for both reliability and flexibility in complex business environments.

Nei processi di business multi-parte complessi, mantenere interazioni affidabili e trasparenti tra i partecipanti è essenziale, soprattutto quando questi processi coinvolgono organizzazioni con flussi di lavoro indipendenti e variabili. I modelli di coreografia tradizionali, progettati per coordinare tali processi inter-organizzativi, spesso risultano inadeguati in contesti in cui la visibilità sulle operazioni interne dei singoli partecipanti è limitata o discontinua. Inoltre, non si può dare per scontato che sia sempre presente un Business Process Management System (BPMS) a supporto, in grado di garantire la corretta esecuzione dei processi. Questa tesi parte dal modello di \textit{Timed Commitment}, uno schema già definito per rappresentare obbligazioni e impegni tra partecipanti, e lo espande per fornire una gestione flessibile e adattabile agli scenari reali. L’obiettivo è superare i limiti del modello delle obligazioni originale, proponendo una nuova semantica dei \textit{connection points} che consenta di adattare dinamicamente il monitoraggio degli impegni in base alle specifiche esigenze dei processi aziendali. Grazie a questo approccio, è possibile gestire le interazioni tra partecipanti anche in presenza di eventi imprevisti, assicurando continuità operativa senza interrompere l’attività di monitoraggio. La tesi mira quindi a creare una base solida e flessibile per il controllo e il monitoraggio delle obbligazioni nei processi multi-agente, rispondendo alla necessità di affidabilità e flessibilità nei contesti aziendali complessi.