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
基本信息
标准类型
国家标准
标准状态
现行
发布日期
2014-09-03
实施日期
2015-02-01
发布单位/组织
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会
归口单位
全国信息技术标准化技术委员会(SAC/TC 28)
适用范围
-
发布历史
-
2014年09月
研制信息
- 起草单位:
- 中国标准化研究院、北京科迪智标信息技术有限公司、环境保护部信息中心
- 起草人:
- 孙广芝、邢立强、刘彦东、娄晓琳、刘定
- 出版信息:
- 页数: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
定制服务
推荐标准
- CB/T 4278-2013 船用法兰铸铁单排吸入截止阀箱 2013-10-17
- JC/T 2280-2014 内衬PVC片材混凝土和钢筋混凝土排水管 2014-10-14
- NB/T 42019-2013 750kV和1000kV级油浸式并联电抗器技术参数和要求 2013-11-28
- SY/T 6933.1-2013 天然气液化工厂设计建造和运行规范 第1部分:设计建造 2013-11-28
- SJ/T 2960.1-2013 电子元器件质量评定体系规范 压电陶瓷陷波器 第1部分:总规范 鉴定批准 2013-10-17
- CB/T 3921-2013 船用辅锅炉人孔装置 2013-10-17
- JC/T 2268-2014 制动摩擦材料中铜及其它元素的测定方法 2014-10-14
- QB/T 4304-2012 工业用缝纫机 计算机控制花样缝缝纫机 2012-05-24
- SJ/T 11461.5.1-2013 有机发光二极管显示器 第5-1部分:环境试验方法 2013-10-17
- SJ/T 11455-2013 示波管和指示管的测试方法 2013-10-17