面向数据的分析方法

1、课程名称：软件工程课程名称：软件工程 第第11讲讲班班 级：级：日日 期：期：教教 室：室：教学题目：第教学题目：第6章章 面向数据的分析方法。面向数据的分析方法。教学目的：理解教学目的：理解Warnier图及图及DSSD、Jackson系统开系统开 发方法。发方法。教学重点：教学重点： Warnier图及图及DSSD、Jackson系统开发方系统开发方 法。法。教学难点：教学难点： Jackson系统开发方法。系统开发方法。教教 具：多媒体教室、电子教案具：多媒体教室、电子教案作作 业：业： 除了面向数据流的分析方法，仍有其他一些方法可除了面向数据流的分析方法，仍有其他一些方法可供分析人员选

2、择，这些方法包括面向数据结构的系供分析人员选择，这些方法包括面向数据结构的系统开发方法（统开发方法（DSSD），），Jackson系统开发方法系统开发方法（JSD）以及形式化软件规格说明技术。前两种统）以及形式化软件规格说明技术。前两种统称为面向数据的需求分析方法。它们的共同特点是：称为面向数据的需求分析方法。它们的共同特点是： 1以信息对象及其操作为核心进行需求分析，这以信息对象及其操作为核心进行需求分析，这 一点与面向对象分析有相似之处。一点与面向对象分析有相似之处。 2认为复合信息对象具有层次结构，并且可按顺认为复合信息对象具有层次结构，并且可按顺 序、选择、重复三种结构分解为成员信息对

3、象。序、选择、重复三种结构分解为成员信息对象。 3提供将层次信息结构映射为程序结构的机制，提供将层次信息结构映射为程序结构的机制， 从而为软件设计奠定较好的基础。从而为软件设计奠定较好的基础。 DSSD也叫也叫Warnier-Orr方法。方法。 1974年，法国人年，法国人J.D.Warnier提出了一种提出了一种LCP（Logical Construction of Programs，逻辑构造程，逻辑构造程序）。他利用顺序、选择、重复三种结构表示信息序）。他利用顺序、选择、重复三种结构表示信息的层次分解，并指出可以从信息层次结构推导出程的层次分解，并指出可以从信息层次结构推导出程序结构。序结

4、构。 1981年年Ken Orr对对Warnier的工作进行了扩充，使其的工作进行了扩充，使其不仅包含了不仅包含了Warnier的信息层次结构，还引进了数据的信息层次结构，还引进了数据流和处理功能，从而发展成为一种需求分析方法。流和处理功能，从而发展成为一种需求分析方法。 本节首先介绍本节首先介绍Warnier图，然后以此为基础阐述图，然后以此为基础阐述DSSD方法，其主要内容包括：如何创建实体图、信方法，其主要内容包括：如何创建实体图、信息过程图及息过程图及Warnier Orr原型图。原型图。 Warnier图又称为图又称为Warnier-Orr图，可以表示数据结图，可以表示数据结构和程序

5、结构。考虑一个典型的报纸自动组版系统。构和程序结构。考虑一个典型的报纸自动组版系统。报纸作为其中重要的信息对象，具有以下内容：报纸作为其中重要的信息对象，具有以下内容：1首版首版 1）标题新闻）标题新闻 2）国内新闻）国内新闻 3）本地新闻）本地新闻2商业金融版商业金融版 1）股市行情）股市行情 2）商业新闻）商业新闻 3）广告）广告3文化体育版文化体育版 1）文化、体育新闻）文化、体育新闻 2）散文）散文 3）新书评论）新书评论该信息结构用该信息结构用Warnier图如图图如图6 1 1所示。所示。图图6 1 1 Warnier 图示例图示例标题新闻标题新闻国内新闻国内新闻本地新闻本地新闻股

6、市行情股市行情(0,1)商业新闻商业新闻广告广告(1,5)文化、体育新闻文化、体育新闻散文散文 新书评论新书评论文化体育版文化体育版首首 版版商业金融版商业金融版报报 纸纸花括号内的信息条目构成顺序关系；花括号内的信息条目构成顺序关系；花括号从左至右排列表示树型层次结构；花括号从左至右排列表示树型层次结构；符号符号“ ”表示不可兼具的选择关系；表示不可兼具的选择关系；“”表示表示“非非”。圆括号内的数字表示重复次数：圆括号内的数字表示重复次数： （1,n）表示重复结构，）表示重复结构， （1）或不标次数表示顺序结构，）或不标次数表示顺序结构， （0,1）表示选择结构。）表示选择结构。 基于基于

