Authors:
Marta Aparício
1
;
Sérgio Guerreiro
1
and
Pedro Sousa
2
Affiliations:
1
Instituto Superior Técnico, University of Lisbon, Av. Rovisco Pais 1, 1049-001 Lisbon, Portugal, INESC-ID, Rua Alves Redol 9, 1000-029 Lisbon, Portugal
;
2
Instituto Superior Técnico, University of Lisbon, Av. Rovisco Pais 1, 1049-001 Lisbon, Portugal, INESC-ID, Rua Alves Redol 9, 1000-029 Lisbon, Portugal, Link Consulting SA, Av. Duque de Ávila 23, 1000-138 Lisbon, Portugal
Keyword(s):
Automatic Generation, Blockchain, DEMO, DEMO Action Model, Smart Contract.
Abstract:
Blockchain (BC) is a technology that introduces a decentralized, replicated, autonomous, and secure databases. A Smart Contract (SC) is a transaction embedded in BC that contains executable code and its internal storage, offering immutable execution and record keeping. A SC has enormous potential in automating traditional paper contracts and encoding contract logic into program code. Therefore, replacing the role of a central authority and reducing the time and money spent on the enforcement of such contracts. This paper intends to determine the sufficiency or insufficiency of ontology to support the automatic generation of SCs code from text, in particular, DEMO Action Model. A new way to capture the SC in a user-friendly way could be proposed. With this, it is intended to eliminate the errors associated with programming since the SC code is automatically generated from models.