Técnicas para inspeção de diagramas MOLIC

Abstract

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.