7、DSSD需求分析方法的主要步骤是：需求分析方法的主要步骤是： 1）标识与应用问题有关的实体。）标识与应用问题有关的实体。 2）创建一种类似于数据流图的信息）创建一种类似于数据流图的信息 过程图。过程图。 3）创建）创建Warnier Orr原型图。原型图。 在详细介绍在详细介绍DSSD的具体步骤之前，首先用数据流的具体步骤之前，首先用数据流图描述一个基于计算机的软件专卖店管理系统，见图描述一个基于计算机的软件专卖店管理系统，见图图6 1 2。（该数据流图并非。（该数据流图并非DSSD的组成部分，的组成部分，仅用于说明后面将要用到的应用问题实例。）仅用于说明后面将要用到的应用问题实例。）图图6

8、1 2 软件专卖店管理系统的数据流软件专卖店管理系统的数据流图图结算系统结算系统管理系统管理系统客户客户订单处理员接订单处理员接收并登录订单收并登录订单邮寄员提取、邮寄员提取、包装软件产品包装软件产品订单订单订单编号订单编号订单文件订单文件订单编号订单编号客户姓名、地址客户姓名、地址预定日期预定日期支票编号支票编号软件名称、编号软件名称、编号作者作者数量数量单价单价总价总价软件编号软件编号数量数量预定日期预定日期客户姓名、地址客户姓名、地址邮局邮局邮寄品邮寄品订单编号订单编号 在在DSSD中，与应用问题有关的实体及它们之间的中，与应用问题有关的实体及它们之间的信息流用实体图表示。信息流用实体图

9、表示。 具体地，分析人员可以通过对下述问题的回答来具体地，分析人员可以通过对下述问题的回答来生成实体图：生成实体图： 1）软件系统必须处理哪些信息项？）软件系统必须处理哪些信息项？ 2）信息项的生产者和消费者分别是哪些实体？）信息项的生产者和消费者分别是哪些实体？ 在上述应用问题中，有关的实体是：客户、订在上述应用问题中，有关的实体是：客户、订单处理员、邮寄员、银行、结算员、管理员和邮局，单处理员、邮寄员、银行、结算员、管理员和邮局，如图如图6 1 3（a）所示。）所示。 订单处理员的实体图如图订单处理员的实体图如图6 1 3（b）所示。）所示。注：实体图中的结点表示实体、有向边表示实体之间的

10、信息流。注：实体图中的结点表示实体、有向边表示实体之间的信息流。 （a）信息的生产者和消费者）信息的生产者和消费者 （b）实体图示例）实体图示例图图6 1 3软件名称、软件名称、编号编号地地 址址订单编号订单编号支票编号支票编号客户姓名客户姓名客户客户邮寄员邮寄员订单订单处理员处理员银行银行结算员结算员管理员管理员邮局邮局客户客户邮寄员邮寄员结算员结算员订订单单处处理理员员订单订单编号编号订单编号订单编号l当所有实体的实体图都构造完成后，将它们综合起当所有实体的实体图都构造完成后，将它们综合起来便形成整个目标软件系统的实体图。来便形成整个目标软件系统的实体图。客户客户邮寄邮寄员员软件产品库软件

11、产品库结算员结算员管理员管理员银行银行订单信息订单信息= 客户姓名客户姓名+ 地址地址+ 软件名称与编码软件名称与编码+ 支票编号支票编号邮寄品邮寄品支支付付催催款款软件软件 产品产品月报表月报表收据收据存款存款订单编号订单编号订单编号订单编号订单信息订单信息订单编号订单编号订单订单处理员处理员 DSSD中的信息中的信息 过程图与数据流图的作过程图与数据流图的作用类似，都是用来表示信息流及其处理用类似，都是用来表示信息流及其处理功能的。但是，信息功能的。但是，信息 过程图从每个实过程图从每个实体的输出信息流开始，逆向寻找用于生体的输出信息流开始，逆向寻找用于生成该输出信息的输入信息流及相应的处

