A Situation Calculus-based Validation Approach to Uset 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.