Especificações de fórmulas bem formadas e de argumentos válidos da lógica proposicional na linguagem Alloy
Especificações de fórmulas bem formadas e de argumentos válidos da lógica proposicional na linguagem Alloy
<rafaella.rosendo@arapiraca.ufal.br>
A linguagem Alloy é uma linguagem declarativa e de modelagem
que utiliza os métodos da geração por esboço e síntese de programas em sua
estrutura, ou seja, ela faz com que o desenvolvedor descreva um sistema em
termos de entidades (objetos), relações e restrições e essas declarações são
expressas de maneira que descreva o que o sistema deve fazer, e não como se fazer, além que ela é baseada em
lógica de primeira ordem e possui o seu analisador, o Alloy Analyzer, que
permite gerar visualizações gráficas de modelos, ajudando a compreender e
depurar as especificações descritas. Neste trabalho, foi desenvolvida uma
ferramenta capaz de gerar argumentos válidos da Lógica Proposicional utilizando
a linguagem Alloy como mediadora para construção do código.
The Alloy language is a declarative and modeling language
that uses programming sketch and programming synthesis methods within its
framework. In other words, it requires the developer to describe a system in
terms of entities (objects), relations, and constraints. These statements are
expressed in a manner that describes what the system should do, rather than how
to do it. Furthermore, Alloy is based on first-order logic and features its own
analyzer, the Alloy Analyzer, which allows the generation of graphical views of
models, aiding in the understanding and debugging of the described
specifications. In this work, a tool was developed to generate valid arguments
of Propositional Calculus using the Alloy language as a mediator for code
construction.
Dr. Neves, Tácito Trindade de Araújo Tiburtino.
Modelagem computacional.
Computação .
Argumento (Programação computacional).
Alloy (Linguagem de programação).