软件工程-第四章.pptVIP

软件工程导论;;4.1 概 述;4.1 概 述;4.1 概 述;4.1 概 述;4.1 概 述;4.2 有穷状态机 (FSM/FSA);4.2 有穷状态机(FSM/FSA);State Transition Table;FSM/FSA的数学模型;FSM/FSA的数学模型;;4.2 有穷状态机(FSM/FSA);4.2 有穷状态机(FSM/FSA);;EBP(e,f)：电梯按钮(e,f)被按下 EAF(e,f)：电梯e到达f层 为了定义与这些事件和状态相联系的状态转换规则，需要一个谓词V，(e,f)，它的含义如下： V(e,f)：电梯e停在f层 如果电梯按钮(e,f)处于关闭状态〔当前状态〕，而且电梯按钮(e,f)被按下〔事件〕，而且电梯e不在f层〔谓词〕，则该电梯按钮打开发光〔下个状态〕。状态转换规则的形式化描述如下： EBOFF(e,f)+EBP(e,f)+not V(e,f) = EBON(e,f) 反之，如果电梯到达f层，而且电梯按钮是打开的，于是它就会熄灭。这条转换规则可以形式化地表示为： EBON(e,f)+EAF(e,f) = EBOFF(e,f);4.2 有穷状态机(FSM/FSA);4.2 有穷状态机(FSM/FSA);;为了定义与这些事件和状态相联系的状态转换规则，同样也需要一个谓词，它是S(d,e，f)，它的定义如下。 S(d,e,f)：电梯e停在f层并且移动方向由d确定为向上(d=U)或向下(d=D)或待定(d=N)。 这个谓词实际上是一个状态，形式化方法允许把事件和状态作为谓词对待。 使用谓词S(d,e,f)，形式化转换规则为： FBOFF(d,f)+FBP(d,f)+not S(d,1··n,f) = FBON(d,f) FBON(d,f)+EAF(1··n,f)+S(d,1··n,f)=FBOFF(d,f) 其中，d=UorD。 ;4.2 有穷状态机(FSM/FSA);也就是说，如果在f层请求电梯向d方向运动的楼层按钮处于关闭状态，现在该按钮被按下，并且当时没有正停在f层准备向d方向移动的电梯，则该楼层按钮打开。反之，如果楼层按钮已经打开，且至少有一部电梯到达f层，该部电梯将朝d方向运动，则按钮将关闭。 在讨论电梯按钮状态转换规则时定义的谓词V(e,f)，可以用谓词S(d,e,f)重新定义如下： V (e, f)=S(U, e, f) or S(D, e, f) or S(N ,e, f) 定义电梯按钮和楼层按钮的状态都很简单、直观的事情。现在转向讨论电梯的状态及其转换规则，就会出现一些复杂的情况。一个电梯状态实质上包含许多子状态(例如，电梯减速、停止、开门、在一段时间后自动关门)。;4.2 有穷状态机(FSM/FSA);;4.2 有穷状态机(FSM/FSA);关门之时的规则;4.2 有穷状态机(FSM/FSA);4.3 Petri网;History of Petri Nets;4.3 Petri网;4.3 Petri网;Transition (Firing) Rule;Firing example;Firing example;4.3 Petri网;4.3 Petri网;4.3 Petri网;现在把Petri网应用于上一节讨论过的电梯问题。当用Petri网表示电梯系统的规格说明时，每个楼层用一个位置Ff代表(1≤f≤m)，在Petri网中电梯是用一个权标代表的。在位置Ff上有权标，表示在楼层f上有电梯。 1. 电梯按钮 电梯问题的第一个约束条件描述了电梯按钮的行为，现在复述一下这个约束条件。;第一条约束C1：每部电梯有m个按钮，每层对应一个按钮。当按下一个按钮时该按钮指示灯亮，指示电梯移往相应的楼层。当电梯到达指定的楼层时，按钮将熄灭。 为了用Petri网表达电梯按钮的规格说明，在Petri网中还必须设置其他的位置。电梯中楼层f的按钮，在Petri网中用位置EBf表示(1≤f≤m)。在EBf上有一个权标，就表示电梯内楼层f的按钮被按下了。;电梯按钮只有在第一次被按下时才会由暗变亮，以后再按它则只会被忽略。图4.10所示的Petri网准确地描述了电梯按钮的行为规律。首先，假设按钮没有发亮，显然在位置EBf上没有权标，从而在存在禁止线的情况下，转换“EBf被按下”是允许发生的。假设现在按下按钮，则转换被激发并在EBf上放置了一个权标，如图4.10所示。以后不论再按下多少次按钮，禁止线与现有权标的组合都决定了转换“EBf被按下”不能再被激发了，因此，位置EBf上的权标数不会