1、ICS 25.040.40 L 67 GB 中华人民=H二不日国国家标准GB/T 20719. 14-201 O/ISO 18629-14: 2006 工业自动化系统与集成过程规范语言第14部分:资源理论Industrial automation systems and integration 一Process specification language一Part 14: Resource theories (lSO 18629-14: 2006 , IDT) 2010-12-01发布2011-05-01实施敖码防伪中华人民共和国国家质量监督检验检茂总局中国国家标准化管理委员会发布GB/T
2、20719. 14-2010/ISO 18629-14:2006 目次TiE11134479239 -i1IA1i 例用示应述的描符理口、L巳pwv、TA标的A丛AN9 QU吁AAm qL 中7I 准俨标q44I1 织汇盯)u组EEi才-)牛略述叫哀和刘缩概J仓附附用呻旧旧酣论仑性性川寻PJOU求理理范料性hAUU需集量明领卜四舰柑WW跚跚酬AB划言言录录考前引12345678附附参GB/T 20719. 14-2010/ISO 18629-14:2006 目lJ1=1 GB/T 20719(工业自动化系统与集成过程规范语言目前分为以下部分:一一第1部分:概述与基本原理;第11部分:PSL核心
3、;十一一第12部分:PSL外核;一-第13部分:时序理论;第14部分:资源理论;第15部分=活动性能理论;第21部分:EXPRESS; 第22部分:XML;第23部分:UML;一一-第41部分:活动;一-第42部分:时间和状态;一一第43部分:序列;第44部分:定义性扩展:资源扩展;第45部分:资源集的种类;第46部分:加工活动;第47部分:过程目的。GB/T 20719的主要内容为:一-第1部分规定了GB/T20719系列标准概述及其结构;第11部分到15部分规定了核心理论，属于1x系列;一第21部分到23部分规定了外部映射，属于2x系列;一一一第41部分到47部分规定了定义性扩展，属于4x
4、系列;另外2xx系列规定了转换执行指导。本部分是GB/T20719的第14部分。本部分等同采用ISO18629-14: 2006(工业自动化系统与集成过程规范语言第14部分:资源理论)C英文版)。本部分的技术内容和结构与ISO18629-14: 2006相一致，在编写规则上符合我国GB/T1. 1-2000 标准化工作导则第1部分:标准的结构和编写规则)，为便于使用，做了如下编辑性修改:a) 删去了ISO前言;b) 将本国际标准和ISO18629改为GB/T20719，将ISO18629-1改为GB/T20719的第1部分或GB/T20719. 1; c) 将规范性引用文件中已转化为国家标准的
5、国际标准编号改为国家标准编号，并在其后的原括号内给出了该国家标准当前的适用版本编号及其对应的国际标准版本编号。未转化的仍引用国际标准。本部分的附录A为规范性附录，附录B为资料性附录。本部分由中国机械工业联合会提出。本部分由全国自动化系统与集成标准化技术委员会CSAC/TC159)归口。本部分主要起草单位:中国标准化研究院、重庆市标准化研究院。本部分主要起草人:如j守华、王志强、李文武、余松华、唐良富、洪岩、杨青海。I G/T 20719. 14-2010/ISO 18629-14 :2006 引GB/T 20719是用于计算机可解释的制造过程相关的信息交换的国家标准。本标准包含的所有部分共同提
6、供了一种描述制造过程的通用语言，该过程贯穿于同种工业企业或跨多个工业部门或企业的整个生产过程，其表达方式独立于任何特殊的表达模型。该语言适用于生产过程各个阶段与制造相关的过程信息的共享。GB/T 20719的本部分提供了本标准所定义的语言的核心元素描述。本部分和GB/T20719其他部分独立于任何制造管理领域内应用软件提出的过程表达或模型。他们共同提供了一种用于改善这些应用软件互操作性的结构框架。E GB/T 20719. 14-2010/ISO 18629-14:2006 1 范围工业自动化系统与集成过程规范语言第14部分:资源、理论根据GB/T20719.1中描述的范围，即本部分第4章所提
7、及的，本部分通过一系列公理和定义提供了属于语言外核的概念的表达。这些公理为本部分中的术语提供了语义的公理化。以下各项属于本部分的范畴:一资源;一资源和活动间的关系;一资源集;增加量。2 规范性引用文件下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。GB/T 16262. 1 信息技术抽象语法记法一CASN.1)第1部分:基本记法规范CGB/T16262. 1 2006 ,ISO/IEC 88
8、24-1: 2002 , IDT) GB/T 19114.1 工业自动化系统与集成工业制造管理数据第1部分:综述CGB/T19114.1-2003 ,ISO 15531-1:2002 ,IDT) GB/T 20719. 1工业自动化系统与集成过程规范语言第1部分:概述与基本原理CGB/T20719.1-2006 ,ISO 18629-1: 2004 , IDT) GB/T 20719. 11工业自动化系统与集成过程规范语言第11部分:PSL核心CGB/T20719. 11-2010 ,ISO 18629-11:2005 ,IDT) ISO 18629-12工业自动化系统与集成过程规范语言第12
9、部分PSL外核3 术语、定义和缩略语3. 1 术语和定义下列术语和定义适用于GB/T20719的本部分。3. 1. 1 公理axiom 形式语言中的合式公式Cwell-formed formula)。用以对一门语言的词汇中符号的解释加以约束。GB/T 20719. 1，定义3.1. 1J 3. 1. 2 定义的词汇defined lexicon 非逻辑词汇的一系列符号，表示所定义概念。注:定义的词汇分为常量，函数和关系符号。示例:具有传统定义的术语。1 GB/T 20719. 14-2010/ISO 18629-14:2006 GB/T 20719.1，定义3.1.5J 3. 1. 3 定义性
10、扩展definitional extension 指PSL核心的扩展，它引入了完全由PSL核心定义的新的语言术语。注:定义性扩展不增加PSL核心新的表达能力，但它常常定义领域应用中的话义及术语。GB/T 20719.1，定义3.1.6J 3. 1.4 扩展extension 包含附加公理的PSL核心的扩展。注1:PSL核心是相对简单的公理集合，它可用于表达较广范围内的基本过程队然而，更复杂的过程需要超PSL核心所包含的表达性资源。相对于将每一个可能的概念(可用于描述某个或其他过程)添加进PSL核心所造成的混乱，更好的方式是开发各种独立的、模块化式的扩展，并把它们添加进PSL核心。采用这种方式，
11、用户可以将语言精确地裁蔚成他们所需要的表达形式。注2:所有的扩展均为核心理论或定义性扩展。GB/T 20719.1，定义3.1. 9J 3. 1. 5 语法grammar 说明如何将逻辑符号和词汇术语组合为合式公式的规范。GB/T 20719. 1，定义3.1.10J 3. 1. 6 语言language 词汇和语法的姐合。GB/T 20719.1，定义3.1. 12J 3.1.7 词汇lexicon 符号和术语的集合。注1:词汇包括逻辑符号.(例如布尔连接和量词)与非逻辑符号。对于GB/T20719来说，词汇的非逻辑部分由表达式(常量，函数符号与关系符号f)组成以表达本体的基本概念。注2:改
12、写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 2 基本概念primitive concept
13、没有保守定义的词汇术语。GB/T 20719. 1，定义3.1. 19J GB/T 20719. 14-2010/ISO 18629-14:2006 3. 1. 11 基本词汇primitive lexicon 表示基本概念的非逻辑词汇的符号集合。注:基本词汇分为常量，函数符号和关系符号。GB/T 20719. 1，定义3.1.20J3. 1. 12 过程process 包括企业多种实体的活动的结构化集合，这些活动是为给定目的设计和组织的。注1:这里所提供的定义和GB/T16656.49的定义非常接近。然而GB/T19114需要活动的结构化组合的观念，对于时间和步骤没有任何预先确定。另外，从流
14、程管理的观点来看，为同步目的需要一些空过程，尽管实际上它们不起任何作用。注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:这里所定义的资源包括具有给定能力和特定的手段的
15、意义下的人力资源。这些资源通过指派任务而被认为涉及制造过程。除了它们在制造过程中完成给定的任务(即原材料或苓部件的转换、物流服务保证)的能力外，不包括人力资源的个体或通用人类行为模型。作为包括人力手段的其他资源，仅从它们的功能、能力、状态(即空闲、忙)，它不包括任何方面的个体或共同的社会行为模型或表达。注:改写GB/T19114.1-2003，定义3.6.43.3. 1. 14 理论theory 属于一给定概念和概念集的公理和定义的集合。注:这个定义反映了人工智能的方法，认为理论是一组假设，所有的相关概念都是基于这些假设。GB/T 20719. 1，定义3.1. 31J 3.2 缩略语下列缩写
16、词适用于GB/T20719的本部分:FOL:一阶逻辑CFirst-OrderLogic) BNF:巴科斯诺尔范式CBackus-Naurform) KIF:知识交换格式CKnowledgeInterchange Format) PSL:过程规范语言CProcessSpecification Language) 4 GB/T 20719概述本标准描述了表达过程信息的一种语言。它是一种过程规范语言。由词汇、本体和过程描述的语法组成。注1:PSL是描述制造过程的一种语言，它基于一个精确完好定义的词汇和语法。同样地，它与GB/T16656、GB/T 17645、GB/T19114和GB/T18975中
17、的语言不同。在两个过程之间信息交换的环境下，PSL详细描述了与其行为元关的每一个过程。例如，在一个过程中被视为资源的对象与在另一个过程中被视为产品的对象可能被认为是同一个对象。注2:PSL基于数学集合核心理论和情境演算(见附录助。它与GB/T16656中定义现有语言使用的方法有着明显不同的表达方法。PSL中概念的含义遵循一系列公理和支撑定义而非一系列形式定义的术语。每一部分都有相应的注释及示例，以辅助对该语言基本词汇的理解。3 G/T 20719. 14-2010/ISO 18629-14 :2006 GB/T 20719的1x部分描述了GB/T20719的基本概念的精确定义和公理需要的核心理
18、论，从而使不同模式之间能进行精确语义转化。以下内容属于GB/T20719的1x系列部分的范围:语言基本元素的表达;一系列标准化公理的规定，与描述基本过程的直观语义基本概念相对应;一一制定和PSL核心一致的其他基本理论或扩展的一系列规则。以下内容不属于GB/T20719的1x系列部分的范围:一一涉及概念的信息表达，这些概念不是核心理论的一部分。5 G/T 20719. 14的组织本部分的核心理论是:一一资源需求理论Crequire队th)资源集理论Cres_se飞th)二一增加量理论Cadditive.th) 本部分的所有理论都是ISO18629-12 C PSL外核)和GB/T20719. 1
19、1 CPSL核心)的扩展。资源集理论是资源需求理论的扩展。6 资源需求理论本核心理论为描述资源需求提供了公理。资源表示为对象和活动间的关系一一当某种活动需要对象时，该对象便是一种资源。注:这里提到的资源的概念实际上是与资源需求相关的，它基本上不同于GB/T19114中资源的概念，在那里，资源概念是与系统理论相一致，但不包括由系统转化的原材料、组件和成品。因而原材料，组件，成品并不是系统本身的一部分p它们属于系统环挠的一部分。此外，在GB/T19114中，资源的定义是独立于任何活动的(尤其是人力资源)，只有在描述系统的框架内才与特定活动相关，此时资源成为完成对应活动的物理系统。在资源参与系统之前
20、，资源对于它能够执行的任何形式的活动来说是空闲可用的。人力资源可以在星期一参与磨削系统，而在星期二参与运输系统，或者星期三等候任何活动。见GB/T19114.31-2008的附录D.6. 1 资源需求理论的基本关系资源需求理论的非逻辑词汇包含一个基本关系符z一一一-reqmres。6.2 资源需求理论的基本函数资源需求理论的非逻辑词汇包含3个基本函数符:resourc巳_pomt;demand; 一一-agg_demand。6.3 资源需求理论的定义关系资源需求理论的非逻辑词汇包含一个定义关系符号:一一一一-resource。6.4 资源需求理论所要求的核心理论本理论需要以下核心理论:4 ad
21、di ti ve. th; 一二一-act一occ.th; 一一complex.th; 一subactivity.th; occtrcc. th; 一disc_state.th; psl_core. tho 6.5 资源需求理论所要求的定义性扩展资源需求理论不需要定义性扩展。6.6 资源需求理论的非正式语义6. 6. 1 requires res_reqUlres的KIF表示法:(res_requires ?a ?r) res_reqUlres的非正式语义:GB/T 20719. 14-2010 /ISO 18629-14: 2006 当且仅当活动?a发生中，?r是参与其中的一个对象，使得?r
22、对将?a作为子活动的活动进行约束时，(res_requires?a?r)在资源需求理论的解释为TRUE。6.6.2 resource_point resource_point的KIF表示法。(resource_point ?r ?s) r巳source_point的非正式语义当且仅当?q是对不可分解的活动发生?s有用的资源?r的分量时，(=?q(resource_point ?r ?s ) 在资源需求理论的解释为TRUL注:resource_point函数把活动发生作为论据。因为活动发生有唯一的开始时间点和结束时间点，通过使用活动发生的时间间隔能够表示对资源属性的短暂限制。6. 6. 3 de
23、mand demand的KIF表示法:(demand ?r ?s) demand的非正式语义:当且仅当?q是与不可分解的活动事件?s相联系的资源?r的分量时，(=?q(demand?r?s)在资源需求理论中的解释为TRUE。注:demand函数把活动发生作为论据。因为活动发生有唯一的开始时间点和结束时间点，所以通过使用活动发生的时间间隔能够表示对资源属性的短暂限制。6.6.4 agdemand agg_demand的KIF表示法:(agg_demand ?r ?s) agg_demand的非正式语义:当且仅当?r是先于不可分解的活动发生?s的资源?r的总需求量时，(=? q(agg_ dema
24、nd ?r ?s) 在资源需求理论中的解释为TRUEo注:agg_ demand函数把活动发生作为论据。因为活动发生有唯一的开始时间点和结束时间点，所以通过使用活动发生的时间间隔能够表示对资源属性的短暂限制。6. 6. 5 resource resource的KIF表示法(resourc巳?r)resource的非正式语义当且仅当存在需要?r的活动时，(resource?r)在资源需求理论中的解释为TRUE。6. 7 资源需求理论中的定义6.7. 1 定义1资源是某种活动发生所要求的任何对象。5 GB/T 20719. 14-2010/ISO 18629-14:2006 (forall (?r
25、) (iff(resource ?r) (and (object ?r) (exist( ?a) (res_requires ?a ?r) 6.8 资源需求理论的公理6.8.1 公理1如果活动的资源可用量超出资源点量与活动所要求的资源累计总需求量及需求量之和的差，那么该资源可用于活动。(forall(?a ?al ?r ?s) (implies (and (res_requires ?a ?r) (subactivity ?al ?a) (atomic ?al) (iff (and (greater (resource_point ?r ?s) (agg_demand ?r ?s) (grea
26、ter(agg_demand ?r ?s) zero_quantity) (exists (? occ ? occl) (and (occurrence ?occ ?a) (occurance ?occl ?al) (s u bacti vi ty _occurrenc巳?occl?occ) 6.8.2 公理2一个不可分解的活动称之为res_requires活动，当且仅当它对资源的需求为非零。(forall(?r ?a ?s) (implies (and (atomic ?a) (occurrence ?s ?a) (iff (res_requires ?a ?r) (not( = (dema
27、nd ?r ?s) zero_quantity) 6.8.3 公理3并行活动对资源的需求是各子活动对该资源子需求的总和。(forall (?al a2 ?r ?s) (一(demand(?r (successor(conc ?al ?a2)?s) (quantity_plus (agd巳mand?r(successor ?al ?s) (demand ?r (successor ?a2 ?s) 6.8.4 公理4对某资源需求的总量是所有活动对该资源的res_reqUlres的需求总和。(forall (?a ?r ?s) (= (agg_demand ?r (successor ?a ?s)
28、(quantity_plus (agg_demand ?r ?s) (demand ?r (successor ? al ?s) 6.8.5 公理56 函数resource_point、demand和agg_demand是在每一项活动发生时从资源到量的累加的映射。(forall (?r ?s) (iff (and (resource?r) (activity_occurence ?s) (and (additive (resource_point?r ?s) (additive (demand ?r ?s) GB/T 20719. 14-2010/ISO 18629-14:2006 Caddi
29、tive Cagg_demand ?r ?s ) 7 资源集理论本理论把资源的聚集描述为集合。资源集是其元素为资源的集合，并且对于某种活动它们自身也是资源。这里，采用把集?1与资源?r联合起来的流函数Cresource_set?i ?r)来表示。随着新的资源被增加或去除，与资源相联系的实际集可能会改变。本身是资源集的每个资源都与唯一的资源集相联系。7. 1 资源集理论的基本函数资源集理论的非逻辑词汇包含一个基本函数符:- resource_set 0 7.2 资源集理论的定义函数资源集理论的非逻辑词汇包含两个定义的函数符:lll_resource_sct; resource_subset。7.
30、3 资源集理论所要求的核心理论资源集理论需要以下核心理论=-additive. th; 一requires.th; act一occ.th; comples. th; subactivity. th; 一一一occtree.th; 二干disc_state.th; 一一psl_core.th。7.4 资源集理论所要求的定义性扩展资源集理论不需要定义性扩展。7.5 资源集理论的非正式语义7.5. 1 resource_set resource_set的KIF表示法:Cresource_set ?i ?r) resource_set的非正式语义:当且仅当与资源?r有关的集?i先于活动发生?occ时，
31、CpriorCresource_set ?i ?r ) ?occ )在资源集理论中的解释为TRUE。7. 5. 2 in_resource_set in，_resource_set的KIF表示法:C in_rcsource_set ?r 1 ?r2) in，_resource_set的非正式语义如果活动?occ发生前，?rl是与?r2相关的集中的元素，那么CpriorCin_resource_set ?rl ?r2) ?occ) 在资源集理论的解释为TRUE。7. 5. 3 resource_subset resource_subset的KIF表示法:Cr巳source_subset?rl ?
32、r2) resource_subset的非正式语义:7 GB/T 20719. 14-2010/ISO 18629-14:2006 当且仅当活动发生?occ前，资源集?r1是资源集?r2的资源子集(即，与?rl相关的集的每一个元素是与?r2相关的集的元素)，(prior (resourcc_subset ?rl ?r2) ?occ)在资源集理论的解释为TRUEa7.6 资源集理论的公理以下各条属于资源集理论中的公理。7.6.1 公理1如果活动?occ发生前，仅是资源集，那么对于集合的每一个元素，存在res_reqUlres该元素作为资源的活动。(forall (?i ?r ?occ) (imp
33、lies (prior (resourcc_set ?i ?r) ?occ) (forall (?rp) (implies (sct_menber ?rp ?i) (exists (?a) (res_req uir巳s?a?rp ) 7.6.2 公理2资源集的rcs_rcqUlre元素的相同活动所要求的资源集。(forall ( ?i ?rl ?r2 ?a ?occ) (implies (and (prior (resourcc_sct ?i ?rl)?occ) (sct_member ?r2 ?i) (rcs_requircs ?a ?r2) (res_rcquires ?a ?r1 ) 7
34、.6.3 公理3资源集对应资源的唯一集合。(forall ( ?il ?i2 ?r ?occ) (implics (and (prior (resource_set ?il ?r) ?occ) (prior (resource_set ?i2 ?r) ?occ) (= ?il ?i2) 7.7 资源集理论定义7.7. 1 定义1当且仅当?rl是与?r2相关的集?i的一个元素时，?rl在资源集?r2中。(forall (?r1 ?r2 ?occ) (iff (holds (in_resource_set ?rl ?r2) ?occ) (cxists (?i) (and (set_member ?
35、rl ?i) (holds (resource_set ?i ?r2) ?occ) 7.7.2 定义2当且仅当与?rl相关的集的每个元素是与?r2相关的集的一个元素时，资源集?rl是资源?r2的一个资源子集8 (forall (?r1 ?r2 ?occ) (iff (holds (resourcc_subset ?rl ?r2) ?occ) (forall (?r ?il ?i2) (and (holds(rcsourcc_s巳t?il ?r1) ?occ) (holds(resource_sct ?i2 ?r2) ?occ) (sct_mcmbcr ?r ?il) GB/T 20719. 1
36、4-201 O/ISO 18629-14: 2006 (set_membcr?r ?i2) 8 增加量理论增加量理论的结构与有序交换群的数学结构相同。8. 1 增加量理论中的基本类别增加量理论的非逻辑语义包含一个基本类别:additive。8.2 增加量理论中的基本函数增加量理论的非逻辑词汇包含一个基本函数符:plus 。8.3 增加量理论中的基本常量增加量理论的非逻辑词汇包含一个基本常量符:一一-zero_quantlty。8.4 增加量理论中的基本关系增加量理论的非逻辑词汇包含一个基本关系符:greater 0 8.5 增加量理论所要求的核心理论增加量理论需要以下核心理论:psl-core
37、. th 0 8.6 增加量理论的非正式语义8. 6. 1 additive additive的KIF表示法:(additive ?q) additive的非正式语义:当且仅当?q是有序群的一个元素时，(additive ?q)在增加量理论注释中为TRUE。8.6.2 plus plus的KIF表示法:(plus ?ql ?q2) plus的非正式语义:当且仅当?q3是有序群内?ql和?q2的总和时，(=?q3(plus ?ql ?q2)在增加量理论的注释中为TRUEo 8. 6. 3 zero_quantity zero_quantity的KIF表示法:zero_quantlty plus的
38、非正式语义:当且仅当zero_quantity与有序群一致时，(=?q zero_quantity)在增加量理论的解释中为TRUE。8. 6. 4 greater greater的KIF表示法:(greater?ql ?q2) greater的非正式语义:当且仅当在有序群内?ql比?q2大时，(greater?ql?q2)在增加量理论的解释中为TRUE。8. 7 增加量理论公理以下各项公理属于增加量理论。9 G/T 20719. 14-2010/ISO 18629斗4:20068.7.1 公理1元素zero_quantity是增加量。(additive zero_quantity) 8.7.2
39、 公理2任何两个增加量元素的和也是增加量。(forall (?ql ?q2) (implies (and (additive?ql) (additive ?q2) (additive (quantity_plus ?ql ?q2) 8.7.3 公理3函数quantity_pl us是结合函数。(forall (?ql ?q2?q3) (implies (and (additive?ql) (additive ?q2) (additive (quantity_plus?ql ?q2) 8.7.4 公理4Zero_quantity是单位元素。(forall (?q) (implies (addit
40、ive?q) (=?q (quantity_plus?q zero_quantity) 8.7.5 公理5对于任何增加量元素，都存在着一个增加量逆元素与之对应。(forall (?q) (implies (additive?q) (exists( ?p) (= zero_quantity(quantity_plus?q?p) 8.7.6 公理6函数quantity_plus符合交换率。(forall (?ql ?q2) (implies (and (additive?ql) (additive?q2) ) (= (quantity_plus?ql ?q2) (quantity_plus ?q2
41、?ql) 8.7.7 公理710 如果量?ql大于量?q2，那么可为双方添加任何量以保持有序。(forall (?ql ?q2?q3) (implies (and (additive?ql) (additive?q2) (additive?q3) (iff (greater ?ql ?q2) (greater(quantity_plus?ql ?q3) (quantity_plus?q2?q3) GB/T 20719. 14-2010 /ISO 18629-14: 2006 8.7.8 公理8如果量?ql与量?q2相等，那么可为双方添加任何量以保持相等。(forall (?ql ?q2?q3)
42、 (implies (and (additiv巳?ql)(additiv巳?q2)(additive?q3) ) (iff (= ?ql ?q2) (= (quantity_plus?ql ?q3) (quantity_plus? q2? q3) 8.7.9 公理9在增加量元素上的有序关系greater是可传递的。(forall (? dl? d2? d3) (implies (and (greater? dl? d2) (greater? d2? d3) (greater ? dl? d3) 8.7.10 公理10不存在比自身大的增加量元素。(forall (? d) (not (great
43、er? d? d) 注:有序关系greater是一种严格顺序。8.7. 11公理门增加量元素的顺序关系是一种线性顺序。(forall(? dl? d2) (or (greater? dl? d2) (greater? d2? dl) (=7 dl? d2) 11 GB/T 20719.14一-2010/ISO18629-14:2006 附录A(规范性附录)SC 4标准中ASN.1标识符的应用为了给开放系统中的信息对象提供一个元二义性的标识，对象标识符(iso standard 18629 part 14 version 1) 被分配给本部分。GB/T16262. 1定义了该值的含义，并在GB/
44、T16262. 1加以描述。12 GB/T 20719. 14-2010/ISO 18629-14:2006 附录B(资料性附录)应用GB/T20719. 14的过程描述示倒本附录的目的是提供一套详细的方案，在该方案中，GB/T20719 PSL用于实现涉及多个制造部门之间的信息共享。本方案是一套具有可互操作性的制造方案，目的在于显示如何使用PSL促进过程知识在制造业环境中的交流。特别地，该方案围绕着从过程计划者到车间作业调度员的知识的交换来展开。GB/T 20719. 11-2010附录C阐述了名为GT-350产品的制造过程规范中外核概念的应用。本附录对GB/T20719. 11-2010附
45、录C中的测试案例进行了扩充。B.1 GT-350制造过程本节把各个部门的过程整合成一个生产GT-350产品的高层活动集。正如GT-350产品结构(见GB/T 20719. 11-2010附录C的表C.1)所描述的一样，购买、外包或自生产本产品的子部件。这些过程描述侧重完成制造自制子部件的活动。这种自顶向下的方式抽象地为制造过程提供了一个完整的图，制造GT-350活动向下延伸到各个具体的部门。如下图B.1所示，GT-350制造过程六个主要的工作领域。前五个(加工内饰、加工驾驶系统、加工轮胎、制造发动机和制造底盘)相互之间是无序的，但在进行最后组装之前必须完成。制造GT-350图B.1制造GT-3
46、50的顶层过程2J顶层过程的PSL-Outer-core-based描述为:(s u bacti vi ty make-chassis make_gt3 5 0) 13 GB/T 20719. 14一-2010/ISO18629-14:2006 Csubactivity makc-intcrior makc_gt350) Csubactivity makc-driv巳makc_gt350)Csubactivity makc-trim makc_gt350) Csubactivity makc-cnginc makc_gt350) C s u bacti vi ty makc-asscm bly
47、 makc_gt35 0) 每个抽象活动都能被更加详细地叙述，但我们未对本附录中的所有示例展开详细阐述。基于在制造过程的不同阶段对抽象活动的IDEF3C10J表达(按照过程表达)，选取一些使用标准ISO 18629-12中PSL_Outcr_corc的过程描述的示例。B.2 发动机制造抽象活动350-发动机的组装在几个CMW部门实现。制造过程如图B.2所示。该部件由发动机、发动机线束、电线组成。子过程在下一节中细化。350一发动机在A004组装台上进行组装，并且每块需要5mino 14 制造发动机加工线束图B.2制造350-发动机的过程2J下面是一些与发动机制造阶段有关的活动和过程的PSL-O
48、utcrcorc-based表达:Csubactivity makc_block makc_cnginc) Csubactivity make-harness make_enginc) Csubactivity make_wires makc_cnginc) Csubactivity assemblc_cngine makc_engine) Cand Crequircs make_cngine?r 1) Cforall C?r) Cimplies Ccnginc_block ?r) Crcsourcc?r) ) C forall C?r) Cimplics Charncss ?r) Crcso
49、urce ?r) 组装发动机GB/T 20719. 14-2010/ISO 18629-14:2006 (forall (?r ?s) (implics (wire?r) (cxists (?i) (prior (resourcc_sct?i?r) ?s) (forall (?occ) (implics (occurrencc_of?occ makc_cngine) (cxista (?occl ?occ2?occ3?0cc4 ?rl ?r2 ?r3 ?i) (and (occurrcnce_of?occl makc_block) (occurrence_of ?。因2makc_harness) (occurrencc_of ?cc3 make_ wires) (
