TRAC: A Tool for Data-Aware Coordination

João Afonso, Elvis Konjoh Selabi, Maurizio Murgia, António Ravara, Emilio Tuosto

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We propose , a tool for the specification and verification of coordinated multiparty distributed systems. Relying on finite-state machines (FSMs) where transition labels look like Hoare triples, can specify the coordination of the participants of a distributed protocol for instance an execution model akin blockchain smart contracts (SCs). In fact, the transitions of our FSMs yield guards, and assignments over data variables, and with participants binders. The latter allow us to model scenarios with an unbounded number of participants which can vary at run-time. We introduce a notion of well-formedness to rule out meaningless or problematic specifications. This notion is verified with and demonstrated on several case studies borrowed from the smart contracts domain. Then, we evaluate the performance of using a set of randomised examples, studying the correlations between the features supported and the time taken to decide well-formedness.
Original languageEnglish
Title of host publicationCoordination Models and Languages
Subtitle of host publication26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17–21, 2024, Proceedings
EditorsIlaria Castellani, Francesco Tiezzi
Place of PublicationCham
PublisherSpringer
Pages239-257
Number of pages19
ISBN (Electronic)978-3-031-62697-5
ISBN (Print)978-3-031-62696-8
DOIs
Publication statusPublished - Jun 2024
Event26th International Conference on Coordination Models and Languages, COORDINATION 2024 - Groningen, Netherlands
Duration: 18 Jun 202420 Jun 2024

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer
Volume14676 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference26th International Conference on Coordination Models and Languages, COORDINATION 2024
Country/TerritoryNetherlands
CityGroningen
Period18/06/2420/06/24

Fingerprint

Dive into the research topics of 'TRAC: A Tool for Data-Aware Coordination'. Together they form a unique fingerprint.

Cite this