Extensão de um metamodelo para a especificação de requisitos em um contexto de agentes de tempo real

• Autor(a) principal: Gaedicke, Lukas Felipe
• Data de Publicação: 2019
• Tipo de documento: Trabalho de conclusão de curso
• Idioma: por
• Título da fonte: Repositório Institucional da UNIPAMPA
• Texto Completo: http://dspace.unipampa.edu.br:8080/jspui/handle/riu/4842
• topic: CNPQ::CIENCIAS EXATAS E DA TERRA; Engenharia de software; Desenvolvimento de software; Análise de requisitos; Software engineering; Software development; Requirements analysis

A demanda por aplicações de software, denominadas sistemas multiagentes, que contenham entidades autônomas com capacidade de operar e tomar decisões sem intervenções externas está cada vez maior. No entanto, existem desafios no desenvolvimento desse tipo de sistema, tais como a especificação correta de requisitos. Embora essa seja uma questão crucial no desenvolvimento de qualquer software, sistemas multiagentes possuem requisitos particulares, posto que os agentes que os compõem devem ser autônomos e, quando seguindo o modelo BDI, devem possuir crenças, objetivos e planos, bem como serem capazes de perceber o ambiente e agir sobre ele. Quando um agente (em geral interpretando um papel) acredita que um objetivo pode ser atingido, ele passa a agir para realizar esse objetivo, em geral por meio da execução de um plano. Porém, apenas a intenção de atingir um objetivo não garante que o objetivo será concluído, muito menos que ele será atingido dentro do tempo esperado. Nesse sentido, pesquisadores começaram a utilizar agentes de tempo real para solucionar problemas afetados por restrições temporais. Com o intuito de abordar o problema de especificação desse tipo de sistema, alguns estudos estenderam as metaclasses utilizadas para produzir diagramas de casos de uso da UML de forma a representar requisitos particulares de sistemas multiagentes. Contudo, através de um mapeamento sistemático, identificamos que atualmente a maioria das propostas ainda estão projetando seus sistemas sem levar em conta as restrições temporais associados aos objetivos e outros comportamentos associados a papeis de agente. Assim, neste trabalho realizamos uma extensão de um metamodelo de agência para a representação de restrições temporais em requisitos específicos para papeis de agente em tempo real. Além disso, foi realizada a instanciação do metamodelo, em conjunto de regras OCL, que restringem as associações apenas entre agentes e seus comportamentos em tempo real. Como forma de avaliação, um experimento foi realizado, por meio de um grupo focal, com alunos de pós-graduação.