| ·Ada编程支持环境(APSE)： | 是面向Ada软件整个生存期，为支持Ada应用软件(特别是嵌入式计算机应用软件)的开
发和维护的一组软硬件工具。主要特性是数据库、接口和工具集。 |
| ·Ada编程支持环境(APSE)公用接口集(CAIS)： | 是处于核心Ada编程支持环境(KAPSE)之上，为APSE提供服务的接口集。制定CAIS
的目的在于提高APSE的各种工具在源程序层次上的互操作性和可移植性。 |
| ·互操作性： | APSE以工具可用的形式交换数据库对象及其联系以及无需转换地交换用户程序的能
力。 |
| ·可移植性： | 工具被安装到不同的核心Ada编程支持环境上的能力，在两个APSE中，工具必须具有
相同的功能。可移植性是按无需重新编程就能完成这种安装的程度来衡量的。 |
| ·工具： | 用于帮助开发、测试、分析或维护其它计算机程序或其文档的计算机程序，例如自动设计
工具、编译器、测试工具和维护工具等。 |
| ·工具集： | 由大量独立但彼此有关的程序(诸如与特定编译器有关的调试器)组成的工具组。 |
| ·节点： | 与APSE有关的实体在CAIS中的表示。 |
| ·联系： | CAIS节点模型中有向图的边，该边从一个源节点发出终止于一个目标节点。联系是关系
的实例。联系分主联系和辅联系。 |
| ·属性： | 与一个节点或联系相联系的由属性名命名的值。它提供有关节点或联系的信息，诸如节点
种类或进程的调用参数等，该值是-个表。 |
| ·节点种类： | 指示目标节点种类的每个联系的预定义属性；属性值为STRUCTURAL、PROCESS或
FILE。 |
| ·文件节点： | 包含Ada外部文件的节点，例如宿主系统文件、设备或队等。 |
| ·进程节点： | 其内容代表-个CAIS进程的节点。 |
| ·结构节点： | 无内容的节点。结构节点严格用于联系和属性的裁体。 |
| ·程序： | 程序由大量编译单元组成，其中一个是称做主程序的子程序。 |
| ·进程： | Ada程序(包括它的所有任务)的执行。 |
| ·初始化： | 使一个程序投入运行。CAIS中，它意味着，创建进程节点创建作为进程节点的内容的进
程，给出程分配所需资源，然后进程开始执行。 |
| ·初始化进程： | 使-个程序投入运行的进程。 |
| ·进程的终止： | 作为进程主程序的子程序执行的终止。 |
| ·源节点： | 联系发出的节点。 |
| ·目标节点： | 联系终止的节点。 |
| ·关系： | CAIS节点模型中，共享同-名字的联系类。 |
| ·关系名： | 标识-个关系的串。 |
| ·联系关键字： | 使一个联系区别于发自于同一节点具有相同关系名的其它联系。 |
| ·联系关键字命名符： | 联系关键字指定到接口的方式。有两种形式的联系关键字命名符：一个标识符(或空串)，
或串“#”及冠以标识符前缀的任选项。 |
| ·关键字： | 见联系关键字。节点的关键字是节点的路径名的最后路径元素的联系关键字。 |
| ·空关键字： | 由空串表示的单个关键字。 |
| ·最后关键字： | 给定一个节点，对于具有相同关系名和初始联系关键字字符序列的关键定，按词典顺序自
动赋值的关键字的最后部分。 |
| ·联系的穿越： | 从节点发出的联系的穿越。 |
| ·主联系： | 在节点创建过程中从现存节点到新创建节点之间建立的初始联系，节点的存在是由到该
节点的主联系的存在决定的。 |
| ·可获得的： | 如果一个节点已被创建且其主联系没被删除，则该节点是可获得的。 |
| ·不可获得的： | 如果一个节点不是任何主联系的目标节点，则该节点是不可获得的。 |
| ·不存在节点： | 从未创建的节点。 |
| ·辅联系： | 在两个现存节点间建立的任意连接。 |
| ·跟踪： | 无论联系的任何变化(这种变化可能使得路径名变为非法的或指向不同节点)，一个打开
的节点开关或辅联系总是保证指向同一节点，打开节点开关称为跟踪它指向的节点。类似地，
辅联系跟踪它们的目标节点。 |
| ·可继承的： | 辅联系的一个特性，它描述当它发出的节点被复制时，它是否被复制。 |
| ·系统级节点： | CAIS主联系树的根，该树遍历整个节点结构。 |
| ·顶层节点： | 其父节点是系统级节点的节点，可以是代表用户或组的结构节点以及代表设备的文件节
点。 |
| ·用户： | 一个个体、项目或其它组织实体。CAIS中，每个用户都与一个顶层节点相联系。 |
| ·用户名： | 预定义关系USER的主联系的关键字。 |
| ·设备： | 一个设备或机制，它被设计为起一个特殊目的的或执行一个特殊功能。 |
| ·设备名： | 预定义关系DEVICE的主联系的关键字。 |
| ·根进程节点： | 用户注册到APSE或通过CREATE＿JOB接口创建新作业时创建的初始进程节点。 |
| ·依赖进程： | 非根进程的进程。 |
| ·作业： | 当为用户初始化其它(依赖)进程时，在根进程节点之下由主联系扩展的进程节点树。 |
| ·当前作业： | 包含当前进程书点的进程节点树，该树的根进程节点是预定义关系CURRENT JOB的辅
联系的目标节点。 |
| ·当前用户： | 用户顶层节点，它是预定义关系CURRENT＿USET的辅联系的目标节点。 |
| ·当前节点： | 当前进程当前活动的中心或上下关系，此节点是预定义关系CURRENT＿USER的辅联
系的目标节点。 |
| ·基节点： | 用作起始点的节点，通常用于路径无素或路径名。 |
| ·当前进程： | 产生对CAIS操作调用的当前执行进程。在当前进程的上下关系中解释路径名。 |
| ·单一主路径名： | 与特定主路径相联系的路径名。 |
| ·路径名： | 是路径的名字，它由路径中被穿越联系的名字按被穿越顺序的连接组成。 |
| ·路径元素： | 表示穿越一个单个联系的路径名的一部分，它由关系名和联系关键字组成。 |
| ·节点识别： | 识别节点的方法。CAIS中，节点识别是由路径名或捂定一个基节点和从基节点发出的联
系的识别(借助它的关系名和联系关键字命名符)来提供的。 |
| ·非法识别： | 所包含的路径名、联系关键字或关系名对于路径名的BNF定义的的语法是语法非法的节
点识别。 |
| ·节点穿越： | 从节点发出的联系的穿越。 |
| ·联系识别： | 识别联系的方法。CAlS中，联系的识别是由指定发出联系的基节点、联系的关系名和用
联系关键字命名符表示的联系关键字提供的。 |
| ·访问： | 主客体间一种特定的作用，它导致信息从一方流向另一方。 |
| ·访问控制： | (1)自由选择访问控制：基于主体与主体所属组的身份来限制对客体访问的手段。控制在
这种意义上是自由的，即具有某种访问许可的主体可将许可(可能间接地)传给任何其它主体
(除非受强制访问控制限制。
(2)强制访问控制：基于客体所包含信息的灵敏度(如标记所表示)来限制对客体访问的手段。 |
| ·访问权限： | 所允许的进程对节点执行操作种类的描述。 |
| ·访问检查： | 对访问权限进行的判定。按预期操作所需权限对其检查，或允许或拒绝访问操作。 |
| ·客体： | 包含或接收信息的被动实体。对一个对象的访问隐含对它包含信息的访问。CAIS中，对
象是任何要被访问的节点。 |
| ·主体： | 活动实体，一般形式为个人、进程或设备，它使得信息在客体问流动或改变系统状态。
CAIS中，主体是执行要求访问客体操作的任何进程(代表一个给定用户)。 |
| ·访问权限约束： | 访问控制对某种操作所施于的限制。 |
| ·不可访问的： | 当前进程没有足够的自由访问控制权限去获知节点的存在，或强制访问控制防止信息流
从该节点流向当前进程。 |
| ·访问节点： | 读写节点内容和属性，读写从节点发出的联系的内容和属性，穿越由路径名隐含的节点。 |
| ·组： | 用户集。CAIS中，组用组节点表示。 |
| ·组节点： | 代表一个组的结构节点。该节点可发出到其它组节点的预定义关系POTENTIAL
MEMBER和DOT的联系。 |
| ·组名： | 从系统级节点发出的预定义关系GROUP的主联系的关键字或从进程节点发出的预定义
关系GROOP的辅联系的关键字。 |
| ·访问联系： | 预定义关系AECESS的联系。 |
| ·角色： | 一个角色与一个组节点相联系。它是预定义关系ACCESS的所有联系(称为访问联系)
集，该联系从某些节点的发出，终止于组节点或从组节点出发由预定义关系PARENT的辅联
系递归可达的任何组节点。 |
| ·缺省组节点： | 是预定义关系DEFAULT＿ROLE的辅联系的目标节点的组节点，该辅联系或始于(i)顶
层用户节点或(ii)表示程序的可执行映象。没有一个节点可有多个缺省组节点。 |
| ·潜在成员： | 可动态获得另一个组成员资格的组。CAIS中，如果从代表组的节点只穿越预定义关系
DOT和POTENTIAL＿MEMBER可达某组节点，则称该组节点为组的潜在成员。 |
| ·接受角色： | 进程获得访问权限的过程，该访问权限已经或将要授予角色接受者。CAIS中，它是由建
立从进程节点到代表角色的组节点之间的预定义关系ADOPTED＿ROLE的辅联系实现的。 |
| ·拒组角色： | 进程释放它所接受的角色(除了当前用户角色)的活动。CAIS中，它是由删除从进程节点
到代表角色组节点的预定义关系ADOPTED＿ROLE的辅联系实现的。 |
| ·可访问的： | 如果作为主体的当前进程具有充分的自由访问权限获知作为客体的节点的存在且强制访
问控制允许作为主体的当前进程获知作为客体的节点的存在，则节点是可访问的。CAIS中，
如果当前进程至少已经(接受一个角色，该角色已经)被授予到某节点的访问权限EXIS＿
TENCE且强制访问控制允许进程获知节点的存在，则节点是可访问的。 |
| ·授予的访问权限： | 它是其名字出现在GRANT属性值的任何授予项的结果权限表中的访问权限，对于该值
(1)没给出必须权限或(2)必须权限名所批准的访问权限(对本定义应用有限递归条件)。 |
| ·保密级： | 表示信息灵敏度的层次分类和非层次种类集的联合。 |
| ·节点开关： | 类型NODE＿TYPE的Ada对象，它用于为访问、删除或创建操作指定一个CAIS节点，
它对一个进程是内部的。 |
| ·选代项： | 对于节点上的选代(节点迭代项)或属性上的迭代(属性选代项)提供必须的记录信息的变量。 |
| ·打开的节点开关： | 与一个特定节点相联系的节点开关。不是打开的节点开关不能用来访问任何节点。 |
| ·关闭的节点开关： | 不与一个特定节点相联系的节点开关。关闭的节点开关不能用于访问任何节点。 |
| ·元素： | 初始化输入输出包的类属数据类型的值。 |
| ·内部文件： | 对CAIS进程是内部的文件。这种文件由一个文件开关标识。 |
| ·外部文件： | 从程序外部环境输入的值或输出到环境的值，称该值组成外部文件。外部文件可以是程序
之外的任何东西，该程序产生一个待读值或接收一个待写值。 |
| ·文件开关： | 用于确定-个内部文件的类型FILE＿TYPE的-个对象。 |
| ·打开的文件开关： | 与一个特定文件相联系的文件开关。不是打开的文件开关不能用于访问任何节点。 |
| ·辅存文件： | 代表磁盘或其它随机访问存贮文件的外部文件。 |
| ·队文件： | 代表信息序列的外部文件，以先进先出方式访问该文件。CAIS中有三种队文件：单队、复制队和模拟队文件。 |
| ·磁带驱动文件： | 代表磁带驱动的外部文件。 |
| ·终端文件： | 代表交互式终端设备的外部文件。CAIS中有三种终端文件：移动显示终端、页终端和格
式终端文件。 |
| ·队： | 以先进先出方式访问的表。 |
| ·单队： | 该队初始为空，所有写操作将信息增加到队的尾端，所有读操作都是破坏性的。 |
| ·复制队： | 该队初始内容与某文件的内容相同，所有写操作将信息增加到队尾端，所有读操作都是破
坏性的。 |
| ·模拟队： | 该队初始内容与一辅存文件的内容相同且与该文件相互依赖，所有写操作将信息增加到
文件和队的尾端，对队的所有读操作都是破坏性的。 |
| ·配合文件： | 用于初始化一个模拟队文件的辅存文件(包括正文或顺序元素)，它与模拟队文件是相互
依赖的。 |
| ·同步队： | 不包含元素的队。直到完成对队的读操作，对该队的写操作才结束。 |
| ·异步队： | 允许存在独立于任何读操作的一定数目（依赖于实现）的写操作的队。 |
| ·位置： | 输出设备中的一处。可在此处图形显示单个、可打印的ASCⅡ码字符。 |
| ·活动位置： | 终端设备上要执行操作的位置。 |
| ·推进活动位置： | 对于移墋显示终端、页终端或格式终端：出现于以下情况(i)新位置行号大于旧位置行号或(ii)新位置行号等于旧位置行号，但新位置列号小于旧位置列号。 |
| ·同步： | 将写到由移动显示终端或页终端文件开关标识的内部文件的所有数据传送到与终端文件开关相联系的文件节点的内容中。 |
| ·格式： | 字条位置的二维矩阵。 |
| ·起始位置： | 格式终端的起始位置是第一行、第一列标识的位置。 |
| ·终止位置： | 格式终端是终止位置的最高行、最高列标识的位置。 |
| ·限定域： | 格式中共享一个公共特性集的邻近位置组。 |
| ·域限定符： | 指示限定域开始的命名符。 |
| ·表： | 数据项的有序集。CAIS中，是类型LIST_TYPE的实体，其值为数据元素的线性有序集或为空。 |
| ·表项： | 表中的数据元素。 |
| ·线性表： | 称作表项的数据元素的线性有序集。 |
| ·空表： | 无项的线性表，它既不是有名表，也不是无名表。 |
| ·项值： | 与一个表项联系的值。项值可有五种：串、整数、浮点数、标识符和线性表。 |
| ·项名： | 与一个表项相联系的名定。 |
| ·无名项： | 没有项名的表项。 |
| ·有名表： | 只包含有名项的非空线性表。 |
| ·无名表： | 只包含无名项的非空线性表。 |
| ·标记： | 可作为一个表项操作的表项标识符值的内部表示。 |
| ·标识符正文： | 表项标识符值的外部表示。 |
| ·无定义标记： | 类型TOKEN_TYPE的变量的特定值，它代表该变量的无定义值。 |
| ·嵌入子表： | 线性表的线性表项称为包含表项的线性表的嵌入式子表。 |
| ·嵌入表结构： | 线性表连同它的所有嵌入式子表（以及它们的嵌入式子表，递旧包括所有嵌入式子表）。 |
| ·当前线性表： | 表结构中的线性表，线性表操作隐含针对该表。恰好有一个当前线性表与每个LIST_TYPE值相联系。 |
| ·规范表正文表示： | 将一个表的表示转换为一个表正文的结果。 |
| ·附注： | 由实现施加一约束，它们不由CAIS的语法或语义定义。 |