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

Deixe uma resposta

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

This site uses Akismet to reduce spam. Learn how your comment data is processed.