基于与或逻辑的界面关系模型表示方法  

Representation of User Interface Relation Model Based on And/Or Logic

作　　者：梁伟晟[1] 李磊[1] 

机构地区：[1]中山大学软件研究所,广州510275

出　　处：《计算机科学》2008年第4期203-204,210,共3页Computer Science

摘　　要：作为用户与系统直接交互的途径,界面设计的好坏将影响用户对系统的第一印象,因此界面设计在软件工程系统设计中十分重要。传统有限状态机在表达复杂的界面状态关系时存在困难。我们引入与或图表示方法来表达初始界面到最终界面的业务流程问题求解过程,建立基于与或逻辑的界面关系模型,并给出模型的逻辑表示,讨论了利用逻辑推理和演绎实现模型语法和语义检查的方法。As a way contacting with user, user interface influences the appraisement of user to system. So the user interface design is important to system in software engineering. FSM encounters difficulty in express complicated user interface relation. We introduce AND/OR graph to express solution of business flow problem which works from initial interface to final interface. We build the user interface relation model based on AND/OR logic, introduce the logic rep- resentation of model, discuss the way of syntax and semantic validation by reasoning and deduction.

关 键 词：界面关系模型 与或图 有限状态机 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论] TP311[自动化与计算机技术—计算机科学与技术]