SJ T 11290-2003 面向对象的软件系统建模规范 第1部分 概念与表示法.pdf

1、ICS 35.080 L 77 备案号:12035-23 华址口国电民SJ/T 11290 2003 、. , 口l又一不Specification of object-oriented software system modeling Part 1: . Concept and notation 2003-06-04发布2003-10-01实施中华人民共和国信息产业部发布11290-2003 前言. . . . . . IV SJ/T 、bn、目引言. . . . 范围. 1 术语和定义.2 12 3 12 . 图及其内容.13 绘制路径. . . . 3.2 13 工具中不可见的超连接和角

2、色3.3 13 . 背景信息.14 串们.3.5 14 名字.3.6 15 标签.3.7 15 关键字. 3.8 15 表达式3.9 16 注解. . 3.10 16 类型一实例的对应3.11 17 . . . oUO. . . 模型管理.17 包气.4.1 19 子系统.4.2 22 模型.4.3 3.1 3.4 4 23 一般的扩展机制5 23 . 约束手口注释. 5.1 24 元素性质.5.2 25 衍型.5.3 26 静态结构图概念和表示法*6 . . 类图*. . (5 6.1 26 6.2 27 . . 类日*.EMU-6.3 27 类*，.6.4 28 名称分栏*.MU-.6.5

3、 28 列表分栏*山. 6.6 30 属性*.6.7 31 操作*.6.8 33 类型与实现类6.9 34 . . 接口*.6.10 ;!rIlli-vhll 35 (模板)参数化类6.11 36 . 绑定元素6.12 37 实用程序.6.13 37 元类. 6.14 I SJIT 11290 2003 6.15 枚举.37 6.16 衍型.38 6.17 军在类型. . 38 6.18 类路径名*. 38 6.19 访问或者引入包*-. 39 6.20 对象*.39 6.21 组合对象*. 41 6.22 二元关联* . 41 6.23 关联端点*. 43 6.24 多重性*. . . E.

4、 45 6.25 限定符*45 6.26 关联类*.46 6.27 N元关联*.MM-u. . 4 6.28 组合*48 6.29 链*.49 6.30 泛化*50 6.31 依赖. 52 6.32 派生元素.53 6.33 实j71J化*.54 7 用况图概念和表示法*. . . . . . 54 7.1 用况图54 7.2 用况，.55 7.3 参与者. . 56 7.4 用况关系.56 7.5 参与者关系.57 8 . . . 57 8.1 交互图的种类. . . . 57 8.2 顺序图. 58 8.3 对象生命线. 60 8.4 激活. . 61 8.5 消息和激励. 62 8.6

5、转换时间.63 9 协作图概念和表示法. . . . 63 9.1 协作.64 9.2 协作图.64 9.3 模式结构.66 9.4 协作的内容. . 67 9.5 交互. 68 9.6 协作角色. . 68 9.7 多对象. . 70 9.8 主动对象. 70 9.9 消息和激励川. 71 9.10 创建/销毁标记. . . 73 10 状态图概念和表示法*. . . . . . . . . 74 E 11290 2003 SJ/T 74 I OU -75 状态.10.2 组合状态.山.() 10.3 77 事件.,. 10.4 79 简单转换.山10.5 79 到并发状态的转换和离开并发状

6、态的转换10.6 80 . 到组合状态的转换和离开组合状态的转换81 转换路径因子化10.8 82 . . . . 子机状态.10.7 10.9 84 同步状态.10.10 84 活动图概念和表示法11 84 . . . . 活动图.11.1 85 动作状态.11.2 86 子活动状态11.3 86 . . . 决策.11.4 87 泳道. 11.5 88 动作一对象流关系11.6 89 . . 控制图标.11.7 同步状态. .90 11.8 91 动态调用.11.9 91 条件分叉11.10 . 91 实现图概念和表示法12 91 构件图.12.1 92 部署图.12.2 93 节点.12

7、.3 94 m 构件.12.4 一一SJ/T 11290 2003 目IJ面向对象的软件系统建模规范系列标准分为三部分zSJ，厅1129023 j and self.sizei 3.9.4 映射一个表达式串，映射为一个表达式元素(可能是表达式的特定子类，例如对象集表达式或时间表达注解一个注解是一个图形符号，该符号包含了一些文本信息(可能也包含一些嵌入的图象)。作为一种表示法，注解用于呈现元模型的各种不同类型的文本信息，如约束、注释、方法体和标记值。3. 10. 1 语义注解是一个符号项。它显示了某一语义元素的一些文本信息。3.10.2 表示法一个注解被呈现为带有折角(右上角)的矩形。它可含有任

8、意的文本。它出现在特定的图中，并可通过虚线依附到多个模型化元素上，或单独存在。3. 10. 3 表示选项一个注解可以有一个衍型。带有关键字constraint或带有特定约束衍型的注解(如一个方法的代码体)，型的一部分，但这样的注解不是一个图的干部分，而是一个模型元素(即约束)图。3. 10. 4 作为一个约束，是模(参见5.1中的例子。nu式3这个模型是由安澜，怀特在与计划组商讨后构造的。注释示例图3-23. 10. 5 映射一个注释可以表达在多个元模型构造中的文字信息:只有当工具能够识别其上下文时，注解才能被创建，而且该工具必须维护这一映射。在注解中的串，映射为与该注解所对应的模型化元素的体

9、。一个注解可以表达za) 约束b) 标记值c) 方法体d) 模型化元素中的其他串值它也可以表达直接依3. 11 类型一实例的对应建模的主要目标是对一些特定的项给出其一般性的描述c为了实现这一建模目标，通常把用于建模的概念分为二个方面，即通过两个配对的类型和实例这样的模型化元素，建立一个模型化概念，其中一个表达一般的描述符，另个表达该描述符所描述的个体项。在本标准中，大多数模型化概念都有这一双重特征，例如，这样配对的模型化元素有:类-对象、关联-链、参数，值，以及操作调用等。16 SJ/T 11290 2003 尽管一些图(包含与类型相似的元素以及与实例相似的元素)并不完全一样，但它们有很多相似

