Jabuti ASL: A Domain-specific language to specify smart contracts for application integration processes

Abstract

Várias linguagens específicas de domínio foram desenvolvidas para escrever contratos inteligentes em diferentes áreas, como saúde, finanças e processos empresariais. No entanto, essas linguagens não abrangem o domínio da integração de aplicações. Nesse domínio, os contratos inteligentes supervisionam a comunicação entre o processo e as aplicações, garantindo que os direitos das partes envolvidas no processo de integração sejam respeitados. Atualmente, os contratos inteligentes usados nesse domínio são construídos utilizando linguagens como Solidity, Go, Michelson, entre outras. Embora essas linguagens permitam especificar contratos e monitorar a comunicação em um processo de integração, elas exigem um alto nível de conhecimento em programação. Esta tese apresenta o Jabuti, uma linguagem de domínio específico para escrever contratos inteligentes no domínio da integração de aplicações. Jabuti é uma DSL externa que fornece construtores com um alto nível de abstração para escrever contratos inteligentes. Os contratos escritos em Jabuti podem ser transformados automaticamente em Solidity usando uma ferramenta de transformação implementada neste trabalho. Os testes de validação mostram que os contratos inteligentes, que são gerados automaticamente, não necessitam de ajustes manuais.