Paper Info
Title
A Petri Net-based Visual Language for Specifying GUIs
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.
Year
DOI
Venue
1997
10.1109/VL.1997.626558
VL
Keywords
Field
DocType
specifying guis,complex interface component specification,large specification,defining net,graphical interface specification,regular interconnection,petri net-based visual language,visual language,graphical user interfaces,prototyping,formal specification,visual programming,gui,petri net,graphical interface,specification language,computer science,testing,prototypes,petri nets,user interfaces
Specification language,Visual language,Programming language,Petri net,Computer science,Software prototyping,Formal specification,Visual programming language,Language Of Temporal Ordering Specification,Graphical user interface
Conference
ISSN
ISBN
Citations 
1049-2615
0-8186-8144-6
5
PageRank 
References 
Authors
0.85
8
3
Name
Order
Citations
PageRank
Xiaosong Li152.88
Warwick B. Mugridge245135.15
John G. Hosking3100091.44