Formal specification of user interfaces
ACM SIGCHI Bulletin
Direct-manipulation user interface modeling with high-level Petri nets
CSC '91 Proceedings of the 19th annual conference on Computer Science
Core Web3D
Contigra: an XML-based architecture for component-oriented 3D applications
Proceedings of the seventh international conference on 3D Web technology
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Stylesheet transformations for interactive visualization: towards a Web3D chemistry curricula
Web3D '03 Proceedings of the eighth international conference on 3D Web technology
Behavior3D: an XML-based framework for 3D graphics behavior
Web3D '03 Proceedings of the eighth international conference on 3D Web technology
Method of User-Customizable GUI Generation and Its Evaluation
APSEC '98 Proceedings of the Fifth Asia Pacific Software Engineering Conference
An Introduction to 3-D User Interface Design
Presence: Teleoperators and Virtual Environments
Hi-index | 0.00 |
X3D standard provides a well defined and well controlled runtime model for user interaction and scripting. Information captured from X3D content, combined with the characteristics of X3D viewers, can be used to formally describe and model user interface and user interactions. Virtual Environments (VEs) and entities they contain are accessed using interaction techniques supported by available input and output devices. The interaction process can be modeled using Petri nets. In this paper, we give a formal definition of interaction Petri net model (IPN). The basic structure of IPN can be automatically generated from information extracted from X3D content. The generated Petri net model is analyzed to provide information about the 3D interface presented to a user while viewing X3D content. The formal description provides a sound mathematics for the analysis of user interface characteristics.