层楼的按钮和电梯内的按钮来控制n部电梯的移动。32.提出非形式化策略为了提出一种解决上述问题的非形式化策略,必须确定问题的约束条件。在上面已经对电梯问题提出了三种约束。最好能用一小段文字把非形式化策略清楚地表达出来,对电梯问题来说,解决问题的非形式化策略可表达如下。在一幢有m层楼的大厦里,用电梯内的和每个楼层的按钮来控制n部电梯的运动。当按下电梯按钮以请求在某一指定楼层停下时,按钮指示灯亮;当请求获得满足时,指示灯熄灭。当电梯无升降操作时,关门并停在当前楼层。43.把策略形式化在以上这段描述非形式化策略的文字中,共有八个不同的名词:按钮、电梯、楼层、运动、大厦、指示灯、请求和门。这些名词所代表的事物可作为控制对象的初步候选者。其中,楼层和大厦是处于问题边界之外的,因此可以忽略;运动、指示灯、请求和门可以作为其他类的属性,例如,指示灯(的状态)可作为按钮类的属性,门(的状态)可作为电梯类的属性。经过上述筛选后只剩下两个候选类,即电梯和按钮。补充了电梯控制器类之后,得到了图1所示的对象模型。5图1电梯系统对象模型的第一次迭代6图2电梯系统对象模型的第二次迭代7三、建立动态模型1.编写脚本这一步的目的是,决定每一个类应该做的操作。达到这个目的的一种有效的方法,是列出用户和系统之间相互作用的典型情况,即写出脚本(包括正常情况脚本和异常情况脚本)。表1和表2分别是正常情况脚本和异常情况脚本。8表1电梯系统正常情况脚本·用户A在3楼按上行按钮呼叫电梯,用户A希望到7楼去·上行按钮指示灯亮·一部电梯到达3楼,电梯内的用户B已按下了到9楼的按钮·上行按钮指示灯熄灭·电梯开门·用户A进入电梯9·用户A按下电梯内到7楼的按钮·7楼按钮指示灯亮·电梯关门·电梯到达7楼·7楼按钮指示灯熄灭·电梯开门·用户A走出电梯·电梯在等待时间到后关门·电梯载着用户B继续上行到达9楼10
全文预览
