静态结构图.PDF

SJ/T XXXX. 1 - XXXX 6 静态结构图 类图表示模型的静态结构，特别是表示存在的事物（如类和类型）、事物的内部结构和 事物间的关系。类图不表示临时信息，虽然它们可以包含具体出现的事物或描述临时行为的 事物。对象图是一个与一个具体的类图相容的实例。 本节讨论类及其变体，包括模板和实例化类、类间的关系（关联和泛化）和类的内容（属 性和操作）。 6.1 类图 类图是静态元素和它们之间各种静态关系的图形表示。注意，“类”图可能也包括接口、 包、关系甚至实例，比如对象和链。或许类图的一个更好的名字是 “静态结构图”，但“类 图”更简短并且容易为人接受。 6.1.1 语义 类图是静态结构模型的图形视图。各单个的类图并不表示对构成模型的基本元素的划 分。 6.1.2 表示法 类图是一个 （静态）声明的模型元素的集合，例如类、接口和它们之间的关系，这些元 素及其内容相互连接构成图。可以根据基础模型把类图组织成包，或者组织成建立在基础模 型包之上的独立的包。 6.1.3 映射 类图不一定与单一的语义实体相匹配。可以用一个或多个类图表示静态结构模型中的一 个包。把这种表示分为几个单独的图是为了图形上的方便，并不意味着对模型本身进行划分。 类图的内容映射为静态语义模型中的元素。如果类图是某个包的一部分，那么它的内容映射 为同一个包中的元素(可能包括从其它的包对所访问或引入元素的引用) 。 6.2 对象图 对象图是包括对象和数据值在内的实例的图形。静态对象图是类图的一个实例；它是在 一个时间点上对系统详细状态的 “快照”。对象图的使用比较有限，主要用来表示数据结构 的示例。 工具没有必要支持单独格式的对象图。类图可以包括对象，所以只有对象而没有类的类 图就是“对象图”。然而，对象图这个术语是有用的，用于标征在不同方式下可实现的特定 用法。 6.3 类目 类目是类、数据类型、接口的超类。它们都具有相似的语法，所以按需要都用带有关键 字的矩形图符表示。因为类是图中最普遍的，所以用没有关键字的矩形表示类，类目的其它 子类 （如数据类型和接口等）用关键字指出。以下的讨论将集中于类，其中大多数表示对于 语义上合适的元素也是适用的，正如后面各节描述的那样。 6.4 类 类是一组具有相同结构、行为和关系的对象的描述符。模型与类的描述有关，也即与定 义类的规则有关。系统执行时提供了它的实例。本部分为类提供了表示法，用于声明类、规 约类的属性以及规定以各种方式对类的使用。用附在类符号上的关键字表示在形式上和类相 似的模型元素（如接口、信号和实用程序）；其中的一些是单独的元模型类，一些是类的衍 25 SJ/T XXXX. 1 - XXXX 型。类在类图中声明，在大多数的其它模型图中使用。本部分提供了声明和使用类的图形表 示，同时提供了在其它模型元素的描述中引用类的文字表示。 6.4.1 语义 类表示正被建模系统的一个概念。类有数据结构、行为以及与其它元素的关系。 类名的作用域是声明它的包，在类所属的包中，所有类名都是唯一的。 6.4.2 基本表示法 用一个被水平线划分成三个分栏的实线矩形表示类。最上面的那个名称栏包含类名和类 的其它一般性质（包括衍型）；中间的分栏包含属性列表；最下面的分栏包含操作列表。 更多信息见 6.5 “名字分栏”和6.6 “列表分栏” 6.4.2.1 引用 在默认的情况下，一个包中所给出的类就被认为是在那个包中定义的。要表示对定义在 另外包中的类的引用，使用语法： 包名：：类名 作为名字分栏中的名字串。通过把用双冒号（::）分隔的包名连结起来，来规约完整的路径 名。 6.4.3 表示选项 可以不显示属性或操作分栏。对于不显示的分栏不用画分隔线。如果一个分栏没有被显 示，不能推断其中存在或者缺少元素。在必要的时候可以用分栏名去除歧义。 作为扩展，工具可以提供更多的分栏，以表示预定义的或用户定义的模型性质（例如， 表示业务规则、责任、变体、事件处理、异常的产生等）。大多数分栏只是简单的串列表。 更具复杂格式的分栏也是可能的，但本部分并没有指定这些格式，那是工具的职责。每个分 栏的出现最好隐式地基于它的内容。必要时可以使用分栏名。 工具可以提