A domain-specific language for operator theory

• Autor(a) principal: Corrêa, Tiago de Oliveira
• Data de Publicação: 2022
• Tipo de documento: Dissertação
• Idioma: eng
• Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
• Texto Completo: http://hdl.handle.net/10400.1/18846
• topic: Symbolic computation; Mathematical models; Xtext; DSL; Operator theory; Domínio/Área Científica::Engenharia e Tecnologia::Outras Engenharias e Tecnologias

Recentemente as aplicações conhecidas como sistema de álgebra computacional, CAS, compostas por muitas funções para computação simbólica estão disponíveis ao público em geral. Com esse tipo de aplicação, utilizadores puderam delegar ao computador toda, ou uma parte significativa dos cálculos simbólicos presentes em muitos algoritmos matemáticos. Os modelos matemáticos, que são uma descrição de um sistema usando linguagem e conceitos matemáticos, são muito utilizados nas ciências naturais e engenharia, bem como nas ciências sociais. O principal objetivo deste trabalho é o de criar uma linguagem textual simples e eficiente para a formalização de modelos matemáticos no domínio das integrais singulares. Por outras palavras, facilitar o trabalho de programação a um não especialista, como é o caso dos matemáticos, quando estão formulando problemas e fazendo uso de linguagens de programação. A nova linguagem criada, também chamada linguagem de domínio específico (DSL), denominada SIOL, Linguagem para Operadores de Integrais Singulares, foi criada, não apenas para resolução de integrais singulares, mas para oferecer outras informações sobre conceitos da teoria de operadores, não tendo a complexidade que normalmente é encontrada nas linguagens de uso geral. Com recurso ao Xtext e Eclipse, os autores criaram uma linguagem com destaque de sintaxe, verificação de erros e um editor automático para alguma das tarefas da teoria dos operadores, relacionadas com integrais singulares, gerando resultados que usam o Wolfram Mathematica.