Integrando CSP com linguagens de programação

Abstract

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.