2800 San Tomas Expressway

Santa Clara, CA 95051-0951

http://www.rational.com

　

　

　

版权所有 1997瑞理软件（Rational Software）公司与MCI systemhouse公司。

本文档允许被影印、电子发行或被翻译为外语，如果完全复制本文档，请全文引用本提示，并包含下列声明：

通过环球网（WWW）地址 http://www.rational.com 可以得到统一建模语言（UML）的最近更新版本。

1. 介绍

本词汇表定义了用来描述统一建模语言（UML）的术语。除了UML特定的术语外，还包括OMG标准和面向对象分析设计方法中的相关术语。词汇表专门提供给想了解UML概念和背景的用户使用。词汇表中的词条按照字母顺序排列。

请将您的建议通过电子邮件发到：[email protected]。

1.1 范围

本词汇表主要包括下列几方面的术语：

UML 语义

UML 记号法指导

另外，也包括如下一些使用到的词汇：

对象管理结构的对象模型 [OMA]

CORBA 2.0 [CORBA]

面向对象分析与设计RFP-1 [OA&D RFP]

Rational Process（正由Philippe Kruchten等开发）[RATLPROC]

[OMA]、[CORBA] 和 [OA&D RFP] 用来在提高对OMG的适应程度和提供分布式对象的术语两方面对UML进行补充。（当 OMG 的上述三个方面之间出现不一致时，我们将按照上面列出的顺序确定其权威性。） [RATLPROC] 用来在提供关于体系结构和进程的术语方面对UML进行补充。

1.2 表示法的约定

词汇表中的词条通常以小写字母开头。如果该词条在标准的实践中通常以大写字母开头，则在词条中用大写字母开头。缩写全部大写，除非该缩写习惯为小写。

一个或多个词在多字术语中被括号括起，表示这个词在该术语被引用是可选择。例如，用例 [类] 在引用时可以被简单理解为 用例。

本词汇表使用下列约定：

对比：<术语>。 引用一个词义相反或在词义上有不同内容的术语。

参见：<术语>。 引用一个词义相似，但不相同的术语。

同义词：<术语>。表示本术语与被引用术语的词义相同。

缩写：<术语>。表示本术语为缩写。在定义时，读者通常会引用拼写展开的术语，除非这种形式很少使用。

为了对可能出现在多个位置的术语进行定位，本词汇表中引入了广泛的交叉引用，带下划线的交叉引用是超文本版本中的超链接。UML 词汇表的超文本版本将在瑞理软件公司（Rational Software）的网络站点 http://www.rational.com/uml上提供。

抽象类
不能直接实例化的类。对比: 具体类.

抽象
一个实体区别于其它类型实体的基本特性。抽象定义了一个与观察者角度相关的范围。

　

动作
计算过程或算法过程。

　

动作表达式
可归结为动作集合的表达式。

动作状态
内部动作以及用于完成内部动作的外向迁移的状态。

激活
动作的执行。对比：激活 [OMA].

活动类
实例为活动对象的类。参见：活动对象.

活动对象
拥有线程并可以初始化控制活动的对象。活动类的实例。参见：活动类.

活动图
状态图的特例，其中全部或大部分状态是动作状态，而且其中全部或大部分的状态迁移由源状态中动作的完成来触发。对比: 状态图.

主角 [类]
类型的预定义构造型，表示系统外与用例用例交互的实体。

　

实参（实在参数）
同义词:：参量.

聚集 [类]
表示聚集（整体－部分）关系中“整体”的类。参见：聚集.

聚集
关联的一种特殊形式，表示聚集（整体）和构件（部分）之间的“整体－部分”关系。对比：组合.

分析
软件开发进程的一部分，其主要目的在于准确构造一个问题论域的模型。分析着眼于“做什么”，而设计则着眼于“如何做” 。对比：设计.

分析时段
表示在软件开发进程中的分析阶段所发生的事情。参见：设计时段，建模时段.

体系结构
系统的组织结构。体系结构又可以进一步分解为通过界面进行交互的部件、连接部件的关系以及部件组合的限制条件。

