Title :
A Petri net-based visual language for specifying GUIs
Author :
Li, Xiaosong ; Mugridge, Warwick B. ; Hosking, John G.
Author_Institution :
Dept. of Comput. Sci., Auckland Univ., New Zealand
Abstract :
We describe PUIST, a visual language for graphical 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 and prototyping
Keywords :
Petri nets; formal specification; graphical user interfaces; software prototyping; specification languages; visual languages; visual programming; GUI; PUIST; Petri net; graphical interface specification; prototyping; specification language; specification understandability; visual language; Computer science; Fires; Graphical user interfaces; LAN interconnection; Large-scale systems; Petri nets; Prototypes; Specification languages; Testing; User interfaces;
Conference_Titel :
Visual Languages, 1997. Proceedings. 1997 IEEE Symposium on
Conference_Location :
Isle of Capri
Print_ISBN :
0-8186-8144-6
DOI :
10.1109/VL.1997.626558