Applicazione in fase di esecuzione della conformità alle coreografie tramite blockchain

This thesis focuses on applying blockchain technology to ensure the traceability and compliance of the processes that make up a BPMN choreography. Indeed, ensuring that a network of processes implementing a BPMN choreography performs permitted actions is still an open problem. In this work we will proceed by designing and developing a Runtime Enforcement monitor that given a BPMN choreography will translate it into one or more smart contracts, ensuring that their state is immutably stored in the blockchain and only allowing actions that are compliant with the source choreography.

La presente tesi è incentrata sull'applicazione della tecnologia blockchain per garantire la tracciabilità e la conformità dei processi che compongono una coreografia BPMN. Infatti, assicurare che una rete di processi che implementano una coreografia BPMN esegua delle azioni consentite è ancora ad oggi un problema aperto. In questo lavoro si procederà progettando e sviluppando un monitor di Runtime Enforcement che data una coreografia BPMN la tradurrà in uno o più smart contracts, garantendo che il loro stato sia conservato in modo immutabile nella blockchain e consentendo solamente delle azioni che siano conformi con la coreografia di partenza.