软件工程 第四章讲解.pptVIP

31 Petri 网是由 Carl Adam Petri 发明的。 用 Petri 网可以有效地描述并发活动。 Petri 网包含 4 种元素： 一组位置 P 、 一组转换 T 、输入函数 I 以及输出函数 O 。 4.3 Petri 网 32 图 4.5 Petri 网的组成 4.3 Petri 网 I(t 1 )= ｛ P 2 ， P 4 ｝ I(t 2 )= ｛ P 2 ｝ O(t 1 )= ｛ P 1 ｝ O(t 2 )= ｛ P 3 ， P 3 ｝ 33 更形式化的 Petri 网结构，是一个四元组 C=(P,T,I,O) 。其中， P= ｛ P 1 ， … ， P n ｝是一个有穷位置集， n≥0 。 T= ｛ t 1 ， … ， t m ｝是一个有穷转换集， m≥0 ，且 T 和 P 不相交。 I ： T→P∞ 为输入函数，是由转换到位置无序单 位组 (bags) 的映射。 O ： T→P∞ 为输出函数，是由转换到位置无序单 位组的映射。 4.3 Petri 网 34 图 4.6 带标记的 Petri 网 Petri 网的标记是 在 Petri 网中权标 (token) 的分配。 当每个输入位置所拥 有的权标数大于等于 从该位置到转换的线 数时，就允许转换。 4.3 Petri 网 35 图 4.7 图 4.6 的 Petri 网在转换 t1 被激发后的情况 4.3 Petri 网 36 图 4.8 图 4.7 的 Petri 网在转换 t2 被激发后的情况 4.3 Petri 网 37 4.3 Petri 网 图 4.9 含禁止线的 Petri 网 38 4.3 Petri 网 禁止线 是用一个小圆圈而不是用箭头 标记的输入线。 当每个输入线上至少有一个权标，而 禁止线上没有权标的时候，相应的转换才 是允许的。 39 例 子 现在把 Petri 网应用于上一节讨论过的 电梯问题。 当用 Petri 网表示电梯系统的规格说明 时，每个楼层用一个位置 F f 代表(1≤f≤m)， 在 Petri 网中电梯是用 一个权标 代表的。在 位置 F f 上有权标，表示在楼层 f 上有电梯。 40 1. 电梯按钮 第一条约束 C1 ：每部电梯有 m 个按钮， 每层对应一个按钮。当按下一个按钮时该 按钮指示灯亮，指示电梯移往相应的楼层。 当电梯到达指定的楼层时，按钮将熄灭。 电梯中楼层 f 的按钮，在 Petri 网中用 位置 EB f 表示(1≤f≤m)。在 EB f 上有一个权 标，就表示电梯内楼层 f 的按钮被按下了。 41 图 4.10 Petri 网表示的电梯按钮 42 ? 电梯按钮只有在第一次被按下时才会由暗变 亮，以后再按它则只会被忽略。图 4.10 所 示的 Petri 网准确地描述了电梯按钮的行为 规律。首先，假设按钮没有发亮，显然在位 置 EB f 上没有权标，从而在存在禁止线的情 况下，转换“ EB f 被按下”是允许发生的。 假设现在按下按钮，则转换被激发并在 EB f 上放置了一个权标，如图 4.10 所示。以后 不论再按下多少次按钮，禁止线与现有权标 的组合都决定了转换“ EB f 被按下”不能再 被激发了，因此，位置 EB f 上的权标数不会 多于 1 。 1 软 件 工 程 --- 第 4 章 形式化说明技术 2 4.1 概述 4.2 有穷状态机 4.3 Petri 网 4.4 Z 语言 4.5 小结 习题 第 4 章 形式化说明技术 3 按照形式化的程度，可以把软件工程 使用的方法划分成 非形式化 、 半形式化 和 形式化 3 类。 用自然语言描述需求规格说明，是典 型的非形式化方法。用数据流图或实体 - 联 系图建立模型，是典型的半形式化方法。 形式化方法，是描述系统性质的基于 数学的技术，也就是说，如果一种方法有 坚实的数学基础，那么它就是形式化的。 4 4.1 概述 4.1.1 非形式化方法的缺点 用自然语言书写的系统规格说明书，可 能存在矛盾、二义性、含糊性、不完整性及 抽象层次混乱等问题。 所谓 矛盾 是指一组相互冲突的陈述。 二义性