• 现行
  • 正在执行有效
  • 2018-07-16 颁布
©正版授权
注：本标准为国际组织发行的正版标准，下载后为完整内容；本图片为程序生成，仅供参考，介绍内容如有偏差，以实际下载内容为准
【正版授权-英语版】 ISO/IEC 24707:2018 EN Information technology - Common Logic (CL) - A framework for a family of logic-based languages_第1页
全文预览已结束

下载本文档

基本信息：

  • 标准号：ISO/IEC 24707:2018 EN
  • 标准名称：信息技术 通用逻辑（CL） 基于逻辑的语言系列框架
  • 英文名称：Information technology — Common Logic (CL) — A framework for a family of logic-based languages
  • 标准状态：现行
  • 发布日期：2018-07-16

文档简介

ISO/IEC24707是一个关于信息技术的国际标准，它定义了一种名为CommonLogic（CL）的框架，这个框架是为基于逻辑的语言家族而设计的。

首先，我们需要理解什么是逻辑。逻辑是一种推理方法，它基于一组规则和原则，用于确定事物之间的关系和可能性。在计算机科学中，逻辑通常用于描述系统的结构和行为。

CL框架提供了一种通用的方式来描述和管理信息系统的逻辑结构。它包括一组核心概念和规则，这些概念和规则可以被用来创建和组织各种基于逻辑的语言。这些语言可以用于各种目的，包括系统设计、文档编写、测试和验证等。

该标准主要关注于逻辑结构的核心概念，例如实体、事件、属性、关系、状态和时间等。它还提供了一种方法来描述这些概念之间的关系，以及如何将这些关系转换为具体的逻辑代码。通过这种方式，CL框架可以帮助开发人员创建更加一致、可维护和可扩展的逻辑系统。

此外，ISO/IEC24707还强调了逻辑语言的标准化和互操作性。它鼓励开发人员采用标准化的逻辑语言，以确保在不同的系统之间进行有效的交流和协作。通过这种方式，ISO/IEC24707旨在促进信息系统的透明度和可靠性，并提高整个信息生态系统的工作效率。

ISO/IEC24707是一个非常重要的标准，它为基于逻辑的语言提供了一个框架，帮助开发人员创建更加一致、可

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

温馨提示

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

最新文档

评论

0/150

提交评论