Automated Generation of Smart Contract Code from Legal Contract Specifications with Symboleo2SC
Autor: | Aidin Rasti, Amal Ahmed Anda, Sofana Alfuhaid, Alireza Parvizimosaed, Daniel Amyot, Marco Roveri, Luigi Logrippo, John Mylopoulos |
---|---|
Rok vydání: | 2023 |
DOI: | 10.5281/zenodo.7897782 |
Popis: | Complementary materials for the paperthat extendsthe conference paper :"Symboleo2SC: From Legal Contract Specifications to Smart Contracts" symboleo-js-coreincludes the implementation of the ontology of Symboleo. Symboleo2SC-demoincludes the five evaluated Symboleo contracts, their generated smart contracts, and their unit tests. |
Databáze: | OpenAIRE |
Externí odkaz: |