Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts


Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini

Information 11(1), pages 1-20, 20 pages, article 52, January 2020
Davide Calvaresi, Alevtina Dubovitskaya, Michael Schumacher, Kuldar Taveter (eds.)
Special Issue “Blockchain Technologies for Multi-Agent Systems”

A common use case for blockchain smart contracts (SC) is that of governing interaction amongst mutually untrusted parties, by automatically enforcing rules for interaction. However, while many contributions in the literature assess SC computational expressiveness, an evaluation of their power in terms of coordination (i.e., governing interaction) is still missing. This is why in this paper we test mainstream SC implementations by evaluating their expressive power in coordinating both inter-users and inter-SC activities. To do so, we exploit the archetypal Linda coordination model as a benchmark—a common practice in the field of coordination models and languages—by discussing to what extent mainstream blockchain technologies support its implementation. As they reveal some notable limitations (affecting, in particular, coordination between SC) we then show how Tenderfone, a custom blockchain implementation providing for a more expressive notion of SC, addresses the aforementioned limitations.

(keywords) blockchain; smart contracts; coordination; Linda; Tenderfone
 @article{bctcoordination-information11,
articleno = 52,
author = {Ciatto, Giovanni and Mariani, Stefano and Maffi, Alfredo and Omicini, Andrea},
dblpid = {journals/information/CiattoMMO20},
doi = {10.3390/info11010052},
editor = {Calvaresi, Davide and Dubovitskaya, Alevtina and Schumacher, Michael and Taveter, Kuldar},
irisid = {11585/714395},
issn = {2078-2489},
journal = {Information},
month = jan,
note = {Special Issue ``Blockchain Technologies for Multi-Agent Systems''},
number = 1,
numpages = 20,
pages = {1--20},
scholarid = {16345875581954179024},
scopusid = {2-s2.0-85079030248},
title = {Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts},
url = {http://www.mdpi.com/2078-2489/11/1/52},
volume = 11,
wosid = {000513801000051},
year = 2020

Journals & Series

Publication

— authors

Giovanni Ciatto, Stefano Mariani, Alfredo Maffi, Andrea Omicini

— editors

Davide Calvaresi, Alevtina Dubovitskaya, Michael Schumacher, Kuldar Taveter

— status

published

— sort

article in journal

Venue

— journal

Information

— volume

11

— issue

1

— pages

1-20

— article no.

52

— publication date

January 2020

URLs

original page

Identifiers

— DOI

10.3390/info11010052

— DBLP

journals/information/CiattoMMO20

— IRIS

11585/714395

— Scholar

16345875581954179024

— Scopus

2-s2.0-85079030248

— WoS / ISI

000513801000051

— print ISSN

2078-2489

BibTeX

— BibTeX ID
bctcoordination-information11
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY