ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability
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.
Unfortunately, ACM prohibits us from displaying non-influential references for this paper.
To see the full reference list, please visit http://dl.acm.org/citation.cfm?id=327336.