Modelagem hierárquica e análise de requisitos de problemas reais em planejamento automático.

Abstract

Ao meu orientador prof. Dr. José Reinaldo Silva, pela orientação e paciência. Aos professores que formam o corpo docente do programa de pós-graduação em Engenharia Mecânica. Ao prof. Dr. Flávio Soares Correa da Silva pela convivência e ensinamentos. A todos os amigos e colegas do d-lab. Em particular San Pedro e Javier pela gentileza e interminável boa vontade em compartilhar conhecimento. Aos amigos e familiares que de uma forma ou de outra se fizeram presentes nessa jornada acadêmica. Aos meus pais, Olavo e Noeme, por anos de apoio e confiança no meu sucesso. E por fim, ao meu marido Arthur por ser o melhor companheiro me oferecendo suporte e motivação no decorrer desse processo. Obrigada pela paciência, compreensão e amor incondicional. Palavras-chave: Modelos Hierárquicos. Análise de Requisitos. Planejamento Automático. Redes de Petri. UML. Processo de projeto.

Modelagem e análise de conhecimento para planejamento automático: uma abordagem baseada em GORE e redes de Petri.

“…Vale lembrar ainda que também não existe nenhum método de transferência de representações GORE, como o sistema KAOS, para redes de Petri (da mesma forma como existe o mesmo processo para requisitos em UML). O uso de redes hierárquicas já havia sido cogitado por outros autores como Dana Nau (NAU et al, 2013)(GHALLAB;TRAVERSO, 2004), que propôs as HTNs (Hierarchical Task Network), enquanto as redes de Petri hierarquicas foram introduzidas mais recentemente na tese de doutorado Rosi Basbaum (BASBAUM, 2015). A introdução de métodos de tempo real e model checking em redes de Petri foram temas da tese de doutorado de Pedro del Foyo (FOYO, 2009), mas o uso destas técnicas para problemas de planejamento e escalonamento é introduzido no corrente trabalho.…”

“…Além de (BASBAUM, 2015) propôr o uso de um único diagrama de Estado Comportamental, propõe-se um algoritmo de tradução para a geração de uma única rede de Alto Nível, expressando características de hierarquia a serem tratadas por planejadores hierárquicos que ficam fora do escopo da presente proposta.…”