ITU-T X.904 AMD 1 SPANISH-2000
信息技术.开放分布式处理.参考模型:体系结构语义.修改件1:计算形式.X系列:数据网络和开放系统通信.开放分布式处理.7号研究组

Information technology - Open Distributed Processing - Reference Model: Architectural semantics Amendment 1 : Computational formalization

非常抱歉，我们暂时无法提供预览，您可以试试： 免费下载 ITU-T X.904 AMD 1 SPANISH-2000 前三页，或者稍后再访问。

如果您需要购买此标准的全文，请联系： 。

注意： 点击下载后，生成下载文件时间比较长，请耐心等待......

标准号

ITU-T X.904 AMD 1 SPANISH-2000

发布日期

2000年03月01日

实施日期

废止日期

无

中国标准分类号

L70

发布单位

IX-ITU

适用范围

Amendment 1 to ITU-T Rec. X.904/ISO/IEC 10746-4 refines and extends the ODP architecturai semantics with a formalization of the computational language of the Reference Model for ODP. The computational language of the RM-ODP provides for a description of ODP systems as collections of interacting objects. This Amendment formalizes the concepts and rules of the ODP computational language using different formai description techniques (LOTOS, SDL, Z and Estelle).