1、ICS 25.040.40 L 67 gB 中华人民共和国国家标准G/T 20719.44-201 O/ISO 18629-44: 2006 工业自动化系统与集成过程规范语言第44部分:定义性扩展资源扩展Industrial automation systems and integration-Process specification language-一Part 44 : Definitional extension-Resource extensions (ISO 18629-44: 2006 , IDT) 2010-09-02发布2010-12-01实施数码防伪 中华人民共和国国家质量
2、监督检验检夜总局中国国家标准化管理委员会发布GB/T 20719.44-2010/ISO 18629-44 :2006 目次I 引言.n I 范围2 规范性引用文件.3 术语和定义、缩略语4 GB/T 20719概述 3 5 GB/T 20719本部分的组织. 4 6 资源角色.4 7 基于能力的并发.8 8 资源共享性99 基于资源集合的活动四川可替代资源.14 11 齐次集12 资源池13 库存资源集合UM 处理器活动.20 15 资源路线附录A(规范性附录)在SC4标准中使用抽象语法符号l(ASN.l)标识符24附录B(资料性附录)使用GB/T20719第44部分描述过程的实例. 25
3、附录NA(资料性附录本标准英文黑体词的含义.31 参考文献.33 索引.34GB/T 20719.44-2010/ISO 18629-44 :2006 目UJ=I GB/T 20719(工业自动化系统与集成过程规范语言分为:一一第1部分:概述和基本原理;第11部分:PSL核心;一一第12部分:外核;一一第13部分:时序理论;一一第14部分:资源理论;一一第15部分:活动性能理论。-一第21部分:EXPRESS; 第22部分:XML;一一第23部分:UML;一一第41部分:活动;一一第42部分:时间和状态;一一第43部分:序列;一一第44部分:定义性扩展资源扩展;一一一第45部分:资源集的种类;
4、-第46部分:加工活动;一一第47部分:过程目的。本部分为GB/T20719的第44部分。本部分等同采用ISO18629-44: 2006(工业自动化系统与集成过程规范语言第44部分:定义性扩展资源扩展)(英文版)。本部分的技术内容和组成结构与ISO18629-44: 2006相一致，在编写格式上符合GB/T1. 1-2000。只是根据我国国家标准的制定要求和为方便使用，做了如下编辑性的改动:一一将ISO18629改为GB/T20719，把ISO18629-44改成GB/T20719. 44或GB/T20719 本部分。一一删除了ISO18629-44: 2006的前言，并按照我国国家标准编制
5、要求重新起草了前言。一一-将ISO18629-44: 2006第2章规范性引用文件中的引导语改为GB/T1. 1-2000中的6.2.3规定的引导语。一一将本部分中出现的巳转化为国家标准的国际标准编号改为国家标准编号，并将相应的国家标准采用的国际标准版本号放在国家标准编号后的括弧内，便于使用和查阅。未转化的国际标准保留。一一为了使读者便于理解本部分黑体词的含义，增加了附录NA。一一删去了原文中不符合我国标准编写的字句。本部分附录A是规范性附录，附录B、附录NA是资料性附录。本部分由中国机械工业联合会提出。本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。本部分由北京机械工
6、业自动化所负责起草。本部分主要起草人:黎晓东、杨书评、刘颖。I GB/T 20719.44-2010/ISO 18629-44 :2006 sl GB/T 20719是为了进行与制造过程相关的计算机可解释的信息交换所使用的国家标准。GB/T 20719标准包含的所有部分结合在一起，为描述贯穿整个生产过程的制造过程提供了一类语言(该生产过程可能位于一个工业公司，也可能跨越几个工业部门或公司)，并独立于任何特定的表示模型。语言的本质使得它适用于在生产过程的各个阶段共享与制造相关的过程信息。GB/T 20719的本部分提供了一种语言的定义性扩展描述，该语言是与GB/T20719定义的活动扩展相关的语
7、言。GB/T 20719中的所有部分与制造管理领域软件应用中采用的任何特定过程的表述或模型无关。本标准的所有部分一同为改善这些应用软件的协同性提供了一个结构框架。E GB/T 20719.44-2010/ISO 18629-44 :2006 1 范围工业自动化系统与集成过程规范语言第44部分:定义性扩展资源扩展GB/T 20719本部分通过使用一组用GB/T20719语言书写的定义来提供该语言的非基本概念的规范。这些定义对GB/T20719本部分中的术语提供了语义的公理化。GB/T 20719本部分的范围包括:一-ISO18629-11、ISO18629-12和ISO18629-14中详细描述
8、的与资源、资源集合、资源与活动间的关系相关的概念的定义;ISO 18629-11、ISO18629-12和ISO18629-14中详细描述的表征资源与活动间的关系的概念的定义。2 规范性引用文件下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。GB/T 16262.1 信息技术抽象语法记法一(ASN.l)第1部分:基本记法规范(GB/T16262. 1-2006 ,IS0/
9、IEC 8824-1 : 2002 , IDT) GB/T 19114.1 工业自动化系统与集成工业制造管理数据第1部分:综述(GB/T19114.1-2003 ,IS0 15531-1: 2002 , IDT) GB/T 20719.1-2006 工业自动化系统与集成过程规范语言第1部分:概述与基本原理(ISO 18629-1: 2004 , IDT) ISO 18629-11: 2005 工业自动化系统与集成过程规范语言第11部分:PSL核心IS0 18629-12工业自动化系统与集成过程规范语言第12部分:外核IS0 18629-14工业自动化系统与集成过程规范语言第14部分:资源理论3
10、 术语和定义、缩畸语3. 1 术语和定义下列术语和定义适用于GB/T20719的本部分。3. 1. 1 公理axiom 形式语言中的合式公式，用以对一门语言的词汇中的符号解释加以约束。GB/T 20719. 1J 3.1.2 定义的词汇defined lexicon 非逻辑词汇的一系列符号，表示所定义概念。注:定义的词汇分为常量、函数和关系符号，1 GB/T 20719.44-2010/ISO 18629-44 :2006 示例:具有保守定义的术语。GB/T 20719. 1J 3.1.3 定义性扩展definitional extension PSL核心的扩展，引入了能够用PSL核心术语完全
11、定义的新的语言项目。注:定义性扩展没有为PSL核心增加新的表达能力，但它被用来指明领域应用中的语义学和术语学。GB/T 20719.1的修改3. 1. 4 扩展extension 包含附加公理的PSL核心的扩充。注1:PSL核心是一组相对简单的公理，足以表达很广范围内的基本过程。然而，更复杂的过程所的表达性资源超出了PSL核心的范围，相对于将每一个可能的概念(其对于描述一个或另一个过程可能有用)杂乱地添加到PSL核心中去，更好的方式是开发各种独立的、模块化的扩展，并把它们添加进PSL核心。采用这种方式，用户可以根据自己的表达需求精确地裁剪语言。注2:所有的扩展均是核心理论或定义性扩展。GB/T
12、 20719. 1J 3. 1. 5 语法gramm盯说明如何将逻辑符号和词汇术语组合为合式公式的规范。GB/T 20719. 1 3.1.6 语言language 词汇和语法的组合。GB/T 20719. 1J 3. 1. 7 词汇lexicon 符号和术语的集合。注:词汇包括逻辑符号L例如布尔连接和量词)与非逻辑符号。对于GB/T 20719来说，词汇的非逻辑部分包括用于表达本体的基本概念的词语(常筐，函数符号和关系符号)。GB/T 20719. 1J 3. 1.8 制造manufacturing 将材料由原材料或半成品态转变为成品态的功能或行为。GB/T 19114.1-2003J 3.
13、1.9 制造过程manufacturing process 一套结构化的行为和操作，它完成了将原材料或半成品向成品的转化。注:制造过程可被安排在程序规划、产品规划、单元规划或装配位置规划里。根据战略性应用和物资的分配，制造过程可被用于支持按库存生产、按订单生产、按订单装配。GB/T 19114.1-2003J 3. 1. 10 2 基本概念primitive concept 没有保守定义的词汇术语。GB/T 20719. 1J G/T 20719.44-2010/ISO 18629-44 :2006 3. 1. 11 基本词汇primitive lexicon 表示基本概念的非逻辑词汇的符号集
14、合。注:基本词汇分为常量、函数符号和关系符号。GB/T 20719. 1J 3. 1. 12 过程process 涉及各种企业实体的一套结构化的活动，是为特定的目的设计和组织的。注:这里提出的定义与GB/T16656.49 (150 10303-49 , IDT)中给出的定义非常接近。不过，GB/T19114需要的是活动的结构化集合的概念，对于时间或步骤不进行任何预先确定。另外，从流管理的观点来看，为了保持同步可能会需要一些空白过程，尽管这些空白过程实际上什么也没做(ghosttask幽灵任务)。GB/T 19114. 1-2003J 3. 1. 13 资源resource 在企业生产产品或服
15、务中配置的任何设备、工具和手段。注1:由GB/T19114. 1改编。GB/T19114. 1中所定义的资源的概念包括一个假定，即资源不包括原材料、产品以及从系统理论的角度来看被认为是系统环绕的部分的成分，因而其不属于系统本身。这不符合这里的情况。此外，GB/T19114.1的定义包含GB/T16656.49 (150 10303-49 , ID凹的定义，但是GB/T19114. 1的定义被包括在GB/T20719本部分应用的定义中(GB/T20719本部分定义的资源除了GB/T19114中定义的资源之外，还包括原材料和耗材，与15018629-14中的相同).注2:这里所定义的资源包括人力资
16、源，它被认为是具有特定能力和特定才能的特殊手段。那些手段被认为能够通过分配的任务被包含在制造过程中。这不包括除了在制造过程中执行特定的任务的能力(例如:原材料或成分的转变，后勤服务的供给)之外的人力资源的个体的或公共的行为的任何模型。这意味着，人力资源如其他的资源那样仅从它们的功能、它们的能力和它们的状态(例如:闲着的，忙碌的)的角度来考虑。这不包括个体或公共(社会)行为的任何方面的任何模型或者表述。GB/T 19114.1 2003J 3. 1. 14 理论theory 属于给定概念和概念集的公理和定义的集合。注z这个定义反映了人工智能的方法，它的理论是一个假定的集合(基于相关概念的含义)。
17、GB/T 20719. 1J 3.2 缩畸语下列缩略语适用于GB/T20719的本部分。一-K1FKnowledge 1nterchange Format 知识交换格式。4 G/T 20719概述IS0 186291)中的第4149部分详细描述了定义性扩展，其需要给出GB/T20719的非基本概念的精确定义和公理化。定义性扩展是引入了有关词汇的新项目的IS018629-11和IS018629-12的扩展。在定义性扩展中找到的这些项目可用IS018629-11和IS018629-12的理论完全定义。定义性扩展为在个体应用软件或以协同为目的的应用软件类型中使用的元素提供精确语义定义。定义性扩展存在
18、于以下类别中:一一活动扩展;一一时间和状态扩展;1) 某些部分正在开发中。3 CB/T 20719.44-2010/ISO 18629-44 :2006 活动次序和持续时间扩展;-一资源角色;资源集合;处理器活动扩展。个别GB/T20719的用户或用户团体可能需要扩展GB/T20719来详细描述目前在ISO18629的第4149部分中缺少的概念。他们应该采用GB/T20719中提供的元素来这样做。用户定义的扩展和它们的定义组成定义性扩展，但不应成为ISO18629的第4149部分中的一部分。注:用户定义的扩展必须像GB/T20719. 1-2006中5.1和5.2所定义的那样符合GB/T207
19、19. ISO 18629的第4149部分提供:一一使用ISO18629-11和ISO18629-12中的概念，特别针对上面概述的六个概念的元素的语义定义;限制定义性扩展中元素的使用的公理集。它们不涉及:是ISO18629-11和IS018629-12的一部分的概念的定义和公理;不使用ISO18629-11和ISO18629-12中元素定义的元素;用户定义的扩展。5 CB/T 20719本部分的组织构成了GB/T20719此部分的定义性扩展是:资源角色;一一基于能力的并发;一一资源共享性;一一基于资源集合的活动;可替代资源;齐次集;一一储备资源集4一一资源池;一-处理器活动E资源路线。GB/T
20、 20719(idt ISO 18629)本部分中的所有理论都是ISO18629-14的扩展，ISO18629-14自身是ISO18629-12和ISO18629-11的扩展。6 资源角色本章表征了关于资源角色的所有定义。在GB/T20719的上下文中，一个物体是仅与需要资源的某一活动有关的资源。因此，不提供资源的任何其他特性，如离散资源对持续资源的发放的公理化。资源角色是形式化路线中的一条路线，在此形式化路线中活动需要资源。资源角色公理化背后的直觉知识是与活动共享的资源、有关的活动中的相互作用的分类。尤其是，本章定义的资源角色集合是干扰行动的一个分类，也就是一个行动的结果篡改了另一个行动的前
21、提条件。4 注:在支持如GB/T19114标准的系统理论的情况下，资源是系统配置的手段，用来把输入变成输出。为此它们不能被认为是系统的输入或输出。它们如在这里所定义的那样呈现为资源的子集。因此，在例如GB/T19114的标准中，它们与一个给定活动的优先没有关联。与过程1中的活动A或过程2中的活动B关联的一个资源可能是空闲的。对于人力资源，那是很明显的，而对于车床(举例来说，其可能与过程1中的活动制造圆柱体或过程2中的活动钻孔相关联这一情况也是真的。无论如何，GB/T20719的本部分的所有定义也都应用于资源的此种类型。GB/T 20719.44-201 O/ISO 18629-44: 2006
22、 6. 1 资源角色的基本词汇资源角色的词汇没有引入基本关系。6.2 资源角色的概念的定义的词汇在本章中定义了以下关系:(reusable ?r ?a) ; 一一一(possibly_reusable?r ?a); 一-一(renewable?r ?a) ; 一一一(weakly_reusable?r ?a); 一一一(consumable?a); (possibly _consumable ?r ?a) ; 一一一(weakly_consumable?r ?a); 一一一(wearable?r ?a)。每一概念用非正式语义和一个KIF公理所描述。6.3 资源角色所需的核心理论此扩展需要生发匕
23、U可动有fm 后行生执发啤其一刊成剧中兀Uaif ?发动动活恬在，叮动曰一活一他其阐何布的任t的世行要源在资习可要主展民义也需。就扩扩定概也用活性性自下眼涅吨义L范1直面J定3概缸，可一定义来页是L川hphJ由儿的要的定未M源-JU叫出-m.M需需色色的动资-mmmk-dmM时所不角角K能活的l山。一甲auc-h一色色涯原，由可过四甜叫叩讪切叫巾和酣角刊资跚次通眼一一一一一一一一由于r每一一一一一一一一盘用一一一一一一一一资对1在强相455mp EUFOCOm贝(forall (r ?al ?a2 ?a?cl ?c2) (iff (reusable ?r ?al) (i1nplies (and
24、 (co皿on?al ?a2 ?r) (subactivity ?al ?a) (subactivity ?a2 ?a) (occurrence of ?occ2 ?al) (forall (?b) (扛nplies(forall (?occ3) (i1nplies (and (subactivity_occurrence ?c3 ?b) (currence of ?b ?a) (precedes?c2 ?c3) (poss ?a2 ?但c3)6.5.2 possibly_reusable 在某个可能的未来情形中，当且仅当也需要资源?r的任何其他活动在活动?a完成其发生后依然有可能发生时，资源
25、?r通过活动?a是可能可复用的。5 GB/T 20719.44-201 O/ISO 18629-44: 2006 示例:可能可复用的是一个在不同活动问得要某种设置的机构。在第一个活动发生后，有可能发生另一个活动，但只有在设置活动先发生时。(forall (?r ?al) (iff (possibly_reusable ?r ?al) (forall (?a2 ?occl ?occ2) (implies (皿d(common ?al ?a2 ?r) (subactivity ?al ?a) (subactivity ?a2 ?a) (occurrence_of ?occ2 ?al) (exist
26、s (?b) (and (exists (?occ3) (皿d(subactivity_occurr四ce?c3?b) (occurrence of ?b ?a) (precedes?c2 ?occ3) (poss ?a2 ?occ3) 6. 5. 3 renewable 在每个可能的未来情形中，当且仅当也需要资源?r的任何其他活动在活动?a完成其发生后除非被阻止依然有可能发生时，有关活动恒的资源?r是可再生的。示例:太阳能充电电池是可再生资源。一旦其被耗尽，总会存在太阳向电池重新充电，以便电池能再次使用的未来情形。(forall (?r ?al) (iff (r四ewable?r ?al)
27、(forall (?a2 ?occl ?occ2) (implies (and (common ?al ?a2 ?r) (subactivity ?al ?a) (subactivity ?a2 ?a) (occurrence_of ?occ2 ?al) (forall (?b) (implies (exists (?occ3) (and (subactivity_occurrence ?occ3 ?b) ) 、BJ、J3、Jac、J。，.户、2叫iM、BJbo川)。，.、B/23 ，MZ刀2-o 口号-9nsz ee-a 口创?ucs 户lwaLWCU严归( 6. 5. 4 weakly _
28、reusable 在每次可能的未来情形中，当且仅当也需要资源?r的任何其他活动在活动?a完成其发生后除非被阻止依然有可能发生时，资源?r是通过活动?a可被微弱地复用的。示例:微弱地可复用的资源是资源更新可能被阻止的资源。例如，只是在使用画笔后将画笔放到溶剂里时，画笔时可复用的，否则，其是不可复用的。(forall (?r ?al) (iff (weakly_reusable ?r ?al) (forall (?a2 ?occl ?occ2) (implies (and (common ?al ?a2 ?r) (subactivity ?al ?a) (subactivity ?a2 ?a) (
29、occurrence of ?occ2 ?al) (exists (?b) (四d(forall (?c3) ( impl ies (and (subacti v ity _ occurr四ce?occ3 ?b) (occurrence_of ?b ?a) (precedes ?occ2 ?c3) (poss ?a2 ?occ3) 6. 5. 5 consumable 如果也需要资源?r的任何其他活动在活动?a完成其发生后不能发生，则资源?r是通过活动?a可消耗的。6 GB/T 20719.44-2010/ISO 18629-44 :2006 示例:可消耗的资源是火中的木头，或在生产制造过程中
30、的原材料。(forall (句?al)(iff (consumable ?r ?al) (forall (?a2 ?occl ?occ2) (implies (and (co皿on?al ?a2 ?r) (subactivity ?al ?a) (subactivity ?a2 ?a) (occurrence of ?c2 ?al) (forall (?b) (implies (forall (?c3) (implies (and (subactivity_occurrence ?occ3 ?b) 6.5.6 possibly_consumable (occurrence_of ?b ?a)
31、(precedes ?occ2 ?occ3) (not (poss ?a2 ?occ3) 当且仅当活动?al发生后存在着这样的未来情形，即在该情形中需要资源?r的任何活动不再是可能的时，关于活动?al的资源?r是可能被消耗的。(forall (?r ?al) (iff (possibly_consumable ?r ?al) (forall (?a2 ?occl ?occ2) (implies (皿d(common ?al ?a2 ?r) (subactivity ?al ?a) (subactivity ?a2 ?a) (occurrence of ?occ2 ?al) (exists (?
32、b) (出d(exists (?occ3) (皿d(subactivity_occurrence ?occ3 ?b) (occurrence_of ?b ?a) (precedes?c2 ?occ3) (not (poss ?a2 ?c3) 6.5.7 weakly_consumable 当且仅当活动?al发生后总是存在着可能的未来，即需要资源?r的任何其他活动将是决不可能的时，资源?r是关于活动?al的微弱地被消耗的。示例z画笔是一个微弱地被消耗的资源z如果在使用后，我们确实将其放到溶剂中，则任何需要此画笔的活动将不再是可能的。(forall (?r ?al) (iff (weakly_co
33、nsumable ?r ?al) (forall (?a2 ?occl ?occ2) (implies (and (common ?al ?a2 ?r) (subactivity ?al ?a) (subactivity ?a2 ?a) (occurrence_of ?occ2 ?al) (exists (?b) 6. 5. 8 wearable (and (forall (?c3) (implies (and (subactivity_occurrence ?occ3 ?b) (occurrence_of ?b ?a) (precedes ?occ2 ?occ3) (not (poss ?a
34、2 ?occ3) 当且仅当活动?al发生后，在每一个可能的未来总是存在着一种情形，p需要资源?r的任何其他活动不再是可能的时，资源、?r关于活动?al是可磨损的。示例:钻头是可磨损的资源;在每个可能的将来，将会存在钻头被磨到其不再能使用的程度的情形。(forall (?r ?al) (iff (wearable ?r ?al) (forall (?a2 ?occl ?occ2) (implies (and (common ?al ?a2 ?r) 7 G/T 20719.44-2010/ISO 18629-44 :2006 (subactivity?al ?a) (subactivity ?a2
35、 ?a) (occurrence_of ?occ2 ?al) (forall (?b) (implies (exists (?occ3) (and (subactivity_occurrence ?occ3 ?b) (occurrence_of 吗?a)(precedes?c2 ?c3) (not (poss ?a2 ?occ3) 7 基于能力的并发此项条款表征了关于基于能力的并发的所有定义。7. 1 基于能力的并发的基本词汇基于能力并发的词汇没有引入基本关系。7.2 基于能力的并发的概念的定义的词汇在本章中定义了以下关系:一一(exclusive_use?a ?r); 一一一(capacit
36、y_based?a ?r); 一一一(unary_resource ?r) ; 一一(capacitated?r); 一一(uniform_demand?r ?q) ; (1ayput ?r ?a)。每个概念通过非正式语义和KIF公理来描述。7.3 基于能力的并发所需的理论这一理论需要一一-additive.th; 一一-requires.th; 二act_occ.th; 一-complex. th; 一一-subactivity.th; 一一一occtree.th; 一一-disc_state.th; 二-psl_core.th。7.4 基于能力的并发所需的定义性扩展基于能力的并发不需要定义
37、性扩展。7.5 基于能力的并发的定义对于基于能力的并发，定义以下概念。7. 5. 1 exclusive use 8 当且仅当活动对资源的需求等于它的资源点时，则此资源对活动是独家使用的。(forall (?a ?r) (iff (exclusive use ?a ?r) (forall (?ql ?q2 ?occ ?occp) (i皿plies(皿d(do ?a ?occ ?occp) (holds (d四and?a ?r ?ql) ?occ) (holds (resource_point ?r ?q2) ?occ) (= ?ql ?q2) 注:如果一个资源关于两个活动是独家使用的，那么这两
38、个活动不能同时发生。GB/T 20719.44-2010/ISO 18629-44 :2006 7.5.2 capacity_based 当且仅当活动对资源的需求少于它的资源点时，此资源对活动来说是基于能力的。(forall (?a ?r) (iff (capacity_based ?a ?r) (forall (?ql ?q2 ?occ ?occp) (implies (and (Do ?a ?occ ?occp) (holds (demand ?a ?r ?ql) ?occ) (holds (resource_point ?r ?q2) ?c) (lesser ?ql ?q2) 注:基于能
39、力的资源允许多种活动共享资源的可能性。7.5.3 unary_resource 当且仅当所有需要资源的活动是独家使用的时，此资源是一元的。(forall (?r) (iff (unary_resource ?r) (forall (?a) (implies (res_requires ?a ?r) (exclusive use ?a ?r) 7.5.4 capacitated_resource 当且仅当所有需要资源的活动是基于能力的时，此资源是被赋能的。(forall (?r) (iff (capacitated_resource ?r) (forall (?a) (implies (res_
40、requires ?a ?r) (capacity_based ?a ?r) 7. 5. 5 uniform demand 当且仅当对资源的需求在所有情况下是相同的时，活动对资源有一致需求。(forall (?a ?r ?q) (iff (uniform_demand ?a ?r ?q) (forall (?occ) (holds (d四and?a ?r ?q) ?occ) 7.5.6 layout 当且仅当需求依赖于其他活动的效果而变化时，活动对资源来说是布局活动。(forall (iff (layout ?r ?a) (forall (?q ?occl ?occ2) (not (iff (
41、holds (d四and?r ?a呵)?occ2) (holds (d四and?r ?a ?q) ?occl) 示例=如果蛋糕被沿着炉子边放置，则两个烘烤活动可同时发生，但如果蛋糕必须被放在炉子中心，则两个烘烤活动不能同时发生。8 资源共享性本章表征了关于资源共享的所有定义征。此扩展中被提及的量的概念独立于资源存在或特性的概念，以及独立于离散和连续资源之间的区别。认识到这一点是重要的。唯一令人关注的是为了未来的活动资源具有的可用性。资源点的概念是对这种可用性的约束。与多个同时发生的活动相关的资源的共享性由量来详细说明。资源点确定了需要资源的并发活动的最大集合。因此，如果量是零的话，那么可能没有
42、活动需要资源。8. 1 资源共享性的基本词汇资源共享性的词汇不引人基本关系。8.2 资源共享性的定义的词汇在本章中定义了以下关系:Cconsumes_quantity ?sl ?s2 ?a); 一一一Cstrict_consumes_quantity?sl ?s2 ?a); 9 GB/T 20719.44-2010/ISO 18629町44:2006一一-(produces_quantity?occl ?occ2); 一-(strict_produces_quantity?occ); -一(uses_quantity?occ) ; 一一(creates?occ) ; (destroys ?oc
43、c); 一一一(fixed_quantity?r) ; 一一一(nonreplenishable?r); 一一(uses?a?r); 一一一(consumes?a ?r); 一一一(strictconsumes ?a ?r); 一一一(produces?a ?r); 一一一(strict_produces?a ?r); 一一一(provides?a ?r); 一一-(provides_quantity?a ?r)。每个概念由非正式语义和KIF公理来描述。8.3 资源共享性所需的理论此理论需要以下扩展:一一-additive.th; 一一-requires.th; 一一-act_occ.th;
44、一一一complex.th; subactivity. th; 一一occtree.th; 一一-disc_state.th; 一一-psl_core.th。8.4 资源共享性所需的定义性扩展资源共享性不语要定义性扩展。8.5 资源共享性的定义对于资源共享性定义以下概念。8. 5. 1 consumes_quantity 当且仅当对资源的需求是?q及资源的资源点在活动发生后被消耗了?q时，此活动消耗?q量的资源。(forall (?a?r ?q) (iff (consumes_qu部tity?a ?r ?q) (forall (?ql ?occ ?occl ?occ2) (i皿plies(an
45、d (do ?a ?occl ?c2) (holds (demand ?a ?r ?q) ?occl) (holds (resource_point ?r ?ql) ?cl) (holds (resource_point ?r (一?ql?q) ?occ2) 8. 5. 2 strict_consumes_quantity 当且仅当资源是不可补充的时，活动严格地消耗了一定量的资源。(forall (?a ?r ?q) (iff (strict_consumes_qu田tity?a ?r ?q) (and (consumes_quantity ?a ?r ?q) (nonreplenishabl
46、e ?r) 8.5.3 produces_quantity 当且仅当资源的资源点在活动发生后增加了?q时，此活动产生了?q量的资源。10 G/T 20719.44-201 O/ISO 18629-44: 2006 (forall (?a ?r ?q) (iff (produces_quantity ?a ?r ?q) (forall (?ql ?q2 ?occ ?occl ?occ2) (implies (and (do ?a ?occ1 ?occ2) (holds (resource_po扛lt?r ?ql) ?cl) (= ?q2 (plus ?ql ?q) (holds (resourc
47、e_point ?r ?q2) ?occ2) 8.5.4 strict_produces_quantity 当且仅当没有其他活动消耗某一数量的资源时，此活动严格地产生某一数量的资源。(forall (?a ?r ?q) (iff (strict_produces_quantity ?a ?r ?q) (exists (?q) (and (produces_quantity ?a ?r ?q) (not (exists (?a2 ?q2) (and (subactivity ?a2 ?的(consumes_quantity ?a2 ?r ?q2) 8. 5. 5 uses_quantity 当且仅当对资源的需求是?q且资源的资源点不能被活动发生改变时，活动使用了?q量的资源。示例:建筑活动需要
