Towards a Uniform Description Language for Smart Contract

Uma Abordagem Dirigida por Modelo para Desenvolvimento de Contratos Inteligentes na Ethereum Virtual Machine

“…A abordagem utilizando técnicas MDE está sendo empregada por vários autores para modelar um contrato em alto nível [Ben Slama Souei et al 2021, Chirtoaca et al 2020, Guida and Daniel 2019, Hamdaqa et al 2020, Santiago et al 2021].…”

“…As principais abordagens identificadas são: notac ¸ão de modelagem de processos de negócio (do inglês, Business Process Model and Notation -BPMN) [Corradini et al 2022]; linguagem de modelagem unificada (do inglês, Unified Modeling Language -UML); programac ¸ão por blocos [Guida and Daniel 2019], [Achour et al 2021, Garamvölgyi et al 2018, Jurgelaitis et al 2022]; e metamodelo [Hamdaqa et al 2020, Ben Slama Souei et al 2021, Jurgelaitis et al 2022].…”

“…[Ben Slama Souei et al 2021] propõem uma extensão do modelo unificado de descric ¸ão de servic ¸os por meio de um metamodelo que define uma linguagem de descric ¸ão uniforme para contratos. O objetivo da proposta é fornecer aos usuários finais um mecanismo para compreender os contratos implantados.…”

“…Diante desse cenário, os desenvolvedores necessitam compreender todo o ambiente inerente à tecnologia, como especificidades da blockchain, questões da linguagem de programac ¸ão dos contratos, questões de seguranc ¸a e outros. Para vários autores, a concepc ¸ão de um modelo de alto nível seguindo os padrões da engenharia de software facilitaria o desenvolvimento de contratos para blockchain [Ben Slama Souei et al 2021, Chirtoaca et al 2020, Guida and Daniel 2019, Hamdaqa et al 2020. Nesse caminho, existem algumas propostas com foco na Engenharia Dirigida por Modelo (do inglês, Model-driven Engineering -MDE) para construc ¸ão de contratos, desde sua concepc ¸ão até a gerac ¸ão de código para a plataforma correspondente [Hamdaqa et al 2020, Santiago et al 2021, Ben Slama Souei et al 2021.…”

“…Para vários autores, a concepc ¸ão de um modelo de alto nível seguindo os padrões da engenharia de software facilitaria o desenvolvimento de contratos para blockchain [Ben Slama Souei et al 2021, Chirtoaca et al 2020, Guida and Daniel 2019, Hamdaqa et al 2020. Nesse caminho, existem algumas propostas com foco na Engenharia Dirigida por Modelo (do inglês, Model-driven Engineering -MDE) para construc ¸ão de contratos, desde sua concepc ¸ão até a gerac ¸ão de código para a plataforma correspondente [Hamdaqa et al 2020, Santiago et al 2021, Ben Slama Souei et al 2021. O objetivo deste artigo é definir um metamodelo que facilite tanto para os especialistas do domínio quanto para desenvolvedores a modelagem dos contratos em alto nível.…”