Abstract: There are language-based tools, interactive graphical specification tools and model-based generation tools to support user interface development. Although these tools automate the design and coding of user interface, they do not design the interface based on the requirement. This article discusses how to acquire user interface logic from requirement model, so the interface is designed according to user requirement and is validated by requirement. Based on these, the article gives the arithmetics of acquiring and validating user interface logical model.

Key words: Requirement model, User interface logical model, Forms

摘要： 为了支持界面设计的自动化，国内外的研究提出了基于语言的设计工具、交互式图形描述工具和基于模型的生成工具。但是这些工具都只是从界面本身考虑设计和编码的自动化，没有从用户需求出发考虑界面的设计。该文从需求模型出发设计用户界面逻辑，使得界面是依据用户需求设计的，并且是可以进行需求验证的。该文给出了从需求模型得到界面逻辑模型的算法，以及从界面逻辑模型反向推导需求模型元素的算法。

关键词: 需求模型, 用户界面逻辑模型, 表单