This recommendation/International Standard specifies an architectural semantics for ODP. This is required to: - provide formalization 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.
DS/ISO/IEC 10746-4-2000由丹麦标准化协会 DK-DS 发布于 2000-02-08,并于 1999-07-08 实施。
DS/ISO/IEC 10746-4-2000在国际标准分类中归属于: 35.100.01 开放系统互连(OSI)综合。
非常抱歉,我们暂时无法提供预览,您可以试试: 免费下载 DS/ISO/IEC 10746-4-2000 前三页,或者稍后再访问。
点击下载后,生成下载文件时间比较长,请耐心等待......
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号