Title :
User interface evaluation based on coloured Petri nets modelling and analysis
Author :
De Sousa, Marckson R F ; Turnell, M.deF.Q.V.
Author_Institution :
Dept. of Electr. Eng., Univ. Federal da Paraiba, Joao Pessoa, Brazil
Abstract :
This paper proposes the modelling and analysis of computer user interfaces in coloured Petri nets (CPN). It presents a case study in which a user interface is modelled and analysed using a computational tool-Design CPN. The results of the analysis are discussed based upon the verification of the properties of the nets
Keywords :
Petri nets; user interfaces; coloured Petri nets; computer user interfaces; modelling and analysis; user interface; user interface evaluation; verification; Availability; Computer interfaces; Formal specifications; Parallel processing; Petri nets; Product development; Prototypes; Solids; Testing; User interfaces;
Conference_Titel :
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Conference_Location :
San Diego, CA
Print_ISBN :
0-7803-4778-1
DOI :
10.1109/ICSMC.1998.727849