参量
参数的特定数值。同义词：实参。对比：参数.

产物
在软件开发进程中使用的或产生的一部分信息。产物可以是模型、描述或软件。

　

关联
用来描述链接集合的一种关系。

关联类
具有关联和类的双重属性的建模元素。关联类既可以被看作是具有类的性质的关联，也可以被看作为具有关联性质的类。

    关联角色
    类型或类在关联中扮演的角色。

异步消息
一种消息，其发送对象并不等待返回结果。同义词：异步请求 [OMA]。对比：消息,同步消息。

属性
类型中已命名的性质。同义词：属性 [OMA]

行为
操作或事件明显的效果，包括其结果。同义词: 行为 [OMA].

模型的行为化特性
一种模型特性，强调系统中对象的行为，包括对象的方法、交互作用、协同和过去的状态。

二元关联
两个类之间的关联。多元关联的特例。

布尔值
取值为真或假的一种枚举。

布尔表达式
赋值为布尔值的表达式。

基数
集合中元素的个数。对比：多重记号。

类
对共享相同属性、操作、方法、关系和语义的对象集合的描述。类是类型的一种实现方法。同义词：类 [OMG]。参见：类型，实现。

类图
描述类、类型及其内容和关系等静态模型元素的集合的图。

客户
要求从其它类型、类或构件处得到服务的类型、类或构件。同义词：客户对象 [OMA]。对比：供给者。

协同
支持交互作用集合的上下文。参见：交互作用.

协同图
描述对象交互作用的图，包括对象及其相互之间的链接关系。与时序图不同，协同图表示对象之间的关系。尽管时序图和协同图表达了相似的信息，但表达方式不同。参见：时序图。

通信关联
在安装维护图上，两结点之间表示通信关系的关联。参见：安装维护图。

编译时段
指软件模块编译过程中发生的事情。参见：建模时段，运行时段。

构件
具有一致的、定义良好的界面的可执行软件模块。对比：构件[OMA].

构件图
描述构件组织和依赖关系的图。

组合 [类]
通过组合关系与其它类相关的类。参见：组合。

组合聚集
同义词： 组合。

组合状态
由子状态组成的状态。对比：子状态。

组合

聚集的一种形式，整体和部件之间具有很强的所有权关系和一致的生存期。具有不固定的多重记号的部件可以在组合之前被创建，但是一旦被创建，就和整体同时存在及消亡（即，部件和整体共享生存期）。这样的部件也可以在整体消亡之前用明确的方式删除。组合可以递归。同义词：组合聚集。

具体类
可以直接实例化的类。对比：抽象类。

并发
在同一时间间隔中发生两个以上活动。并发通过交叉或同时执行两个以上的线程来实现。参见：线程。

并发子状态
在同一组合状态中，可以与其它并发的子状态同时被控制的。参见：组合状态。 对比：互斥子状态。

限制条件
语义条件或约束。UML预定义了某些限制条件，其它的限制条件可以由用户定义。限制条件是UML的三个可扩展性机制之一。参见：特征值，构造型。对比：附注。

容器
1. 一个对象可以包容其它对象，并能提供存取和复制对象内容的操作。
2. 一个构件可以包容其它构件。

　

背景
与某一特定的目的（例如指定一个操作）相关的建模元素的集合。

　

委托
一个对象发送消息给另一个对象来响应消息的能力。委托可用来替代继承。同义词：委托 [OMA]。对比：继承。

依赖
两个建模元素之间的关系，对一个建模元素（独立元素）的改变将影响到另一个建模元素（依赖元素）。

　

安装维护图
描述运行时段处理结点以及结点上的构件、进程和对象的配置的图。这里，构件表示运行时段的代码单元。参见：构件图。

导出元素
可由另一个元素计算得出的模型元素，此元素表达较清晰，或者，尽管此元素不增加语义信息，但为设计目的而需要引入。

　

