Linguagens Específicas de Domínio: Modelagem Eficiente, Automação e Reutilização

Este livro didático descreve a teoria e a prática de uso e engenharia de linguagens de software de alto nível — também conhecidas como linguagens de modelagem ou linguagens específicas de domínio (DSLs) — para a criação de software de qualidade. Isso inclui métodos, padrões de projeto, diretrizes e práticas de teste para definir a sintaxe e a semântica das linguagens. Mantendo-se próximo da tecnologia, o livro aborda múltiplos paradigmas e soluções, evitando um silo tecnológico específico. Ele unifica as perspectivas de modelagem, orientação a objetos e programação funcional sobre DSLs.

O livro tem 13 capítulos. Os capítulos 1 e 2 introduzem e contextualizam as DSLs. O capítulo 3 inicia o ciclo de vida da engenharia de DSLs, descrevendo como desenvolver sistematicamente a sintaxe abstrata por meio da análise de um domínio. O capítulo 4 trata da sintaxe concreta, incluindo a engenharia sistemática de gramáticas livres de contexto. Os capítulos 5 e 6 cobrem a semântica estática — com restrições básicas como ponto de partida e sistemas de tipos para DSLs avançadas. Os capítulos 7 (Transformação), 8 (Interpretação) e 9 (Geração) descrevem diferentes paradigmas para projetar e implementar a semântica dinâmica, ao mesmo tempo em que abordam testes e outros tipos de garantia de qualidade. O capítulo 10 é dedicado a DSLs internas. Os capítulos 11 a 13 mostram a aplicação de DSLs e tratam de alternativas mais simples às DSLs em um domínio altamente diferenciado: a variabilidade de software. Esses capítulos introduzem as noções subjacentes de linhas de produtos de software e modelagem de características.

O livro foi desenvolvido com base em cursos sobre engenharia de software orientada a modelos (MDSE) e DSLs ministrados pelos autores. Ele se destina a estudantes dos últimos anos da graduação e do início da pós-graduação em ciência da computação ou engenharia de software. Como inclui exemplos e lições de projetos industriais e de código aberto, bem como de pesquisa industrial, profissionais também encontrarão aqui uma referência útil. Os numerosos exemplos incluem código em Scala 3, ATL, Alloy, C#, F#, Groovy, Java, JavaScript, Kotlin, OCL, Python, QVT, Ruby e Xtend. O livro contém nada menos que 277 exercícios. O repositório de código associado facilita aprender e usar os exemplos em um curso.