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

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