GB/T 20719.14-2010

工业自动化系统与集成 过程规范语言 第14部分：资源理论

Industrial automation systems and integration - Process specification language - Part 14: Resource theories

2010-12-01

2011-05-01

暂无

实施公告【】

GB/T20719《工业自动化系统与集成 过程规范语言》目前分为以下部分:
———第1部分:概述与基本原理;
———第11部分:PSL核心;
———第12部分:PSL外核;
———第13部分:时序理论;
———第14部分:资源理论;
———第15部分:活动性能理论;
———第21部分:EXPRESS;
———第22部分:XML;
———第23部分:UML;
———第41部分:活动;
———第42部分:时间和状态;
———第43部分:序列;
———第44部分:定义性扩展:资源扩展;
———第45部分:资源集的种类;
———第46部分:加工活动;
———第47部分:过程目的。
GB/T20719的主要内容为:
———第1部分规定了GB/T20719系列标准概述及其结构;
———第11部分到15部分规定了核心理论,属于1x系列;
———第21部分到23部分规定了外部映射,属于2x系列;
———第41部分到47部分规定了定义性扩展,属于4x系列;
———另外2xx系列规定了转换执行指导。
本部分是GB/T20719的第14部分。
本部分等同采用ISO18629-14:2006《工业自动化系统与集成 过程规范语言 第14部分:资源理论》(英文版)。
本部分的技术内容和结构与ISO18629-14:2006相一致,在编写规则上符合我国GB/T1.1—2000《标准化工作导则 第1部分:标准的结构和编写规则》,为便于使用,做了如下编辑性修改:a) 删去了ISO 前言;
b) 将“本国际标准”和ISO18629改为“GB/T20719”,将ISO18629-1改为GB/T20719的第1部分或GB/T20719.1;
c) 将规范性引用文件中已转化为国家标准的国际标准编号改为国家标准编号,并在其后的原括号内给出了该国家标准当前的适用版本编号及其对应的国际标准版本编号。未转化的仍引用国际标准。
本部分的附录A 为规范性附录,附录B为资料性附录。
本部分由中国机械工业联合会提出。
本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。
本部分主要起草单位:中国标准化研究院、重庆市标准化研究院。
本部分主要起草人:刘守华、王志强、李文武、余松华、唐良富、洪岩、杨青海。

根据GB/T 20719.1中描述的范围，即本部分第4章所提及的，本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。
以下各项属于本部分的范畴：
—资源；
—资源和活动间的关系；
—资源集；
—增加量。

下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件,其随后所有的修改单或修订版均不适用于本部分,然而,鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件,其最新版本适用于本部分。
GB/T16262.1 信息技术 抽象语法记法一(ASN.1) 第1部分:基本记法规范(GB/T16262.1—2006,ISO/IEC8824-1:2002,IDT)
GB/T19114.1 工业自动化系统与集成 工业制造管理数据 第1部分:综述(GB/T19114.1—2003,ISO15531-1:2002,IDT)
GB/T20719.1 工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理(GB/T20719.1—2006,ISO18629-1:2004,IDT)
GB/T20719.11 工业自动化系统与集成 过程规范语言 第11部分:PSL核心(GB/T20719.11—2010,ISO18629-11:2005,IDT)
ISO18629-12 工业自动化系统与集成 过程规范语言 第12部分 PSL外核

GB/T 16262.1 GB/T 19114.1 GB/T 20719.1 GB/T 20719.11 ISO 18629-12

中国标准化研究院 重庆市标准化研究院

全国自动化系统与集成标准化技术委员会(SAC/TC 159)

全国自动化系统与集成标准化技术委员会(SAC/TC 159)