Integrando CSP com linguagens de programação

• Autor(a) principal: Pereira, Amintas Victor Ramos
• Data de Publicação: 2023
• Outros Autores: de Farias, Adalberto Cajueiro
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Revista Veras
• Texto Completo: https://ojs.brazilianjournals.com.br/ojs/index.php/BRJD/article/view/64403
• topic: métodos formais; AKKA; Go; CSP; animador

CSP consiste numa linguagem de especificação que permite uma abordagem baseada em refinamento (tornando um modelo abstrato mais concreto) e o uso de construções abstratas e expressivas para capturar diversos aspectos, representando comportamentos de maneira precisa. Sua popularidade se deve a possibilidade de executar as especificações diretamente, ao invés de se estabelecer um mapeamento para outra linguagem. Apesar de estarem disponíveis ferramentas para CSP, a dificuldade de utilizá-las, seja na escrita ou na apresentação de relações, somada a uma crescente demanda, fez surgir a necessidade de investigar o mapear desta notação para linguagem Go ou framework AKKA, bem como de ser implementada uma ferramenta que não apenas agregue funcionalidades como  manipulação e compreensão textual e gráfica da linguagem, mas que também o faça de maneira mais prática e didática.