设计
软件开发进程中的一部分，其主要目的在于确定系统如何实现。在设计阶段， 全局和局部的设计决策必须符合系统的功能需求和质量需求。

　

设计时段
表示在软件开发进程中的设计阶段所发生的事情。参见：建模时段。对比：分析时段。

开发进程
在软件开发中，为给定目的而执行的一些部分有序步骤的集合，例如模型构造或模型实现。

　

图
模型元素集合的图形化描述，通常表达为由弧（关系）和顶点（其它模型元素）组成的连通图。UML支持下列几种图：

类图，对象图，用例图，时序图，协同图，状态图，活动图，构件图和安装维护图。

互斥子状态
在同一组合状态中，不能与其它并发的子状态同时被控制的。参见：组合状态。对比：并发子状态。

分配单元
分配给一个进程或一个处理器的一组对象或构件的集合。在UML中，分配单元表现为运行时段中的一个组合或聚集。

　

论域
一个知识或活动的领域，该领域可以用其中专业人员能够理解的一些概念和术语来描述。

　

动态分类
一般化的语义变体，其中的对象可以改变其类型或角色。对比：静态分类。

元素

模型的最小组成成分。

枚举
一组命名的数值，用作特殊属性类型的值域。例如，Color = {Red, Green, Blue}。

　

事件
在时间和空间上可以定位并且可以带有参数的有实际意义的事件。在状态图中，事件可以引发状态的迁移。

外接口
对于包而言，使一个元素在其命名空间的外部可见。参见：可视性。对比：外接口 [OMA]，内接口。

表达式
可以取值于某特定类型的字符串。例如，表达式"(7 + 5 * 3)"取值为 number 类型。

　

扩展
一个用例到另一个用例的关系，规定如何将在第一个用例中定义的行为插入到第二个用例定义的行为中。

启动
引发一个状态的迁移。参见：迁移。

控制焦点

时序图中的一个符号，表示一个对象直接或间接地执行动作的时段。

形式参数
同义词：参数。

框架
一个微体系结构，可以用来为特定论域中应用程序提供可扩充的模板。

　

可一般化元素
一般化关系中的一个模型元素。参见： 一般化。

一般化
一般元素和特殊元素之间的一种分类关系。其中，特殊元素与一般元素完全一致，同时具有一般元素没有的额外信息。特殊元素的实例可以用在一般元素允许出现的地方。同义词： 一般化 [OMA]。 参见：继承。

迁移条件

启动一个状态迁移必须满足的条件。

实现
构造方法或计算方法的定义。例如，类型的实现是类，操作的实现是方法。同义词：实现 [OMA]。

实现继承
对特定元素的实现的继承，包括界面继承。同义词：实现继承 [OMA]。对比：界面继承。

内接口
对于包而言，内接口是一种依赖，表示对包中的类进行引用的指定包（包括其中递归嵌套的包）和这些包之间的关系。对比：内接口 [OMA]，外接口。

继承
一种机制，通过这种机制，特殊元素共享了行为上相关的一般元素的结构和行为。参见：一般化。同义词：继承 [OMA]。

实例
一个类型或类的独立成员。用法附注：根据元模型的严格定义，类型的独立成员是实例，而类的独立成员是对象。在不太形式化的用法中，类的成员作为对象或实例都是可接受的。参见：类型。对比：对象。

交互作用
关于行为的规格说明，由特定背景下为实现特定目的的一些对象之间的消息交换组成。交互作用可以表示为一个或多个场景。

　

交互作用图
表示类属的术语，指几种强调对象间交互作用的不同类型的图，具体包括：协同图、时序图和活动图。参见：活动图，协同图，时序图。

界面
使用一种类型来描述类、对象或其它实体的外部可见的行为。对于类或对象，界面包括操作的函数原型。同义词：界面 [OMA]。参见：类型。

界面继承
对特定元素的界面的继承。不包括实现继承。同义词：界面继承 [OMA]。对比：实现继承。

层
在同一抽象级别中，对模型中的包进行分组的特定方式。

