Anais do IHC'2001 - Departamento de Informática e Estatística - UFSC

Anais do IHC’2001 - IV Workshop sobre Fatores Humanos em Sistemas Computacionais 53
que o sistema pode causar uma transição automaticamente sem a intervenção do usuário
(eventos e20 e e21).
Figura 3 – Modelo de navegação do site HIBAM, níveis 0 e 1.
4. Verificação do Modelo de Navegação
Tendo como base uma especificação da interface em StateWebCharts pode-se realizar
algumas verificações sobre o modelo que podem identificar ou sugerir a existência de
problemas de usabilidade. Estas verificações não podem ser consideradas como métodos de
avaliação automática, pois elas apenas ressaltam características do modelo que devem ser
analisadas pelo designer a fim de determinar a ocorrência ou não de problemas de
usabilidade.
Para as verificações são consideradas os seguintes dados que podem ser obtidos do
modelo:
• A identificação do estado;
• Descrição do conteúdo que o estado armazena;
• Lista de eventos que saem do estado causando transições para outros estados;
• Quem tem o controle sobre a transições (usuário ou o sistema);
• Tipo de estado: externo, cliente, servidor ou transiente (gerado dinamicamente);
• A posição na hierarquia de estados, no caso de estados compostos;
• Concorrência visual dos estados;