%0 Journal Article
%T A Situation Calculus-based Validation Approach to Uset Interface Model<br>基于情景演算的用户界面模型验证方法
%A LIANG Wei-Sheng
%A LI Lei
%A <br>梁伟晟
%A 李磊
%J 计算机科学
%D 2007
%I 
%X 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.
%K User interface
%K Planning
%K Situation calculus
%K Validation<br>用户界面
%K 规划
%K 情景演算
%K 验证
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=BFCBEAB2EB83BF328D7C12E4C452AB69&yid=A732AF04DDA03BB3&vid=339D79302DF62549&iid=94C357A881DFC066&sid=89AC6B0ADBEA2741&eid=30897FA31CA3354D&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=12