链接
一组对象之间带有语义的连接，链接是关联的一个实例。同义词：链接 [OMA]。参见：关联。

链接角色
关联角色的实例。参见：关联角色。

列表
一种内容有序的容器。

成员
类型或类的一部分，表示其属性或操作。

消息
两个对象之间的通信，传达期望执行特定活动的信息。对消息的回复通常被看作一个事件。

元类
实例是类的一个类。元类的型用途是构建元模型。

元元模型
定义元模型描述语言的一种模型。元元模型和元模型之间的关系与元模型和模型之间的关系类似。

元模型
定义模型描述语言的一种模型。元模型是元元模型的实例。

元对象
表示类属的术语，表示元模型语言中的元实体。例如：元类型、元类、元属性和元关联。同义词：元对象 [OMA]。

元类型
实例为类型的一种类型。元类型的典型用途是构建元模型。

方法
方法是对操作的实现，是影响操作结果的算法或过程。同义词：方法 [OMA]。

模型
对一个系统的语义抽象。参见：系统。

模型特性
对模型的衡量标准之一，强调了元模型中的特定性质。例如：

结构化模型特性强调了元模型的结构化特性。

模型元素
是一种元素，是由模型化的系统中抽取的一个抽象。

　

建模时段
表示在软件开发进程中的建模阶段所发生的事情。包括分析时段和设计时段。用法附注：在讨论面向对象系统时，区分建模时段和运行时段相当重要。参见：分析时段，设计时段。对比：运行时段。

模块
实现存储和操作的软件单元。模块包括：源代码模块、二进制代码模块和可执行代码模块。参见：构件。

多重分类
一般化的一种语义变体，其中，一个对象可以之间属于多个不同的类。参见：动态分类。

多重继承
一般化的一种语义变体，其中一个类型可以有多个超类型。对比：单继承。

多重记号
对假定集合可允许的基数范围的说明。多重记号说明可以提供给关联中的角色、组合中的部件、循环、或其它目的的用途。基本上，多重记号是非负整数集合的子集（可能为无穷子集）。对比：基数。　

多元关联
三个或三个以上的类之间的关联，关联的每个实例都是由各个类组成的多元数值。对比: 二元关联。

名字
用于标识模型元素的字符串。

　

命名空间
模型中定义和使用名字的部分。在命名空间中，每个名字具有独立的意义。参见：名字。

结点
结点是运行时段的物理对象，它表示一个计算资源，一般至少具有内存，通常也拥有处理能力。运行时段的对象和构件一般存在于结点之上。

　

附注
附加在元素或元素集合上的注释，附注没有语义信息。对比：

限制条件。　

对象
具有定义良好的边界并将状态和行为封装于一体的实体。其中，状态表示属性和关系，行为表示操作和方法。对象是类的实例。同义词：对象 [OMA]。参见：类，实例。

对象图
包括某一时刻的对象及其关系的图。对象图可以被看作是类图或协同图的特例。参见：类图，协同图。

对象生命线
时序图中表示对象存在时段的线。参见：时序图。

操作
由对象提出而对行为产生影响的服务。操作有函数原型，可以限制可能的实参。同义词：操作 [OMA]。

包
对元素进行分组的通用机制。包可以嵌套在其它的包中。系统可看作是唯一的高层次的包，它包含系统中所有其它的成分。

　

参数
对可以被改变、传送或者返回的变量的规格说明。参数可以包含名字、类型和说明。参数用于操作、消息和事件。同义词：

参数 [OMA]，形参（形式参数）。对比：参量。

参数化类
对于带有一个或多个不受限参数的类的一种描述。同义词：模板。

　

参加
表示在建模元素中实例对角色的承担关系。例如，类参加关联，主角参加用例。对比：参加 [OMA]。

持久对象
在创建此对象的进程或线程结束后继续存在的对象。同义词：

持久对象 [OMA]。

后置条件
在一个操作结束时必须为真的限制条件。

