Towards Hybrid Interface Specifications for Virtual Environments
M.Massink(1), S.Smith(2), D.Duke(2)
(1) CNR - Istituto CNUCE, Pisa, Italy
(2) Dept of Computer Science, University of York, Heslington, York, YO1 5DD, UK
Abstract
Many new multi-modal interaction techniques have been proposed for
interaction in a virtual world. Often these techniques are of a hybrid
nature combining continuous interaction, such as gestures and moving video,
with discrete interaction, such as pushing buttons to select items.
Unfortunately the description of the behavioural aspects of these
interaction techniques found in the literature is informal and incomplete.
This can make it hard to compare and evaluate their usability.
This paper investigates the use of HyNet to give concise and precise
specifications of hybrid interaction techniques.
HyNet is an extension of high-level Petri Nets developed for specification
and verification of hybrid systems, i.e. mathematical models including
both continuous and discrete elements.
Keywords
Virtual environments, hybrid systems, interaction techniques, VE design, HyNet.