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

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