GB/T 20719.14-2010 工业自动化系统与集成 过程规范语言 第14部分:资源理论
标准名称: | 工业自动化系统与集成 过程规范语言 第14部分:资源理论 |
英文名称: | Industrial automation systems and integration - Process specification language - Part 14: Resource theories |
中标分类: | 电子元器件与信息技术 >> 计算机 >> 计算机应用 |
ICS分类: | 机械制造 >> 工业自动化系统 >> 工业过程的测量与控制 |
发布部门: | 中华人民共和国国家质量监督检验检疫总局 中国国家标准化管理委员会 |
发布日期: | 2010-12-01 |
实施日期: | 2011-05-01 |
首发日期: | 2010-12-01 |
作废日期: | |
主管部门: | 全国自动化系统与集成标准化技术委员会(SAC/TC 159) |
提出单位: | 中国机械工业联合会 |
归口单位: | 全国自动化系统与集成标准化技术委员会(SAC/TC 159) |
起草单位: | 中国标准化研究院、重庆市标准化研究所 |
起草人: | 刘守华、王志强、李文武、余松华、唐良富、洪岩、杨青海 |
出版社: | 中国标准出版社 |
出版日期: | 2011-05-01 |
页数: | 24页 |
根据GB/T20719.1中描述的范围,即本部分第4章所提及的,本部分通过一系列公理和定义提供
了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。
以下各项属于本部分的范畴:
—资源;
—资源和活动间的关系;
—资源集;
—增加量。
没有内容
前言 Ⅰ 引言 Ⅱ 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
下列文件中的条款通过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外核