| 用UML和Object-Z描述交互式系统的接口规格说明 |
| |
| 引用本文： | 邓勇,丁峰,沈钧毅. 用UML和Object-Z描述交互式系统的接口规格说明[J]. 小型微型计算机系统, 2002, 23(10): 1169-1172 |
| |
| 作者姓名： | 邓勇 丁峰 沈钧毅 |
| |
| 作者单位： | 西安交通大学,软件研究所,陕西,西安,710049 |
| |
| 基金项目： | 国家 8 6 3/CIMS:XAC-CIMS项目资助 |
| |
| 摘 要： | 随着图形用户界面的普及，交互已成为目前软件系统的一个重要特征。与传统的基于字符界面的软件系统相比，基于图形用户界面的软件系统，从某种程序上可看作是一个交互式系统。形式化的规格说明具有精确性，无二义性和一致性等优点，用形式化说明语言来描述交互式系统用户接口的规格说明有很强的实用价值。由于形式化的规格说明的可读很差，因此可以采用标准的对象建模UML来帮助对形式化规格说明的理解。
|
| 关 键 词： | UML Object－Z 描述交互式系统 接口规格说明 软件工程 用户接口 对象建模语言 形式化说明语言 |
| 文章编号： | 1000-1220(2002)10-1169-04 |
Using UML and Object-Z to Specify the Interface Specification of Interactive System |
| |
| DENG Yong,DING Feng,SHEN Jun-yi. Using UML and Object-Z to Specify the Interface Specification of Interactive System[J]. Mini-micro Systems, 2002, 23(10): 1169-1172 |
| |
| Authors: | DENG Yong DING Feng SHEN Jun-yi |
| |
| Abstract: | As the graphic user interface becomes more and more popular, interaction has been one of the most important features in software systems. Contrasting the software system with character interface, a system with graphic user interface can be regarded as an interactive system. Formal specification has advantages of accuracy, non-ambiguity, and consistency, so it is a powerful method to use formal specification language describing the specification of user interface in interactive system. However, its readability is limited, UML can be introduce to enhance the understanding of the specification. |
| |
| Keywords: | interactive system UML Object-Z user interface |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
