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.
