美利体育登录入口官网:ISO/IEC 10746-4:1998
信息技术.开放分布式处理.参考模型:体系结构语义
Information technology - Open distributed processing - Reference model: Architectural semantics
- 标准号
- ISO/IEC 10746-4:1998
- 发布
- 1998年
- 国际标准分类(ICS)
- 35.100.01 开放系统互连(OSI)综合
- 总页数
- 34页
- 发布单位
- 国际标准化组织
- 替代标准
- ISO/IEC 10746-4:1998/Amd 1:2001
- 当前最新
- ISO/IEC 10746-4:1998/Amd 1:2001
- 引用标准
- ISO/IEC 13568 ISO/IEC 9074:1997 ISO/IEC TR 10167:1991
- 本体
- 参考模型 开放分布式处理
- 适用范围
- 分布式处理的快速增长导致需要一个用于开放分布式处理 (ODP) 标准化的协调框架。 ODP 的这个参考模型提供了这样一个框架。 它创建了一个架构，其中可以集成对分发、互通、互操作性和可移植性的支持。 开放式分布式处理的基本参考模型 (RM-ODP)（参见 ITU-T 建议书 X.901 至 X.904 | ISO/IEC 10746）基于源自当前分布式处理开发的精确概念，并且到目前为止尽可能使用形式化描述技术来规范架构。 RM-ODP 包括： ——ITU-T Rec. X.901 | ISO/IEC 10746-1：概述：包含 ODP 的动机性概述，提供关键概念的挖掘、论证和解释，以及 ODP 架构的概述。 这部分不规范。 - ITU-T 建议书。 X.902 | ISO/IEC 10746-2：基。喊ㄈ我猓┓植际酱硐低彻娣痘枋龅母拍疃ㄒ、分析框架和符号。 这仅达到足以支持 ITU-T Rec. 的详细程度。 X.903 | ISO/IEC 10746-3 并建立新规范技术的要求。 本部分为规范性内容。 - ITU-T 建议书。 X.903 | ISO/IEC 10746-3：架构：包含使分布式处理具有开放性所需特征的规范。 这些是 ODP 标准必须遵守的约束。 它使用 ITU-T Rec. 中的描述技术。 X.902 | ISO/IEC 10746-2。 本部分为规范性内容。 - ITU-T 建议书。 X.904 | ISO/IEC 10746-4：架构语义：包含 ITU-T Rec. 中定义的 ODP 建模概念的形式化。 X.902 | ISO/IEC 10746-2，第 8 条和第 9 条，以及 ITU-T Rec. 的视点语言的形式化。 X.903 | ISO/IEC 10746-3。 形式化是通过根据不同标准化形式描述技术的构造解释每个概念来实现的。 本部分为规范性内容。 本建议书的目的 |国际标准是为ODP提供架构语义。 这实质上采取了对 ITU-T Rec. 的基本建：凸娣陡拍畹慕馐偷男问。 X.902 | ISO/IEC 10746-2 和 ITU-T Rec. 的视点语言X.903 | ISO/IEC 10746-3，使用不同形式规范语言的各种功能。 架构语义是用四种不同的形式规范语言开发的：LOTOS、ESTELLE、SDL 和 Z。 结果是 ODP 架构的形式化。 通过迭代开发和反馈的过程，提高了 ITU-T Rec. 的一致性。 X.902 | ISO/IEC 10746-2 和 ITU-T 建议书。 X.903 | ISO/IEC 10746-3。 架构语义提供了额外的好处： ——协助 ODP 系统的形式描述的健全和统一的开发； ——允许对不同形式规范语言中同一标准的形式描述进行统一和一致的比较。 而不是提供 ITU-T Rec. 的所有概念的映射。 X.902 | ISO/IEC 10746-2，本建议书|国际标准侧重于最基本的。 通过根据基本 ODP 概念进行定义，可以间接提供更高级别架构概念的语义。 本报告中一些正式规范语言的使用示例可以在 TR 10167（ESTELLE、LOTOS 和 SDL 应用指南）中找到。 在以下各节中，概念按照 ITU-T Rec. 中使用的方案进行编号。 X.902 | ISO/IEC 10746-2。 此建议|国际标准指定了 ODP 的架构语义。 这是为了： ——提供 ODP 建模概念的形式化； ——协助分布式系统标准的正式描述的健全和统一的发展； ——充当 ODP 建模概念和语义之间的桥梁
| 术语 | 描述 |
|---|---|
| 实例化 instantiation | LOTOS 中过程定义的实例，可被唯一引用。 |
| 对象 object | LOTOS 中过程定义的实例，可被唯一引用。 |
| 环境 environment | 模型中不属于对象的部分。在 LOTOS 中，对象的环境由规范的环境及与该对象组合的其他行为表达式组成。 |
| 动作 action | 在 LOTOS 中建模为内部事件或可观察事件。所有事件都是原子的。 |
| 接口 interface | 对象行为的抽象，由该对象的可观察动作子集组成。 |
| 活动 activity | 具有单个头的有向无环图，其中每个节点代表系统状态，每条弧代表一个动作。 |
| 对象行为 behaviour of an object | 由与构成对象模板的过程定义相关联的行为表达式定义。 |
| 对象状态 state of an object | 决定对象可参与的所有动作序列的条件。 |
| 通信 communication | 在两个或多个交互对象之间传递信息（通过值传递）。 |