12、成该输出信息的输入信息流及相应的处理功能。理功能。图图6 1 5 信息信息 过程图示例过程图示例邮寄品是由订单编号和软件产品经过邮寄品包邮寄品是由订单编号和软件产品经过邮寄品包装过程生成的，订单编号又是由客户订购信息装过程生成的，订单编号又是由客户订购信息和订单编号过程生成的。和订单编号过程生成的。邮寄品邮寄品订单编号订单编号软件产品软件产品+邮寄品包装邮寄品包装订购信息订购信息+订单编号过程订单编号过程 DSSD方法要求分析人员在最后以表格形式给出主要的方法要求分析人员在最后以表格形式给出主要的输出信息的组成元素（见图输出信息的组成元素（见图6 1 6（a），然后将），然后将其精确地表示为其

13、精确地表示为Warnier Orr图（见图图（见图6 1 6（b） 姓名姓名 客户信息客户信息 地址地址 电话电话 软件编号软件编号(1n)邮寄品邮寄品 单价单价(1n) 总价总价 姓名姓名 客户信息客户信息 地址地址 电话电话邮寄品邮寄品客户姓名客户姓名地地 址址电电 话话总总 价价发件人姓名发件人姓名 地址地址 电话电话定单编号定单编号软件编号软件编号单单 价价数数 量量总总 价价（a）输出信息的表格表示）输出信息的表格表示 （b）Warnier Orr图图 图图6 1 6 软件产品软件产品 信息信息 1975年，英国人年，英国人M.A.Jackson提出了软件工程领域中提出了软件工程领域

14、中著名的著名的Jackson方法，当时它只用于软件设计。方法，当时它只用于软件设计。1983年，年，Jackson又对它进行了多方面的扩充和完善，最又对它进行了多方面的扩充和完善，最终发展成为一种需求分析方法。终发展成为一种需求分析方法。 其核心思想是：根据作用于数据的行为序列的结构其核心思想是：根据作用于数据的行为序列的结构（顺序、选择、重复），建立目标软件系统的模型，（顺序、选择、重复），建立目标软件系统的模型，然后在软件设计阶段将模型转换为相应的程序结构。然后在软件设计阶段将模型转换为相应的程序结构。 Jackson方法在需求分析阶段的主要步骤是：方法在需求分析阶段的主要步骤是：（1）标

15、识实体与行为。）标识实体与行为。（2）生成实体结构图。）生成实体结构图。（3）创建软件系统模型。）创建软件系统模型。 类似于面向对象分析中对象及其行为的识别，类似于面向对象分析中对象及其行为的识别，Jackson方法针对初步需求分析形成的用户方法针对初步需求分析形成的用户需求描述进行语法分析：需求描述进行语法分析： 名词及名词短语名词及名词短语潜在的实体，潜在的实体， 相关的动词相关的动词构成实体的潜在行为。构成实体的潜在行为。 分析人员根据应用问题的边界及自己的理解，分析人员根据应用问题的边界及自己的理解，决定对潜在实体和行为的取舍。决定对潜在实体和行为的取舍。 【例【例6.1】北华大学决定

16、将分处两地的校园用直达】北华大学决定将分处两地的校园用直达交通车连接起来。在每个校园设一个站，站内配交通车连接起来。在每个校园设一个站，站内配置一个按钮。学生通过按钮请求交通车搭载。交置一个按钮。学生通过按钮请求交通车搭载。交通车应尽快满足学生的请求。空闲时，交通车停通车应尽快满足学生的请求。空闲时，交通车停在任意站等候。在任意站等候。 分析人员可从分析人员可从“大学大学”、“校园校园”、“交通交通车车”、“车站车站”、“学生学生”、“按钮按钮”等名词中等名词中选取与应用问题相关的实体：选取与应用问题相关的实体：“交通车交通车”、“车车站站”、“按钮按钮”。与它们有关的行为是：。与它们有关的行

17、为是：“到到站站”、“离站离站”、“按键按键”。“等候等候”和和“运行运行”可以作为可以作为“交通车交通车”的状态。的状态。 在在Jackson方法中，实体结构是指实体在时间坐标系中方法中，实体结构是指实体在时间坐标系中的行为序列。这种序列以顺序、选择和重复三种结构的行为序列。这种序列以顺序、选择和重复三种结构进行复合。进行复合。Jackson给出的实体结构图的表示机制如图给出的实体结构图的表示机制如图6 2 1所示。其中的子结点既可以是行为，也可以所示。其中的子结点既可以是行为，也可以是子实体。在后一种情况下，子实体应该继续分解，是子实体。在后一种情况下，子实体应该继续分解，不能作为实体结构

