软件工程导论第四章.pptVIP

liang@ 软件工程导论 梁文新 办公室：综合楼108 电 话：wxliang@ 4.1 概 述 按照形式化的程度，可以把软件工程使用的方法划分成非形式化、半形式化和形式化三类 非形式化方法 (Informal) 用自然语言描述需求规格说明 半形式化方法 (Semi-formal) 用数据流图或实体-联系图建立模型 形式化方法 (Formal) 是描述系统性质的基于数学的技术 即如果一种方法有坚实的数学基础，那么它就是形式化的 4.2 有穷状态机(FSM/FSA) 楼层按钮 FB（d，f）：f层请求电梯向d方向运动的按钮 状态： FBON（d，f）：楼层按钮（d，f）打开 FBOFF（d，f） ：楼层按钮（d，f）关闭 事件 FBP （d，f）：楼层按钮（d，f）被按下 EAF（1…n，f）：电梯1或…或n到达f层 谓词 S（d，e，f）：电梯e停在f层并且移动方向由d确定 4.2 有穷状态机(FSM/FSA) 4.2 有穷状态机(FSM/FSA) 电梯 状态 M（d，e，f）：电梯e正沿d方向移动，即将到达的是第f层 S（ d，e，f ）：电梯e停在f层，将朝d方向移动（尚未关门） W（e，f）：电梯e在f层等待（已关门） 事件 DC（ e，f ）：电梯e在楼层f关上门 ST（ e，f ）：电梯e靠近f层时触发传感器，电梯控制器决定在当前楼层电梯