Árvore de Características e Redes de Petri Colorida com Expressões de Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação

• Ano de defesa: 2011
• Autor(a) principal: Oliveira, Cintia Carvalho
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Uberlândia; BR; Programa de Pós-graduação em Ciência da Computação; Ciências Exatas e da Terra; UFU
• Palavras-chave em Português: Elicitação de requisitos; Modelagem de interface; Redes de petri; Lógica proposicional; Interação humano-computador; Requirements elicitation; Modeling interface; Petri net; Propositional logic; Human-computer interaction; CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
• Link de acesso: https://repositorio.ufu.br/handle/123456789/12516

Requirement analysis usually consists of experts ad hoc prepositions, however, the key character that holds the knowledgement about the domain to be developed, usually does not understand the language of specialists. Thus, people who should specify the software are relegated to the background, as is the case of students and teachers of elementary schools regarding educational software. This paper presents a proposal for requirements elicitation with the peculiarity that it comprises a methodology that can be used by the user or even an important tool for developer and clients. Our proposal is based on the development methodology driven by features which we call tree features. To develop a quality system is requirements elicitation that can predict the maximum features and a good design and UML diagrams that reflect the system operation. However increasingly the area of Human-Computer Interaction has gained importance as a well-designed graphical user interface, improves the quality and usability of a system, which involves learning, memory and ease of use. For a system to ensure quality in its interface design and testing are needed before this interface is actually developed. The UML is a modelling language used to plan the entire system operation, but it is not designed to model the system navigation flow. There are many works that propose to develop methods for modelling the interfaces navigation flow, indicating a growing need in the planning and testing interfaces, as many systems fail due to problems on user interaction with the system. The navigation flow model proposes an analysis of different aspects that are part of the modelling, simulation and validation of user-centered computer systems interface. In this paper we propose a formal model based on Coloured Petri Net that helps the planning of interfaces, focusing primarily on the flow of navigation.