摘要
随着图形用户界面的普及 ,交互已成为目前软件系统的一个重要特征 .与传统的基于字符界面的软件系统相比 ,基于图形用户界面的软件系统 ,从某种程度上可看作是一个交互式系统 .形式化的规格说明具有精确性、无二义性和一致性等优点 ,用形式化说明语言来描述交互式系统用户接口的规格说明有很强的实用价值 .由于形式化的规格说明的可读很差 ,因此可以采用标准的对象建模语言 U ML
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.
出处
《小型微型计算机系统》
CSCD
北大核心
2002年第10期1169-1172,共4页
Journal of Chinese Computer Systems
基金
国家 8 6 3/CIMS:XAC-CIMS项目资助
