Smart contracts are currently en vogue, thanks to the infrastructure provided by the blockchain technology. However, their effective use requires that the textual (legalese) specification of the contract be accompanied by a precise computational definition of the actions leading to its satisfaction or breach, as well as of their admissible sequences. Insofar as contracts can be viewed as prescribing transactional exchanges of well-specified resources among well-specified actors, contract execution can be modelled as following some protocol in a closed world. This suggests a modelling of such executions as interactive processes in reaction systems, where the entities in the background set represent possible allocations of resources to actors and reactions describe changes in such allocations. We use this type of reaction systems and interactive processes as a basis for the modelling of transactions and contracts and explore properties of such processes, highlighting their peculiarities with respect to the original notion of interactive processes in reaction systems. We also discuss several constructions for composition and decomposition of processes, which guarantee equivalence of effects: two interactive processes are equivalent if, starting from the same initial set of allocations, they produce the same final set of allocations. (C) 2021 Elsevier B.V. All rights reserved.

Transactions and contracts based on reaction systems / Bottoni, P; Labella, A. - In: THEORETICAL COMPUTER SCIENCE. - ISSN 0304-3975. - 881(2021), pp. 25-61. [10.1016/j.tcs.2021.07.012]

Transactions and contracts based on reaction systems

Bottoni, P
Primo
;
2021

Abstract

Smart contracts are currently en vogue, thanks to the infrastructure provided by the blockchain technology. However, their effective use requires that the textual (legalese) specification of the contract be accompanied by a precise computational definition of the actions leading to its satisfaction or breach, as well as of their admissible sequences. Insofar as contracts can be viewed as prescribing transactional exchanges of well-specified resources among well-specified actors, contract execution can be modelled as following some protocol in a closed world. This suggests a modelling of such executions as interactive processes in reaction systems, where the entities in the background set represent possible allocations of resources to actors and reactions describe changes in such allocations. We use this type of reaction systems and interactive processes as a basis for the modelling of transactions and contracts and explore properties of such processes, highlighting their peculiarities with respect to the original notion of interactive processes in reaction systems. We also discuss several constructions for composition and decomposition of processes, which guarantee equivalence of effects: two interactive processes are equivalent if, starting from the same initial set of allocations, they produce the same final set of allocations. (C) 2021 Elsevier B.V. All rights reserved.
File allegati a questo prodotto
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11573/1573549
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 1
social impact