A Choreographic View of Smart Contracts
摘要
This tutorial concerns the use of a novel model of coordination of distributed systems. The model combines ideas from choreographic approaches and smart contracts. More precisely, application protocols regulating the coordination of a distributed application are rendered as global views that specify the expected behaviour of the system. Unlike in standard choreographic models though, participants are not necessarily obtained by projection from global views and can behave in completely unexpected ways. The adopted countermeasure to erroneous or malicious behaviour of participants is the one adopted in smart contracts: disabled interactions are just ignored.