| 交互式用户界面的形式化描述与性质验证 |
| |
| 引用本文： | 朱军,张高,华庆一,戴国忠.交互式用户界面的形式化描述与性质验证[J].软件学报,1999,10(11):1163-1168. |
| |
| 作者姓名： | 朱军 张高 华庆一 戴国忠 |
| |
| 作者单位： | 1. 中国科学院软件研究所计算机科学开放研究实验室,北京,100080
2. 西北大学计算机科学系,西安,710069 |
| |
| 基金项目： | 本文研究得到国家自然科学基金和国家863高科技项目基金资助. |
| |
| 摘 要： | 随着人机交互技术的发展,计算机和用户之间的接口越来越自然,但用户界面管理系统内部的复杂度却大大地增加了.目前提出的新一代用户界面的模型大都停留在概念模型阶段,缺乏对模型的严格描述和证明.该文结合对基于自然交互方式的用户界面的研究成果,归纳出了一个交互式用户界面的通用模型.为了保证系统设计的正确性,文章讨论了如何使用形式化描述语言LOTOS(language of temporal ordering specification)和基于动作的时序逻辑ACTL(action based temporal log
|
| 关 键 词： | 交互式用户界面 形式化方法 模型检查 时序逻辑 |
| 收稿时间： | 1998/7/10 0:00:00 |
| 修稿时间： | 9/2/1998 12:00:00 AM |
The Formal Specification and Property Verification of Interactive User Interface |
| |
| ZHU Jun,ZHANG Gao,HUA Qing-yi and DAI Guo-zhong.The Formal Specification and Property Verification of Interactive User Interface[J].Journal of Software,1999,10(11):1163-1168. |
| |
| Authors: | ZHU Jun ZHANG Gao HUA Qing-yi and DAI Guo-zhong |
| |
| Affiliation: | ZHU Jun; ZHANG Gao;HUA Qing-yi; DAl Guo-zhong1(Laboratory Of ComPuter Sicence Institute of Software The Chinese Academp of Sciences Beijing l00080)2(DePartment of Computer Science Northwest University Xi'an 710069) |
| |
| Abstract: | |
| |
| Keywords: | LOTOS ACTL |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
