A Petri Net-based Visual Language for Specifying GUIs

Authors:
Xiaosong Li;Warwick B. Mugridge;John G. Hosking
Affiliations:
-;-;-
Venue:
VL '97 Proceedings of the 1997 IEEE Symposium on Visual Languages (VL '97)
Year:
1997

Citing 0
Cited 2

Specification-based Testing for Gui-based Applications

Software Quality Control
Expressing Graphical User's Input for Test Specifications

EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems

Quantified Score

Hi-index	0.00

Visualization

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.