Á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

AUTOR(ES)
FONTE

IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia

DATA DE PUBLICAÇÃO

25/08/2011

RESUMO

Geralmente, a análise de requisitos é feita por proposições ad hoc de especialistas. O personagem que detém o conhecimento a respeito do domínio a ser desenvolvido, normalmente, não compreende a linguagem dos especialistas. Assim, as pessoas que deveriam especificar o software são relegadas a um segundo plano, como é o caso de alunos e professores do ensino fundamental em relação aos softwares educativos. Nesta dissertação, apresenta-se uma proposta para modelagem de requisitos, com o diferencial de se tratar de uma metodologia que pode ser usada por usuários. É utilizada uma concepção baseada na metodologia de desenvolvimento guiada por características, chamada de árvore de características. Para desenvolver um sistema com qualidade é necessário uma elicitação de requisitos que consiga prever o máximo de características e um bom projeto e diagramas UML que reflitam o funcionamento do sistema. Porém cada vez mais a área de Interação Humano- Computador tem ganhado importância, pois um bom projeto de interface gráfica melhora a qualidade e usabilidade de um sistema, que envolve a aprendizagem, memorização e facilidade no uso. Para que um sistema possa garantir qualidade em sua interface são necessários planejamento e teste antes que essa interface seja efetivamente desenvolvida. A UML é uma linguagem de modelagem utilizada para planejar todo o funcionamento do sistema, porém ela não foi planejada para modelagem do fluxo de navegação de sistemas. Existem diversos trabalhos que se propõem a desenvolver métodos de modelagem de fluxo de navegação em interfaces, evidenciando uma necessidade crescente no planejamento e teste de interfaces, pois muitos sistemas falham devido a problemas na interação do usuário com o sistema. O modelo de fluxo de navegação propõe uma análise de diferentes aspectos que fazem parte da modelagem, simulação e validação da interface de sistemas computacionais centrados no usuário. Nesta dissertação é proposto um modelo formal, baseado em Rede de Petri Colorida que auxilia o planejamento de interfaces, com foco principal no fluxo da navegação.

ASSUNTO(S)

ciencia da computacao 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

ACESSO AO ARTIGO

Documentos Relacionados