强类型
一个元类型，其实例是另外一个类型的子类型。例如，TreeSpecies是Tree 类型上的强类型。因此Tree 类型的子类型（例如，Ash，Birch，Cherry）都是TreeSpecies的实例。

　

前置条件
调用一个操作时必须为真的限制条件。

原始类型
预先定义的基本类型, 例如整型，或者字符串。

　

进程
可以与其它线程并发执行的线程。

　

产品
开发的产物，例如模型、代码、文档、工作计划。

　

投影
从一个集合到它的一个子集的映射。

　

性质
标志元素特征的命名值。性质有语义内涵。一些性质在UML中预定义；其余性质可由用户定义。参见：特征值。同义词：性质 [OMA]。

伪状态
状态机中的一个顶点，具有状态的形式，但不象状态一样动作。伪状态包括初始化、结束以及历史连接。

限定关系
一个关联属性或属性元组，这些属性值可以划分出通过关联与某个对象有关的对象的集合。

　

接收 [消息]
对发送者对象传送的消息进行的处理。参见：发送者，接收者。

接收者[对象]
处理发送者对象传送的消息的对象。对比：发送者。

引用
对模型元素的标识。

　

求精
一种关系，表示对在某个细化层次上已指定的事物作进一步的规格说明。例如，设计阶段的类是分析阶段类的求精。

　

关系
模型元素之间的语义连接。关系的例子包括关联和一般化。

需求
所要求的系统的特征、性质或行为。

　

责任
类型或类的义务。

　

复用
使用一个预先存在的产物。

角色
在特殊上下文中某一实体的已命名的特定行为。角色可以是静态的（例如，关联角色）或者是动态的（例如，协同角色）。

　

运行时段
计算机程序执行的一段时间。对比：建模时段。

场景
用来说明行为的特定动作序列。场景可以用于表明交互作用。参见：交互作用。

语义变体
对语义变体点的特定解释。参见：语义变体点。

语义变体点
元模型语义的变化点。它有意识地为元模型语义的解释提供一定的自由度。参见：语义变体。

发送 [消息]
消息从发送者对象到接收者对象的传送。参见：发送者，接收者。

发送者[对象]
传递消息给接收者对象的对象。对比：接收者。

时序图
显示按时间顺序排列的对象交互作用的图，特别是用于显示交互作用中的对象和交换的消息序列。与协同图不同的是，时序图包括时间序列，但不包括对象关系。时序图可以类属形式（描述所有可能的场景）和实例形式（描述一个实际场景）存在。时序图和协同图表示的信息相似，但显示的方式不同。参见：协同图。

信号
可以显式调用（引发）的已命名的事件。信号可以有参数。信号可以广播或定向到单个或多个对象。

函数原型
操作、消息或者事件的名字和参数。参数可以包括一个可选的返回参数。同义词：函数原型[OMA]。

单继承
一般化的一种语义变体，其中一个类型只有一个超类型。同义词：单继承 [OMA]。对比：多重继承。

规格说明
对某事物是什么或做什么的声明性描述。对比：实现。

状态
对象生命期中的一个条件或状况，其中对象满足某些条件、执行某些活动、或者等待某些事件。对比：状态 [OMA]。

状态图
表示状态机的图。参见：状态机。

状态机
规定对象或交互作用在其生命期内对事件的响应所经历的状态序列，以及对象或交互作用的响应和动作。

　

静态分类
一般化的语义变体，其中的对象一般不改变类型或角色。对比：动态分类。

构造型
用于扩展元模型语义的建模元素的新类型。构造型必须基于元模型中已存在的类型或类。构造型可以扩展语义，但不能扩展预先存在的类型或类的结构。一些构造型在UML中已预定义，其它构造型可由用户定义。构造型是UML中三种可扩展性机制中的一种。参见：限制条件，特征值。

字符串
一个正文字符的序列。字符串表示的细节依赖于实现，可能包含支持国际字符或图形的字符集。

　

结构化模型特性
用于强调系统中对象结构的模型特性，包括对象的类型、类、关系、属性以及操作。

