路径: 主页 > GB/T > 第231页 > GB/T 20719.14-2010
| 标准编号 | GB/T 20719.14-2010 (GB/T20719.14-2010) | | 中文名称 | 工业自动化系统与集成 过程规范语言 第14部分:资源理论 | | 英文名称 | Industrial automation systems and integration -- Process specification language -- Part 14: Resource theories | | 行业 | 国家标准 (推荐) | | 中标分类 | L67 | | 国际标准分类 | 25.040.40 | | 字数估计 | 24,241 | | 发布日期 | 2010-12-01 | | 实施日期 | 2011-05-01 | | 引用标准 | GB/T 16262.1; GB/T 19114.1; GB/T 20719.1; GB/T 20719.11; ISO 18629-12 | | 采用标准 | ISO 18629-14-2006, IDT | | 标准依据 | 国家标准批准发布公告2010年第9号(总第164号) | | 发布机构 | 中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会 | | 范围 | 根据GB/T20719.1中描述的范围, 即本部分第4章所提及的, 本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。 以下各项属于本部分的范畴: —资源; —资源和活动间的关系; —资源集; —增加量。 |
GB/T 20719.14-2010
Industrial automation systems and integration.Process specification language.Part 14:Resource theories
ICS 25.040.40
L67
中华人民共和国国家标准
工业自动化系统与集成
过程规范语言
第14部分:资源理论
(ISO 18629-14:2006,IDT)
2010-12-01发布
2011-05-01实施
中华人民共和国国家质量监督检验检疫总局
中国国家标准化管理委员会发布
目次
前言 Ⅰ
引言 Ⅱ
1 范围 1
2 规范性引用文件 1
3 术语、定义和缩略语 1
4 GB/T 20719概述 3
5 GB/T 20719.14的组织 4
6 资源需求理论 4
7 资源集理论 7
8 增加量理论 9
附录A(规范性附录) SC4标准中ASN.1标识符的应用 12
附录B(资料性附录) 应用GB/T 20719.14的过程描述示例 13
参考文献 19
前言
GB/T 20719《工业自动化系统与集成 过程规范语言》目前分为以下部分:
---第1部分:概述与基本原理;
---第11部分:PSL核心;
---第12部分:PSL外核;
---第13部分:时序理论;
---第14部分:资源理论;
---第15部分:活动性能理论;
---第21部分:EXPRESS;
---第22部分:XML;
---第23部分:UML;
---第41部分:活动;
---第42部分:时间和状态;
---第43部分:序列;
---第44部分:定义性扩展:资源扩展;
---第45部分:资源集的种类;
---第46部分:加工活动;
---第47部分:过程目的。
GB/T 20719的主要内容为:
---第1部分规定了GB/T 20719系列标准概述及其结构;
---第11部分到15部分规定了核心理论,属于1x系列;
---第21部分到23部分规定了外部映射,属于2x系列;
---第41部分到47部分规定了定义性扩展,属于4x系列;
---另外2xx系列规定了转换执行指导。
本部分是GB/T 20719的第14部分。
本部分等同采用ISO 18629-14:2006《工业自动化系统与集成 过程规范语言 第14部分:资源理
论》(英文版)。
本部分的技术内容和结构与ISO 18629-14:2006相一致,在编写规则上符合我国GB/T 1.1-2000
《标准化工作导则 第1部分:标准的结构和编写规则》,为便于使用,做了如下编辑性修改:
a) 删去了ISO 前言;
b) 将“本国际标准”和ISO 18629改为“GB/T 20719”,将ISO 18629-1改为GB/T 20719的第
1部分或GB/T 20719.1;
c) 将规范性引用文件中已转化为国家标准的国际标准编号改为国家标准编号,并在其后的原括
号内给出了该国家标准当前的适用版本编号及其对应的国际标准版本编号。未转化的仍引用
国际标准。
本部分的附录A为规范性附录,附录B为资料性附录。
本部分由中国机械工业联合会提出。
本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。
本部分主要起草单位:中国标准化研究院、重庆市标准化研究院。
本部分主要起草人:刘守华、王志强、李文武、余松华、唐良富、洪岩、杨青海。
引 言
GB/T 20719是用于计算机可解释的制造过程相关的信息交换的国家标准。本标准包含的所有部
分共同提供了一种描述制造过程的通用语言,该过程贯穿于同种工业企业或跨多个工业部门或企业的
整个生产过程,其表达方式独立于任何特殊的表达模型。该语言适用于生产过程各个阶段与制造相关
的过程信息的共享。
GB/T 20719的本部分提供了本标准所定义的语言的核心元素描述。
本部分和GB/T 20719其他部分独立于任何制造管理领域内应用软件提出的过程表达或模型。他
们共同提供了一种用于改善这些应用软件互操作性的结构框架。
工业自动化系统与集成
过程规范语言
第14部分:资源理论
1 范围
根据GB/T 20719.1中描述的范围,即本部分第4章所提及的,本部分通过一系列公理和定义提供
了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。
以下各项属于本部分的范畴:
-资源;
-资源和活动间的关系;
-资源集;
-增加量。
2 规范性引用文件
下列文件中的条款通过GB/T 20719的本部分的引用而成为本部分的条款。凡是注日期的引用文
件,其随后所有的修改单或修订版均不适用于本部分,然而,鼓励根据本部分达成协议的各方研究是否
可使用这些文件的最新版本。凡是不注日期的引用文件,其最新版本适用于本部分。
GB/T 16262.1 信息技术 抽象语法记法一(ASN.1) 第1部分:基本记法规范(GB/T 16262.1-
2006,ISO/IEC 8824-1:2002,IDT)
GB/T 19114.1 工业自动化系统与集成 工业制造管理数据 第1部分:综述(GB/T 19114.1-
2003,ISO 15531-1:2002,IDT)
GB/T 20719.1 工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理(GB/T 20719.1-
2006,ISO 18629-1:2004,IDT)
GB/T 20719.11 工业自动化系统与集成 过程规范语言 第11部分:PSL核心(GB/T 20719.11-
2010,ISO 18629-11:2005,IDT)
ISO 18629-12 工业自动化系统与集成 过程规范语言 第12部分 PSL外核
3 术语、定义和缩略语
3.1 术语和定义
下列术语和定义适用于GB/T 2......
|