软件工程与-ATM举例 .ppt

２、系统实体识别法　 　　不关心系统的运作流程及实体之间的通信状态，而只考虑系统中的人员、组织、地点、表格、报告等实体，经过分析将他们识别为类（或对象）。 　　被标识的实体有：系统需要存储、分析、处理的信息实体、系统内部需要处理的设备、与系统交互的外部系统、系统相关人员、系统的组织实体。 　　 　　 在确定类时，常使用两类技术： 　⑴ 分解技术　将整体类和组合类分解。可控制单个类的规模。　　　 　⑵ 抽象技术　根据一些类的相似性建立抽象类，并建立抽象类与这些类之间的继承关系。 　　 抽象类实现了系统内部的重用，很好地控制了复杂性，并为所有子类定义了一个公共的界面，使设计局部化，提高系统的可修改性和可维护性。 从一般类发现特殊类 从特殊类发现一般类 　　 ⑴ 现金卡有多个独立的特性，分解为卡片权限和现金卡。卡片权限是银行用来鉴别用户访问权限的卡片，表示一个或多个用户帐户的访问权限；各个卡片权限对象中可能具有好几个现金卡，每张都带有安全码、卡片码，它们附在现金卡上，表示银行的卡片权限。 　　 ⑵ 为了“事务”与“账户”之间的传输描述具有一般性，增加“更新”。因为一般在每个账户中，一个“事务”包括一个或多个“更新”，一个“更新”是对账户的一个动作，它们是取款、存款、查询之一。即事务由若干更新组成，更多涉及到账户。 　　 ⑶ 由于“分理处”与“分理处计算机”之间的区别不影响分析，可将“分理处计算机”并入“分理处”。同理，将“分行计算机”并入“分行”。 自动出纳机与用户交互的正常的脚本如下所示： ⑴自动出纳机请求用户插入卡片；用户插入现金卡。 ⑵自动出纳机接受卡片并读出它的卡号。 ⑶自动出纳机要求密码，用户键入密码“4011”。 ⑷自动出纳机与分行确认卡号和密码；分理处检查它并通知承兑的自动出纳机。 ⑸自动出纳机要求选择事务类型（取款、存款、转户及查询），用户选择取款。 ⑹自动出纳机要求现金数量；用户输入￥100。 ⑺自动出纳机要求分行处理事务；分行把要求转给分理处，确认事务成功。 ⑻自动出纳机分发现金并且要求用户取现金；用户取现金。 ⑼自动出纳机提示用户是否想继续；用户指出不继续。 ⑽自动出纳机打印收据，退出卡，并请求用户取出它们；用户拿走收据和卡。 ⑾自动出纳机请求用户插入。 ⑻ 自动出纳机退出卡并且请求用户拿走卡；用户取出卡。 ⑼ 自动出纳机请求用户插入卡。 ２、确定事件　 根据脚本确定所有的外部事件，事件包括：发送者、接收者、外设信号、输入、中断、转换和动作等。使用脚本可以发现正常事件，但不要遗漏条件和异常事件。 ３、画出事件跟踪表 把脚本表示成一个事件跟踪表，即不同对象间的事件排序表，图６给出了银行网络系统的事件跟踪表。图7 给出了事件流图，它给出类之间的所有事件。事件流图是对象图的一个动态对照，对象图中路径反映了可能的信息流，而事件流图反映了可能的控制流。 ４、构造状态图 对各对象类建立状态图，反映对象接收和发送的事件，每个脚本或事件跟踪表都对应于状态图中一条路径。 1) 从影响建模的类的事件跟踪表入手 选择一条路径，该路径描述了一种典型的交互并且只考虑那些影响单个对象的事件，把这些事件放入一条路径，路径的弧用跟踪表上某列上的输入输出事件来标识，两个事件之间的间隔就是一个状态，给每个状态起名字，名字是有意义的， 这张初始图就是事件和状态的一个序列。  2) 从图中找循环 如果事件序列无限地重复， 则构成一个循环。 可能使用有限的事件序列取代循环。 3) 把其他脚本合并到状态图中 在各脚本中先找到一点，它是以前脚本的分歧点，这个点对应于图中一个现有状态。将新事件序列并入到现有状态中作为一条可选路径。  例如某事务正在处理时，要求取消该事务，有时当用户可能无法迅速响应并且必须收回某些资源时，就会出现这种情况 下面给出“更新账户”处理的描述： IF 取款数目超过当前账户结算， 退出事务，不发现金 IF 取款数目不超过当前账户结算， 记账并分发要求的现金 IF 事务是存款， 建立账户并无现金分发 IF 事务是状态请求， 无现金分发 在任何情况 收据显示自动出纳机编号、日期、时间、账户编号， 事务类型，数量（若有）以及新的结算。 五、 建立功能模型 　 功能模型描述了值之间的依赖关系，通常用分层的数据流图描