| 基于混合自动机的Post-WIMP界面的建模 |
| |
| 引用本文： | 栗阳,关志伟,戴国忠. 基于混合自动机的Post-WIMP界面的建模[J]. 软件学报, 2001, 12(5): 633-644 |
| |
| 作者姓名： | 栗阳 关志伟 戴国忠 |
| |
| 作者单位： | 中国科学院软件研究所智能工程实验室, |
| |
| 基金项目： | Supported by the National Natural Science Foundation of China under Grant No.60033020 (国家自然科学基金); the Key Project of China 863 Advanced Technology Plan under Grant No. 863-306-03-01 (国家863高技术研究发展计划) |
| |
| 摘 要： | Post-WIMP界面作为继当前的主流界面范式——WIMP界面后的下一代界面范式,它和WIMP界面有着很大的不同,通过使用虚拟现实、语音交互、手势交互等技术,它能够提供更加自然高效的交互方式.然而,它却难以构造.为了有效地构造Post-WIMP界面,在构造之前不考虑实现细节,而在一个抽象的层次上描述它是一个较好的方法.首先，分析了Post-WIMP界面的交互本质,交互混合性是Post-WIMP界面一个最为重要的特点.从形式化系统的角度分析Post-WIMP界面,通过将Post-WIMP界面抽象为混合系统能够更为准确和严格地分析Post-WIMP界面的特性.混合自动机是用于描述混合系统的形式化工具,将Post-WIMP界面建模为一组相互协作的混合自动机.设计了一基于混合自动机理论的半形式化语言LEAFF作为Post-WIMP界面的描述工具.LEAFF通过结合文本描述和图形描述描述Post-WIMP界面中的交互行为,能够准确地反映交互中的控制关系、时序关系.给出了对两个典型Post-WIMP界面——虚拟现实交互和笔式交互的描述实例,同时讨论了Post-WIMP界面中交互并行性的描述、交互实时性的验证和从描述到实际交互系统构造的转换.
|
| 关 键 词： | 人机交互；Post-WIMP界面；混合自动机 |
| 文章编号： | 1000-9825/2001/12(05)0633-12 |
| 收稿时间： | 2000-06-01 |
| 修稿时间： | 2000-06-01 |
Modeling Post-WIMP User Interfaces Based on Hybrid Automata |
| |
| LI Yang,GUAN Zhi wei and DAI Guo zhong. Modeling Post-WIMP User Interfaces Based on Hybrid Automata[J]. Journal of Software, 2001, 12(5): 633-644 |
| |
| Authors: | LI Yang GUAN Zhi wei DAI Guo zhong |
| |
| Abstract: | |
| |
| Keywords: | HCI (human computer interaction) post WIMP interface hybrid automaton |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
