Planejamento de ação em sistemas hierárquicos temporizados usando GHENeSys
Arianna Z. Olivera Salmon1; Pedro M. Gonzalez Del Foyo2; José Reinaldo Silva1
1 Universidade de São Paulo; 2 Universidade Federal de Pernambuco
Resumo
O uso de técnicas de Planejamento Automático para resolver problemas reais, tem entre seus principais problemas a especificação e modelagem adequada dos requisitos. Portanto, a fase inicial de eliciação, especificação e análise de requisitos, é considerada, ao mesmo tempo, a mais complexa, e a mais estratégica para obtenção de bons resultados. Erros precisam ser detectados durante esta fase inicial enquanto se antecipa ao máximo a formalização do problema. Este trabalho propõe um método para a análise, modelagem e verificação de requisitos, partindo da sua representação semi-formal em UML, e utilizando métodos formais baseados em Rede de Petri para proceder à modelagem, análise e verificação. É apresentado um estudo de caso de um sistema real de planejamento de operações de navios para atender portos e plataformas de petróleo, e ambientado no sistema GHENeSys (General Hierarchical Enhanced Net System). Para problemas bem estruturados esta base inicial de requisitos pode ser usada para fazer o planejamento usando Redes de Petri com bons resultados, dispensando a necessidade de heurísticas. Em caso contrário este conjunto próprio de requisitos pode ser usado como entrada para outras ferramentas de planejamento automático baseadas em AI (Inteligência Artificial).
Palavras-chave: Planejamento Automático; Modelagem e Análise de requisitos; Verificação; Rede de Petri