1、 一、一、需求陈述需求陈述 我们将要讨论的是电梯的控制问题，下面给出对我们将要讨论的是电梯的控制问题，下面给出对这个问题的描述。这个问题的描述。在一幢有在一幢有m m层楼的大厦中需要一套控制层楼的大厦中需要一套控制n n部电部电梯的产品，要求这梯的产品，要求这n n部电梯根据下列约束条件在楼层间部电梯根据下列约束条件在楼层间移动。移动。C1C1：每部电梯有每部电梯有m m个按钮，每个按钮代表一个楼层。当按个按钮，每个按钮代表一个楼层。当按下一个按钮时该按钮指示灯亮，同时电梯驶向相应的下一个按钮时该按钮指示灯亮，同时电梯驶向相应的楼层，当到达由按钮指定的楼层时指示灯熄灭。楼层，当到达由按钮指定的
2、楼层时指示灯熄灭。C2C2：除了大厦的最低层和最高层之外，每层楼都有两个除了大厦的最低层和最高层之外，每层楼都有两个按钮分别指示电梯上行和下行。当这两个按钮之一被按钮分别指示电梯上行和下行。当这两个按钮之一被按下时相应的指示灯亮，当电梯到达此楼层时灯熄灭，按下时相应的指示灯亮，当电梯到达此楼层时灯熄灭，电梯向要求的方向移动。电梯向要求的方向移动。C3C3：当电梯无升降动作时，关门并停在当前楼层。当电梯无升降动作时，关门并停在当前楼层。二、二、建立模型建立模型 分析的第一步是构造控制对象模型。在这个步骤分析的第一步是构造控制对象模型。在这个步骤中将抽象出控制对象和它的属性，并用模型图描绘控中将抽
3、象出控制对象和它的属性，并用模型图描绘控制对象及它们彼此之间的关系。控制对象所提供的服制对象及它们彼此之间的关系。控制对象所提供的服务将在分析后期或设计阶段再确定下来。务将在分析后期或设计阶段再确定下来。为了抽象出问题域中包含的控制对象，可以用下为了抽象出问题域中包含的控制对象，可以用下述三个过程产生候选对象，并对所得到的结果加以精述三个过程产生候选对象，并对所得到的结果加以精化。化。1 1、精确地定义问题、精确地定义问题 应该尽可能简洁地定义所需要的产品，最好只用应该尽可能简洁地定义所需要的产品，最好只用一句话来描述目标系统。例如，对电梯系统可以像下一句话来描述目标系统。例如，对电梯系统可以
4、像下面那样描述。面那样描述。在一个在一个m m层楼的大厦里，用每层楼的按钮和电梯内层楼的大厦里，用每层楼的按钮和电梯内的按钮来控制的按钮来控制n n部电梯的移动。部电梯的移动。2.2.提出非形式化策略提出非形式化策略 为了提出一种解决上述问题的非形式化策略，必为了提出一种解决上述问题的非形式化策略，必须确定问题的约束条件。在上面已经对电梯问题提出须确定问题的约束条件。在上面已经对电梯问题提出了三种约束。最好能用一小段文字把非形式化策略清了三种约束。最好能用一小段文字把非形式化策略清楚地表达出来，对电梯问题来说，解决问题的非形式楚地表达出来，对电梯问题来说，解决问题的非形式化策略可表达如下。化策
5、略可表达如下。在一幢有在一幢有m m层楼的大厦里，用电梯内的和每个楼层楼的大厦里，用电梯内的和每个楼层的按钮来控制层的按钮来控制n n部电梯的运动。当按下电梯按钮以请部电梯的运动。当按下电梯按钮以请求在某一指定楼层停下时，按钮指示灯亮；当请求获求在某一指定楼层停下时，按钮指示灯亮；当请求获得满足时，指示灯熄灭。当电梯无升降操作时，关门得满足时，指示灯熄灭。当电梯无升降操作时，关门并停在当前楼层。并停在当前楼层。3.3.把策略形式化把策略形式化 在以上这段描述非形式化策略的文字中，共有八在以上这段描述非形式化策略的文字中，共有八个不同的名词：按钮、电梯、楼层、运动、大厦、指个不同的名词：按钮、电
6、梯、楼层、运动、大厦、指示灯、请求和门。这些名词所代表的事物可作为控制示灯、请求和门。这些名词所代表的事物可作为控制对象的初步候选者。其中，楼层和大厦是处于问题边对象的初步候选者。其中，楼层和大厦是处于问题边界之外的，因此可以忽略；运动、指示灯、请求和门界之外的，因此可以忽略；运动、指示灯、请求和门可以作为其他类的属性，例如，指示灯可以作为其他类的属性，例如，指示灯(的状态的状态)可作可作为按钮类的属性，门为按钮类的属性，门(的状态的状态)可作为电梯类的属性。可作为电梯类的属性。经过上述筛选后只剩下两个候选类，即电梯和按钮。经过上述筛选后只剩下两个候选类，即电梯和按钮。补充了电梯控制器类之后，
7、得到了图补充了电梯控制器类之后，得到了图1所示的对象所示的对象模型。模型。图1电梯系统对象模型的第一次迭代图2 电梯系统对象模型的第二次迭代 三、三、建立动态模型建立动态模型 1.1.编写脚本编写脚本 这一步的目的是，决定每一个类应该做的操作。这一步的目的是，决定每一个类应该做的操作。达到这个目的的一种有效的方法，是列出用户和系统达到这个目的的一种有效的方法，是列出用户和系统之间相互作用的典型情况，即写出脚本之间相互作用的典型情况，即写出脚本(包括正常情况包括正常情况脚本和异常情况脚本脚本和异常情况脚本)。表。表1 1和表和表2 2分别是正常情况脚本分别是正常情况脚本和异常情况脚本。和异常情况
8、脚本。表表1 1 电梯系统正常情况脚本电梯系统正常情况脚本 用户用户A A在在3 3楼按上行按钮呼叫电梯，用户楼按上行按钮呼叫电梯，用户A A希望到希望到7 7楼去楼去 上行按钮指示灯亮上行按钮指示灯亮 一部电梯到达一部电梯到达3 3楼，电梯内的用户楼，电梯内的用户B B已按下了到已按下了到9 9楼的楼的按钮按钮 上行按钮指示灯熄灭上行按钮指示灯熄灭 电梯开门电梯开门 用户用户A A进入电梯进入电梯 用户用户A A按下电梯内到按下电梯内到7 7楼的按钮楼的按钮 7 7楼按钮指示灯亮楼按钮指示灯亮 电梯关门电梯关门 电梯到达电梯到达7 7楼楼 7 7楼按钮指示灯熄灭楼按钮指示灯熄灭 电梯开门电梯
9、开门 用户用户A A走出电梯走出电梯 电梯在等待时间到后关门电梯在等待时间到后关门 电梯载着用户电梯载着用户B继续上行到达继续上行到达9楼楼表表2 2 电梯系统异常情况脚本电梯系统异常情况脚本 用户用户A A在在3 3楼按上行按钮呼叫电梯，但是用户楼按上行按钮呼叫电梯，但是用户A A希望到希望到1 1楼楼 上行铵钮指示灯亮上行铵钮指示灯亮 一部电梯到达一部电梯到达3 3楼，电梯内用户楼，电梯内用户B B已按下了到已按下了到9 9楼的按楼的按钮钮 上行按钮指示灯熄灭上行按钮指示灯熄灭 电梯开门电梯开门 用户用户A A进入电梯进入电梯 用户用户A A按下电梯内到按下电梯内到1 1楼的按钮楼的按钮
10、电梯内电梯内1 1楼按钮指示灯亮楼按钮指示灯亮 电梯在等待超时后关门电梯在等待超时后关门 电梯上行到达电梯上行到达9 9楼楼 电梯内电梯内9 9楼按钮指示灯熄灭楼按钮指示灯熄灭 电梯开门电梯开门 用户用户B B走出电梯走出电梯 电梯在等待超时后关门电梯在等待超时后关门 电梯载着用户电梯载着用户A A下行驶向下行驶向1 1楼楼 2.2.画状态转换图画状态转换图 电梯控制器是在电梯系统中起核心控制作用的类，电梯控制器是在电梯系统中起核心控制作用的类，我们将画出这个类的状态转换图。为简单起见，仅考我们将画出这个类的状态转换图。为简单起见，仅考虑一部电梯虑一部电梯(即即n n=1)=1)的情况。电梯控
11、制器的动态模的情况。电梯控制器的动态模型如图型如图3 3所示，这个状态图的画法读者可对照电梯系统所示，这个状态图的画法读者可对照电梯系统的脚本来理解它。的脚本来理解它。图3 电梯控制器类的动态模型四、建立功能模型四、建立功能模型 五、五、进一步完善进一步完善 根据从功能模型中获得的信息，重新审查对象模型根据从功能模型中获得的信息，重新审查对象模型(图图2)2)和动态模型和动态模型(图图3)3)，以便进，以便进一步完善控制对象分一步完善控制对象分析的结果。析的结果。增加了增加了“电梯门电梯门”类和类和“请求请求”类之后，得到对象类之后，得到对象模型的第三次求精结果，如图模型的第三次求精结果，如图5所示。所示。修改了对象模型之后，必须重新审查动态模型和修改了对象模型之后，必须重新审查动态模型和功能模型，看看是否需要进一步求精。显然，必须修功能模型，看看是否需要进一步求精。显然，必须修改功能模型，把数据存储改功能模型，把数据存储“电梯门电梯门”和和“请求请求”标识标识为可做类为可做类.图5 电梯系统对象模型的第三次迭代
