[pt] A avaliação de uma interface de usuário pode ser feita em diferentes fases do ciclo de desenvolvimento de um software. Avaliações formativas são aquelas feitas ao longo do processo de design, antes do sistema estar concluído, e muitas vezes, antes de uma única linha de código estar escrita. No âmbito da engenharia semiótica, a linguagem de modelagem MoLIC (Modeling Language for Interaction as Conversation) visa apoiar a reflexão do designer durante o design de IHC. No entanto, não há um método específico para avaliar soluções de interação elaboradas com a MoLIC. Visando apoiar o processo de avaliação de uma solução representada em MoLIC, este trabalho apresenta a MoLIC WOz, uma ferramenta computacional que permite emular a interação usuário-sistema representada em um diagrama de interação MoLIC. A ferramenta torna possível essa interação através da técnica Wizard of Oz (WOz), onde um usuário interage com o sistema sendo operado por uma outra pessoa (o Wizard). O objetivo desse trabalho foi verificar de que maneira a MoLIC WOz promove reflexão ao seu usuário, aquele que interage com a emulação da interação do sistema em avaliação. Para avaliar essa proposta, foi realizado um estudo com doze participantes interagindo com a ferramenta. Os resultados do estudo indicam que a MoLIC WOz tem potencial para ajudar na avaliação da comunicabilidade de diagramas de interação por promover e motivar reflexão. Novos estudos com a ferramenta são sugeridos para verificar outras formas de apoio à avaliação formativa desse modelo. / [en] A user interface can be evaluated at different stages of the software development cycle. Formative evaluations are those that are made throughout the design process, before the system is finished, and often before a single line of code is written. Within semiotic engineering, the modeling language MoLIC (Modeling Language for Interaction as Conversation) aims to support the reflection of the designer during the HCI design. However, there is no specific method to evaluate interaction solutions prepared with MoLIC. Aiming to support the evaluation process of a solution represented in MoLIC, this work presents MoLIC WOz, a computational tool that emulates the user-system interaction represented in a MoLIC interaction diagram. The tool makes this interaction through the Wizard of Oz (WOz) technique, where a user interacts with the system being operated by another person (the Wizard). The goal of this work was to analyze how MoLIC WOz promotes reflection to its user, who plays the role of experiencing the emulation of system’s interaction. To assess this proposal, we conducted a study with twelve participants interacting with the tool. The results of this study indicate that MoLIC WOz has potential to support the communicability evaluation of MoLIC interaction diagrams through induced reflection. Further studies with the tool are suggested to verify other ways that support formative evaluations of this model.

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-05-09T17:24:59Z No. of bitstreams: 1 LENARDO CHAVES E SILVA - TESE PPGCC 2015..pdf: 9863003 bytes, checksum: b4ff7a7517f3ec159596b4b3c8730219 (MD5) / Made available in DSpace on 2018-05-09T17:24:59Z (GMT). No. of bitstreams: 1 LENARDO CHAVES E SILVA - TESE PPGCC 2015..pdf: 9863003 bytes, checksum: b4ff7a7517f3ec159596b4b3c8730219 (MD5) Previous issue date: 2015-11-12 / Capes / Sistemas Médicos Físico-Cibernéticos (SMFC) são sistemas críticos cientes de contexto que têm a segurança do paciente como principal requisito, demandando processos rigorosos de validação para garantir a conformidade com os requisitos do usuário e a corretude orientada à especificação. Neste trabalho é proposta uma arquitetura baseada em modelos para validação de SMFC, focando em promover a reúso e a produtividade. Tal abordagem permite que desenvolvedores de sistemas construam modelos formais de SMFC baseados em uma biblioteca de modelos de pacientes e dispositivos médicos, bem como simular o SMFC para identificar comportamentos indesejados em tempo de projeto. A abordagem proposta foi aplicada a três diferentes cenários clínicos para avaliar seu potencial de reúso para diferentes contextos. A abordagem foi também validada por meio de uma avaliação empírica com desenvolvedores para avaliar o reúso e a produtividade. Finalmente, os modelos foram formalmente verificados considerando os requisitos funcionais e de segurança, além da cobertura dos modelos. / Medical Cyber-Physical Systems (MCPS) are context-aware, life-critical systems with patient safety as the main concern, demanding rigorous processes for validation to guarantee user requirement compliance and specification-oriented correctness. In this article, we propose a model-based approach for early validation of MCPS, focusing on promoting reusability and productivity. It enables system developers to build MCPS formal models based on a library of patient and medical device models, and simulate the MCPS to identify undesirable behaviors at design time. Our approach has been applied to three different clinical scenarios to evaluate its reusability potential for different context. We have also validated our approach through an empirical evaluation with developers to assess productivity and reusability. Finally, our models have been formally verified considering functional and safety requirements and model coverage.