18、图的叶结点。不能作为实体结构图的叶结点。顺序结构顺序结构 *重复结构重复结构 选择结构选择结构图图6 2 1 实体结构图的图形记实体结构图的图形记号号 l例例6.1的实体结构图如图的实体结构图如图6 2 2所示。在图中，所示。在图中，i 只能取值只能取值1或或2。并且，在。并且，在“站（站（i）”的重复序列的重复序列中，中，i首先取首先取2，然后交替变化。交通车首先停在站，然后交替变化。交通车首先停在站1，然后在两站之间反复往返运行，最后停靠在站，然后在两站之间反复往返运行，最后停靠在站1。为了刻画交通车在两站之间的往返穿梭，引入了虚为了刻画交通车在两站之间的往返穿梭，引入了虚拟的概念实体拟的

19、概念实体“Shuttle body”。ShuttleShuttle* bodyStation(i)Arrive(i)Leave(i)Arrive(1)ButtonPush*Leave(1) 创建目标软件系统模型的第一步，创建目标软件系统模型的第一步，Jackson方法要方法要求分析人员首先用图求分析人员首先用图6 2 3所示的图形记号建立所示的图形记号建立系统规格说明图（系统规格说明图（System Specification Diagram）。）。 “数据流数据流”（Data Stream）记号）记号表示现实世表示现实世界中的过程或装置不断地向目标软件系统中的相应界中的过程或装置不断地向目标

20、软件系统中的相应过程发送数据，后者以先进先出方式消费数据。两过程发送数据，后者以先进先出方式消费数据。两者之间的缓冲区容量是无限的。者之间的缓冲区容量是无限的。 “状态向量状态向量”（State Vector）记号）记号表示在两者表示在两者之间存在状态向量，发送方设置状态向量，接收方之间存在状态向量，发送方设置状态向量，接收方读取状态向量。读取状态向量。约定：约定：0 表示现实世界中的过程或装置，表示现实世界中的过程或装置， 1 表示目标软件系统中的过程表示目标软件系统中的过程图图6 2 3 系统规格说明图的图形记号系统规格说明图的图形记号过程过程1DS过程过程0过程过程1SV数据流（数据流（

21、Data Stream）过程过程0状态向量（状态向量（State Vector） 在前述应用问题中，站内按钮和目标软在前述应用问题中，站内按钮和目标软件中的按钮处理过程之间以件中的按钮处理过程之间以“数据流数据流”方式连接，交通车和交通车控制过程之方式连接，交通车和交通车控制过程之间则应以间则应以“状态向量状态向量”方式连接。见图方式连接。见图6 2 4。Button 1DSShuttle 0Shuttle 1SV数据流联系数据流联系Button 0状态向量联系状态向量联系 创建模型的第二步是利用创建模型的第二步是利用Jackson给出的给出的“结构正文结构正文”（Structure Text

22、）将实体结构图和系统规格说明图综）将实体结构图和系统规格说明图综合起来，并针对目标软件系统中的每一过程用正文方合起来，并针对目标软件系统中的每一过程用正文方式给出更为精确、更为详尽的描述。式给出更为精确、更为详尽的描述。BUUTTON_1 Read ButtonDown 信号信号 PUSH_BODY itr while ButtonDown /* 循环结构循环结构 */ PUSH /* 按键处理按键处理 */ Read ButtonDown 信号信号 PUSH_BODY endBOTTON_1 endSHUTTLE_1 seq /* 顺序结构顺序结构 */ Read 状态向量状态向量 WAIT

23、_BODY1 itr while Wait(1) /* 如果状态向量如果状态向量 中等待标志置位，则循环等待中等待标志置位，则循环等待 */ Read 状态向量状态向量 WAIT_BODY1 end TRANSIT_BODY1 itr while Transit(1) /* 如果状态向如果状态向 量中运行标志置位，则一直运行量中运行标志置位，则一直运行 */ Read 状态向量状态向量 TRANSIT_BODY1 endLeave(1) /* 控制交通车离开站控制交通车离开站1 */SHUTTLE_BODY itr /* 往返重复运行往返重复运行 */ STATION seq Arrive(i

24、) /* 控制交通车减速，准备停靠站控制交通车减速，准备停靠站i */ WAIT_BODY itr while Wait(i) /* 如果状态向量如果状态向量 中在站中在站i的等待标志置位，则循环等待的等待标志置位，则循环等待 */ Read 状态向量状态向量 WAIT_BODY end Leave(i) TRANSIT_BODY itr while Wait(i) Read 状态向量状态向量 TRANSIT_BODY end STATION end SHUTTLE_BODY end Arrive(1) SHUTTLE_1 end图图6 2 5 对应于结构正文的结构图对应于结构正文的结构图Sh

