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
定制服务
推荐标准
- DB41/T 2121-2021 园林绿化工程资料管理规范 2021-04-12
- DB41/T 2125-2021 公路钢管螺旋桩设计施工技术规范 2021-04-12
- DB41/T 2108-2021 应急避难场所标志标牌 2021-04-12
- DB41/T 2124-2021 塔式起重机事故应急救援规范 2021-04-12
- DB21/T 3436-2021 软枣猕猴桃苗木 2021-05-22
- DB41/T 2112-2021 山水林田湖草生态保护修复数据库建设与空间制图技术规范 2021-04-12
- DB41/T 2134-2021 城市立面材料清洗保洁服务规范 2021-04-12
- DB41/T 2109-2021 应急避难场所运维规范 2021-04-12
- DB41/T 2111-2021 山水林田湖草生态环境动态监测技术规范 2021-04-12
- DB41/T 2123-2021 公路建设项目电子文件元数据规范 2021-04-12