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.

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

A Choreographic View of Smart Contracts

  • Emilio Tuosto

摘要

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.