Método e linguagem para modelagem gráfica de requisitos de software e sistemas

• Ano de defesa: 2019
• Autor(a) principal: Novaes, Paulo José Dantas
• Orientador(a): Stadzisz, Paulo Cézar
• Banca de defesa: Stadzisz, Paulo Cézar, Linhares, Robson Ribeiro, Pimentel, Andrey Ricardo
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Tecnológica Federal do Paraná; Curitiba
• Programa de Pós-Graduação: Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial
• País: Brasil
• Palavras-chave em Português: Engenharia de requisitos; Engenharia de software; Software - Desenvolvimento; Gerenciamento de configurações de software; Linguagem de programação (Computadores) - Sintaxe; Engenharia elétrica; Requirements engineering; Software engineering; Computer software - Development; Software configuration management; Programming languages (Electronic computers) - Sintax; Electric engineering
• Área do conhecimento CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE
• Link de acesso: http://repositorio.utfpr.edu.br/jspui/handle/1/4281

Esta dissertação propõe um método e uma linguagem de modelagem gráfica de requisitos de software e sistemas sob o nome de RIMON (Requirements and Interdependencies MOdeling Notation). Esta linguagem permite representar requisitos e suas interdependências de forma sistemática, precisa e expressiva, visando contribuir para a melhoria da qualidade da especificação de requisitos de softwares e sistemas. Originada a partir de conceitos da abordagem RON (Requisitos Orientados a Notificações), a RIMON foi criada para ser visualmente atrativa em possíveis usos comerciais. Essa atratividade decorre de um desenvolvimento fundamentado na teoria de física das notações (Physics of Notations – PoN), que fornece princípios destinados a produzir notações visuais eficientes em termos de comunicação. Adicionalmente, a linguagem é definida por meio de uma sintaxe abstrata (metamodelo) e de uma sintaxe concreta (sintaxe visual) complementada por um mapeamento semântico preciso. Em relação ao método proposto, este consiste em um ciclo iterativo de atividades para identificação e análise dos dados de entrada e modelagem gráfica dos requisitos e suas interdependências. A RIMON oferece características tais como suporte a modelagem de requisitos funcionais e não-funcionais, entidades, atributos, pré-condições, pós-condições e identificação de conflitos. Como diferencial, a modelagem de pré-condições possibilita representar restrições relativas a requisitos não-funcionais por meio de atributos contendo condições lógico-matemáticas. Por fim, este trabalho apresenta três experimentos de modelagem usando RIMON, tanto de requisitos de sistemas (extraídos da literatura) quanto de requisitos de software (projeto real), destinados a demonstrar e verificar as capacidades da linguagem.