Loading...
Publication
DEMO model-driven automatic smart contract generation using hyperledger fabric
| Name: | Description: | Size: | Format: | |
|---|---|---|---|---|
| 7.96 MB | Adobe PDF |
Authors
Advisor(s)
Abstract(s)
Esta 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.
This dissertation investigates the automatic generation of smart contracts from organizational models, with a focus on the logistics domain and circular economy scenarios. The research is carried out in the context of the MiCoLEC project, which aims to establish collaborative micro-hubs for parcel delivery and reverse logistics. The work adopts the DEMO (Design and Engineering Methodology for Organizations) method ology to formally specify organizational rules and applies them to the Hyperledger Fabric blockchain platform using the Go programming language. An extention of EBNF grammar for representing DEMO Action Rules is defined, together with a transpilation method that enables their transfor mation into executable chaincode. To improve maintainability, a structured file generation process is also proposed. The approach was validated through the implementation of smart contracts that support the main operations of the MiCoLEC platform, including parcel delivery auctions, courier participation, customer engagement in reverse logistics, and incentive mechanisms for circular economy operators. The results show that the generated contracts were correct and executable within Hyperledger Fabric, and capable of supporting the functional requirements of the platform. This research contributes to lowering the barriers of smart contract development by linking enterprise modeling with blockchain implementation. It provides a foundation for low-code solutions that promote interoperability, transparency, and trust in interorganizational collaborations.
This dissertation investigates the automatic generation of smart contracts from organizational models, with a focus on the logistics domain and circular economy scenarios. The research is carried out in the context of the MiCoLEC project, which aims to establish collaborative micro-hubs for parcel delivery and reverse logistics. The work adopts the DEMO (Design and Engineering Methodology for Organizations) method ology to formally specify organizational rules and applies them to the Hyperledger Fabric blockchain platform using the Go programming language. An extention of EBNF grammar for representing DEMO Action Rules is defined, together with a transpilation method that enables their transfor mation into executable chaincode. To improve maintainability, a structured file generation process is also proposed. The approach was validated through the implementation of smart contracts that support the main operations of the MiCoLEC platform, including parcel delivery auctions, courier participation, customer engagement in reverse logistics, and incentive mechanisms for circular economy operators. The results show that the generated contracts were correct and executable within Hyperledger Fabric, and capable of supporting the functional requirements of the platform. This research contributes to lowering the barriers of smart contract development by linking enterprise modeling with blockchain implementation. It provides a foundation for low-code solutions that promote interoperability, transparency, and trust in interorganizational collaborations.
Description
Keywords
Enterprise engineering DEMO Action Model Blockchain Hyperledger fabric Smart contracts Logistics industry Informatics Engineering . Faculdade de Ciências Exatas e da Engenharia