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

标准简介

根据GB/T20719.1中描述的范围,即本部分第4章所提及的,本部分通过一系列公理和定义提供 了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。 以下各项属于本部分的范畴: —资源; —资源和活动间的关系; —资源集; —增加量。
英文名称：Industrial automation systems and integration - Process specification language - Part 14: Resource theories
标准状态：现行
中标分类：电子元器件与信息技术>>计算机>>L67计算机应用
ICS分类：机械制造>>工业自动化系统>>25.040.40工业过程的测量与控制
发布部门：国家质量监督检验检疫.
发布日期：2010-12-01
实施日期：2011-05-01
出版日期：2011-05-01
页数：24页

前言

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)归口。本部分主要起草单位:中国标准化研究院、重庆市标准化研究院。本部分主要起草人:刘守华、王志强、李文武、余松华、唐良富、洪岩、杨青海。