Método e linguagem para modelagem gráfica de requisitos de software e sistemas
This dissertation proposes a method and a language for graphic modeling of software and systems requirements, under the name of RIMON (Requirements and Interdependencies MOdeling Notation). This language allows to represent requirements and their interdependencies in a systematic, precise and expres...
| Autor principal: | Novaes, Paulo José Dantas |
|---|---|
| Formato: | Dissertação |
| Idioma: | Português |
| Publicado em: |
Universidade Tecnológica Federal do Paraná
2019
|
| Assuntos: | |
| Acesso em linha: |
http://repositorio.utfpr.edu.br/jspui/handle/1/4281 |
| Tags: |
Adicionar Tag
Sem tags, seja o primeiro a adicionar uma tag!
|
| id |
riut-1-4281 |
|---|---|
| recordtype |
dspace |
| spelling |
riut-1-42812019-07-31T06:00:48Z Método e linguagem para modelagem gráfica de requisitos de software e sistemas Method and language for graphical modeling of requirements for software and systems Novaes, Paulo José Dantas Stadzisz, Paulo Cézar http://lattes.cnpq.br/5203792575176289 Simão, Jean Marcelo http://lattes.cnpq.br/3593420323268103 Stadzisz, Paulo Cézar Linhares, Robson Ribeiro Pimentel, Andrey Ricardo 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 CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE Engenharia Elétrica This dissertation proposes a method and a language for graphic modeling of software and systems requirements, under the name of RIMON (Requirements and Interdependencies MOdeling Notation). This language allows to represent requirements and their interdependencies in a systematic, precise and expressive way, aiming to contribute to the quality improvement of software and systems requirements specifications. Sourced in concepts of RON (Requirements Oriented to Notifications) approach, RIMON was designed to be visually attractive in its possible commercial usage. This attractiveness results from a development grounded in the Physics of Notations (PoN), which provides principles for creating efficient visual notations in terms of communication. In addition, the language is defined by an abstract syntax (metamodel) and a concrete syntax (visual syntax), complemented by a precise semantic mapping. Regarding the proposed method, it includes a set of steps for identification and analysis of input data, graphical requirements and interdependencies modeling. RIMON offers features such as support for modeling functional and nonfunctional requirements, entities, attributes, preconditions, postconditions and conflict identification. As a notable characteristic, the modeling of preconditions allows the representation of constraints related to non-functional requirements by means of attributes containing logical-mathematical conditions. At last, this work presents three modeling experiments using RIMON, including system requirements (extracted from the literature) and software requirements (real project) environments, designed to demonstrate and verify the capabilities of the language. Conselho Nacional do Desenvolvimento Científico e Tecnológico (CNPq) Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) 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. 2019-07-30T19:11:14Z 2019-07-30T19:11:14Z 2019-05-22 masterThesis NOVAES, Paulo José Dantas. Método e linguagem para modelagem gráfica de requisitos de software e sistemas. 2019. 347 f. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Curitiba, 2019. http://repositorio.utfpr.edu.br/jspui/handle/1/4281 por openAccess application/pdf Universidade Tecnológica Federal do Paraná Curitiba Brasil Programa de Pós-Graduação em Engenharia Elétrica e Informática Industrial UTFPR |
| institution |
Universidade Tecnológica Federal do Paraná |
| collection |
RIUT |
| language |
Português |
| topic |
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 CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE Engenharia Elétrica |
| spellingShingle |
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 CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::METODOLOGIA E TECNICAS DA COMPUTACAO::ENGENHARIA DE SOFTWARE Engenharia Elétrica Novaes, Paulo José Dantas Método e linguagem para modelagem gráfica de requisitos de software e sistemas |
| description |
This dissertation proposes a method and a language for graphic modeling of software and systems requirements, under the name of RIMON (Requirements and Interdependencies MOdeling Notation). This language allows to represent requirements and their interdependencies in a systematic, precise and expressive way, aiming to contribute to the quality improvement of software and systems requirements specifications. Sourced in concepts of RON (Requirements Oriented to Notifications) approach, RIMON was designed to be visually attractive in its possible commercial usage. This attractiveness results from a development grounded in the Physics of Notations (PoN), which provides principles for creating efficient visual notations in terms of communication. In addition, the language is defined by an abstract syntax (metamodel) and a concrete syntax (visual syntax), complemented by a precise semantic mapping. Regarding the proposed method, it includes a set of steps for identification and analysis of input data, graphical requirements and interdependencies modeling. RIMON offers features such as support for modeling functional and nonfunctional requirements, entities, attributes, preconditions, postconditions and conflict identification. As a notable characteristic, the modeling of preconditions allows the representation of constraints related to non-functional requirements by means of attributes containing logical-mathematical conditions. At last, this work presents three modeling experiments using RIMON, including system requirements (extracted from the literature) and software requirements (real project) environments, designed to demonstrate and verify the capabilities of the language. |
| format |
Dissertação |
| author |
Novaes, Paulo José Dantas |
| author_sort |
Novaes, Paulo José Dantas |
| title |
Método e linguagem para modelagem gráfica de requisitos de software e sistemas |
| title_short |
Método e linguagem para modelagem gráfica de requisitos de software e sistemas |
| title_full |
Método e linguagem para modelagem gráfica de requisitos de software e sistemas |
| title_fullStr |
Método e linguagem para modelagem gráfica de requisitos de software e sistemas |
| title_full_unstemmed |
Método e linguagem para modelagem gráfica de requisitos de software e sistemas |
| title_sort |
método e linguagem para modelagem gráfica de requisitos de software e sistemas |
| publisher |
Universidade Tecnológica Federal do Paraná |
| publishDate |
2019 |
| citation |
NOVAES, Paulo José Dantas. Método e linguagem para modelagem gráfica de requisitos de software e sistemas. 2019. 347 f. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Curitiba, 2019. |
| url |
http://repositorio.utfpr.edu.br/jspui/handle/1/4281 |
| _version_ |
1805303721339387904 |
| score |
10,814766 |