Metamodelo unificado de linguagens de requisitos.

• Ano de defesa: 2024
• Autor(a) principal: Amaral, Larissa Mangolim
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Biblioteca Digitais de Teses e Dissertações da USP
• Palavras-chave em Português: Engenharia de requisitos; Especificação de requisitos de sistemas e programas; Linguagens formais; Model-driven engineering; Modelagem; Requirements language; Requirements notation; Unified metamodel
• Link de acesso: https://www.teses.usp.br/teses/disponiveis/3/3141/tde-16072025-080619/

Na Engenharia de Requisitos, duas atividades importantes são a documentação e o gerenciamento de requisitos. A expansão da Engenharia Orientada a Modelos possibilitou não somente a representação desses requisitos em modelos padronizados - definidos por linguagens de requisitos -, mas também o desenvolvimento de ferramentas computacionais que exploram tais padronizações. Cada linguagem tem características e propósitos específicos que a torna única, mas muitas delas possuem aspectos comuns que as conectam. A associação dessas linguagens beneficia a interoperabilidade entre modelos de requisitos e é explorada por diversos autores. No entanto, uma associação mais genérica, realizada a partir de um método de composição sistemático e incluindo uma gama maior de linguagens de requisitos, não é contemplada por tais autores. Este trabalho apresenta o projeto de um metamodelo unificado de linguagens de requisitos através do levantamento e análise de múltiplas definições anteriormente propostas para cada linguagem. O metamodelo é composto pelas linguagens: Caso de Uso textual, Histórias de Usuário, OCL, diagramas de sequência, de classes e de caso de uso. A seleção de tais linguagens foi feita através de um survey e os metamodelos que definem cada linguagem foram encontrados por meio de uma busca sistemática. Para a unificação, foi aplicado um método de composição baseado em métodos existentes. O metamodelo final foi validado por meio do mapeamento de especificações existentes escritas em cada uma das linguagens de requisitos unificadas. Espera-se que essa unificação facilite a compreensão e a definição de operações de mapeamento entre diferentes linguagens de requisitos e que o método de composição apresentado possa ser utilizado iterativamente na unificação de até mais linguagens de requisitos.