Dissertação

{en_GB=Implementation of DEMO Action Model in Blockchain Smart Contracts} {} EVALUATED

{pt=A Blockchain oferece um ledger descentralizado que regista transações e permite o rastreamento de ativos de maneira segura e confiável. Enquanto a Blockchain pode garantir que os dados armazenados não podem ser adulterados, ela não pode garantir que os dados estavam corretos quando foram armazenados. O que torna necessário uma verificação de exatidão dos dados antes de estes serem armazenados na Blockchain. Enterprise Engineering é uma disciplina científica com uma metodologia subjacente de modelagem de processos, DEMO. A metodologia DEMO oferece todas as informações sobre o processo necessário para avaliar e criar Smart Contracts. Ao elaborar um modelo formal como o DEMO Action Model e gerar Smart Contracts a partir dele, pode-se criar Smart Contracts que garantem a exatidão dos dados de transações antes de serem armazenados na Blockchain. Esta solução permite a reutilização de modelos ontológicos e garante a correta implementação de SmartContracts. Este trabalho, seguiu a metodologia DSRM, relaciona conceitos entre DEMO e Solidity e cria um Smart Contract base que encapsula os conceitos DEMO. Em relação ao mapeamento entre os conceitos DEMO e os conceitos de Solidity, o DEMO garante a validação sintática, enquanto os Use Cases garantem a validação semântica. Já o contrato base instância o mapeamento, e a sua validação é feita utilizando o compilador EVM e a linguagem Solidity. O trabalho foi comunicado a ICEIS, KEOD e MODELSWARD para obtenção de uma avaliação científica., en=Blockchain offers a decentralized ledger that records transactions and allows tracking assets in a secure and reliable way. While Blockchain can guarantee that the stored data cannot be tampered with, it cannot guarantee that the data was correct when it was stored in the chain. Rectifying incorrect information is almost impossible in the Blockchain. What is needed is a correctness check for data before data is stored in the Blockchain. Enterprise Engineering is a scientific discipline with an underlying methodology of modeling processes, DEMO. The DEMO methodology offers all the information about the process needed to evaluate and create Smart Contracts. By computing a high-level formal model as DEMO Action Model and generating Smart Contracts from it, one can create Smart Contracts that ensure the correctness of transactions data before it is stored in the Blockchain. This solution allows the reuse of Ontological models and guarantees the correct implementation of Smart Contracts. This work, whose methodology is based on DSRM, relates concepts between DEMO and Solidity and creates a base Smart Contract that encapsulates the DEMO concepts. Regarding the mapping between the DEMO concepts and Solidity concepts, DEMO ensures the syntactic validation, while the two Use Case ensure the semantic validation. As for the base contract, it instantiates the mapping, and its validation is done using the EVM compiler and Solidity language. The work was communicated to ICEIS, KEOD, and MODELSWARD to obtain a scientific evaluation.}
{pt=Blockchain, Smart Contract, DEMO, DEMO Action Model, Ethereum, Solidity, en=Blockchain, Smart Contract, DEMO, DEMO Action Model, Ethereum, Solidity}

janeiro 14, 2021, 9:0

Publicação

Obra sujeita a Direitos de Autor

Orientação

ORIENTADOR

Pedro Manuel Moreira Vaz Antunes de Sousa

Departamento de Engenharia Informática (DEI)

Professor Associado

ORIENTADOR

Sérgio Luís Proença Duarte Guerreiro

Departamento de Engenharia Informática (DEI)

Professor Auxiliar