基于情景演算的用户界面模型验证方法

A Situation Calculus-based Validation Approach to User Interface Model

用户界面设计是业务应用系统设计的重要组成部分,验证界面设计正确性与设计用户界面同样重要。界面关系的非直观性和动态性使得界面设计的验证并不容易。以初始界面开始得到最终界面的过程可以看作是规划问题。为此,我们引入情景演算来解决界面设计的验证问题。我们在经典情景演算中引入界面检验机制,用带检验机制的情景演算来表达界面的规划,在规划过程中实现界面设计的验证,最终通过规划结果判断界面设计的正确性。

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 initial interface. Then we introduce situation calculus to solve the validation of user interface design. We introduce interface checking in classical situation calculus, apply situation calculus with interface checking to describe the user interface planning. The validation of user interface design is done during the planning and can be judged by the result of planning.