工业自动化系统与集成 过程规范语言 第14部分：资源理论 现行
Industrial automation systems and integration - Process specification language - Part 14: Resource theories
标准号：GB/T 20719.14-2010
基本信息
标准号：GB/T 20719.14-2010
发布时间：2010-12-01
实施时间：2011-05-01
首发日期：2010-12-01
出版单位：中国标准出版社查看详情>
起草人：刘守华、王志强、李文武、余松华、唐良富、洪岩、杨青海
出版机构：中国标准出版社
标准分类： 计算机应用
ICS分类：工业过程的测量与控制
提出单位：中国机械工业联合会
起草单位：中国标准化研究院、重庆市标准化研究所
归口单位：全国自动化系统与集成标准化技术委员会(SAC/TC 159)
发布部门：中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会
主管部门：全国自动化系统与集成标准化技术委员会(SAC/TC 159)
标准简介
根据GB/T20719.1中描述的范围,即本部分第4章所提及的,本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。以下各项属于本部分的范畴:—资源;—资源和活动间的关系;—资源集;—增加量。
标准摘要
|
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)归口。 本部分主要起草单位:中国标准化研究院、重庆市标准化研究院。 本部分主要起草人:刘守华、王志强、李文武、余松华、唐良富、洪岩、杨青海。 |
标准目录
| 前言 Ⅰ 引言 Ⅱ 1 范围 1 2 规范性引用文件 1 3 术语、定义和缩略语 1 4 GB/T20719概述 3 5 GB/T20719.14的组织 4 6 资源需求理论 4 7 资源集理论 7 8 增加量理论 9 附录A (规范性附录) SC4标准中ASN.1标识符的应用 12 附录B(资料性附录) 应用GB/T20719.14的过程描述示例 13 参考文献 19 |
推荐检测机构
申请入驻
暂未检测到相关机构，邀您申请入驻~
推荐认证机构
申请入驻
暂未检测到相关机构，邀您申请入驻~
推荐培训机构
申请入驻
暂未检测到相关机构，邀您申请入驻~
© 2018 北京寰标伟业科技发展有限公司版权所有并保留所有权利。
ICP备案证书号：京ICP备17031081号-1 客服电话：010-62050868
