论文部分内容阅读
作为用户与系统直接交互的途径，界面设计的好坏将影响用户对系统的第一印象，因此界面设计在软件工程系统设计中十分重要。传统有限状态机在表达复杂的界面状态关系时存在困难。我们引入与或图表示方法来表达初始界面到最终界面的业务流程问题求解过程，建立基于与或逻辑的界面关系模型，并给出模型的逻辑表示，讨论了利用逻辑推理和演绎实现模型语法和语义检查的方法。