Next Article in Journal
Community Detection Based on a Preferential Decision Model
Previous Article in Journal
MANNWARE: A Malware Classification Approach with a Few Samples Using a Memory Augmented Neural Network
Previous Article in Special Issue
Simulating, Off-Chain and On-Chain: Agent-Based Simulations in Cross-Organizational Business Processes
Open AccessArticle

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

1
Department of Computer Science and Engineering, University of Bologna, 47521 Cesena, Italy
2
Department of Sciences and Methods of Engineering, University of Modena and Reggio Emilia, 42122 Reggio Emilia, Italy
3
Mark One S.R.L., 47521 Cesena, Italy
*
Author to whom correspondence should be addressed.
This paper is an extended version of our paper published in 2nd International Workshop on Blockchain Technologies for Multi-Agent Systems (BCT4MAS), and later appeared in the Communications in Computer and Information Science book series (CCIS, volume 1047).
Information 2020, 11(1), 52; https://doi.org/10.3390/info11010052
Received: 1 November 2019 / Revised: 9 December 2019 / Accepted: 23 December 2019 / Published: 17 January 2020
(This article belongs to the 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. View Full-Text
Keywords: blockchain; smart contracts; coordination; Linda; Tenderfone blockchain; smart contracts; coordination; Linda; Tenderfone
Show Figures

Figure 1

MDPI and ACS Style

Ciatto, G.; Mariani, S.; Maffi, A.; Omicini, A. Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts. Information 2020, 11, 52.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Search more from Scilit
 
Search
Back to TopTop