论文部分内容阅读
随着图形用户界面的普及,交互已成为目前软件系统的一个重要特征.与传统的基于字符界面的软件系统相比,基于图形用户界面的软件系统,从某种程度上可看作是一个交互式系统.形式化的规格说明具有精确性、无二义性和一致性等优点,用形式化说明语言来描述交互式系统用户接口的规格说明有很强的实用价值.由于形式化的规格说明的可读很差,因此可以采用标准的对象建模语言UML来帮助对形式化规格说明的理解.