ICS 35.060 L 72 GB 中华人民共和国国家标准 GB/T30880—2014/IS0/IEC24707:2007 信息技术通用逻辑（CL)：基于逻辑的语言族框架 Information technologyCommon Logic(CL) : a framework for a family of logic-based languages (ISO/IEC24707:2007,IDT) 2014-09-03发布 2015-02-01实施中华人民共和国国家质量监督检验检疫总局发布中国国家标准化管理委员会 GB/T30880—2014/ISO/IEC24707:2007 目次前言引言范围 2 规范性引用文件术语和定义符号和缩略语要求和设计概览 6 通用逻辑抽象语法与语义 7 符合性· 16 附录A（规范性附录) 通用逻辑交换格式(CLIF) A.1 概述 19 A.2 CLIF语法 20 A.3 CLIF语义 26 A.4 CLIF符合性附录B（规范性附录）概念图交换格式（CGIF) 29 B.1引言. 29 B.2 概念图核心语法和语义. 35 B.3扩展的CGIF语法 B.4 CGIF符合性 45 附录C（规范性附录）可扩展通用逻辑置标语言（XCL） 49 C.1引言 49 C.2XCL语法 49 C.3XCL语义 66 C.4XCL符合性 66 参考文献 67

GB-T 30880-2014 信息技术通用逻辑 CL ：基于逻辑的语言族框架

文档预览

中文文档 72 页 50 下载 1000 浏览 0 评论 309 收藏 3.0分

赞助3.6元下载(无需注册)

温馨提示：本文档共72页，可预览 3 页，如浏览全部内容或当前文档出现乱码,可开通会员下载原始文档

GB-T 30880-2014 信息技术通用逻辑 CL ：基于逻辑的语言族框架第 1 页

GB-T 30880-2014 信息技术通用逻辑 CL ：基于逻辑的语言族框架第 2 页

GB-T 30880-2014 信息技术通用逻辑 CL ：基于逻辑的语言族框架第 3 页

下载文档到电脑，方便使用

赞助3.6元下载

本文档由人生无常于 2024-03-30 14:03:40上传分享

下载原文档(14.5 MB)

友情链接

交流群

-->

GB-T 30880-2014 信息技术 通用逻辑 CL ：基于逻辑的语言族框架

GB-T 30880-2014 信息技术通用逻辑 CL ：基于逻辑的语言族框架