| 抽象类： | 一种不能被独立地实例化的类，即：实例化必须通过其子类实现。抽象类的每个实例必定也是本聚
簇(全聚簇)一个子类的实例，称该类为这一聚簇的抽象类。 |
| 抽象数据类型： | 用户用以创建实例并且在这些实例上实现操作的数据类型，但是对于用户有效的可操作范围，不以
任何方式依赖于实例内部的表现方式或操作实现方式。数据在值域范围内是抽象的，即：实例中表现的
具体值是一些值的集合，这些值支持实例中的操作并且与用户无关。一个抽象数据类型定义了其数据上
的操作，作为其数据定义的一部分，将可操作的接口与如何实现分离开。 |
| 聚合职能： | 最终被精炼为特定属性和约束的一个广泛定义的职能。 |
| 别名： | 一个 IDEF1X 建模构件(如类、职能、实体或域)的替代名字。 |
| 替代键： | 实体中没有作为主键的候选键。[键式]1) |
| (类的)先辈： | 类的类属先辈类、或类的一个父类、或类的父类的先辈类。 |
| 相关类： | 引入用于解决多对多关系的类。 |
| 相关文字： | 根据实例的取值表示实例的文字，描述相关文字的表达形式为：“具有特性名的类名：特性值
(className with propertyName：propertyValue)”。 |
| 属性： | a) 与一组具体或抽象的事物(人、物体、地点、事件、观点、组合事物等)相关联的一种特性，它
是某种重要的特征，属性表示了类的实体所共有的特征；
b) 属性是从类的实体到具有该属性值类的实体的函数；
c) 属性名称是在描述类时值类所扮演的角色名称，可以仅为值类名称(只要使用值类名称时不会
产生二义性)。 |
| 属性名(称： | 具有该属性值类的角色名称。 |
| 包： | 一种类的集合，其中类的成员是无序的，但重载是有意义的。 |
| 行为： | 实例规范的表现，它是通过可执行的状态转换操作所决定的。 |
| 内建类： | IDEF1X 元模型中的原始类。 |
| 候选键： | 实体中任何两个实例不存在相同值的属性或属性组合。 |
| 基数： | 一种规范，用以表示对于第二个类(不一定唯一)的每个实例存在第一个类的几个实例与之对应，以
及对于第一个类的每个实例存在第二个类的几个实例与之对应。对于某个关系的每个方向，基数都能被
约束。 |
| 基数约束： | 一种约束，用于限制某个关系上相互关联的实例数目，或者，用于限制某个集合中成员的数目。 |
| (类型)转换： | 将一种类型的对象视为另一种类型的对象。 |
| 类别化： | 见：广义(性)。[键式] |
| 类别簇： | 见：子类簇。[键式] |
| 类别鉴别符： | 见：鉴别符。[键式] |
| 分类实体： | 一种实体，其实例作为另一实体(类属实体)的子类型或子类别。[键式] |
| 子实体： | 指定关系中的实体，其实例可以关联零个或一个其它实体(父实体)的实例。[键式] |
| 类： | 一组相似事物的知识和行为的抽象。类用于描述一种概念：事物的知识和行为是相互联系的。 |
| 类级属性： | 类自身到某个值类实例的映射。 |
| 类级操作： | 类自身(向量)及输入参数类型的实例到另一(输出)参数类型的实例(向量)的映射。 |
| 类级职能： | 一种职能，将类所表现的知识、行为或规则描述为一个整体。例如：整个“已注册投票人数
(registeredVoterCount)”是类“投票者(registeredVoter)”的类级属性；将该类作为一个整体，“已注册
投票人数(registeredVoterCount)”只有一个值。 |
| (聚)簇： | 见：子类簇。 |
| 强制(转换)： | 通过使用不同的对象将一种类型的对象视为另一种类型的对象。 |
| 协作： | 为达到某个目标在类之间和实例之间进行请求交互。 |
| 汇集基数： | 对于多值属性，每个实例属性值个数的规范，即：多值。对于多值特性，限制每个实例的特性值(即
集合)能够或必须具有的成员个数的一种规范。 |
| 汇集类： | 一种类，其每个实例是其它类的一组实例。 |
| 汇集特性： | 见：多值特性。 |
| 汇集值： | 复合值，即：有组成部分。 |
| 汇集值类： | 类的每个实例是一个值的集合。 |
| 汇集值特性： | 映射到多值类的特性。 |
| 公共先辈约束： | 对相同的先辈先辈类，包含两个或两个以上关联路径的约束，并且规定任一派生实例必须通过每个
路径与该基实例相关联，或通过每个路径与另一不同的基实例相关联。 |
| 完全(聚)簇： | 见：全聚簇。 |
| 复合键： | 由两个或两个以上属性组成的键。[键式] |
| 概念模型： | 与为达到某种目标所做努力的相关概念的模型。 |
| 常量： | a) (名词)在实例生成时的标识，一个恒定的状态类实例标识由“#K”表示，其中“K”是整数或
名称；
b) (形容词)属性或参与特性值，一旦申请就不能被修改；或对于给定的相同输入参数值，操作提
供相同的输出参数值。 |
| 约束： | a) 一种职能，为满足约束，必须为真实的事实声明。类的约束用关于特性值的逻辑语句形式表示。
当逻辑语句为真时，实例符合约束。有些约束在建模构件中是固有的；其它的约束对于特定的
模型是具体的，并且使用规范语言声明。
b) 规定数据有效条件的规则。[键式] |
| 逆变(性)： | 管理特性的重载规则，要求重载特性的输入参数取值集合是已重载特性的输入参数取值集合的父集
合(包括相同的集合)；并且重载特性的输出参数取值集合是已重载特性的输出参数取值集合的父集合
(包括相同的集合)。 |
| 当前范围： | 见：扩展集合。 |
| 数据模型： | 图形和文字的分解表示来标识数据，某个团体需要使用这些数据完成其任务、功能、目标、目的和
策略，管理和定级该团体。一个数据模型标识实体、域(属性)和与其它数据的关联(联系)，提供概念上
的数据视图和数据中的关联。[键式] |
| 数据类型： | a) 有效值、特征和对属性操作的抽象集合的分类。整型、实型和字符串都是数据类型；[键式]
b) 值的集合和在这些值上的操作，值的集合被称为该类型的取值范围，集合中的每个成员称为该
类型的实例。 |
| 依赖实体： | 实例的唯一标识依赖于与其它实体的关联的实体。根据外键的表述，如果实体的主键完全包含外键，
该实体称为依赖实体。[键式] |
| 依赖状态类： | 类的实例，根据其种类，与某个其它状态类的实例有必然的联系。隶属状态类本身不适合有隶属状
态类实例，且与其它类的实例无关联，进而改变与之相关的实例是无意义的。 |
| 派生属性： | 见：派生特性。 |
| 派生参与特性： | 见：派生特性；参与特性 |
| 派生特性： | 指定的特性，其值由计算所决定。虽然没有什么可以禁止其它类型的派生特性，但是一个典型的派
生特性的例子是派生属性。 |
| 鉴别符： | a) 与超类的聚簇有关的一种超类的特性，其值决定了特定的实例所属的子类。当判别函数已被声
明，鉴别符的值等同于实例所属子类的标识，在标识式建模中，不需要鉴别符。
b) 在类簇的类属实体(或普通基本实体)的属性值表明类簇中的分类实体包含类属实体的特定实
例，具有相同鉴别符值的类属实体的所有实例是相同分类实体的实例。[键式] |
| 域： | 同：值类。 |
| 动态模型： | 描述对象间单一请求或请求样式的模型。 |
| 封装： | 将访问类的职能的名称、含义和取值部分与访问它们的实现分离开的概念。 |
| 实体： | a) 概念或含义在企业职工思想中的表现；
b) 一组具体或抽象的事物(人、物体、地点、事件、观点、组合事物等)的表示，它们被视为相同
的类型，因为它们具有相同的特征，并能共享相同的关联。[键式] |
| 实体实例： | 实体的一个具体或抽象的事物。实体中的每个实例由构成其主键的属性值来确定。[键式] |
| 环境： | 概念空间，即：在某一范围内，概念具有一致的含义并且具有一个或多个用于这个概念的一致的名
称。 |
| 环境词汇(表)： | 见：术语表。 |
| 存在约束： | 一种约束，只有另一个依赖实体的实例存在时，实体的实例才能存在。[键式] |
| 存在依赖(性)： | 两个依赖实体之间的约束，一个实体的实例必须与另一个依赖实体的实例同时存在。以下的相关类
型描述了存在依赖关系：标识关系、分类结构和强制非标识关系。[键式] |
| 扩展集(合)： | 包含当前存在的类的实例的集合。扩展集合中实例相应于数据库和实例的数据模型概念。 |
| 外键： | 一个子实体或分类实体实例的属性或组合属性，其值与相关父实体或类属实体实例的主键相匹配。
外键通过一个广义结构或关系由父实体或类属实体的主键产生。 |
| 形式化： | 用形式语言如一级谓词，对语言的语义进行精确描述。 |
| 框架： | 一个可重用的设计(模型或代码)，它可以被优化(细化)和扩展，作为许多应用的全部功能的一部分。 |
| 函数： | 单值映射。如果对 D 中的任一 X 和 R 中的 Y，在 M 中至多存在一对[X,Y]，则称从 D 到 R 的映射
M 是一个函数。 |
| 广义(性)： | a) 子类 S 概括为超类 C，表示类 S 的每个实例也是类 C 的一个实例。广义从根本上不同于关联，
关联可以使不同的实例相联系。
b) 一种分类，其中两个实体的实例表示同一个具体或抽象的事物。一个实体(类属实体)描述了事
物的完整集合，另一个实体(分类实体)描述了这些事物的子类型或子类别。分类实体可以有
若干个(一个或多个)属性或关联(与其它实体的实例)，但不能被所有类属实体的实例所共享，
分类实体的每个实例同时是类属实体的一个实例。 |
| 广义层次： | 见：广义分类。 |
| 广义网络： | 见：广义分类。 |
| 广义结构： | 父类和其特定的、直接的子类之一的连接。 |
| 广义分类(学)： | 具有共同类属先辈的广义结构集合。在广义分类中，每个实例由一个或多个分类中的类完整描述。
作为广义分类，类的结构决定了类之间的职能继承特性。 |
| 类属先辈(类)： | 一个超类，它要么是类的一个直接超类，要么是类的一个超类的类属先辈。 |
| 类属实体： | 一个实体，其实例被分为一个或多个子类型或子类别(分类实体)。[键式] |
| 词汇(表)： | 所有术语的叙述性描述和名称的集合，用于在一定环境中定义概念(视图、类、主域、关系、职能、
特性和约束)。 |
| 隐藏： | 覆盖私有和保护类型的综合术语。 |
| IDEF1X 模型： | 一个或多个 IDEF1X 视图的集合，与视图中的概念定义一起，经常表示成描述视图根本语义的视图
图示。 |
| 标识符依赖性： | 两个依赖实体间的约束，其中子实体的主键需包含父实体的主键。标识关系和分类结构表现了标识
符依赖约束。[键式] |
| 标识符依赖实体： | 同：依赖实体。 |
| 标识符独立实体： | 同：独立实体。 |
| 标识关系： | 一种特定的(非多对多)关系，关系中子实体的主键包含父实体主键中的所有属性。 |
| 标识： | 一个实例区别于其它所有实例的固有特性。 标识是实例所固有的且不依赖于实例的特性值或实例
所属的类。 |
| 标识(样)式视图： | 使用标识(样)式模型构件产生的视图。 |
| 不变类： | 对于该类，其实例的集合是固定的；其实例不随时间而改变。 |
| 不完全(聚)簇： | 见：部分聚簇。 |
| 独立实体： | 实体的每个实例不需要与其它实体相关联就可以唯一确定。 |
| 独立状态类： | 非隶属状态类的状态类。 |
| 继承： | 一个语义概念，子类的职能(特性和约束)被认为包括父类的职能，除自身以外，特指已声明的职能。 |
| 继承属性： | a) 是一种属性，因为它是类属先辈的属性而才称为类的一种特性；
b) 一组实体的特征依赖于其类属实体或普通基实体所具有的属性。通过作为它的类属实体或不同
先辈实体的一个属性而成为一类实体的特征的属性。[键式] |
| 输入参数： | 指定一种操作的参数，在操作调用时总有具体的值。 |
| 实例： | 一个离散的、有界的事物，具有固定的、不变的、唯一的标识。被分为同一类的任何事物称为这个
类的一个实例。给定类的所有实例具有相同的职能，即：它们处理相同类型的知识，展示相同类型的行
为，参与相同类型的关系，遵守相同的规则。除非另有注释，实例意味着存在的实体，它是当前域的一
个成员。 |
| 实例级属性： | 从类实例到值类实例的映射。 |
| 实例级操作： | 从类实例(向量)和输入参数类型实例到输出参数类型实例(向量)的映射。 |
| 实例级职能： | 个别应用于类的每个实例的一种职能。 |
| 接口： | 对特性或约束的含义和签名的声明。接口声明了特性(职能)知道什么或做什么，或者约束必须遵守
什么。接口规范由特性或约束的含义(语义)和签名(句法)组成。 |
| 固有的： | 形容某个特性是完全的(即：强制的)、单值的和不变的。 |
| 固有关系： | 一种完全的、单值的、不变的关系，它来源于由多个一起参加的类中的(至少)一个类的联系，称其
为一个依赖类。这样一个关系被认为是依赖类标识的一个完整部分。例如：一个事务与其相关的账户有
一个固定的关系，这是因为将事务的实例“转换”至另一个不同的账户是没有意义的，这将改变该事务
的原有的特性。 |
| 键迁移： | 将父实体或类属实体的主键放置在其子实体或分类实体中作为外键的建模过程。[键式] |
| 键(样)式视图： | 表现企业中数据结构和语义的视图，即数据(信息)模型。 |
| 知识： | 实例规范的表现，它由其属性值、参与特性、常量和只读操作决定。 |
| 标号： | 模型图形附带的或部分于模型图的词或短语。典型的标号由模型构件名称(或一个别名)组成且包含
另外的文本注释(如注释标识)。 |
| 级(别)： | 对视图的指出作用范围和详情的一种指定，视图由多个级别，每一级别都是固定的，可根据使用的
建模元素确定其级别。 |
| 列(表)： | 一种集合类，包含不重复的且有序的成员。 |
| 文字值： | 某个值类特定实例的表示。 |
| 底(层)类： | 如果类 S 的某个实例不属于 S 的任何子类，则 S 是该实例的底(层)类。 |
| 强制(性)的： | 语法关键词，用于规定一个完全映射。 |
| 强制非标识关系： | 一种非标识关系，其中子实体的一个实例必须与父实体的一个实例相关联。[键式] |
| 多对多关系： | 两个状态类(可能相同)之间的关系，其中一个类的每个实例与第二个类若干个数的实例成员(可能
为空)相关联，第二个类的每个实例与第一个类若干个数的实例成员(可能为空)相关联。 |
| 映射： | 两个事物间已分配的响应，表现为一组有序对。特别地，类到值类的映射是属性。状态类到另一个
状态类的映射是参与特性。类的实例(向量)和输入参数类型的实例到其它(输出)参数类型的实例(向量)
的映射是操作。 |
| 映射完全性： | 指明映射是完全的(完全映射)还是不完全的(部分映射)。 |
| 含意： | (职能的含意)描述职能是什么。职能从请求者的角度来描述，而非实现者。职能描述了请求者需要
知道什么以便更好地利用特性或约束。描述要求完整，以便让请求者决定是否发出该请求，但又不能只
简短说明一个行为或值怎样获得或派生。含义起初是在术语表中用非格式化的自然语言来捕捉，它可以
用规范化语言优化为“前置条件”或“后置条件”描述。 |
| 消息： | 从一个对象发送到另一个对象的信息。消息包含处理职能的请求和简单的情报信息。 |
| 元模型： | IDEF1X97某个子集的元模型 Vm 是该子集中一些概念，通过使用 Vm 中的概念可建立一个有效的
实例，该实例描述了 Vm 本身。 |
| 方法： | 对特性值是如何组合在一起以产生一个结果的描述。 |
| 迁移属性： | 子实体的外键属性。[键式] |
| 迁移键： | 同：外键。 |
| 模型： | a) 忽略建模主题的某些方面后对事物的一种表示。这种忽略的目的是使模型的创建更易于处理，
使用更经济，并可以将精力集中于建模主题中那些对于达到建模目标的重要方面。例如，太
阳系精确模型可以预测行星串联何时发生和在某特定时刻月亮的相位。这样一个模型通常并
不能表现太阳的内部工作或每个行星的表面组成。
b) 一种理论解释，其理论的公理都是正确的。 |
| 模型词汇(表)： | 在模型视图中出现的所有概念的名称及其定义的集合。 |
| 多值： | 非函数映射。 |
| 多值特性： | 具有多值映射的特性。对照：单值特性。 |
| 多重继承： | 子类从多个父类继承职能的能力。 |
| 不定类： | 类中实例的集合不是固定的，其实例随时间而改变。 |
| 名称： | 用来标识某个模型构件的词或短语(如：类、职能、主域等等)。 |
| 命名约束： | 特定于某个模型的一个特定的约束，不是模型构件中固有的约束(如基数约束)。命名约束必须有明
确的命名，其含义用自然语言描述，其实现用规范语言来书写。 |
| 非标识关系： | 一种确定关系(不是多对多)，其中父实体的主键中包含的部分或所有属性，在子实体的主键中没有
出现。[键式] |
| 非固有关系： | 部分的、多值的，或者是可以变化的关系。 |
| 非键属性： | 实体中的一种属性，它不是主键或符合主键的一部分。 |
| 注释： | 一种自由文本形式的正文，对模型进行总的说明或对模型的某个部分进行具体的约束。在规范语言
中，注释在说明语言中描述约束之前的早期高层视图中使用，注释可以通过解释与实例进一步阐明某个
规则，注释也可以用来描述“一般重要性”的注释而不引入规则，模型视图也可以使用注释。 |
| 对象： | 同：实例。 |
| 对象标识符： | 对象(实例)标识的一种具体表示。对象标识符(oid)用于描述带标识的实例的例子，对标识的标记
形式化，支持编程语言或数据库系统中的标记。 |
| 对象模型： | 一种集成抽象，它把所有的活动看作是通过协同对象、数据以及数据上的操作来实现。对象模型在
捕获知识含义的同时，也捕获了职能抽象背后的对象行为。 |
| 一对多关系： | 两个状态类之间的一种关系，子类中每个实例要求与父类中至多一个实例产生关联。 |
| 操作： | 从类实例(向量)和输入参数类型实例到另一个输出参数类型的实例(向量)的映射。类操作指定了其
实例的行为。如果属性或参与特性是对一个实体性质的抽象，那么操作就是对实体行为的抽象。操作可
以实现输入和输出，能够改变属性和参与特性的值。每个操作都与类相关联，被认为是这个类的职能，
不存在同时表示多个类的联合职能的操作。 |
| 可选的： | 一个语法关键字，用以指定一个局部映射。 |
| 可选属性： | 对于某个实例可能没有值的属性。 |
| 可选非标识关系： | 一种非标识关系，其中，子实体的实例的存在与父实体无关。[键式] |
| 输出参数： | 没有被指定为输入参数的参数。当发出请求时，输出参数可能没有值。 |
| 重载： | 子类中特性的能力，用于重新规定具有相同名称的继承特性的实现方式，同时保留了相同的含义。 |
| 重载特性： | 子类具有与父类中相似的命名特性，它们具有相同的含义和符号，但实现方式不同。 |
| 自有属性： | 不是从其它实体迁移过来的属性。[键式] |
| 并列类： | 不同的且不相互排斥的两个类，有共同的类属先辈类，但彼此不互为类属先辈类。 |
| 参数化汇集类： | 一种汇集类，只能拥有指定类型类的实例。 |
| 父实体： | 具体关系中的一个实体，其实例可以与另一个实体(子实体)的许多实例相关联。[键式] |
| 部分的： | 一个不完全映射，即：某些实例可以没有相关的实例可以映射。一个属性可以声明为部分的，这意
味着它可能没有值。参与特性声明为部分关系句法中的可选项。当一个操作对某些实例没有意义时，也
可以声明为部分的，即：它可能不会给出答复或产生响应。 |
| 部分(聚)簇： | 一个子类簇，其中存在一个超类的实例不是任何子类的实例。 |
| 参与特性： | 状态类的一种特性，它反映了类的实例所参与的关系中类的知识。当两个状态类之间存在某种关联
时，每个类包含对于该关联的一个参与特性。参与特性是从一个状态类到另一个相关(不一定不同)状态
类的映射。每个参与特性的名称是在该关联中其它类所扮演的角色的名称，或是关联另一端类的名称(只
要使用的类名不会产生二义性)。参与特性的值是相关实例的标识。 |
| 路径判定： | 见：公共先辈约束。 |
| 后置条件： | 在成功请求一个特性后为真的状态。 |
| 前置条件： | 在产生一个特性请求前必须为真的状态。 |
| 主键： | 选做实体唯一标识的候选键。[键式] |
| 私有： | 只对类自身或类的接收实例(仅在类的方法中可用)可见的职能。 |
| 特性： | 固有的、与众不同的特征或特性，它表征了对象的知识和行为。定义了三种类型的特性：属性，由
于关联而产生的参与特性，操作。 |
| 保护： | 只对类自身或类的接收实例(仅在类或子类的方法中可用)可见的职能。 |
| 公有： | 不被隐藏的职能，即：对任何请求者(无限制，对所有的都可用)都是可见的。 |
| 只读： | 不引起状态改变的特性，即：不可更新。 |
| 实现： | 通过特定的运算法则和任何必须的表示特性表现接口的职能。实现描述了职能如何被满足，它是职
能方法的描述。实现可以包括表现的特性及运算方法，或者二者皆有。例如，属性只有表示方法而无运
算法则。运算是一个“纯运算法则”(即：无任何表示方法)，且仅使用文字表示；作为输入，它不会得
到任何取值。最终，一个派生的属性或操作同时具有运算法则和特性表示方法。 |
| 参照完整性： | a) 保证参考涉及一个已存在的对象；
b) 保证对于关联的所有特定的条件保持真。如果声明一个类“至少需要相关状态类的一个实例”，
那么，允许一个实例不具备这样的关联是无效的。 |
| (类的)反身先辈： | 类自身或任何其普通基类。另见：类属先辈。对照：先辈。 |
| 关系： | 在某个特定的范围和目的内，被认为是相关的两个类(不一定不同)之间的一种关联。在实例相关的
情况下命名关联。关系表现为两个状态类当前范围中实例间随时间变化的二元关系。 |
| 关系实例： | 相关类的特定实例的某种关联。 |
| 关系名称： | 动词或动词短语，用来反映关系的含义，在出现名字的图表中表示两个实体间的关系。 |
| 表示： | 为某个职能的实现，被某种运算法则使用的一个或多个特性。 |
| 表示特性： | 运算操作的特性。 |
| 请求： | 从一个对象(发送方)发送至另一个对象(接收方)的消息，要求接收方执行某个职能。特别地，请求
是为了获得属性值、参与特性值、操作的应用或约束的真实性。请求也包含这些请求语句。关于对象的
特性值和约束的逻辑语句用于查询、前置条件、后置条件和职能实现。 |
| 重限定： | 将实例从当前子类的实例改变为当前簇中其它子类中某个类的实例。 |
| 职能： | 特性(属性、参与特性和操作)和约束的概括。一个实例拥有知识、展现行为、遵守规则。这些集中
起来称为实例的职能。类抽象实例所共有的职能。职能可以应用于类(实例级)的每个实例或整个类(类
级)。 |
| 角色名称： | a) 对相关值类或状态类的本质的更明确的命名。对于某种关系，角色名称是类的名称，用于阐明
关系中类的参与特性，即：意味着由相关实例扮演的角色。对于某个属性，角色名称用于阐
明值类在类的上下文中作为特性的意义。
b) 分配给外键属性的一个名称，用以表示在实体中外键的作用。[键式] |
| 规则和约束语言： | 公布的特定语言，用于表达职能的实现和陈述问题。 |
| 样本实例图： | 一种实例举例的形式，其中实例表示为分离的图形对象。当只有少数的几个实例被提出时，实例的
图解描述是有用的。 |
| 样本实例表： | 一种实例举例的形式，其中实例表示为列表的方式。当有许多实例被提出时，实例的表格描述是有
用的。 |
| 标量： | 原子值，即：不可分割。 |
| 标量特性： | 见：标量值特性。 |
| 标量值类： | 类中的每个实例都只是一个单一值。 |
| 标量值特性： | 映射至标量值类的特性。 |
| 语义： | 语言句法组件的含义。 |
| 集(合)： | 一种汇集类，它没有重复成员且无序。 |
| 阴影类： | 在视图中出现，但在另一个视图中限定的类。 |
| 签名： | 职能的接口“像什么”的陈述。签名包含职能的名称，连同特性操作符和参数(如果存在)的数目及
类型。为了限制成为类的实例的参数值，可以为每个参数指定类型。 |
| 单值特性： | 具有单值映射的特性。 |
| 单值： | 同：函数。 |
| 限定： | 来自实例的改变，从当前类的实例转变为当前子类的一个或多个子类的实例。特定的实例得到一个
不同的底层类。 |
| 规范语言： | 见：规则和约束语言。 |
| 分离键： | 包含两个或多个属性的外键，其中至少有一个属性是实体主键的一部分，并且至少有一个属性不是
实体主键的一部分。[键式] |
| 状态类： | 表示一组具体或抽象的对象(人、地点、事件、观点、事物、结合物等等)的一种类，它们具有共同
的知识和行为。状态类的实例具有可变状态。状态类的构成实例可以出现或消失且可以随时间改变状态，
即：特性值可以改变。 |
| 静态模型： | 表述一组相互关联的类(或主域)及它们的关系和职能的模型。 |
| 子类： | 特定的一个或多个超类，子类的每个实例是每个超类的实例。子类说明了另外的、不同于超类的职
能或重载了超类职能以提供不同的实现。 |
| 子类簇： | a) 一个或多个广义结构的集合，其中子类共享相同的超类且超类的实例是不多于一个子类的实
例。当超类的实例是集合中唯一一个子类的实例，且子类的每个实例是超类的实例时，存在
簇；
b) 相同类属实体的一个或多个互斥规范组。[键式] |
| 子类职能： | 指定类的特性必须在其子类中被重载，即：特性的应用实现在该类中没有指定。作为子类职能的特
性，是子类某个接口的一种规范，每个子类都必须提供该接口。被指定为子类职能的特性，具有服从类
的子类的实现方式。 |
| 主(体)域： | 重要或专业区域。主域的职能是当前或潜在的命名类集合的职能集合。主域可以包含其它主域。主
域封装了视图的细节。 |
| 主(体)域职能： | 一个广义的概念，通过询问“一般而言，实例在主域中需要能够做什么和知道什么”才能发现。在
主域中，类和主域一起提供知识、行为和规则，这些构成了主题，这些概念共同地被称为主域的职能。
在分析的早期阶段，主域与子域或类没有明显的区分。 |
| 替换性： | 原则规定既然子类的每个实例是父类的实例，则子类的实例在任何上下文中父类的实例可接收的地
方也可接受。无论接收方是子类的实例还是父类的实例，发给实例的任何请求收到一个可用的响应。 |
| 子类型： | 同：子类。 |
| 超类： | 其实例可以被细化到一个或多个子类。 |
| 超类型： | 同：父类。 |
| 句法： | 语言和规则结构化的组件或特征，其中定义了将语言构件集成在一起形成语句的方法。 |
| 全部： | 一个完全映射。如果对于 D 中的每个 X，在 R 中至少存在一个 Y 且在 M 中至少存在一个[X，Y]
对与之对应，，则称从集合 D 到集合 R 的映射 M 是完全的。一个类的特性是完全的，意味着对于类的
每个实例存在一个值，除非它被明确地声明为部分的。 |
| 完全(聚)簇： | 一则子类聚簇，其中超类的每个实例必须是簇中至少一个子类的实例。 |
| 类型： | 见：类。 |
| 唯一约束： | 一种约束，类中不存在两个截然不同的实例在唯一约束中命名的特性的值上相一致。 |
| 非限定： | 实例修改，从簇中当前子类的实例改为簇中非子类实例。 |
| 可更新参数： | 指定标识请求发送到的实例的操作参数，来改变实例的状态。参数未被指定为“可更新的”，意味
着没有改变参数标识实例状态的请求。 |
| 值类： | 一种类，用于表示纯值实例。值类的组成实例不能出现或消失且不能改变状态。 |
| 值表约束： | 一种约束，用来指定值类所有可接受实例值的集合。 |
| 值域约束： | 一种约束，用来指定值类所有可接受实例值的集合，其中实例的值具有上界和/或下界。方位角便
是值域约束一个例子，取值在－180 到 180 之间。当存在线性有序规范时，范围约束才有意义。 |
| 变量： | 在书写时其标识不可知的一种实例。变量用标识表示，且第一个字母大写。 |
| 动词短语： | a) 关系标号的一部分，通过某种方式命名关系，使得语句由第一个类名、动词短语、基数表达式
和第二个类名或角色名组合而成。动词短语由主动语态表述。例如，语句“每个工程支助一个
或多个任务”来源于某种关系，“工程”第一个类，“任务”第二类且具有一个或多个基数，
“支助”动词短语。
b) 动词短语用来命名某种关系，它由动词和组成短语对象的词组组成。[键式] |
| 视图： | a) 主域、类、关系、职能、特性、约束和注释的集合，为某个目的和覆盖某个范围而聚簇和创建。
视图可以覆盖整个建模区域或仅仅是区域的某个部分。
b) 实例和指定的属性(域)的集合，为某个目的而聚簇。[键式] |
| 视图图(示)： | 视图根本语义的图形表示。 |
| 可见性： | 特性规范，“谁能看见”。即谁的方法会涉及特性。可见性或是私有的、或是保护的，或是公有的。 |
| 空格： | 不显示的格式化字符，如空格、tab 等等，这些嵌在自由文本中。 |