O Atom SysVAP é uma ferramenta para desenvolvimento e simulação de automatos finitos. O nome Atom trata-se de uma alusão ao Átomo, devido aparência que um automato pode ganhar em um diagrama de estados. O sobrenome SysVAP é um acrônimo para “System for Validation of finite Automatons and execution Plans”, ou sistema para validação de automatos finitos e planos de execução.

A ferramenta é apropriada para o aprendizado de linguagens formais além de permitir a integração com outros sistemas através de uma biblioteca JAVA. Essa integração pode ser útil em sistemas que possuem habilidades deliberativas (por exemplo, sistemas que fazem uso de inteligência artificial), para avaliar as ações que serão executadas, funcionando como um sistema de segurança.

Este slideshow necessita de JavaScript.

A ferramenta permite a representação em Máquinas de estados do tipo Mealy e Moore, além da StatesCharts.

Para maiores informações consulte as páginas:

2 – Automatos e um pouco de Teoria: Faz uma breve descrição sobre automatos e suas representações;

3 – A Ferramenta Atom-SysVAP: Descreve a arquitetura e alguns conceitos importantes sobre a Ferramenta;

4 – Sobre a Interface do Atom-SysVAP: Descreve a IDE da ferramenta e como utilizá-la;

5 – Referências Bibliográficas

Para utilizar a ferramenta basta:

  1. fazer o download do arquivo Atom.zip no link abaixo;
  2. Descompacte em uma pasta os arquivos;
  3. Execute o arquivo Atom.jar, com um duplo clique no arquivo, ou através da linha de comando: > java -jar Atom.jar

A ferramenta é livre, faça o Download através do link a seguir e bons estudos!!!

Download

1 2 3 4 5

Sobre o Autor

Graduado em Engenharia da Computação pela Universidade do Vale do Paraíba(2006), MBA em Gestão de Projetos pela Fundação Getúlio Vargas(2010) e Mestrado em Engenharia e Tecnologias Espaciais na área de Engenharia e Gerenciamento de Sistemas Espaciais pelo INPE(2013). Possuí experiência na área de Ciência da Computação e Engenharia da Computação, com ênfase em Engenharia de Software, Sistemas bancos de dados e automação.
É um grande apaixonado por tecnologia e assuntos relacionados.

Deixe uma resposta

Seu endereço de email não será publicado.