{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T22:01:56Z","timestamp":1790805716497,"version":"4.1.0"},"reference-count":35,"publisher":"MDPI AG","issue":"1","license":[{"start":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T00:00:00Z","timestamp":1579219200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information"],"abstract":"<jats:p>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\u2014a common practice in the field of coordination models and languages\u2014by 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.<\/jats:p>","DOI":"10.3390\/info11010052","type":"journal-article","created":{"date-parts":[[2020,1,17]],"date-time":"2020-01-17T07:39:02Z","timestamp":1579246742000},"page":"52","update-policy":"https:\/\/doi.org\/10.3390\/mdpi_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Blockchain-Based Coordination: Assessing the Expressive Power of Smart Contracts"],"prefix":"10.3390","volume":"11","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-1841-8996","authenticated-orcid":false,"given":"Giovanni","family":"Ciatto","sequence":"first","affiliation":[{"name":"Department of Computer Science and Engineering, University of Bologna, 47521 Cesena, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8921-8150","authenticated-orcid":false,"given":"Stefano","family":"Mariani","sequence":"additional","affiliation":[{"name":"Department of Sciences and Methods of Engineering, University of Modena and Reggio Emilia, 42122 Reggio Emilia, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3171-8632","authenticated-orcid":false,"given":"Alfredo","family":"Maffi","sequence":"additional","affiliation":[{"name":"Mark One S.R.L., 47521 Cesena, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6655-3869","authenticated-orcid":false,"given":"Andrea","family":"Omicini","sequence":"additional","affiliation":[{"name":"Department of Computer Science and Engineering, University of Bologna, 47521 Cesena, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"1968","published-online":{"date-parts":[[2020,1,17]]},"reference":[{"key":"ref_1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1002\/isaf.1424","article-title":"Toward an ontology-driven blockchain design for supply-chain provenance","volume":"25","author":"Kim","year":"2018","journal-title":"Intell. Syst. Accounting Financ. Manag."},{"key":"ref_2","doi-asserted-by":"crossref","unstructured":"Azaria, A., Ekblaw, A., Vieira, T., and Lippman, A. (2016, January 22\u201324). MedRec: Using Blockchain for Medical Data Access and Permission Management. Proceedings of the 2nd International Conference on Open and Big Data (OBD 2016), Vienna, Austria.","DOI":"10.1109\/OBD.2016.11"},{"key":"ref_3","unstructured":"Chavez-Dreyfuss, G. (2016). Sweden tests blockchain technology for land registry. Reuters June, 16, Available online: https:\/\/www.reuters.com\/article\/us-sweden-blockchain\/sweden-tests-blockchain-technology-for-land-registry-idUSKCN0Z22KV."},{"key":"ref_4","first-page":"1","article-title":"Ethereum: A secure decentralised generalised transaction ledger","volume":"151","author":"Wood","year":"2014","journal-title":"Ethereum Proj. Yellow Pap."},{"key":"ref_5","unstructured":"Szabo, N. (Smart Contracts, 1994). Smart Contracts, Unpublished work."},{"key":"ref_6","unstructured":"Ciatto, G., Calegari, R., Mariani, S., Denti, E., and Omicini, A. (2018, January 28\u201329). From the Blockchain to Logic Programming and Back: Research Perspectives. Proceedings of the WOA 2018\u201419th Workshop \u201cFrom Objects to Agents\u201d, Palermo, Italy."},{"key":"ref_7","first-page":"80","article-title":"Why Interaction Is More Powerful Than Algorithms","volume":"Volume 40","author":"Ciancarini","year":"1996","journal-title":"Coordination Languages and Models"},{"key":"ref_8","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/253769.253801","article-title":"Coordination as Constrained Interaction (extended abstract)","volume":"40","author":"Wegner","year":"1997","journal-title":"Commun. ACM."},{"key":"ref_9","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/234528.234732","article-title":"Coordination Models and Languages as Software Integrators","volume":"28","author":"Ciancarini","year":"1996","journal-title":"ACM Comput. Surv."},{"key":"ref_10","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","article-title":"Generative Communication in Linda","volume":"7","author":"Gelernter","year":"1985","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"ref_11","doi-asserted-by":"crossref","unstructured":"Denti, E., Natali, A., and Omicini, A. (March, January 27). On the Expressive Power of a Language for Programming Coordination Media. Proceedings of the 1998 ACM Symposium on Applied Computing, Atlanta, GA, USA.","DOI":"10.1145\/330560.330665"},{"key":"ref_12","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1006\/inco.1999.2823","article-title":"On the Expressiveness of Linda Coordination Primitives","volume":"156","author":"Busi","year":"2000","journal-title":"Inf. Comput."},{"key":"ref_13","doi-asserted-by":"crossref","unstructured":"Ciancarini, P., and Wolf, A.L. (1999). On the Expressiveness of Coordination Models. Coordinatio Languages and Models, Springer.","DOI":"10.1007\/3-540-48919-3"},{"key":"ref_14","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/S1571-0661(04)00289-0","article-title":"Linear Embedding for a Quantitative Comparison of Language Expressiveness","volume":"59","author":"Brogi","year":"2002","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"ref_15","first-page":"29","article-title":"Towards Agent-oriented Blockchains: Autonomous Smart Contracts","volume":"Volume 11523","author":"Demazeau","year":"2019","journal-title":"Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection"},{"key":"ref_16","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/174666.174668","article-title":"The Interdisciplinary Study of Coordination","volume":"26","author":"Malone","year":"1994","journal-title":"ACM Comput. Surv."},{"key":"ref_17","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1145\/129630.129635","article-title":"Coordination Languages and Their Significance","volume":"35","author":"Gelernter","year":"1992","journal-title":"Commun. ACM"},{"key":"ref_18","doi-asserted-by":"crossref","unstructured":"Omicini, A., Zambonelli, F., Klusch, M., and Tolksdorf, R. (2001). Models and Technologies for the Coordination of Internet Agents: A Survey. Coordination of Internet Agents: Models, Technologies, and Applications, Springer. Chapter 2.","DOI":"10.1007\/978-3-662-04401-8"},{"key":"ref_19","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-3-319-92408-3_3","article-title":"Twenty Years of Coordination Technologies: State-of-the-Art and Perspectives","volume":"Volume 10852","author":"Loreti","year":"2018","journal-title":"Coordination Models and Languages"},{"key":"ref_20","doi-asserted-by":"crossref","unstructured":"Omicini, A., Zambonelli, F., Klusch, M., and Tolksdorf, R. (2001). Tuple-based Technologies for Coordination. Coordination of Internet Agents: Models, Technologies, and Applications, Springer. Chapter 4.","DOI":"10.1007\/978-3-662-04401-8"},{"key":"ref_21","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/BF00196791","article-title":"How to Time-Stamp a Digital Document","volume":"3","author":"Haber","year":"1991","journal-title":"J. Cryptol."},{"key":"ref_22","doi-asserted-by":"crossref","unstructured":"Ciatto, G., Mariani, S., and Omicini, A. (2018, January 3\u20136). Blockchain for Trustworthy Coordination: A First Study with Linda and Ethereum. Proceedings of the 2018 IEEE\/WIC\/ACM International Conference on Web Intelligence (WI), Santiago, Chile.","DOI":"10.1109\/WI.2018.000-9"},{"key":"ref_23","doi-asserted-by":"crossref","unstructured":"Androulaki, E., Barger, A., Bortnikov, V., Cachin, C., Christidis, K., De Caro, A., Enyeart, D., Ferris, C., Laventman, G., and Manevich, Y. (2018, January 23\u201326). Hyperledger Fabric: A Distributed Operating System for Permissioned Blockchains. Proceedings of the 13th EuroSys Conference (EuroSys \u201918), Porto, Portugal.","DOI":"10.1145\/3190508.3190538"},{"key":"ref_24","unstructured":"Hearn, M. (2019, December 25). Corda: A Distributed Ledger. Available online: https:\/\/docs.corda.net\/releases\/release-V3.1\/_static\/corda-technical-whitepaper.pdf."},{"key":"ref_25","doi-asserted-by":"crossref","unstructured":"Meiklejohn, S., and Sako, K. (2018). A Formal Model of Bitcoin Transactions. Financial Cryptography and Data Security, Springer.","DOI":"10.1007\/978-3-662-58387-6"},{"key":"ref_26","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1007\/978-3-030-23813-1_6","article-title":"Smart Contracts are More than Objects: Pro-activeness on the Blockchain","volume":"Volume 1010","author":"Prieto","year":"2020","journal-title":"Blockchain and Applications"},{"key":"ref_27","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1007\/978-3-030-24299-2_7","article-title":"Comparative Analysis of Blockchain Technologies under a Coordination Perspective","volume":"Volume 1047","author":"Pawleski","year":"2019","journal-title":"Highlights of Practical Applications of Survivable Agents and Multi-Agent Systems. The PAAMS Collection"},{"key":"ref_28","doi-asserted-by":"crossref","unstructured":"Frantz, C.K., and Nowostawski, M. (2016, January 12\u201316). From Institutions to Code: Towards Automated Generation of Smart Contracts. Proceedings of the 2016 IEEE 1st International Workshops on Foundations and Applications of Self* Systems (FAS*W), Augsburg, Germany.","DOI":"10.1109\/FAS-W.2016.53"},{"key":"ref_29","doi-asserted-by":"crossref","first-page":"582","DOI":"10.2307\/2082975","article-title":"A Grammar of Institutions","volume":"89","author":"Crawford","year":"1995","journal-title":"Am. Political Sci. Rev."},{"key":"ref_30","doi-asserted-by":"crossref","unstructured":"Hahn, A., Singh, R., Liu, C., and Chen, S. (2017, January 23\u201326). Smart contract-based campus demonstration of decentralized transactive energy auctions. Proceedings of the 2017 IEEE Power Energy Society Innovative Smart Grid Technologies Conference (ISGT), Washington, DC, USA.","DOI":"10.1109\/ISGT.2017.8086092"},{"key":"ref_31","doi-asserted-by":"crossref","unstructured":"Xu, X., Pautasso, C., Zhu, L., Gramoli, V., Ponomarev, A., Tran, A.B., and Chen, S. (2016, January 5\u20138). The Blockchain as a Software Connector. Proceedings of the 2016 13th Working IEEE\/IFIP Conference on Software Architecture (WICSA), Venice, Italy.","DOI":"10.1109\/WICSA.2016.21"},{"key":"ref_32","unstructured":"Garlan, D., Bachmann, F., Ivers, J., Stafford, J., Bass, L., Clements, P., and Merson, P. (2010). Documenting Software Architectures: Views and Beyond, Addison-Wesley Professional. [2nd ed.]."},{"key":"ref_33","unstructured":"Carmona, J., Engels, G., and Kumar, A. (2017). Optimized Execution of Business Processes on Blockchain. Business Process Management, Springer."},{"key":"ref_34","doi-asserted-by":"crossref","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","article-title":"Semantics and analysis of business process models in BPMN","volume":"50","author":"Dijkman","year":"2008","journal-title":"Inf. Softw. Technol."},{"key":"ref_35","doi-asserted-by":"crossref","unstructured":"Shukla, A., Mohalik, S.K., and Badrinath, R. (2018, January 17\u201320). Smart Contracts for Multiagent Plan Execution in Untrusted Cyber-Physical Systems. Proceedings of the 2018 IEEE 25th International Conference on High Performance Computing Workshops (HiPCW), Bengaluru, India.","DOI":"10.1109\/HiPCW.2018.8634034"}],"container-title":["Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.mdpi.com\/2078-2489\/11\/1\/52\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,13]],"date-time":"2025-10-13T13:29:41Z","timestamp":1760362181000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.mdpi.com\/2078-2489\/11\/1\/52"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,1,17]]},"references-count":35,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2020,1]]}},"alternative-id":["info11010052"],"URL":"https:\/\/doi.org\/10.3390\/info11010052","relation":{},"ISSN":["2078-2489"],"issn-type":[{"value":"2078-2489","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020,1,17]]}}}