Title :
A Petri net-based environment for GUI design
Author :
Li, Xin ; Hosking, J.G.
Author_Institution :
Dept. of Comput. Sci., Auckland Univ.
Abstract :
We describe PUIST, a visual environment for graphical user interface specification and prototyping. PUIST uses a Petri net notation, with a declarative means of defining nets which have complex, yet regular interconnections. This significantly improves the understandability of large specifications, permitting PUIST to be used for complex interface component specification, analysis and prototyping
Keywords :
Petri nets; graphical user interfaces; interactive programming; software prototyping; visual programming; GUI design; PUIST; Petri net notation; Petri net-based environment; complex regular interconnections; declarative net definition; graphical user interface prototyping; graphical user interface specification; interface component analysis; visual environment; Computer science; Displays; Fires; Graphical user interfaces; Mice; Petri nets; Prototypes; Testing; User interfaces;
Conference_Titel :
Systems, Man, and Cybernetics, 1997. Computational Cybernetics and Simulation., 1997 IEEE International Conference on
Conference_Location :
Orlando, FL
Print_ISBN :
0-7803-4053-1
DOI :
10.1109/ICSMC.1997.635198
