交互式用户界面的形式化描述与性质验证.pdfVIP

软件学报991108 软件学报 JOURNAL OF SOFTWARE 1999年　第10卷　第11期　Vol.10　No.11　 1999 交互式用户界面的形式化描述与性质验证 朱军　张高　华庆一　戴国忠 　　摘要　随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面 管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在 概念模型阶段,缺乏对模型的严格描述和证明.该文结合对基于自然交互方式的用户界面 的研究成果,归纳出了一个交互式用户界面的通用模型.为了保证系统设计的正确性,文 于人们对交互式用户界面的动态行为进行研究、评估与定义. 　　关 键 词　交互式用户界面,形式化方法,模型检查,时序逻辑,LOTOS,ACTL. 　　中图法分类号　TP311 The Formal Specification and Pro