DocumentCode :
2936445
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
fYear :
1997
fDate :
23-26 Sep 1997
Firstpage :
50
Lastpage :
57
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Visual Languages, 1997. Proceedings. 1997 IEEE Symposium on
Conference_Location :
Isle of Capri
ISSN :
1049-2615
Print_ISBN :
0-8186-8144-6
Type :
conf
DOI :
10.1109/VL.1997.626558
Filename :
626558
Link To Document :
بازگشت