Ciclo di seminari
Enforcing the Correct Execution of Processes Using Smart Contracts on Blockchains
Programma
I curatori del ciclo LiMoSP - Linguaggi e Modelli per il Software e le sue Proprietà sono lieti di invitarvi al seminario intitolato "Enforcing the Correct Execution of Processes Using Smart Contracts on Blockchains" che sarà tenuto dal Dott. Francesco Spegni dell'Università Politecnica delle Marche.
In industry, automated operations are often encapsulated in processes that are executed by collaborating partners that share information following some agreed protocol. BPMN is a rich modeling notation allowing to specify the protocols that processes should follow (using Choreography diagrams) as well as the structure of the processes to be executed (using Collaboration diagrams). The problem is thus how to design a BPMN enforcer, i.e., a monitor ensuring the following requirements:
- It only allows correct executions of processes (soundness).
- It does not alter the execution of processes as long as they behave correctly (transparency).
- It can be inspected by any process owner at any time (trust).
- It is itself distributed in order to avoid performance bottlenecks.
This talk shows how to start from a formal semantics of BPMN choreography diagrams to design a toolchain that takes as input a BPMN choreography diagram and then synthesizes smart contracts that are executed on blockchains and implement the desired distributed BPMN enforcers.
Il seminario si svolgerà in presenza, ma sarà anche possibile seguirlo a distanza collegandosi a: https://meet.google.com/yen-hjsu-vsn
Dettagli sull'evento
Data e luogo
Inizio: 04/12/2024
alle ore 16:00
Fine: 04/12/2024
alle ore 18:00
Collegio Raffaello (Urbino, Piazza della Repubblica, 13) Aula Olivetti
Organizzato e promosso da:
LiMoSP - Linguaggi e Modelli per il Software e le sue Proprietà
