美利体育登录入口官网:CAN/CSA-ISO/IEC 10746-4:2001
信息技术 开放式分布式处理 参考模型：架构语义学
Information Technology - Open Distributed Processing - Reference Model: Architectural Semantics
- 标准号
- CAN/CSA-ISO/IEC 10746-4:2001
- 发布
- 2001年
- 国际标准分类(ICS)
- 35.100.01 开放系统互连(OSI)综合
- 总页数
- 38页
- 发布单位
- 加拿大标准协会
- 当前最新
- CAN/CSA-ISO/IEC 10746-4:2001
- 引用标准
- ISO/IEC 13568 ISO/IEC 9074:1997 ISO/IEC TR 10167:1991
- 本体
- 参考模型 开放分布式处理
- 适用范围
- 分布式处理的快速增长导致需要建立一个协调框架来标准化开放分布式处理（ODP）。该 ODP 参考模型提供了这样的框架。它在其中可以集成对分布、互操作、互连性和可移植性支持的架构。开放分布式处理的基本参考模型（RM-ODP）基于源自当前分布式处理发展的精确概念，并尽可能使用形式化描述技术来规范架构。RM-ODP 包括：ITU-T 建议 X.901 | ISO/IEC 10746-1：概述：包含 ODP 的动机概述，提供范围、理由和关键概念的解释，以及 ODP 架构的概述。此部分非规范性。ITU-T 建议 X.902 | ISO/IEC 10746-2：基。喊拍詈头治隹蚣艿亩ㄒ，以及用于规范化描述（任意）分布式处理系统的符号。此部分仅详细到足以支持 ITU-T 建议 X.903 | ISO/IEC 10746-3 并建立新规范技术要求的程度。此部分是规范性的。ITU-T 建议 X.903 | ISO/IEC 10746-3：架构：包含使分布式处理成为开放的所需特征的规范。这些是 ODP 标准必须遵守的约束。它使用来自 ITU-T 建议 X.902 | ISO/IEC 10746-2 的描述技术。此部分是规范性的。ITU-T 建议 X.904 | ISO/IEC 10746-4：架构语义：包含对 ITU-T 建议 X.902 | ISO/IEC 10746-2 第 8 和第 9 节中定义的 ODP 建模概念的形式化，以及对 ITU-T 建议 X.903 | ISO/IEC 10746-3 中视点语言的形式化。形式化是通过将每个概念解释为不同标准化形式化描述技术构造的结果来实现的。此部分是规范性的。本建议/国际标准的目的是为 ODP 提供架构语义。这本质上是对 ITU-T 建议 X.902 | ISO/IEC 10746-2 的基本建：凸娣陡拍钜约 ITU-T 建议 X.903 | ISO/IEC 10746-3 的视点语言的解释，使用各种形式化规范语言的不同功能。在四种不同的形式化规范语言中开发了架构语义：LOTOS、ESTELLE、SDL 和 Z。结果是 ODP 架构的形式化。通过迭代开发和反馈过程，这提高了 ITU-T 建议 X.902 | ISO/IEC 10746-2 和 ITU-T 建议 X.903 | ISO/IEC 10746-3 的一致性。架构语义提供了额外的益处：协助 ODP 系统形式化描述的健全和统一开发；以及允许在不同形式化规范语言中对同一标准的形式化描述进行统一和一致的比较。本建议/国际标准并非提供从 ITU-T 建议 X.902 | ISO/IEC 10746-2 的所有概念进行映射，而是专注于最基本的概念。高级架构概念的含义通过其基于基本 ODP 概念的定义间接提供。本报告中使用一些形式化规范语言的示例可在 TR 10167（ESTELLE、LOTOS 和 SDL 的应用指南）中找到。在以下条款中，概念按照 ITU-T 建议 X.902 | ISO/IEC 10746-2 中使用的方案进行编号。本建议/国际标准规定了 ODP 的架构语义。这是必需的：提供 ODP 建模概念的形式化；协助分布式系统标准形式化描述的健全和统一开发；充当 ODP 建模概念与规范语言（LOTOS、SDL、ESTELLE 和 Z）的语义模型之间的桥梁；为在不同规范语言中开发的同一标准的形式化描述提供统一和一致的比较基础。此部分是规范性的。
| 术语 | 描述 |
|---|---|
| 对象 Object | 在 LOTOS 中，是过程定义的一个实例，可以被唯一引用。 |
| 对象的环境 Environment of an Object | 模型中不属于对象的部分。在 LOTOS 中，指规范的环境以及在该时间点与对象组合的其他行为表达式。 |
| 动作 Action | 在 LOTOS 中建模为内部事件或可观察事件。所有事件都是原子的。 |
| 接口 Interface | 对象行为的抽象，由该对象的可观察动作子集组成。 |
| 活动 Activity | 一个单向有向无环图，其中每个节点代表系统状态，每条弧代表一个动作。 |
| 对象的行为 Behaviour of an Object | 由与构成对象模板的过程定义相关联的行为表达式定义。 |
| 对象的状态 State of an Object | 决定对象可以参与的所有动作序列的条件。 |
| 通信 Communication | 两个或多个交互对象之间（通过值传递）的信息传输。 |