计算机科学 ›› 2007, Vol. 34 ›› Issue (5): 260-262.
• 计算机网络与信息安全 • 上一篇 下一篇
梁伟晟 李磊
出版日期:
发布日期:
LIANG Wei-Sheng, LI Lei (Software Institute,Zhongshan University,Guangzhou 510275)
Online:
Published:
摘要: 用户界面设计是业务应用系统设计的重要组成部分,验证界面设计正确性与设计用户界面同样重要。界面关系的非直观性和动态性使得界面设计的验证并不容易。以初始界面开始得到最终界面的过程可以看作是规划问题。为此,我们引入情景演算来解决界面设计的验证问题。我们在经典情景演算中引入界面检验机制,用带检验机制的情景演算来表达界面的规划,在规划过程中实现界面设计的验证,最终通过规划结果判断界面设计的正确性。
关键词: 用户界面 规划 情景演算 验证
Abstract: User interface design is important part of business system design, so as the validation of user interface design. The non-visual and dynamic relation between interfaces makes validation difficulty. It is a planning problem to get goal interface from initi
Key words: User interface, Planning, Situation calculus, Validation
梁伟晟 李磊. 基于情景演算的用户界面模型验证方法[J]. 计算机科学, 2007, 34(5): 260-262. https://doi.org/
LIANG Wei-Sheng, LI Lei (Software Institute,Zhongshan University,Guangzhou 510275). [J]. Computer Science, 2007, 34(5): 260-262. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2007/V34/I5/260
Cited