软件规格说明表示方式软件开发人员和用户之间以及软件开发人员内部之间的交流在相当程度上决定了软件规格说明的质量

表示方式就是这种交流的媒介

这是关于软件规格说明的争论较多的话题

目前认为, 软件规格说明表示方式要:①适用于不同的应用领域② 有良好的数学基础③ 允许表示软件规格说明的不同侧面以及把它们组合成一个完整的软件规格说明④能保留待定的问题, 表示方式不强迫做出不愿或不能做出的设计决定等

形式化软件规格说明和图形软件规格说明是当前的两个十分活跃的领域

1形式化软件规格说明形式化软件规格说明有精确定义的语法和语义, 可进行一致性、完整性检查, 有利于程序自动化生成, 倍受学术界推崇. 目前, 已研制出许多形式化规格说明语言

这些形式化软件规格说明语言按语义学方法可以分以下两类:( 1 ) 面向模型的语言

这类形式化软件规格说明语言可根据数学结构(如集合、序列、函数) 描述系统的行为模型

在串行系统中有VDM 语言、Z 语言, 在并行系统和分布式系统中有PetriNets 、CCS、CSP

(2 ) 面向特性的语言

这类形式化软件规格说明语言允许描述系统行为的最小约束, 又可分为两种: ① 公理类语言, 用一阶逻辑描述关于抽象数据类型操作的前后断言. 包括Larch、Anna

② 代数类语言, 基于多序代数, 用代数实体的等量关系描述系统的行为特征, 在串行系统中有Clear、Act One

在并行和分布式系统中, 面向特性的语言有Temporal Logic、LOTOS

上述这些形式化规格说明语言均侧重于功能描述

在非功能规格说明的形式化方面的研究很不充分

在充分肯定形式化软件规格说明的同时, 我们还应认识到: 非形式化的表示方式中也含有形式化的成分, 形式化的表示方式中又包含着非形式化的理解

只有形成了对软件系统深人的理解, 方能使用形式化描述方法

形式化软件规格说明不能完全代替非形式化软件规格说明

形式化软件规格说明与非形式化软件规格说明要互相补充清洁屋技术就同时采用非形式化和形式化两种软件规格说明表示方式

2图形软件规格说明正文软件规格说明包含了大量字符流信息, 以至于让人难以形成整体的结构框架

图形比正文有着更多的视觉效果, 如形状、大小、方向、距离、位置等, 在计算机语言中采用图形并非近年才有

六十年代出现的流程图便是早期的图形语言

用图形描述软件规格说明可以做得比正文更好

Jho n 5M和K ar l GB曾提出一种软件的图形设计风范

该方法在一种元模型的基础上用图形描述解决了软件开发中的分析、设计、编码、维护和文档管理等问题

许多软件规格说明方法都引人了一些图形和符号

图形规格说明要使用广泛接受的图形规范

图形软件规格说明不可能象使用正文语言那样随意表达语义

所以图形软件规格说明至少是半形式化的表示方式

实现图形软件规格说明的硬件障碍正逐渐消失, 商品化的图形工作站已拥有十分强大的功能, 这更激发了研究图形软件规格说明的兴趣

Petri网是一种系统的数学和图形描述和分析工具

与其它系统模型相比,Petri网的主要特点是: 可确切表示某种事件集合中的因果关系和独立性, 包括并发关系; 适合描述非顺序功能的系统; 易在不同抽象层次上用同样的描述语言表示系统; 易验证系统的性质及正确性

正由于这些特点, 目前Petri网已成为计算机科学中的一个重要研究课题和工具

基于Petri网的图形软件规格说明可望能有所作为

关于图形软件规格说明其它方面的研究工作是: 图形肖像和图形词汇的定义, 图形语法和语义, 人机交互模式, 专用图形软件规格说明语言和环境等

以上内容由大学时代综合整理自互联网，实际情况请以官方资料为准。