首页 馆藏资源 舆情信息 标准服务 科研活动 关于我们
现行 ISO/IEC 10746-4:1998
到馆阅读
收藏跟踪
购买正版
Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4: 信息技术——开放分布式处理——参考模型:架构语义
发布日期: 1998-12-20
分布式处理的快速发展导致需要一个协调框架来实现分布式处理的标准化 开放分布式处理(ODP)。ODP的这个参考模型提供了这样一个框架。它创造了一个 体系结构,在其中可以集成对分发、互通、互操作性和可移植性的支持。 开放分布式处理(RM-ODP)的基本参考模型(见ITU-T Recs.X.901至X.904 | ISO/IEC) 10746),基于当前分布式处理发展中的精确概念,并尽可能, 使用形式化描述技术来规范体系结构。 RM-ODP包括: ? ITU-T Rec.X.901 | ISO/IEC 10746-1:2YHUYLHZ:|包含ODP给予的动机概述 关键概念的挖掘、论证和解释,以及ODP架构的概述。 这部分是 不规范。 ? ITU-T Rec.X.902 | ISO/IEC 10746-2:)RXQGDWLRQV:u包含概念和 (任意)分布式处理规范化描述的分析框架和符号 系统。这仅在足以支持ITU-T Rec.X.903 | ISO/IEC 10746-3和 制定新规范技术的要求。这一部分是规范性的。 ? ITU-T Rec.X.903 | ISO/IEC 10746-3:$UFKLWHFWXUH:包含所需 使分布式处理具有开放性的特征。这些是ODP需要遵守的约束条件 标准必须符合。它使用了ITU-T Rec.X.902 | ISO/IEC 10746-2中的描述技术。 这一部分是规范性的。 ? ITU-T建议X.904 | ISO/IEC 10746-4:$UFKLWHFWXUDO_6HPDQWLFV: _包含ODP的正式化 ITU-T Rec.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 Rec.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建模概念和规范语义模型之间的桥梁 语言:LOTOS、SDL、ESTELLE和Z; ? 为同一标准的正式描述之间的统一和一致比较提供基础 在用于开发体系结构语义的规范语言中。 这一部分是规范性的。
The rapid growth of distributed processing has lead to a need for a coordinating framework for the standardization of Open Distributed Processing (ODP). This Reference Model of ODP provides such a framework. It creates an architecture within which support of distribution, interworking, interoperability and portability can be integrated. The Basic Reference Model of Open Distributed Processing (RM-ODP), (see ITU-T Recs. X.901 to X.904 | ISO/IEC 10746), is based on precise concepts derived from current distributed processing developments and, as far as possible, on the use of formal description techniques for specification of the architecture. The RM-ODP consists of: ? ITU-T Rec. X.901 | ISO/IEC 10746-1: 2YHUYLHZ:_ Contains a motivational overview of ODP giving scooping, justification and explanation of key concepts, and an outline of ODP architecture. This part is not normative. ? ITU-T Rec. X.902 | ISO/IEC 10746-2: )RXQGDWLRQV:_ Contains the definition of the concepts and analytical framework and notation for normalized description of (arbitrary) distributed processing systems. This is only to a level of detail sufficient to support ITU-T Rec. X.903 | ISO/IEC 10746-3 and to establish requirements for new specification techniques. This part is normative. ? ITU-T Rec. X.903 | ISO/IEC 10746-3: $UFKLWHFWXUH: Contains_ the specification of the required characteristics that qualify distributed processing as open. These are the constraints to which ODP standards must conform. It uses the descriptive techniques from ITU-T Rec. X.902 | ISO/IEC 10746-2. This part is normative. ? ITU-T Rec. X.904 | ISO/IEC 10746-4: $UFKLWHFWXUDO_6HPDQWLFV:_Contains a formalisation of the ODP modeling concepts defined in ITU-T Rec. X.902 | ISO/IEC 10746-2, clauses 8 and 9, and a formalisation of the viewpoint languages of ITU-T Rec. X.903 | ISO/IEC 10746-3. The formalisation is achieved by interpreting each concept in terms of the constructs of the different standardized formal description techniques. This part is normative. The purpose of this Recommendation | International Standard is to provide an architectural semantics for ODP. This essentially takes the form of an interpretation of the basic modeling and specification concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2 and viewpoint languages of ITU-T Rec. X.903 | ISO/IEC 10746-3, using the various features of different formal specification languages. An architectural semantics is developed in four different formal specification languages: LOTOS, ESTELLE, SDL and Z. The result is a formalization of ODP's architecture. Through a process of iterative development and feedback, this has improved the consistency of ITU-T Rec. X.902 | ISO/IEC 10746-2 and ITU-T Rec. X.903 | ISO/IEC 10746-3. An architectural semantics provides the additional benefits of: ? assisting the sound and uniform development of formal descriptions of ODP systems; and ? of permitting uniform and consistent comparison of formal descriptions of the same standard in different formal specification languages. Rather than provide a mapping from all the concepts of ITU-T Rec. X.902 | ISO/IEC 10746-2, this Recommendation | International Standard focuses on the most basic. A semantics for the higher level architectural concepts is provided indirectly through their definition in terms of the basic ODP concepts. Examples of the use of some of the formal specification languages in this report can be found in TR 10167 (Guidelines for the Application of ESTELLE, LOTOS and SDL). In the following clauses, the concepts are numbered in accordance with the scheme used in ITU-T Rec. X.902 | ISO/IEC 10746-2. This Recommendation | International Standard specifies an architectural semantics for ODP. This is required to: ? provide formalisation of the ODP modelling concepts; ? assist sound and uniform development of formal descriptions of standards for distributed systems; ? act as a bridge between the ODP modelling concepts and the semantic models of the specification languages: LOTOS, SDL, ESTELLE and Z; ? provide a basis for uniform and consistent comparison between formal descriptions of the same standard in specification languages that are used to develop an architectural semantics. This part is normative.
分类信息
关联关系
研制信息
归口单位: ISO/IEC JTC 1/SC 7
相似标准/计划/法规
现行
ITU-T X.903
Information technology - Open distributed processing - Reference Model: Architecture
信息技术.开放分布式处理.参考模型:体系结构
1995-11-21
现行
BS ISO/IEC 10746-2-2009
Information technology. Open distributed processing. Reference model: Foundations
信息技术 开放分布式处理 参考模型:基础
2011-11-30
现行
BS ISO/IEC 10746-1-1998
Information technology. Open distributed processing. Reference model-Overview
信息技术 开放分布式处理 参考模型 概述
1999-10-15
现行
ITU-T X.902
Information technology - Open distributed processing - Reference Model: Foundations
信息技术.开放分布式处理.参考模型:基础
1995-11-21
现行
BS ISO/IEC 10746-3-2009
Information technology. Open distributed processing. Reference model: Architecture
信息技术 开放分布式处理 参考模型:架构
2011-11-30
现行
ITU-T X.901
Information technology - Open Distributed Processing - Reference Model: Overview
信息技术.开放分布式处理.参考模型:概述
1997-08-09
现行
ISO/IEC 15414-2015
Information technology — Open distributed processing — Reference model — Enterprise language
信息技术 - 开放分布式处理 - 参考模型 - 企业语言
2015-04-01
现行
GOST R ISO/IEC 15414-2017
Информационные технологии. Открытая распределенная обработка. Эталонная модель. Язык описания предприятия
信息技术 开放分布式处理 参考模型企业语言
现行
BS ISO/IEC 15414-2015
Information technology. Open distributed processing. Reference model. Enterprise language
信息技术 开放分布式处理 参考模型 企业语言
2015-04-30
现行
ITU-T X.911
Information technology - Open distributed processing - Reference model - Enterprise language
信息技术.开放分布式处理.参考模型.企业语言
2005-05-14
现行
AS/NZS ISO/IEC 15414-2003
Information technology - Open distributed processing - Reference model - Enterprise language
信息技术.开放分布式处理.参考模型.企业语言
2003-06-16
现行
ITU-T X.904
Information technology - Open Distributed Processing - Reference Model: Architectural Semantics
信息技术.开放分布式处理.参考模型:体系结构语义
1997-12-12
现行
GOST R ISO/IEC 10746-2-2000
Информационная технология. Взаимосвязь открытых систем. Управление данными и открытая распределенная обработка. Часть 2. Базовая модель
信息技术 开放分布式处理 参考模型
现行
ISO/IEC 10746-1-1998
Information technology — Open Distributed Processing — Reference model: Overview — Part 1:
信息技术——开放分布式处理——参考模型:概述
1998-12-20
现行
ISO/IEC 10746-2-2009
Information technology — Open distributed processing — Reference model: Foundations — Part 2:
信息技术——开放分布式处理——参考模型:基础
2009-12-15
现行
ISO/IEC 10746-3-2009
Information technology — Open distributed processing — Reference model: Architecture — Part 3:
信息技术——开放分布式处理——参考模型:体系结构
2009-12-15
现行
GB/T 18714.2-2002
信息技术 开放分布式处理 参考模型 第2部分:基本概念
Information technology--Open Distributed Processing--Reference model--Part 2:Foundations
2002-05-08
现行
GB/T 18714.3-2003
信息技术 开放分布式处理 参考模型 第3部分:体系结构
Information technology--Open distributed processing--Reference model--Part 3:Architecture
2003-11-24
现行
GB/T 18714.1-2002
信息技术 开放分布式处理 参考模型 第1部分:概述
Information technology--Open Distributed Processing--Reference model--Part 1:Overview
2002-05-08
现行
GOST R ISO/IEC 10746-1-2004
Информационная технология. Открытая распределенная обработка. Базовая модель. Часть 1. Основные положения
信息技术 开放分布式处理 参考模型概述