计算机科学 ›› 2008, Vol. 35 ›› Issue (4): 203-204.

• • 上一篇    下一篇

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

梁伟晟 李磊   

  1. 中山大学软件研究所,广州510275
  • 出版日期:2018-11-16 发布日期:2018-11-16

LIANG Wei-Sheng, LI Lei (Software Institute,Zhongshan University,Guangzhou 510275)   

  • Online:2018-11-16 Published:2018-11-16

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

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

Abstract: 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 introduc

Key words: User-interface relation model, And/Or graph, FSM

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!