Browsing by Issue Date, starting with "2025-10-29"
Now showing 1 - 1 of 1
Results Per Page
Sort Options
- DEMO model-driven automatic smart contract generation using hyperledger fabricPublication . Abreu, Leonardo Tadeu Nunes; Aveiro, David Sardinha Andrade deEsta dissertação de mestrado estuda a geração automática de smart contracts através de modelos organizacionais, com foco na área da logística e cenários de economia circular. Esta investigação emergiu do contexto do projeto MiCoLEC, que visa a criação de um micro-hub colaborativo para transporte de encomendas e logística reversa. Este trabalho adota o DEMO (Design and Engineering Methodology for Organizations) de modo a especificar formalmente as regras organizacionais e aplicá-las na plataforma Hyperledger Fabric, utilizando a linguagem de programação Go. Foi definida uma extensão da gramática EBNF para representar as regras de ação DEMO, com um método de mapeamento que permite a sua transformação em chaincode executável. Para melhorar a manutenção, foi proposto um processo estruturado de geração de ficheiros. A abordagem foi validada através da implementação de smart contracts que suportam as prin cipais operações da plataforma MiCoLEC, incluindo leilões, entregas de encomendas, participação de estafetas, envolvimento de clientes na logística reversa e mecanismos de inventivo para a econo mia circular. Os resultados foram desenvolvidos corretamente e executáveis no Hyperledger Fabric e são capazes de suportar os requisitos funcionais da plataforma. Esta investigação contribui para reduzir a barreira ao desenvolvimento de smart contracts, ao estabelecer uma ligação entre modelação empresarial e a implementação em blockchain. Fornecendo assim, uma base para soluções low-code que promovem a interoperabilidade, transparência e con fiança em colaborações interorganizacionais.