Uma ferramenta para mapeamento de sistemas multiagente em redes de petri coloridas

Abstract

A demanda por sistemas com inteligência artificial, como sistemas multiagente, está continuamente crescendo. Ao mesmo tempo, há uma necessidade de desenvolvimento de ferramentas para auxiliar nesta área, garantindo uma melhor tolerância a falhas para o projeto, uma vez que esses sistemas possuem características que tornam o sistema não determinístico e aumentam a dificuldade na realização de testes. Para tentar resolver esse problema, foi desenvolvida uma ferramenta de mapeamento que gera automaticamente um modelo gráfico que pode ser utilizado para identificar caminhos de teste para um determinado sistema multiagente. Esta ferramenta utiliza como entrada um arquivo XML do Moise+, um modelo organizacional para sistemas multiagente, mapeando-o em uma rede de Petri colorida, uma ferramenta de modelagem gráfica e matemática. O mapeamento resultante é utilizado para gerar casos de teste, necessários para validar o modelo Moise+, sendo utilizado como guia durante a realização dos testes do sistema. A automação torna o processo mais rápido e elimina a possibilidade de erro humano.