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