Design, Specification and Verification of Interactive Systems ’99
Design, Specification and Verification of Interactive Systems ’99
复制标题
交互系统’99的设计、规范和验证
DOI：
--
复制
发表时间：
1999
期刊：
影响因子：
--
通讯作者：
Shamus P. Smith
中科院分区：
文献类型：
--
作者：
M. Massink;D. Duke;Shamus P. Smith
已经提出了许多新的多模态交互技术用于虚拟世界中的交互。通常，这些技术具有将连续交互（诸如手势和移动视频）与离散交互（诸如按下按钮以选择项目）组合的混合性质。不幸的是，在文献中发现的这些互动技术的行为方面的描述是非正式和不完整的。这使得比较和评估它们的可用性变得困难。本文探讨了使用HyNet的混合互动技术，以提供简洁和精确的规格。HyNet是高级Petri网的扩展，用于混合系统的规范和验证，即包括连续和离散元素的数学模型。
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.