第四章数据库原理.pptVIP

* * * * * 有穷状态机方法描述规格说明： 当前状态+事件+谓词?下个状态 优点： 规格说明易于书写、易于验证，而且可以比较容易地把它转变成设计或程序代码。有穷状态机方法比数据流图技术更精确，而且和它一样易于理解。 缺点： 在开发一个大系统时三元组(即状态、事件、谓词)的数量会迅速增长。此外，和数据流图方法一样，形式化的有穷状态机方法也没有处理定时需求。 4.2.3 评价 3.3 Petri网 4.3.1 概念 并发系统中需要解决的主要问题是定时问题：包括同步问题、竞争条件以及死锁问题。 定时问题常常是因不好的设计或有错误的实现引起的，归根到底又是由不好的规格说明造成的. Petri网技术可用于确定系统中隐含的定时问题。 Petri网技术在计算机领域应用较多，已经证明，用Petri网可以有效地描述并发活动。 Petri网包含4种元素： 一组位置P、一组转换T、输入函数I及输出函数O。 如图举例说明了Petri网的组成： 一组位置P为｛P1，P2，P3，P4｝：用圆圈代表； 一组转换T为｛t1，t2｝：图中用短直线表示转换； 两个用于转换的输入函数，用由位置指向转换的箭头表示，它们是：I(t1)=｛P2，P4｝ I(t2)=｛P2｝ 两个用于转换的输出函数，用由转换指向位置的箭头表示，它们是：O(t1)=｛P1｝ O(t2)=｛P3，P3｝ 4.3.1 概念 Petri网是一个四元组C=(P，T，I，O)，其中： P={P1,P2,…Pn}是一个有穷位置集，n≥0； T=(t1,…,tm)是一个有穷转换集，m≥0,且T和P不相交； I:T→P∞为输入函数，是由位置到转换无序单位组的映射； O:T→P∞为输出函数，是由转换到位置无序单位组的映射。 4.3.1 概念 Petri网的标记是在Petri网中权标(token)的分配。如图中有4个权标：一个在P1中，两个在P2中，P3中没有，还有一个在P4中。 上述标记可以用向量(1，2，0，1)表示。 由于P2和P4中有权标，因此t1启动(即被激发)。 通常，当每个输入位置所拥有的权标数大于等于从该位置到转换的线数时，就允许转换。当t1被激发时，P2和P4上各有一个权标被移出，而P1上则增加一个权标（2，1，0，0）。 Petri网中权标总数不是固定的，在这个例子中两个权标被移出，而P1上只能增加一个权标。 4.3.1 概念 如图4.6，P2上有权标，因此t2也可以被激发。当t2被激发时，P2上将移走一个权标，而P3上新增加两个权标（1，1，2，1）。 Petri网具有非确定性，如果数个转换都达到了激发条件，则其中任意一个都可以被激发。图4.6所示Petri网的标记为(1，2，0，1)，t1和t2都可以被激发。假设t1被激发了，则结果如图4.7所示，标记为(2，1，0，0)。 此时，只有t2可以被激发。如果t2也被激发了，则权标从P2中移出，两个新权标被放在P3上，结果如图4.8所示，标记为(2，0，2，0)。 4.3.1 概念 带有标记的Petri网成为一个五元组(P，T，I，O，M),其中标记M，是由一组位置P到一组非负整数的映射： M：P→｛0，1，2，…｝ 对Petri网的一个重要扩充是加入禁止线 禁止线是用一个小圆圈而不是用箭头标记的输入线，如图所示。 通常，当每个输入线上至少有一个权标，而禁止线上没有权标的时候，相应的转换才是允许的。图中P3上有一个权标而P2上没有权标，因此转换t1可以被激发。 4.3.1 概念 把Petri网应用于电梯问题。 当用Petri网表示电梯系统的规格说明时，每个楼层用一个位置Ff代表(1≤f≤m)，在Petri网中电梯是用一个权标代表的。在位置Ff上有权标，表示在楼层f上有电梯。 1. 电梯按钮 第一个约束条件描述了电梯按钮的行为。 C1：每部电梯有m个按钮，每层对应一个按钮。当按下一个按钮时该按钮指示灯亮，指示电梯移往相应的楼层。当电梯到达指定的楼层时，按钮将熄灭。 4.3.2 例子 为了用Petri网表达电梯按钮的规格说明，需要设置其它位置。电梯中楼层f的按钮，在Petri网中用位置EBf表示(1≤f≤m)。 在EBf上有一个权标，就表示电梯内楼层f的按钮被按下了。 4.3.2 例子 用Petri网可准确地电梯按钮的行为规律。 首先，假设按钮没有发亮，显然在位置EBf上没有权标，从而在存在禁止线的情况下，转换“EBf被按下”是允许发生的。 假设现在按下按钮，则转换被激发并在EBf上放置了一个权标，如图所示。以后不论再按下多少次按钮，禁止线与现有权标的组合都决定了转换“EBf被按下”不能再被激发了，因此，位置EBf上的权标数不会多于1。 4.3.2 例子 假设电梯由g层驶向f