UML-345UML的关系符号视图与图.pptVIP

* * * * * * * * * * * * * * * 关联也可以被派生或约束 1 * { person.employer=person.department.employer } * 1 employer employer department worksForDepartment /worksForCompany 1 * 公司 部门 人 6)模板（Templates） 模板是一个参数化的模型元素，使用它时参数必须在建模时绑定到实际值。模板的同义词是参数化元素。模板类不是一个直接可用的类，因为它有未绑定的参数，必须将它的参数绑定到实际值，以生成实际的类。 《bind》T→color,n→50 Array element:T[n] T,n:integerExpression=2 Array element:T[n] T,n:integerExpression=2 ArrayT→Car,n→100 colorArray 模板 （a） （c） （b） 一个模板类可以是一个一般类的子类，这意味着由绑定该模板而形成的所有类都是给定类（一般类）的子类。 作为子类的模板 在使用模板生成实际类时，还可在绑定的类中附加特征（feature）。 TopTenList Array element:T[n] T,n:integerExpression=2 show:Date host:person 对绑定的类添加属性 《bind》T→Joke,n→10 ?UML为每一个模型元素规定了独特的图形表示符号，称为图标（Icon）。 ?在UML的核心包中定义的分类符，如对象类、接口、数据类型、节点、组件、信号、Use Case、子系统等，它们的图标如图3.9所示。 UML定义的联系，如依赖、关联、泛化、实现（Realization）等，它们的图标如图3.10所示。 消息的图标如图3.11（a）所示。 状态机所涉及的模型元素有状态、转移、事件、活动等。状态与活动的图标分别如图3.11（b）和图3.11（c）所示。 注释的图标如图3.12所示。 第4章　UML的符号 Home UML的符号 Home 分类符图标示例 图3.10 联系图标示例 UML的符号 Home 消息、状态和活动图标示例 注释图标示例 模型元素与通用机制 模型元素指模型中的实体以及实体间相互连接的关系 部分模型元素 注解 类 属性 操作 对象：类 属性 操作 状态 用况 结点 供应接口 包 依赖 关联 泛化 主动类 属性 操作 请求接口 构件 实现 第5章　视与图 主题域 视图 （view） 图（diagram） 结构化（静态的） 静态视图 类图（class） 设计视图 内部结构（internal structure） 协作图（collaboration） 构件图（component） 用况视图 用况图（use case） 动态的 状态机视图 状态机图（state machine） 活动视图 活动图（activity） 交互视图 顺序图（sequence） 通信图（communication） 物理的 部署视图 部署图（deployment） 模型管理 模型管理视图 包图（package） * * * * * * * * * * * * * * * * * * * * * 第3章　UML的关系　 Home 3.1　依赖关系　 依赖指出两个或多个模型元素之间语义上的关系。它表示被依赖元素的变化会要求或指示依赖元素的改变。 依赖关系用一个虚线箭头表示，箭头上可附加含关键字的版型，关键字用来指明依赖的种类。在UML2．0中的依赖种类如下： Access（访问）， bind（绑定）， call（调用）， create（创建）， derive（派生）， instantiate（实例化）， permit（允许）， realize（实现）， refine（精化）， send（发送）， substitute（替换）， trace（追踪依赖）， use（使用） Scheduling Engine 依赖关系 Box Office 《use》 3.2　类属关系 关 系 功能 符号 关联 类实例间连接的描述 依赖 二个模型元素之间的一种关系 泛化 更特殊描述与更一般描述之间的一种关系，用于继承和多态性类型声明 实现 规约（specification）与它的实现之间的关系 泛化 泛化指出类间的“一般—特殊关系” （is-a） 一般类定义了它的特殊类的公共属性和操作 对一般类扩展一些属性和/或操作后，可以特化（specialize）成特殊类 一般