FenixEdu™

Dissertação

Implementation of DEMO Action Model in Blockchain Smart Contracts EVALUATED

Detalhes: 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.
Keywords: Blockchain, Smart Contract, DEMO, DEMO Action Model, Ethereum, Solidity

Discussão: janeiro 14, 2021, 9:0