%0 Journal Article
%T 交互式用户界面的形式化描述与性质验证
%A 朱军？
%A 张高？
%A 华庆一？
%A 戴国忠？
%J 软件学报
%P 1163-1168
%D 1999
%X 随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段,缺乏对模型的严格描述和证明.该文结合对基于自然交互方式的用户界面的研究成果,归纳出了一个交互式用户界面的通用模型.为了保证系统设计的正确性,文章讨论了如何使用形式化描述语言lotos(languageoftemporalorderingspecification)和基于动作的时序逻辑actl(actionbasedtemporallog
%K 交互式用户界面
%K 形式化方法
%K 模型检查
%K 时序逻辑
%K lotos
%K actl.
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19991108&flag=1