ICS 25.040.40 L 67
中华人民共和国国家标准
GB/T 20719.14--2010/ISO 18629-14:2006
工业自动化系统与集成
过程规范语言第14部分：资源理论 Industrial automation systems and integration-
Process specification language-
Part 14:Resource theories
(ISO 18629-14:2006,IDT)
2011-05-01实施
2010-12-01发布
中华人民共和国国家质量监督检验检疫总局
中国国家标准化管理委员会 发布 GB/T20719.14—2010/ISO18629-14.2006
目 次
前言引言 1 范围 2 规范性引用文件 3 术语、定义和缩略语· 4 GB/T20719概述 5 GB/T20719.14的组织 6 资源需求理论 7 资源集理论 8 增加量理论附录A（规范性附录） SC4标准中ASN.1标识符的应用附录B（资料性附录）应用GB/T20719.14的过程描述示例参考文献
.
12
13 19 GB/T20719.14—2010/ISO18629-14:2006
前言
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；将规范性引用文件中已转化为国家标准的国际标准编号改为国家标准编号，并在其后的原括号内给出了该国家标准当前的适用版本编号及其对应的国际标准版本编号。未转化的仍引用国际标准。
本部分的附录A为规范性附录，附录B为资料性附录。 本部分由中国机械工业联合会提出。 本部分由全国自动化系统与集成标准化技术委员会（SAC/TC159）归口。 本部分主要起草单位：中国标准化研究院、重庆市标准化研究院。 本部分主要起草人：刘守华、王志强、李文武、余松华、唐良富、洪岩、杨青海。
I GB/T20719.14—2010/IS018629-14:2006
引言
GB/T20719是用于计算机可解释的制造过程相关的信息交换的国家标准。本标准包含的所有部分共同提供了一种描述制造过程的通用语言，该过程贯穿于同种工业企业或跨多个工业部门或企业的整个生产过程，其表达方式独立于任何特殊的表达模型。该语言适用于生产过程各个阶段与制造相关的过程信息的共享。
GB/T20719的本部分提供了本标准所定义的语言的核心元素描述，本部分和GB/T20719其他部分独立于任何制造管理领域内应用软件提出的过程表达或模型。他
们共同提供了一种用于改善这些应用软件互操作性的结构框架。
目 GB/T20719.14-2010/IS018629-14:2006
工业自动化系统与集成
过程规范语言第14部分：资源理论
1范围
根据GB/T20719.1中描述的范围，即本部分第4章所提及的，本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。
以下各项属于本部分的范畴：一资源；一资源和活动间的关系；一资源集：
一增加量。 2规范性引用文件
下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。
GB/T16262.1信息技术抽象语法记法一（ASN.1）第1部分：基本记法规范（GB/T16262.1一 2006,ISO/IEC 8824-1:2002,IDT)
GB/T19114.1工业自动化系统与集成 工业制造管理数据第1部分：综述（GB/T19114.1- 2003,ISO15531-1:2002,IDT)
GB/T20719.1工业自动化系统与集成过程规范语言第1部分：概述与基本原理（GB/T20719.1-- 2006,ISO 18629-1:2004,IDT)
GB/T20719.11工业自动化系统与集成过程规范语言第11部分：PSL核心（GB/T20719.11- 2010,ISO 18629-11:2005,IDT)
ISO18629-12工业自动化系统与集成过程规范语言第12部分PSL外核 3术语、定义和缩略语 3.1术语和定义
下列术语和定义适用于GB/T20719的本部分。 3.1.1
公理axiom 形式语言中的合式公式（well-formed formula）。用以对一门语言的词汇中符号的解释加以约束。 ［GB/T20719.1定义3.1.1]
3.1.2
定义的词汇defined lexicon 非逻辑词汇的一系列符号，表示所定义概念。 注：定义的词汇分为常量，函数和关系符号。 示例：具有传统定义的术语。 GB/T20719.14—2010/ISO18629-14:2006
［GB/T20719.1.定义3.1.5] 3.1.3
定义性扩展 definitional extension 指PSL核心的扩展，它引人了完全由PSL核心定义的新的语言术语。 注：定义性扩展不增加PSL核心新的表达能力，但它常常定义领域应用中的语义及术语。 ［GB/T20719.1定义3.1.6]］
3.1.4
扩展 extension 包含附加公理的PSL核心的扩展。 注1：PSL核心是相对简单的公理集合，它可用于表达较广范围内的基本过程。然而，更复杂的过程需要超PSL核
心所包含的表达性资源。相对于将每个可能的概念（可用于描述某个或其他过程）添加进PSL核心所造成的混乱，更好的方式是开发各种独立的、模块化式的扩展，并把它们添加进PSL核心。采用这种方式，用户可以将语言精确地裁剪成他们所需要的表达形式。
注2：所有的扩展均为核心理论或定义性扩展。 ［GB/T20719.1.定义3.1.9］
3.1.5
语法 grammar 说明如何将逻辑符号和词汇术语组合为合式公式的规范。 ［GB/T20719.1，定义3.1.10］
3.1.6
语言 language 词汇和语法的组合。 ［GB/T20719.1，定义3.1.12]
3.1.7
词汇lexicon 符号和术语的集合。 注1：词汇包括逻辑符号（例如布尔连接和量词）与非逻辑符号。对于GB/T20719来说，词汇的非逻辑部分由表达
式（常量，函数符号与关系符号）组成以表达本体的基本概念。
注2：改写GB/T20719.1，定义3.1.13。 3.1.8
制造 Manufacturing 将原材料或半成品转换成半成品或成品的功能或行为。 注：改写GB/T19114.1—2003，定义3.6.22。
3.1.9
制造过程 manufacturing process 一套结构化的活动或操作，以完成将原材料或半成品向半成品或成品的转化，注1：制造过程可以按过程、产品、单元或固定位置等方式组织。根据战略性应用和物资的分配，制造过程可按库存
生产，按订单生产，按订单装配生产。
注2：改写GB/T19114.1—2003，定义3.6.25。 3.1.10
基本概念 primitive concept 没有保守定义的词汇术语。 ［GB/T20719.1,定义3.1.19］
2 GB/T20719.14—2010/ISO18629-14:2006
3.1.11
基本词汇primitivelexicon 表示基本概念的非逻辑词汇的符号集合。 注：基本词汇分为常量，函数符号和关系符号。 ［GB/T20719.1，定义3.1.20]
3.1.12
过程process 包括企业多种实体的活动的结构化集合，这些活动是为给定目的设计和组织的。 注1：这里所提供的定义和GB/T16656.49的定义非常接近。然而GB/T19114需要活动的结构化组合的观念，对
于时间和步骤没有任何预先确定。另外，从流程管理的观点来看，为同步目的需要一些空过程，尽管实际上它们不起任何作用。
注2：改写GB/T19114.1—2003，定义3.6.29。 3.1.13
资源 resource 企业用于生产产品或提供服务的任何设备、工具和手段。 注1：本定义改写自GB/T19114.1一2003，所以该标准中定义的资源（除了原材料、产品和组件是从一个系统理论
的观点来考虑)是作为系统环境的部分而非属于系统本身。而且该定义包括GB/T16656.49定义，但它也包括在应用于同样包括原材料和消耗品的本部分、GB/T20719.44以及GB/T20719.13的定义中。
注2：这里所定义的资源包括具有给定能力和特定的手段的意义下的人力资源。这些资源通过指派任务而被认为
涉及制造过程。除了它们在制造过程中完成给定的任务（即原材料或零部件的转换、物流服务保证）的能力外，不包括人力资源的个体或通用人类行为模型。作为包括人力手段的其他资源，仅从它们的功能、能力、状态（即空闲、忙），它不包括任何方面的个体或共同的社会行为模型或表达。
注：改写GB/T19114.12003，定义3.6.43。 3.1.14
理论theory 属于一给定概念和概念集的公理和定义的集合。 注：这个定义反映了人工智能的方法，认为理论是一组假设，所有的相关概念都是基于这些假设。 ［GB/T20719.1，定义3.1.31]
3.2缩略语
下列缩写词适用于GB/T20719的本部分： FOL：一阶逻辑（First-OrderLogic) BNF：巴科斯-诺尔范式（Backus-Naur form) KIF：知识交换格式(KnowledgeInterchangeFormat) PSL：过程规范语言(Process Specification Language)
4GB/T20719概述
本标准描述了表达过程信息的一种语言。它是一种过程规范语言。由词汇、本体和过程描述的语法组成。
注1：PSL是描述制造过程的一种语言，它基于个精确完好定义的词汇和语法。同样地，它与GB/T16656、
GB/T17645.GB/T19114和GB/T18975中的语言不同。在两个过程之间信息交换的环境下，PSL详细描述了与其行为无关的每一个过程。例如，在一个过程中被视为资源的对象与在另一个过程中被视为产品的对象可能被认为是同一个对象。
注2：PSL基于数学集合核心理论和情境演算（见附录B）。它与GB/T16656中定义现有语言使用的方法有着明显
不同的表达方法。PSL中概念的含义遵循一系列公理和支撑定义而非一系列形式定义的术语。每一部分都有相应的注释及示例，以辅助对该语言基本词汇的理解。
3 GB/T20719.14-2010/IS018629-14.2006
GB/T20719的1x部分描述了GB/T20719的基本概念的精确定义和公理需要的核心理论，从而使不同模式之间能进行精确语义转化。
以下内容属于GB/T20719的1x系列部分的范围：
语言基本元素的表达；一系列标准化公理的规定，与描述基本过程的直观语义基本概念相对应；制定和PSL核心一致的其他基本理论或扩展的一系列规则。
以下内容不属于GB/T20719的1x系列部分的范围：一一涉及概念的信息表达，这些概念不是核心理论的一部分。
5GB/T20719.14的组织
本部分的核心理论是：
资源需求理论（requires.th）资源集理论（res_set.th）
增加量理论（additive.th）本部分的所有理论都是ISO18629-12（PSL外核）和GB/T20719.11（PSL核心）的扩展。资源集
理论是资源需求理论的扩展。 6资源需求理论
本核心理论为描述资源需求提供了公理。资源表示为对象和活动间的关系一一当某种活动需要对象时，该对象便是一种资源。
注：这里提到的资源的概念实际上是与资源需求相关的，它基本上不同于GB/T19114中资源的概念，在那里，资源
概念是与系统理论相一致，但不包括由系统转化的原材料、组件和成品。因而原材料，组件，成品并不是系统本身的一部分。它们属于系统环境的一部分。此外，在GB/T19114中，资源的定义是独立于任何活动的（尤其是人力资源），只有在描述系统的框架内才与特定活动相关，此时资源成为完成对应活动的物理系统。在资源参与系统之前，资源对于它能够执行的任何形式的活动来说是空闲可用的。人力资源可以在星期一参与磨削系统，而在星期二参与运输系统，或者星期三等候任何活动。见GB/T19114.31一2008的附录D。
6.1资源需求理论的基本关系
资源需求理论的非逻辑词汇包含一个基本关系符：
requires.
6.2资源需求理论的基本函数
资源需求理论的非逻辑词汇包含3个基本函数符：
resource_point : demand;
-agg_demand.
6.3资源需求理论的定义关系
资源需求理论的非逻辑词汇包含一个定义关系符号：
resource.
6.4资源需求理论所要求的核心理论
本理论需要以下核心理论：
-additive. ths -act_occ. th; -complex.th; subactivity. th;
4