Social commitment in processi coreografati : un approccio per la modellazione e il monitoraggio

In multi-party business processes the compliance checking procedure is not straightforward due to the complexity that each participant introduces in the choreography and, for modelling reasons, the restricted visibility on the internal processes. The situation seems to worsen when the participants exchange physical resources since it is impossible to verify, once entrusted to third parties, the previously agreed constraints. At the same time, the IoT usage is becoming more and more relevant during the enactment of the business processes in various application domains, such as: logistics, manufacturing, healthcare. Due to their mobility and increased performance and sensing capabilities, smart-object are suitable for following the exchanged physical resources. Starting from an already existent approach in literature, according to which BPMN choreography and social commitment work together to monitor nomadic resources, this thesis work focuses on improving and extending its applicability to the non-nomadic resources and to the multi-party contracts. Particular emphasis has been given to the definition of commitment scope, which varies according to the association of a commitment to the choreography tasks. Furthermore, the implementation of a prototype able to configure the smart devices involved in a choreography based on the constraints expressed by the social commitments is provided.

Nei business process multi-parte risulta difficile realizzare il controllo di conformità dei singoli processi per via della complessità che ogni partecipante introduce nella coreografia o perché, per via di come queste interazioni vengono modellate, si ha solitamente una visibilità limitata sui processi interni. La questione appare peggiore nel momento in cui i partecipanti si scambiano delle risorse fisiche dato che è impossibile riuscire a verificarne, una volta affidate a terze parti, i vincoli pattuiti in precedenza. Allo stesso tempo, la presenza di dispositivi IoT si è fatta preponderante nella messa in opera dei business process in molti domini applicativi, e.g. logistica, manifattura, sanità. Data la loro natura mobile e le crescenti capacità in termini di prestazioni e di acquisizione di segnali dall’ambiente in cui sono immersi, gli smart-device si prestano bene a seguire gli oggetti fisici scambiati. Partendo da un approccio presente in letteratura, il quale vede insieme coreografie BPMN e Social Commitment al fine di monitorare risorse nomadi, il lavoro di tesi si concentra sul raffinamento di tale approccio e ne estende l’applicabilità alle risorse non nomadi e ai contratti multi-parte in genere. Particolare enfasi viene data alla definizione dello scope di un commitment, che varia in base all’associazione di quest’ultimo ad uno o più choreography task. Si fornisce, inoltre, l’implementazione di un prototipo in grado di configurare gli smart-device coinvolti in una coreografia sulla base dei vincoli espressi dai social commitment.