Direct-manipulation user interface modeling with high-level Petri nets


This paper presents a high-level Petri net model for representing and analyzing the design of direct-manipulation user interfaces. This model based on annotated Petri nets not only represents the relationships among individual user interface objects but specify the execution semantics of the direct-manipulation user interface. The annotated Petri net formalism permits the specifications of which user interface objects are to be presented to the user and in what manner and/or at which locations they should be presented when the direct-manipulation user interface is executed. Behavioral properties of the design representation can be verified by using Petri net analysis techniques. Since this model is executable, it also serves as the basis for the user interface management system (UIMS) of Oregon Speedcode Universe (OSU), a Petri-net-based programming environment currently under development, to create direct-manipulation user interfaces. The model is introduced on the basis of simple examples from Macintosh direct-manipulation user interfaces. Finally, reachability graph analysis techniques are applied to verify the properties of hypertext-based information retrieval systems.

DOI: 10.1145/327164.327336

Extracted Key Phrases

5 Figures and Tables

Cite this paper

@inproceedings{Keh1991DirectmanipulationUI, title={Direct-manipulation user interface modeling with high-level Petri nets}, author={Huan Chao Keh and Ted G. Lewis}, booktitle={ACM Conference on Computer Science}, year={1991} }