Jabuti CE : uma ferramenta para especificação e transformação de contratos inteligentes escritos em Jabuti DSL

Abstract

Aplicações são utilizadas para apoiar processos de negócio que são um conjunto de tarefas executadas em uma determinada ordem. Tais aplicações são integradas por processos de integração que são artefatos de software compostos por portas e tarefas. Enquanto portas são implementações de protocolos de comunicação, tarefas são operações atômicas executas sobre o dado integrado. Regras de integração regulam a comunicação ocorrida nas portas entre o processo de integração e a aplicação. Estas regras podem ser representadas no formato de contratos inteligentes. Contratos inteligentes são programas de software executados em blockchains usados para executar termos contratuais sem interferência humana. Escrever um contrato inteligente não é uma tarefa trivial já que a linguagem de programação utilizada varia de acordo com a blockchain alvo. Jabuti DSL propõe-se a resolver este problema abstraindo detalhes de implementação, a partir de uma sintaxe agnóstica a blockchain e oferecendo um conjunto de construtores próximo a linguagem natural. Contudo, para que o contrato Jabuti DSL possa ser executado é necessário fornecer um ambiente de execução. Desenvolver um runtime para execução do contrato requer um alto grau de esforço, enquanto transformar o contrato Jabuti DSL para os formatos aceitos pelas blockchains requer um nível de esforço menor. Esta dissertação apresenta Jabuti CE, uma ferramenta para escrita, edição e transformação de contratos inteligentes Jabuti DSL. Jabuti CE integra-se com o VSCode, um editor de código open-source, fornecendo funcionalidades avançadas de edição além de uma extensão para transformação do código Jabuti DSL para integrar com as blockhains Ethereum e Hyperledger Fabric. Palavras Chave: jabuti dsl; jabuti ce; contrato inteligente; integração de aplicações empresariais; motor de transformação.