Técnicas para inspeção de diagramas MOLIC

Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-08-12T13:26:26Z No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) === Approved for entry into archive by Divisão de Documentação/BC Biblioteca Ce...

Full description

Bibliographic Details
Main Author: Damian, Adriana Lopes
Other Authors: Conte, Tayana Uchôa
Format: Others
Language:Portuguese
Published: Universidade Federal do Amazonas 2016
Subjects:
Online Access:http://tede.ufam.edu.br/handle/tede/5126
Description
Summary:Submitted by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-08-12T13:26:26Z No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) === Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-08-12T13:27:47Z (GMT) No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) === Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2016-08-12T13:28:23Z (GMT) No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) === Made available in DSpace on 2016-08-12T13:28:23Z (GMT). No. of bitstreams: 1 Dissertação -Adriana Lopes.pdf: 7501767 bytes, checksum: f6b8aa4ca03f0267a2d2192865acbce4 (MD5) Previous issue date: 2016-02-23 === CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior === Interaction models specify the structure and behavior of the user with the interface. They refer to the interface commands that the user can perform and the corresponding system responses. The use of interaction models in the design stage is important due to the user's perspective since problems in the user-system interaction can be mitigated. In this context, MoLIC (Modeling Language for the Conversation Interaction) allows the development of interaction solutions. The diagrams modeled with MoLIC can be used as a basis for the development of other artifacts. However, in a preliminary study regarding the use of MoLIC diagrams, we identified different types of defects, such as Omission, Incorrect Fact, Inconsistency, Ambiguity and Extraneous Information. These results indicate that there is a need to inspect MoLIC diagrams in order to avoid the propagation of these defects to other artifacts. Also, the sooner a defect is discovered, the lower the cost to repair it. This thesis presents the proposed techniques for MoLIC diagrams inspection: MoLVERIC Cards and MoLVERIC Check. To motivate the inspection of MoLIC diagrams, the MoLVERIC Cards employs gamification elements. On the other hand, MoLVERIC Check is a checklist-based inspection technique. The verification items of both techniques evaluate the consistency of MoLIC diagrams with the interaction scenario/system requirements, as well as the notation employed in the MoLIC diagrams. The techniques had their construction and evaluation supported by experimentation. The results of both techniques have provided evidence of their feasibility to inspect MoLIC diagrams. === Modelos de interação especificam a estrutura e o comportamento do usuário com a interface. Referem-se aos comandos de interface que o usuário pode executar e as correspondentes respostas do sistema. O uso de modelos de interação na etapa de design é importante devido às perspectivas do usuário, pois problemas na interação usuário-sistema podem ser mitigados. Neste contexto, a MoLIC (Modeling Language for Interaction as Conversation) proporciona o desenvolvimento de soluções de interação. Os diagramas modelados com a MoLIC podem ser usados como base para o desenvolvimento de outros artefatos. No entanto, em um estudo preliminar realizado com o objetivo de analisar o uso de diagramas MoLIC, diferentes tipos de defeitos foram identificados, tais como Omissão, Fato Incorreto, Inconsistência, Ambiguidade e Informação Estranha. Estes resultados indicam que existe a necessidade de inspecionar os diagramas MoLIC, pois evita-se a propagação destes defeitos para outros artefatos. Além disso, quanto mais cedo for detectado um defeito, menor será o custo para repará-lo. Esta dissertação apresenta as técnicas específicas para a inspeção de diagramas MoLIC, chamadas MoLVERIC Cards e MoLVERIC Check. Para motivar a inspeção dos diagramas MoLIC, a MoLVERIC Cards emprega elementos de gamificação. A MoLVERIC Check é uma técnica de inspeção baseada em lista de verificação. Os itens de verificação das duas técnicas avaliam tanto a consistência dos diagramas MoLIC com o cenário de interação/ requisitos do sistema, como a notação usada nos diagramas MoLIC. As técnicas tiveram sua construção e avaliação apoiadas por experimentação. Os resultados de ambas as técnicas forneceram evidências de viabilidade para inspecionar diagramas MoLIC.