25、uttle 1Station(i)*Arrive(1)Leave(1)Shuttle body1TRANSit body1wait body1Transit(i)*Transit(1)*Arrive(i)Leave(i)Wait(1)*TRANSit bodywait bodyWait(i)* 前面对数据流图等语言机制并未给出数学意义上严前面对数据流图等语言机制并未给出数学意义上严格的语法和语义说明。因此，这些需求模型都或多格的语法和语义说明。因此，这些需求模型都或多或少地带有不精确性、不完整性，甚至不一致性。或少地带有不精确性、不完整性，甚至不一致性。需求分析完成后，软件开发的正确实施仍有赖

26、于设需求分析完成后，软件开发的正确实施仍有赖于设计人员对分析人员主观意图的揣摩，而不仅仅取决计人员对分析人员主观意图的揣摩，而不仅仅取决于他们对需求文档的客观理解。于他们对需求文档的客观理解。 许多软件开发实践都希望借助于形式化方法严格地许多软件开发实践都希望借助于形式化方法严格地定义用户需求，并通过数学推演而不是代价昂贵的定义用户需求，并通过数学推演而不是代价昂贵的失败教训来确保需求定义的一致性和完整性。本节失败教训来确保需求定义的一致性和完整性。本节简要介绍形式方法的引入、主要思想、分类、优缺简要介绍形式方法的引入、主要思想、分类、优缺点以及软件形式开发方法。点以及软件形式开发方法。 在传

27、统的软件开发过程中，人们普遍采用许多非形式在传统的软件开发过程中，人们普遍采用许多非形式化的图形工具和文字符号工具，例如：数据流图化的图形工具和文字符号工具，例如：数据流图（DFD）、模块结构图（）、模块结构图（SC）、）、IPO图、结构化语言、图、结构化语言、类程序设计语言、判定表、判定树等，并按照一定的设类程序设计语言、判定表、判定树等，并按照一定的设计原则和有序步骤，或自上而下或循环往复逐步开发出计原则和有序步骤，或自上而下或循环往复逐步开发出目标软件，同时手工或辅助编写有关设计文档。目标软件，同时手工或辅助编写有关设计文档。 软件工程的实践表明，用户需求规格说明的质量对于软件工程的实践

28、表明，用户需求规格说明的质量对于后续的软件开发过程是非常重要的。系统分析人员依据后续的软件开发过程是非常重要的。系统分析人员依据用户需求，为目标软件系统创建了需求规格说明用户需求，为目标软件系统创建了需求规格说明（Specification）。设计和编程人员根据这个需求规格）。设计和编程人员根据这个需求规格说明进行系统结构和模块设计及编码。软件测试及验收说明进行系统结构和模块设计及编码。软件测试及验收人员则根据这个需求规格说明验证目标系统。人员则根据这个需求规格说明验证目标系统。 若采用自然语言描述的规格说明具有模糊性和若采用自然语言描述的规格说明具有模糊性和二义性，给下一步的开发工作造成理解

29、上的困二义性，给下一步的开发工作造成理解上的困难。同时自然语言又是非形式化的，无法得到难。同时自然语言又是非形式化的，无法得到计算机的支持，使软件生成自动化几乎不可能。计算机的支持，使软件生成自动化几乎不可能。 程序设计语言着重描述的是程序设计语言着重描述的是“如何做如何做”（How to do）而不是）而不是“做什么做什么”（What to do）的问）的问题。因此程序设计语言并不太适合描述抽象程题。因此程序设计语言并不太适合描述抽象程度较高的需求规格说明。度较高的需求规格说明。 近年来，人们正在发展一种更抽象的程序设计语言近年来，人们正在发展一种更抽象的程序设计语言更高级语言（更高级语言（

30、Very High Lan-guage），也称为第四），也称为第四代语言代语言4GL。这种语言更多地采用了过程抽象和数据。这种语言更多地采用了过程抽象和数据抽象技术。但这种语言的出发点仍在系统的设计方面，抽象技术。但这种语言的出发点仍在系统的设计方面，作为需求规格的描述语言仍存在不足。作为需求规格的描述语言仍存在不足。 20世纪世纪80年代中期以来，一种专用于需求规格说明的年代中期以来，一种专用于需求规格说明的形式规格说明语言应运而生。这种形式规格说明语言形式规格说明语言应运而生。这种形式规格说明语言克服了自然语言和程序设计语言的不足，应用形式化、克服了自然语言和程序设计语言的不足，应用形式化

