基于混合自动机的post-wimp界面的建模

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界面中交互并行性的描述、交互实时性的验证和从描述到实际交互系统构造的转换.