Model-driven approach for the design of multi-chain smart contracts - Archive ouverte HAL Accéder directement au contenu
Poster De Conférence Année : 2021

Model-driven approach for the design of multi-chain smart contracts

Résumé

Blockchain-based smart contracts provide transparent automation in a broad range of services, including finance, the Internet of Things, and autonomous systems. However, the implementation of such services may easily involve security risks and functional errors, especially for complex services composed of different blockchains. To help developers focus on their business model instead of diving into the blockchain architecture heterogeneity, we propose a framework to enable analysis and comparison of composed services before deployment. This is achieved through the intensive use of model-based engineering allowing reasoning on the model before generating concrete deployment artifacts, especially for the safe orchestration of contract calling transactions.
Fichier principal
Vignette du fichier
BRAINS_SmartContract_Poster_.pdf (142 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03338936 , version 1 (09-09-2021)

Licence

Paternité

Identifiants

Citer

Ankica Barisic, Enlin Zhu, Frédéric Mallet. Model-driven approach for the design of multi-chain smart contracts. 3rd Conference on Blockchain Research & Applications for Innovative Networks and Services (BRAINS), Sep 2021, Paris, France. ⟨10.1109/BRAINS52497.2021.9569809⟩. ⟨hal-03338936⟩
73 Consultations
365 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More