Conversão de modelo orientado a objetivos para planejador automatizado baseado em redes de tarefas hierárquicas

Abstract

O desenvolvimento de software é imprescindível à sociedade e permeado de vários contextos. Entre eles, destaca-se o contexto da Engenharia de Requisitos (ER), como a etapa inicial no projeto de software. Para tanto, abordagens, conceitos e ferramentas são empregados, de forma a garantir a qualidade do software a ser desenvolvido. Em outro contexto, insere-se a Inteligência Artificial, como um caminho alternativo à definição e solução de problemas. Dessa forma, é possível conjugar conhecimentos das duas áreas, a fim de criar modelos e ferramentas capazes de agregar conhecimento e qualidade ao processo de especificação de software. Este trabalho apresenta uma proposta de solução para a conversão entres os elementos desses domínios. Essa conversão visa oferecer uma nova forma de avaliação e análise dos modelos de requisitos através do Planejamento Automatizado. Utilizando como ferramenta de modelagem o framework Goal Oriented Dependability Analysis (GODA), que implementa a análise de requisitos orientados à objetivos e como planejador o Pyhop, que implementa a abordagem Hierarchical Task Networks (HTN) como formalização de domínios e problemas de planejamento, esse trabalho é ilustrado por um protótipo implementado utilizando as linguagens de programação Java e Python a fim de integrar as duas ferramentas citadas, representando na prática o modelo de conversão proposto. Para atestar a adequação do modelo e a implementação do protótipo, foram concebidos quatro experimentos, sendo um deles aplicado a um cenário real.