DocumentCode
330210
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
Volume
2
fYear
1998
fDate
11-14 Oct 1998
Firstpage
1127
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Systems, Man, and Cybernetics, 1998. 1998 IEEE International Conference on
Conference_Location
San Diego, CA
ISSN
1062-922X
Print_ISBN
0-7803-4778-1
Type
conf
DOI
10.1109/ICSMC.1998.727849
Filename
727849
Link To Document