%0 Journal Article
%T 基于情景演算的用户界面模型验证方法
%A 梁伟晟 李磊？
%J 计算机科学
%D 2007
%X 用户界面设计是业务应用系统设计的重要组成部分，验证界面设计正确性与设计用户界面同样重要。界面关系的非直观性和动态性使得界面设计的验证并不容易。以初始界面开始得到最终界面的过程可以看作是规划问题。为此，我们引入情景演算来解决界面设计的验证问题。我们在经典情景演算中引入界面检验机制，用带检验机制的情景演算来表达界面的规划，在规划过程中实现界面设计的验证，最终通过规划结果判断界面设计的正确性。
%K 用户界面规划情景演算验证
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=24412303&flag=1