第十一章 用于建模的模式 研究生课程-MDA教学课件.ppt

第十一章 用于建模的模式 赵建华 南京大学计算机系 模式 模式是一种直观有效的概念。它是（被工程专业领域统称为）“经验”的核心部分。 在xUML分析的上下文中，我们要求对一个经常重复出现的问题的解决方法进行抽象，即得到一个模型。 规格模式（Specification） 从真实实例中分解出实例中不变的方面。 我们使用这个模式来区分‘事物的类型’（type of things）与‘真实的事物’(actual things)。 规格模式的例子 没有规格类 规格模式的结构 特性值模式（Characteristic value） 事物的特性非常普遍与固定，我们一般用类中的属性来刻画它。 这个模式适用于特性的个数以及类型不确定或者特征经常变化的情况。 是一个使用了规格模式的模式，通过规格模式来表示一个类可能拥有哪些特性，然后通过关联来确定特性的具体值。 特性值模式的结构 关联的时间帧模式（Association timeframe） 用于精确地定义关联的时标（timescale）的适用性。 关联角色短语需要传递出以下信息： 它们准确的意思； 它们可以应用的时间段； 对于关联的生命跨度必须给予特别的重视，并且在角色短语中使用恰当的时态来表达关联的时间帧。 例子 多值关联模式（Multivalued associative） 与关联的时间帧模式紧密联系。 UML的标准不允许两个相同的实例的通过相同的关联多次连接 比如一个机长曾经多次驾驶过同一架飞机？ 解决办法是提供一个类，它是对连接的一次出现的抽象。 适合于当我们需要考虑两个实例之间的链接多重出现的具体细节的情况。 结构 兼容性模式（Compatibility） 以一种可扩展的方式，对两个类的实例的集合之间的合理组合进行建模。 通常通过子类来形式化地表示不同类型的事物，然后通过关联来表示合法的组合。 但是这样的表示不够灵活，当新类型的事物（新的关联或类型）出现时，将不得不修改分析模型以反映相关的变化。 使用规格模式的扩展形式来使得类似需求的改变不需要重做分析模型。 结构 多重分类(Multiple classification) 将一个类的相互独立的属性建模成相互独立的特化层次结构。 在将被建模的实体的行为与属性独立于其它集合的时候使用这个模式。 这个模式是多种显示了在UML中构建泛化－特化关系比编程语言中构建继承关系更加通用与有效的方法之一。 结构 动态分类(Dynamic classification) 有些类具有全然不同的多个行为模式，或者在某种情况下展示出额外的属性/关联。 可以考虑设计不同的类来表示这些模式/属性或者关联 结构 资源请求者模式（Resource requestor） 为相互竞争某个资源的客户请求建立模型，以处理竞争和优先级问题 通常这个模式与规格模式（见11.2节）结合使用，请求者对某个类型的资源发出请求，然后这些请求从实际资源池中获得资源。 结构 实例删除的模式（Instance deletion） 删除一个实例时应该发生的关键动作 一个删除操作必须： 找出所有当前相关的实例，包括相关的关联类实例； 解开和当前实例相关的所有连接； 检查所有违反无条件关联的情形，以维护模型的整体性； 删除通过无条件关联相关的实例。具体方法可以是直接删除；也可以通过调用一个操作删除；或者通过生成一个信号事件来删除； 删除这个实例。 实例创建模式（Instance creation） 一个创建操作必须： 创建新的对象； 设置属性值，所有的对象标识的属性值必须在创建的时候赋予； 查找无条件的相关对象； 连接新的对象与相关对象。 无序操作（Unordered operations) 允许针对某个客户实例的一组操作以任意的顺序发生，并且能够在这个操作集合全部完成时通知客户。 在这个模式中，一个对象必须等待一个操作集合全部完成之后才可以沿着其生命周期前进。这些操作可以按照任何顺序并发地执行。 设备控制模式（plant control） 形成一个需要对设备进行实时控制的应用的基础。 反模式 manager类 领域中‘真’的类最终成为一个数据存放装置，并且由‘manager’在其上操作。 隐式关联 在这里，分析员使用一个类的对象标识作为另一个类的属性。 蜘蛛型状态模型 它有一个位于中央的空闲状态（或者其它类似的东西）；这个中央状态被一些其他状态所包围，这些状态仅仅执行一个动作然后迅速回到空闲状态，等待下一件要做的事。 * 有规格类 *