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

GB/T 30880-2014 Information technology—Common Logic(CL):a framework for a family of logic-based languages

国家标准 中文简体 现行 页数:71页 | 格式:PDF

基本信息

标准号
GB/T 30880-2014
相关服务
标准类型
国家标准
标准状态
现行
中国标准分类号(CCS)
国际标准分类号(ICS)
发布日期
2014-09-03
实施日期
2015-02-01
发布单位/组织
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
归口单位
全国信息技术标准化技术委员会(SAC/TC 28)
适用范围
-

发布历史

研制信息

起草单位:
中国标准化研究院、北京科迪智标信息技术有限公司、环境保护部信息中心
起草人:
孙广芝、邢立强、刘彦东、娄晓琳、刘定
出版信息:
页数:71页 | 字数:126 千字 | 开本: 大16开

内容描述

ICS35.060

L72

中华人民共和国国家标准

/—//:

GBT308802014ISOIEC247072007

():

信信息技术通用逻辑基于逻辑的

CL

语言族框架

—():

InformationtechnoloCommonLoicCL

gyg

aframeworkforafamilofloic-basedlanuaes

yggg

(/:,)

ISOIEC247072007IDT

2014-09-03发布2015-02-01实施

中华人民共和国国家质量监督检验检疫总局

发布

中国国家标准化管理委员会

/—//:

GBT308802014ISOIEC247072007

目次

前言…………………………Ⅰ

引言…………………………Ⅱ

1范围………………………1

2规范性引用文件…………………………1

3术语和定义………………1

4符号和缩略语……………4

5要求和设计概览…………………………5

6通用逻辑抽象语法与语义………………6

7符合性……………………16

()()……………………

附录规范性附录通用逻辑交换格式

ACLIF19

A.1概述………………19

A.2CLIF语法…………………………20

A.3CLIF语义…………………………26

A.4CLIF符合性………………………27

()()………

附录规范性附录概念图交换格式

BCGIF

定制服务

    推荐标准