31、、规范化的数学理论，严格定义软件系统规范化的数学理论，严格定义软件系统“做什么做什么”的的形式语义模型，并支持自动程序转换系统将需求规格形式语义模型，并支持自动程序转换系统将需求规格说明的语义模型转换为可执行代码。由此产生的软件说明的语义模型转换为可执行代码。由此产生的软件形式开发方法正日益受到各国软件界的重视。形式开发方法正日益受到各国软件界的重视。 形式化需求分析方法的主要思想，是利用形式形式化需求分析方法的主要思想，是利用形式化规格说明语言严格地定义用户需求，并采用化规格说明语言严格地定义用户需求，并采用数学推演的方法证明需求定义的性质，例如一数学推演的方法证明需求定义的性质，例如一致性

32、、实时系统的活性（致性、实时系统的活性（liveness）和公平性）和公平性（fairness）等。）等。 从某种意义上讲，形式化方法是克服需求分析从某种意义上讲，形式化方法是克服需求分析阶段中主要困难（不精确性、不一致性和不完阶段中主要困难（不精确性、不一致性和不完全性）的有效途径。全性）的有效途径。 形式化规格说明语言包括：严格的语法定义、形式化规格说明语言包括：严格的语法定义、严格的语义定义以及一系列的数学推演规则。严格的语义定义以及一系列的数学推演规则。 规格说明语言的语法一般基于集合论、数理逻规格说明语言的语法一般基于集合论、数理逻辑或代数学。辑或代数学。 规格说明语言的语义是其所有

33、语法符号的意义规格说明语言的语义是其所有语法符号的意义的数学描述。经典的语义定义方法包括指称语的数学描述。经典的语义定义方法包括指称语义、代数语义和操作语义方法。义、代数语义和操作语义方法。 形式化规格说明语言的推演规则一般与其数学形式化规格说明语言的推演规则一般与其数学基础和语义定义方法密切相关。例如，以集合基础和语义定义方法密切相关。例如，以集合论和谓词逻辑为基础的论和谓词逻辑为基础的Z语言就包含了原数学语言就包含了原数学系统中有关的规则。规则必须在规格说明语言系统中有关的规则。规则必须在规格说明语言的语义系统中可证。因此，可以认为规则是派的语义系统中可证。因此，可以认为规则是派生的语义定

34、义，它们可以直接应用于软件规格生的语义定义，它们可以直接应用于软件规格说明的性质证明并简化推演过程。说明的性质证明并简化推演过程。 形式化方法是应用严格的形式符号和数学方法定义或形式化方法是应用严格的形式符号和数学方法定义或描述目标软件系统需求规格说明的一种方法。根据对描述目标软件系统需求规格说明的一种方法。根据对需求规格说明的定义方式，形式方法可分为以下两大需求规格说明的定义方式，形式方法可分为以下两大类：类：1面向模型的形式方法。面向模型的形式方法又称为面向模型的形式方法。面向模型的形式方法又称为基于状态描述的形式方法。其基本思想是利用域、元基于状态描述的形式方法。其基本思想是利用域、元组

35、、集合、序列、映射、包等这些已知特性的数学抽组、集合、序列、映射、包等这些已知特性的数学抽象概念来为目标软件系统的状态特征和行为特征构造象概念来为目标软件系统的状态特征和行为特征构造形式语义模型。语义模型就作为目标软件系统需求规形式语义模型。语义模型就作为目标软件系统需求规格的形式说明。面向模型的形式方法的主要代表有：格的形式说明。面向模型的形式方法的主要代表有：VDM方法（维也纳开发方法）、软件工程方法（维也纳开发方法）、软件工程Z方法等。方法等。2代数构造形式方法。代数形式方法为目标软件系统代数构造形式方法。代数形式方法为目标软件系统的需求规格说明提供一些特殊的构造机制，并以代数的需求规格说明提供一些特殊的构造机制，并以代数构造方式描述目标系统的结构、功能。构造方式描述目标系统的结构、功能。 将形式化方法应用于软件开发过程称为软件形式开发将形式化方法应用于软件开发过程称为软件形式开发方法。方法。 其主要内容是：其主要内容是： 首先