OOSADChapter9.pptVIP

9-* ? Prentice Hall, 2007 9.9.3 值推断 判定表、判定树和结构化英语 判定表 – 对判定逻辑的矩阵表示，它指明了判定的可能条件和结果动作；包含三个部分 条件栏：列出与判定相关的条件 动作栏：列出在给定的一组条件下产生的值或动作 规则：指定在给定的一组条件下产生哪些值或动作 9-* ? Prentice Hall, 2007 判定表实例 工资单系统 9-* ? Prentice Hall, 2007 精简和优化判定表 一个完整的判定表可能包含与某个规则无关的条件 因此，某些时候规则可以合并以简化判定表 9-* ? Prentice Hall, 2007 9-* ? Prentice Hall, 2007 9.9.4 动作激活器 常见的动作激活器是触发操作或触发器 触发器可以属于实体类或控制类 触发器的项目 用户规则 事件 实体类名字 条件 动作 9-* ? Prentice Hall, 2007 9.9.5 对象约束语言OCL 附加于UML的正式的、说明性的语言，用于以无歧义的方式书写指定业务规则的表达式 OCL 表达式包括: 上下文：表达式定义的元素 不变量：在对象的生存期间应该为真的一个约束 9-* ? Prentice Hall, 2007 上下文中的元素 初值 导出规则 限制 查询优化 不变量 前置、后置条件 9-* ? Prentice Hall, 2007 OCL Expressions 4-* 本章小结 学习本章后可以 将类分为实体类、边界类和控制类. 基于用例描述绘制顺序图 将顺序图转换为通信图 将通信图转换为分析类 绘制活动图和状态图 使用判定表和对象约束语言描述业务规则 9-* ? Prentice Hall, 2007 课堂练习 第5题 第6题 第3题 第7题 第8题 第9题 9-* ? Prentice Hall, 2007 第5题 9-* ? Prentice Hall, 2007 第6题 9-* ? Prentice Hall, 2007 用例名称：课程注册 主参与者：学生 层 次：风筝 利益相关者：学生，注册人员 前置条件：学生在相应的年级且可以自由选课. 最低保证：学生将成功登录. 成功保证：学生注册到要选的课程 . 主要成功情节： 学生用密码登录注册系统. 系统验证登录并提供可选课程信息. 学生选课和确定上课时间地点. 系统获取当前课程信息. 将课程添加到学生下学期的课程表中. 学生姓名被添加到课程花名册中. 系统计算学生应付的学费. 确认注册成功，返回提示信息给学生. 打印/显示学生课表. 打印/电邮学生学费清单. 扩展： 学生无法登录——访问帮助网站获取登录密码. 选课人数已满——要求增加选课人数. 第3题 9-* ? Prentice Hall, 2007 第3题 9-* ? Prentice Hall, 2007 Exercise 7 9-* ? Prentice Hall, 2007 Exercise 8 9-* ? Prentice Hall, 2007 Exercise 9a Constraints Rules Cost $15k $15k $15k $15k $15k $15k $15k $15k 1st RFP -- -- 1-3 bids 1-3 bids 1-3 bids 1-3 bids 3+ bids 3+ bids 2nd RFP -- -- 1-33 bids 1-3 bids 3+ bids 3+ bids -- -- Violations Y N Y N Y N Y N Actions ? Approve RFP ? ? X X X Approve P.O. ? X ? X ? X ? X 9-* ? Prentice Hall, 2007 Exercise 9b Constraints Rules Monthly purchase volume 100,000 Y Y Y Y N N N N Elite member Y Y N N Y Y N N Purchase 35,000 Y N Y N Y N Y N Actions 5% discount X 7% discount X X 10% discount X 12% discount X X 15% discount X 9-* ? Prentice Hall, 2007 Exercise 9c Conditions Rules Homework Pass N Y Y Y Y Y Y Y Y Y Exam av