ISO/IEC 10746-4:1998
信息技术.开放分布式处理.参考模型:体系结构语义

Information technology - Open distributed processing - Reference model: Architectural semantics


标准号
ISO/IEC 10746-4:1998
发布
1998年
发布单位
国际标准化组织
替代标准
ISO/IEC 10746-4:1998/Amd 1:2001
当前最新
ISO/IEC 10746-4:1998/Amd 1:2001
 
 
适用范围
分布式处理的快速增长导致需要一个用于开放分布式处理 (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 建模概念和语义之间的桥梁

ISO/IEC 10746-4:1998相似标准


推荐


谁引用了ISO/IEC 10746-4:1998 更多引用





Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号