10、之处。因此，通常需要为元素的每一类型-实例偶对，选择适当的符号，这样就可以可视地显示了它们之间的对施。对此，还有一些方法，但各有利弊。在本标准中，通过使用相同的几何符号，并通过在实例元素的名字串下加下划线(包括类型名，如果存在的话)，显示类型-实例之间的区别，从而使得它们之间的区别清晰可见。即使在整个图中均是实例元素的情况下，也在各实例元素的名字串下加上下戈IJ线。按用户在协作中构件等的不一个类、实例)许指名字、4 模型管理4. 1包4. 1. 1 语义Point x:Rea1 y:Rea1 11二同使用，角色图3-3图3-4类与对象pl:Point x:Rea1 y:Rea1 或多个类，日或

11、角色。G 角色与对象对象。)个角色是用于创建很多的表示法允包是模型元素的个分组。包本身可以嵌套在其它包中。一个包可以含有一定的子包以及其它种类的模型元素。可把所有种类的本标准模型元素组织到包中。值得注意的是，包拥有模型元素，对于配置控制、存储和访问控制来说，包是一个基本单位。每个元素可以直接地属于某一个包，因此包可以有一个层次，且是一棵严格的树。然而，包可以引用其它包，通过使用许可(Permission)依赖的衍型import)和ac四ss)，可以对这样的包进行建模，如此，形成了一种包的用法网络，该网络是一个图。包之间的其它种类依赖，通常隐含了元素间存在的个或多个17 1 L一一SJ/T 11

