基于混合自动机的Post-WIMP界面的建模

关志伟戴国忠栗阳

中国科学院软件研究所;

摘要：

Post-WIMP界面作为继当前的主流界面范式——WIMP界面后的下一代界面范式,它和WIMP界面有着很大的不同,通过使用虚拟现实、语音交互、手势交互等技术,它能够提供更加自然高效的交互方式.然而,它却难以构造.为了有效地构造Post-WIMP界面,在构造之前不考虑实现细节,而在一个抽象的层次上描述它是一个较好的方法.首先，分析了Post-WIMP界面的交互本质,交互混合性是Post-WIMP界面一个最为重要的特点.从形式化系统的角度分析Post-WIMP界面,通过将Post-WIMP界面抽象为混合系统能够更为准确和严格地分析Post-WIMP界面的特性.混合自动机是用于描述混合系统的形式化工具,将P…展开v

关键词：人机交互、Post-WIMP界面、混合自动机

所属期刊栏目：12

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金60033020;国家高技术研究发展计划863计划863-306-03-01

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共12页

页码：633-644