子类
在一般化关系中对另一个类（超类）的特定化。参见：一般化。对比：超类。

子状态
作为一个组合状态中部件的状态。子状态可以是并发子状态或者互斥子状态。参见：并发状态，互斥状态。

　

子系统
一个更大系统中的下属系统。在UML中子系统模型化为由构件组成的包。对比：系统。

子类型
在一般化关系中对另一个类型（超类型）的特定化。参见：一般化。对比：超类型。

超类
在一般化关系中对另一个类（子类）的一般化。参见：一般化。对比： 子类。

超类型
在一般化关系中对另一个类型（子类型）的一般化。同义词：

超类型 [OMA]。参见：一般化。对比：子类型。

供给者
提供服务的类型、类或构件，这些服务可以被调用。同义词：

服务者对象 [OMA]。对比：客户。

泳道
在交互作用图中负责组织动作的包。它们经常对应于商业模型中的组织单位。

同步消息
发送消息时，发送的对象暂停以等待结果。同义词：同步请求 [OMA]。对比：异步消息。

系统
为实现某一特定的目的而组织的相连单元的集合。系统可以用一个模型，或者从多个视点产生的多个模型来描述。

　

特征值
用“名字-值”对表示的对一个性质的显式定义。在特征值中，名字称作特征（tag）。一些特定的特征已在UML中预定义；其余的特征可以由用户定义。特征值是UML中三种可扩展性机制的一种。参见：限制条件，构造型。

模板
同义词：参数化类。

线程 [控制线程]
程序、动态模型或者控制流的其它表示中执行的单条路径。同义词：控制线程。参见：进程。

定时
表示一个绝对或相对时刻的值。

　

定时事件
在一个特定时间发生的事件。它可以用一个时间表达式表示。参见：事件。

时间表达式
返回值为绝对或相对时间值的表达式。

　

定时标记
事件或消息发生时刻的标志。定时标记可以用在限制条件中。

瞬时对象
只在创建该对象的进程或线程的执行过程中存在的对象。同义词：瞬时对象[OMA]。

迁移
两个状态之间的关系，表示当一个特定的事件发生并且满足特定条件时，处于第一个状态的对象将执行一些确定的动作，进入第二个状态。在这种状态改变中的迁移称为启动。

　

类型
描述了共享相同操作、抽象属性和关系、语义的实例集合。类型定义操作的规格说明（例如函数原型），但不定义操作的实现（例如方法）。用法附注：类型有时用作界面的同义词，但二者并不是等价的术语。同义词：类型 [OMA]。参见：类，实例。对比：界面。

类型表达式
定值到引用一个或多个类型的表达式。

　

未解释的
UML未规定其实现的一个或多个类型的位置标志符。每个未解释的值有一个相应的字符串表示。参见：any [CORBA]。

用例[类]
定义用例实例集合的类。

用例图
显示系统中主角和用例关系的图。

用例实例
系统执行的一个动作序列，其结果为提供给特定主角的可见值。通常用场景来说明原型化的用例实例。一个用例类的实例。参见：用例类。

用例模型
使用用例来描述系统功能需求的模型。

使用
具体用例到抽象用例的关系，其中，为具体用例定义的行为使用为抽象用例定义的行为。

　

实用工具
类型的构造型，以类声明的形式组合全局变量和过程。实用工具的属性和操作分别成为全局变量和全局过程。实用工具不是基本的模型构造，只是为编程方便而设置的。

　

值
类型值域中的一个元素。对比：值[OMA]。

顶点
状态机中迁移的源或目的。顶点可以是状态或者伪状态。参见：状态，伪状态。

视图
为模型的投影，从一个给定的视角或合适的视点观察，并且省略与此视角无关的项。

　

视图元素
视图元素是一个模型元素集合的文本和／或图形投影。

视图投影
模型元素到视图元素的投影。视图投影为每个视图元素提供定位和样式。

　

可视性
为一个枚举，其值（公有，保护，私有或者实现）标志它所指的模型元素在它所包含的名字空间外的可见程度。