• 现行
  • 正在执行有效
  • 2001-12-15 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 10746-4:1998/Amd 1:2001 EN Information technology - Open Distributed Processing - Reference Model: Architectural semantics - Part 4: - Amendment 1: Computational fo_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 10746-4:1998/AMD 1:2001 EN
  • 标准名称：信息技术 开放式分布处理 参考模型：架构语义 第4部分： 修正案1：计算形式化
  • 英文名称：Information technology — Open Distributed Processing — Reference Model: Architectural semantics — Part 4: — Amendment 1: Computational formalization
  • 标准状态：现行
  • 发布日期：2001-12-15

文档简介

*定义了各种组件（如处理器、存储器、输入/输出设备等）以及它们的功能和接口。

*描述了系统中的通信机制，包括网络、消息传递和同步等。

*提供了对系统状态和行为的理解，包括其生命周期和动态行为。

*通过形式化方法，该标准将这些概念转化为可验证和可理解的数学模型，从而增强了系统的可预测性和可靠性。

*它还为系统设计者和开发者提供了一种强大的工具，以帮助他们理解系统的内部工作原理，并更好地设计和优化系统。

ISO/IEC10746-4:1998/Amd1:2001ENInformationtechnology—OpenDistributedProcessing—ReferenceModel:Architecturalsemantics—Part4:Amendment1:Computationalformalization是一个重要的标准，它为理解、设计和优化IT系统提供了深入的语义信息，通过形式化方法，使这些系统更加可靠和可预测。

人人文库> 全部分类> 行业资料 > 各类标准

温馨提示

  • 1. 本站所提供的标准文本仅供个人学习、研究之用，未经授权，严禁复制、发行、汇编、翻译或网络传播等，侵权必究。
  • 2. 本站所提供的标准均为PDF格式电子版文本（可阅读打印），因数字商品的特殊性，一经售出，不提供退换货服务。
  • 3. 标准文档要求电子版与印刷版保持一致，所以下载的文档中可能包含空白页，非文档质量问题。
  • 4. 下载后请按顺序安装Reader（点击安装）和FileOpen（点击安装）方可打开。详细可查看标准文档下载声明

最新文档

评论

0/150

提交评论