12、290 2003 依赖。4. 1. 2 表示法包被表示为一个大的矩形，并且在这一矩形的左上角还有一个小矩形(作为一个标签勺。包的符号是通常的文件夹图标。包的内容可以在大矩形中显示。也可以把被包含的元素画在包的外面，并通过多条线段把这些元素与该包连接，以此方式来显示包的内容(如下所示).其中，在连接到该包处画一个内含加号(+)的。 如果包的内容没有被显示在大矩形中，那么可以把该包的名字放在大矩形中。 如果包的内容被显示在大矩形中，那么可以把该包的名字放在左上角的小矩形中。可以把一个关键字串放在包名的上边。预定义的衍型facade、framework、stub和topLevel放在书名号。内。一个

13、性质列表用花括号括起来，放在包名的后边或下边。例如:abstract。关于性质语法的细节，请参见5.2元素性质在包外，一个包元素的可见性可以通过在该元素名字前加上一个可见性符号(+:公共的，-:私有的，#:受保护的)来指示。可以在包符号间绘制关系，以显示该包中一些元素间的关系。两个包之间的输出和访问关系，被绘制成带有箭头的虚线，其上分别标有串(import)和r-Diagr缸nElements k咀囚essDom血nElements Graphics Core MotifCore WindowsC。而 Motif 图4-1包及其访问、输出关系，其中，这些内容可以通过缩Microsoft Wnd

14、ows SJ/T 11290 2003 Controller Diagr田nElements Domain Elernents 4. 1. 6 映射一个包的表示法存在一个既不是包元素。从一/1直接包素。为了引用的。一个符号，图4-2中。一个子系写在揭挺立气1，1连口r并具有白二二规约是由该子黯蛐如刷发规忧如伽jd，用子系统或可L、被安锦化丸不可以被实例化。-/1中的一些内容些模型元素的行为精乎乎. 式4可4.2.2表示法, 1、飞一飞飞d的名字。如果在包名字之上一个具有对应的衍型的子系统元素。，它们被映因此位于模型。子系统的作为其所包含的那一个子系统基本上作事刊电;再单融哺如哆矿崔大矩形右上方

15、的叉型符号。子系统的名字与所选择的关键学、组型等越黯墟在立宪彩呐?结别在也，如果该子系统的内容被显示在大矩形内，那么可以把该子系统的名字和咬型特品藏在相哩l:I小矩形内。一个可实例化的子系统在其名字之上标有串(instantiable)。大矩形有三个栏，一个用于显示操作，一个用于显示规约元素的子集，一个用于显示实现元素的子集。通常，使用一条垂直线段划分矩形，然后再用一条水平线段划分左边的矩形，以此形成了三个栏。在左上栏中显示操作，左下栏中显示规约元素，右栏中显示实现元素。后两个栏分别标有规约元素和实现元素，以避免可能的混淆。操作栏不用标记。这是子系统符号的一般模式，尽管在一个特定的图中有很多不

16、同的方式，参见以下的例子。片1实现元素规约兀素图4-3具有三个栏的子系统符号的-般模式19 SJ/T 11290 2003 从实现部分到规约部分(即操作和规约元素)的映射，使用封闭的空心箭头表示。对于协作而言，该映射也可以用文字表示。当一个子系统与一个图中其他元素一起显示时，通常不显示其内容，在此情况下，大矩形不必分栏。参见以下的例子。4.2.3 表达选项叉型符号可以用写在子系统名字上面的关键字 。perationl(.):Typel 图4-5 - -具有接口的子系统及它们之间的依赖I operationl(.):巧peloperation2(.):ype2 operation3(.): Ty

17、pe3 Specification Elements C一飞UseCasel C一UseCase2 -不分栏目、含有所有元素的子系统其中，该子系统提供了operation1(小但没有显式地显示这一操作。 ope回国.n4(.):可pe4在上图中，对规约元素和实现元素没有给出视觉上的区别。下面的主个图是示意性的例子，对实现元索和规约元素给出了显式的区别。这些图作为一个例子，说明了怎样在不同的图中使用子系统的基本符号显示一个子系统的不同视图，并给出了该子系统的全图。20 operationl(.): Type1 图4-6第一个说该例子表明了一个子系operation4( . 对于没有该图显示在单一

18、的operation坷.)operation3(.) Realization elements 协-可叫阳情平市吃句句曲m柿归户电啕喃个说明I 口自Specification Elements UseCasel -一二口一二/SJ/T 11290 2003 飞7-T气己国白和实现部分现部分的栏目。该图意味着此外，可以把协作图4-8第三个说明性的例子z显式区别规约部分和实现部分值得注意的是，在该图中，为了显示规约部分和实现部分之间的映射，使用了全部的三个栏目，但仅显示了与该映射相关的那些实现元素。该图也给出了用不同方法表达映射的示例。4.2.5 映射个子系统表示法映射为一个给定名字的子系统，该映

19、射类似于包表示法，但增加了以下部分z在标有规约元素或实现元素的大矩形栏目内的符号分别映射为子系统的规约元素或实现元素。21 SJ/T 11290 2003 在一个没有标号的分栏中，操作特征标记串映射为子系统的操作。值得注意的是，一个有标号的栏目可以与整个矩形相符。在一个无标号的分栏中，一个不是操作特征标记串的符号，映射为该子系统所包含的元素。一个具有封闭的、空心的箭头，从一个代表实现元素的符号指向个代表规约元素或一个操作的符号，被映射为相关元素之间的 6. 1 A Analysis 1 A Design 图4-9含有一个分析模型和一个设计模型的(systemModel)4-10 模型和子系统的

20、层次结构示例其中r左图是基于模型的，而右图是基于于系统的。4.3.5 映射一个模型表示法映射为一个具有指定名字的模型。该映射类似于包表示法的映射。22 , -SJ/T 11290 2003 5 一般的扩展机制在这一部分中，元素是一些通用的机制，它们可用于任一建模元素。具体使用的语义依赖用户的约定，或依赖由特定的约束语言或编程语言所作出的解释:因此，它们构成了本标准的扩展设施。5. 1 约束和注释5. 1. 1 吾义一个约束是模型元素之间的一个语义关系，规约了必须维持为真的条件和命题:否则由该模型所描述的系统是无效的(即其结果超出了本标准的范围)。在本标准中，预定义了一定种类的约束(如关联约束x

21、or勺，用户也可以定义其它约束。以给定的语言描述用户定义的约束，其语法和解释是工具的责任。一个约束表达了附属于个模型元素的语义信息，而不仅仅是一个视图。一个注释是一个文本串(包括对做点碍赞前货精阶明周直接附属子一个模型元素。-个注释可以把任意的文本信息附属U1:哇哇嚼薛矗哥拉铲黯信息没有语义作用。在其它事物之间，可以用注释解释决策的理白。如在5.1.2 表示法一个约式化约束的语言用一种特定达式或约束)中所包含5. 1. 3 例子* )括起的文本串。希望特定一种预定义语言是OCL，另外，Memher.nf (然而，串在花括号U表(如类中i11另Represents 可以书写形书写每一约束都串之后

22、。11荠中的元。依附最好放在该IJ -.A J (箭头的尾)被号。) ，可以把约束规定在其它元素(如表言表达式语法的一部分。Person ls由setCommittee an mco甲oratedentity 1 Chair.of * Work, er employee employer * * 。.1Company Person 0.1 i boss L_一-一-Person.employer ;: Person.boss.employer 图5-1约束和注释23 SJ/T 11290-2003 5. 1. 4 映射.-个约束串是一个包含在花括号()中的串。约束串映射为一个约束元素中的基础表

23、达式。该映射依赖于表达式语言，工具了解这一语言，但通常不在图中予以显示。在一个表入口之后的约束串，映射为一个约束，该约束依附于与该表入口所对应的元素。作为一个单独列表元素予以表达的约束串，映射为一个单独约束，附属于每-后继的模型元素(对应于后续列表入口，直到另一个约束或性质串取代为止)。放在一个图形符号附近的一个约束串，必须通过一个隐含的链(该链由一个工具根据上下文操作之)，附属到该符号Q该工具必须维护这一隐式的图形连接。该约束串映射为一个约束，该约束依附到与该符号相对应的元素。依附于一个虚箭头的约束串，映射为一个约束，该约束依附与由该箭头所连接的符号相对应的那两个元素。在一个注解中由花括号括

24、起来的串，映射为一个约束，该约束依附与该符号(由虚线连接到注解符号相对应的元素。在一个注解中依附于某一元素符号的串(不在花括号内)，映射为一个约束，该约束附属于相对应的元素。5.2 元索性质很多种元素都有详细的性质，但对于这些性质没有给出可视符号。用户可以使用标记-值的机制，定义新的元素性质。一个串可以用于显示依附一个模型元素的性质。这包括元模型中由属性所表达的性质，也包括预定义的和由用户定义的标记值。5. 2. 1 语义值得注意的是，本标准所使用的性质一词，在一般的意义上是指依附一个模型元素(包括属性、关联和标记值)的值。在这一含义下，性质问接地包括那些从给定的元素可获得的值。一些种类的性质

25、在表达式(并不是本标准所给出的)中应该有其自己的语法，但本标准没有给出显式的符号。一个标记值是关键字-值的一个偶对，可以依附到任何种类的模型元素(包括图元素和语义模型元素)。其中，关键字称为标记。每个标记表达了一类可应用到一种或多种模型元素上的性质。把标记和值括起来作为串。标记值是本标准的一种扩充机制，允许把任意的信息附加到模型上。本标准期望大多数模型编辑器应提供基本设施，用于定义、显示和搜索作为串的标记值，而不应使用它们来扩展本标准的语义。但期望后端工具，如代码生成器和报告书写器等，应该取标记值，并以灵活的方式，给出标记值语义的指导。5.2.2 表示法一个性质(或为一个元模型属性，或一个标记

26、值)被显示为用逗号分隔的、全部位于一对花括号内的性质规约序列。一个性质规约的形式为z名字=值。其中，1Ft主是一个性质(元模型属性或任意的标记)的名字，JL是一个任意的串，它标记了该名字的值。如果性质的类型是布尔，且省略了它的值，那么该性质的默认值是真。即为了规约一个真值，你可以仅包含关键字。为了规约一个假值，你完全可以省略名称。其它类型的性质需要显式的值。如果基础模型的值不是串和数字，那么在这种情况下，关于如何显示值，则是工具的责任。值得注意的是，性质串可以用于显示内建的属性，也可以用于显示标记值。布尔型性质经常具有形式:isName，其中，Name是一些可能为真或假的条件的名字。在这样的情

27、况下，形式Name通常单独出现，而没有值，这意味着isName=真气例如，(abstract)等同于isAbstract= 真。24 SJ/T 11290-2003 厂或映射为一个标记值(预定义的或为一个11一个空的的关键字相同。纹理和颜色)对它们进行移植是地处理衍型元。关键字串5.2.3 表达选项一个工具可以用多行或不用花括号来表达性质规约，但要使用特定的标记，将性质规约与其它信息予以适当的区分。例如，以独特的字样(如斜体或不同的字体体系)，把一个类的些性质列在该类名字之下。5.2.4风格指南使用串来规约图形符号的性质是合法的，然而这样的用法可能会引起混乱，使用时应该注意。5.2.5 例子a

28、uthor=Joe Smi由，deadline=31-March=1997, status = analysis abstract 5.2.6 映射在一个串中的每一个术语，用户自定义的)。5.3衍型5. 3. 1 语义实际上，是元模型元素的新类。它表达(属性和关系)，但具有不同的日的。为基础，且用以南般U缸2-3值。3见记素5(的那个基模型元素。按这种形式，可以看图形规约的形式，但存在着很表示法到该项的正常内容。整个基模型元素表示法乖加4斗草草莓磊样自图标，或把名字放在该图标的上面，或放在图标的下面。基模型元素表示法所含有的其它信息被压缩。可以想象出还有约和替代图标的形式，8把这些留给工具的建

29、造者，以发挥他们的聪明才智。其中应当注意，过度的扩展可能会丧失工具之间的可移植性。要避免使用图形标记，例如颜色，因为这样会对有些人(色盲)以及一些重要的设备(如象打印机、复印机和传真机等)提出挑战。本表示法不需要使用这样的图形标记。用户可以按自己的目的(如在工具中进行强调)，在自己的工作中自由地使用图形标记，但应该知道在交互中会受到的限制，并在需要时要使用的规范形式。衍型本身的分类层次，可以显示在一个类图上，(参见5.3)。这对于那些使用现存衍型、但不定义新的衍型的许多建模者而言，是不太需要的。5.3.3例子25 困难的)，a) b) 一SJ/T 11290-2003 5.3.4 映射 Pen

30、Tracker 一location: Point enable (Mode) Pentracker location: Point enable (Mode) JobManager PenTracker 一location: Point enable (Mode) -PenTracker Scheduler 图5-2衍型的不同符号一个衍型关键字的使用，映射为一个对应于包含名字的符号的元素和给定名字的衍型间的衍型关系。在一个符号内一个衍型图标的使用，映射为一个对应于包含该图标的符号的元素和由该符号所表达的衍型间的衍型关系。一个工具在创建该符号并且不要求一个图标唯一地表达一个衍型时，工具必须建立连

31、接。必须在工具暗指对应的模型元素并要用图标表示衍型的上下文中，创建衍型图标，而不使用符号。元素和衍型有衍型关系。6 类图表示模型的静态结构，特别是表示存在的事物(如类和类型)、事物的内部结构和事物间的关系。类图不表示临时信息，虽然它们可以包含具体出现的事物或描述临时行为的事物。对象图是一个与一个具体的类图相容的实例。本节讨论类及其变体，包括模板和实例化类、类间的关系(关联和泛化)和类的内容(属性和操作)06. 1 类图是静态元索和它们之间各种静态关系的图形表示。注意，类图可能也包括接口、包、关系甚至实例，比如对象和链。或许类图的一个更好的名字是静态结构图，但类图更简短并且容易为人接受。6. 1

32、. 1 语义类图是静态结构模型的图形视图。各单个的类图并不表示对构成模型的基本元素的划分。6. 1. 2 表示法类图是一个(静态声明的模型元素的集合，例如类、接口和它们之间的关系，这些元素及其内容相互连接构成图。可以根据基础模型把类图组织成包，或者组织成建立在基础模型包之上的独立的包。6. 1. 3 映射类图不一定与单一的语义实体相匹配。可以用一个或多个类图表示静态结构模型中的一个包。把这种表示分为儿个单独的图是为了图形上的方便，并不意味着对模型本身进行划分。类图的内容映射为静态语义模型中的元素。如果类图是某个包的一部分，那么它的内容映射为同一个包中的元素(可能包括从其它的包对所访问或引入元素

33、的引用)。6. 2 对象图的实例的图形。静态对象图是类图的一个实例:它是在一个时间点上对系统详细状态的快照。对象图的使用比较有限，主要用来表示数据结构的示例。26 SJ!T 11290 2003 工具没有必要支持单独格式的对象图。类图可以包括对象，所以只有对象而没有类的类图就是对象图飞然而，对象图这个术语是有用的，用于标征在不同方式下可实现的特定用法。6.3类目类目是类、数据类型、接口的超类。它们都具有相似的语法，所以按需要都用带有关键字的矩形图符表示。因为类是图中最普遍的，所以用没有关键字的矩形表示类，类目的其它子类(如数据类型和接口等)用关键字指出。以下的讨论将集中于类，其中大多数表示对于

34、语义上合适的元素也是适用的，正如后面各节描述的那样。6.4类类是一纽具有相同结构、行为和关系的对象的描述符。模型与类的描述有关，也即与定义类的规则有关。系统执行时提供了它的实例。本标准雄主运偿睦王法，于声明类、规约类的属性以及规定以各种方式对类的使用。用附在类符肥市鹏一、军进和炎相似的模型元素(如接口、信号和实用程序);其中的一些是单独附加雪慧，fUB幢持;因声明，在大多数的其它模型图中使用。本标准提供了明即雌扭附件博精反毒丰脚?谅的描述中引用类的文字表不。.;传，.，./ 飞、飞时6. 4. 1 l吾义类名的作6.4.2 用性质(更多信6.4.2.1 在默认类的引用，包名zz作为名字分栏6.

35、4.3表可以不显， 断其中存在或者缺少作为扩展，工具可则、责任、变体、事件处理、是可能的，必要时可以使用分栏名。工具可以提供其它方法来表示类引用，以区分类引用和类声明。可以收缩带有衍型图标的类符号，仅显示衍型图标，类名位其它内容。6.4.4风格指导a) 类名使用黑体字，位于分栏中央:b) 关键字(包括衍型名称)字体用普通格式，位于书名号内，放在类名的上方并位于分栏的中央:c) 类名以大写字母开始.d) 属性和服务用普通格式，左对齐:e) 属性和服务以小写字母开始，f) 抽象类或者抽象操作的特征标记以斜体字表示。作为主具的扩展，粗体字用来表示特殊的列表元素(例如，在数据库设计中表示候选关键字。例

36、它一般在另外包中的的问时心。类有数据结构、行为晴曲，所有类名。，不能推叶性质(例如，表示业务规WH -.l .-.列表。更具复杂格式的分栏也的出现最好隐式地基于宫的内容。对于不显示的分栏不用画分隔。不显示类的27 SJ/T 1129鸟一2003如，用此可以对被模型化为标记值的一些设计属性编码。在需要时，显示所有的属性和操作，而在其他的上下文或者引用中只显示一些属性和操作。6.4.5 示例图6-1H怪ndowWindow size: Area visibility: Boolean display () hide () W回dowabs位act，author=Joe , status=teste

37、d +sze: Area = (1，以J)#Visibility: Boolean = invisible +display () +hide () 土旦主且坚11_ -a出chXWindow(xwin:Xwindow) 类表示法:不显示细节、显示分析级细节、显示实现级细节6.4.6 映射类符号映射为包内的类元素，这个包拥有含有该类符号的图。名称分栏的内容映射为类名和类的性质(内在属性或标记值)。属性分栏映射为类的属性表。操作分栏映射为类的操作表。性质字符串位置=名字映射为和构件相关联的实现位置。其中名字是所含构件的名字。6.5 名称分栏6. 5. 1 表示法名字分栏显示类名，并且最多可以显示

38、如下三个方面的特性:a) 衍型关键字或衍型图标衍型关键字位于类名上方的一个在书名号内，是可选的:衍型图标位于分栏的右上方。衍型名字不必与己预定义的关键字相匹配。b) c) 类名如果类是抽象类，则类名以斜体表示。注意，任何一般状态的显式规约的优先级都高于名字字体。性质串表在类名下面放置用括号括起来的表示性质的串列表(元模型属性和标记值)。这个列表可以表示本标准没有指定表示法的类级属性，类级属性也可以用标记值指定。一个布尔类型的没有具体值的关键字的出现暗示着真值。例如，叶类显示性质阳leaf衍型和性质列表是可逃的。 Penl￥acker Ieaf, au也or:Mary Jon田图6-2名称分栏6. 5. 2 映射名称分栏的内容映射为由类符号表示的类名字、衍型和各种性质。6町6歹IJ表分栏6. 6. 1 表