GBT20719.41-2010工业自动化系统与集成过程规范语言定义性扩展活动扩展.pdf 54页

'ICS25．040．40L67a雪中华人民共和国国家标准GB／T20719．41—2010／ISO18629-41：2006工业自动化系统与集成过程规范语言第41部分：定义性扩展：活动扩展Industrialautomationsystemandintegration--Processspecificationlanguage---Part41：Definitionalextension：Activityextensions2011-01-14发布(ISO18629—41：2006，IDT)2011—06—01实施中华人民共和国国家质量监督检验检疫总局考寿中国国家标准化管理委员会仅111 GB／T20719．41—2010／ISO18629-41：2006前言⋯⋯⋯⋯⋯⋯引言⋯⋯⋯⋯⋯⋯1范围⋯⋯⋯⋯·2规范性引用文件目次3术语、定义和缩略语⋯⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯·420719的第41部分～第49部分的常规组织520719本部分的组织⋯⋯⋯⋯⋯·⋯⋯⋯“6菲确定性活动：置换分支结构⋯⋯⋯⋯⋯⋯⋯⋯⋯7非确定性活动：折叠分支结构⋯·⋯⋯⋯⋯⋯⋯⋯”8非确定性活动：分支结构和排序⋯⋯⋯⋯⋯⋯⋯-．9非确定性活动：重复的分支结构⋯⋯⋯⋯⋯⋯⋯“IⅢ1101410活动谱：置换活动树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯·1611括动谱：压实分支结构⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯1812活动谱：活动树和重新排序⋯⋯⋯····⋯⋯·⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯2013谱和子树遏制⋯⋯⋯⋯·⋯⋯·⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯⋯⋯2214活动的嵌入约束⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯··⋯⋯··⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯··2415梗概活动树⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯2616原子活动：向上并发⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯2917原子活动：向下并发⋯⋯⋯⋯⋯⋯⋯·⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·-3018原子活动谱·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯“3219活动的前提⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯··⋯34附录A(规范性附录)20719．41的AsN．1标识符⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯35附录B(资料性附录)使用GB／T20719．41描述过程的实例⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯···⋯⋯·-36附录NA(资料性附录)本部分英文黑体词的含义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯45参考文献⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯48索gI⋯⋯⋯·--··⋯·-·-⋯⋯·-·⋯⋯--⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一49 前言GB／T20719．41--2010／15018629-41：2006GB／T20719《工业自动化系统与集成过程规范语言》目前拟分为以下部分：——第1部分：概述与基本原理；——第11部分：PSL核心；——第12部分：外核；——第13部分：时序理论；——第14部分：资源理论；——第15部分：活动性能理论；——第21部分：EXPRESS；——第22部分：xML；——第23部分：UML；——第41部分：定义性扩展：活动扩展；——第42部分：时间和状态；——第43部分：定义性扩展：活动次序和持续时间扩展；——第44部分：定义性扩展：资源扩展；——第45部分：资源集的种类；——第46部分：加工活动；——第47部分：过程目的。本部分为GB／T20719的第41部分。本部分等同采用ISO18629—41：2006《I．业自动化系统与集成过程规范语言第41部分：定义性扩展活动扩展》(英文版)。本部分的技术内容和组成结构与ISO18629—41：2006相一致，在编写格式上符合GB／T1．1—2000《标准化工作导则第1部分：标准的结构和编写规则》。只根据我国国家标准的制定要求和为方便使用，做了如下编辑性的改动：——将“ISO18629”改为“GB／T20719”，把。IsO18629—41”改成“GB／T20719．41”或“GB／T20719本部分”；“ISO18629-1”改成“GB／T20719．1”；“ISO18629—11”改成“GB／T20719．11”；“ISO18629—12”改成“GB／T20719．12”。——将6．6的“注：GB／T20719．1—2004，3．3．8，4．2．4和5．1中阐明了GB／T20719中的语法句子的功能和重要性。”改成“注：GB／T20719．12004，4．3．4中阐明了GB／T20719中的语法句子的功能和重要性。”——删除了IsO18629—41：2006的前言，并按照我国国家标准编制要求重新起草了前言。——将ISO18629—41：2006第2章“规范性引用文件”中的引导语改为GB／T1．12000中规定的引导语。——将本部分中出现的已转化为国家标准的国际标准编号改为国家标准编号，便于使用和查阅。未转化的国际标准保留。——为了使读者便于理解本部分黑体词的含义，增加了附录NA。——删去了原文中不符合我国标准编写的字句。I GB／T20719．41--2010／IS018629-41：2006Ⅱ本部分的附录A为规范性附录，附录B、附录NA为资料性附录。本部分由中国机械工业联合会提出。本部分由全国自动化系统与集成标准化技术委员会(sAc／Tc159)]E1口。本部分主要起草单位：北京机械工业自动化研究所，清华大学。主要起草人：王思斯、黄双喜。 引言GB／T20719．41--2010／ISO18629-41：2006GB／T20719是为了进行与制造过程相关的计算机可解释的信息交换所使用的国家标准。GB／T20719包含的所有部分结合在一起，为描述贯穿整个生产过程的制造过程提供了一类语言(该生产过程可能位于一个工业公司，也可能跨越几个工业部门或公司)，并独立于任何特定的表示模型。语言的本质使得它适用于在生产过程的各个阶段共享与制造相关的过程规范和性质。本部分提供了与在GB／T20719中定义的活动扩展相关的语言的定义性扩展的描述。GB／T20719中的所有部分与给定的应用软件中使用的任何特定过程的表述模型无关。它们一同为改善这些应用软件的协同性提供了一个结构框架。Ⅲ GB／T20719．41—2010／ISo18629-41：2006工业自动化系统与集成过程规范语言第41部分：定义性扩展：活动扩展1范围本部分通过使用GB／T20719语言中编写的一组定义来提供这种语言的非基本概念的规范。这些定义为本部分中的术语提供了语义的公理化。以下包括在本部分的范围中：——使用GB／T20719．11—2010和GB／T20719．12—2010的概念详细描述的、与状态和时间关系无关的、但与例如第5章中列出的那些活动类别相关的概念的定义。以下不包括在本部分的范围中：——使用GB／T20719．11—2010和GB／T20719．12--2010的概念详细描述的、与状态和时间相关的概念的定义。2规范性引用文件下列文件中的条款通过GB／T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。16262．1信息技术抽象语法记法一(ASN．1)第1部分：基本记法规范(GB／T16262．1--2006。ISC}／IEC8824—1：2002，IDT)16656．1工业自动化系统与集成产品数据表示与交换第1部分：概述与基本原理(GB／T16656．12008，ISO10303—1：1994，MOD)19114．1工业自动化系统与集成工业制造管理数据第1部分：综述(GB／T19114．1--2003，ISO15531-1：2002，IDT)20719．1—2006工业自动化系统与集成过程规范语言第1部分：概述与基本原理(ISO18629．1：2004，IDT)20719．11—20lO(ISO18629—11：2005，IDT)20719．12—201012：2005，IDT)工业自动化系统与集成过程规范语言第11部分：PSL核心工业自动化系统与集成过程规范语言第12部分：外核(ISO18629—3术语、定义和缩略语3．1术语和定义下列术语和定义适用于GB／T20719的本部分。3．1．1公理axiom形式语言中的合式公式，用以对一门语言的词汇中的符号解释加以约束。 GB／T20719．41—2010／LSO18629-41：2006FGB／T20719．1—2006]3．1．2数据data一种形式化的信息表达，它适合于人或计算机进行通信、解释或处理。EGB／T16656．1—2008]3．1．3定义的词汇definedlexicon非逻辑词汇的一系列符号，表示所定义概念。注：定义词汇划分为常数符号、函数符号和关系符号。例：具有保守定义的术语。[GB／T20719．1—2006]3．1．4定义性扩展definitionalextension指PSL核心的扩展，它引入了完全由PSL核心定义的新的语言术语。注：定义性扩展没有为PSL核心增加新的表达能力，但它常常定义领域应用中的语义及术语。[-GB／T20719．1—2006，定义3．1．6]3．1．5离散制造discretemanufacturing离散项目的生产。例：汽车，装置或计算机。[-GB／T19114．1—2003]3．1．6扩展extension包含附加公理的PSL核心的扩充。注1：PSL核心是一组相对简单的公理，足以表达较广范围内的基本过程。然而，更复杂的过程所需的表达性资源超出了PSL核心的范围。相对于将每一个可能的概念(其对于描述一个或另一个过程可能有用)杂乱地添加到PSL核心中去，更好的方式是开发各种独立的、模块化的扩展，并把它们添加进PSL核心。采用这种方式，用户可以根据自己的表达需求精确地裁剪语言。注2：所有的扩展均为核心理论或定义性扩展。[GB／T20719．1—2006]3．1．7语法gral∞lfflar说明如何将逻辑符号和词汇术语组合为合式公式的规范。[-GB／T20719．1—2006]3．1．8信息information事实、概念或指令。[-GB／T16656．1—2008]3．1．9语言language词汇和语法的结合。[-GB／T20719．1—2006]3．1．10制造manufacturing将原材料或半成品转换成成品的功能或行为。2 GB／T20719．41--2010／mo18629-41：2006注：定义采自APICS字典，第八版。[GB／T19114．1—2003]3．1．11制造过程manufacturingprocess一套结构化的行为或操作，它完成了将原材料或半成品向成品的转化。注：制造过程可被安排在程序规划、产品规划、单元规划或装配位置规划里。根据战略性应用和物质的分配，制造过程可被用于支持按库存生产，按订单生产，按订单装配。[GB／T19114．1—2003]3．1．12模型model满足一种理论中所有合式公式的一组元素和事实任务的组合。注1：。模型”这个词在逻辑中的用法不同于它在大多数科学及日常读物中的用法：如果一个命题在某种解释中为真。那么就可以说这种解释是该命题的模型。这里所说的语义常被称作模型理论语义。注2：模型一般表示为包含附加结构的集合(半定序，点阵，或向量空间)。模型定义了术语的古义以及本模型中所采用语言的命题的事实概念。给定一个模型，在公理集中使用的数学结构基本公理集就通过语言及它们的逻辑关系成为概念论证的基础，因此模型的集合构成了本体的形式语义。20719．1—2006|3．1．13本体ontology按照词汇中术语的含义的某些规范而定的专门术语的词汇。注1：与形式语言中术语含义的规范一同给出的相关术语的结构化集合。术语含义的规范说明了术语为什么相关、如何相关，以及集合划分和构造的条件。注2：PSL(比如GB／T20719)的主要部分就是一个本体。基本概念就是本体论。通过GB／T20719．可以描述基本的制造过程及业务过程。注3：本体的核心不只是术语，也包括它们的含义。术语的任意集合包含在本体中，但只有在含义一致时这些术语才能被共享。共享的是术语的指定语义，而不是简单的术语共享。注4：没有显式定义的任何术语都可能成为含糊及混乱的来源。本体论的难点是：需要建立一个框架以使框架中术语的含义更为清晰明确。对于GB／T20719这个本体，有必要提供一个过程信息的严格的数学特性描述以及20719语言中信息的基本逻辑特性的精确表达。注5：实际上，扩展合并了外核的公理。[GB／T20719．1—2006]3．1．14基本概念primitiveconcept没有保守定义的词汇术语。[-GB／T20719．1—2006]3．1．15基本词汇primitivelexicon表示基本概念的非逻辑词汇的符号集合。注：基本词汇分为常量、函数符号和关系符号。[GB／T20719．1—2006]3．1．16过程process涉及各种企业实体的一套结构化的活动，是为特定的目的设计和组织的。注：这里提供的定义和GB／T16656．49的定义非常接近。然而GB／T19114需要一套结构化活动的概念，对于时间和步骤没有任何预先确定。另外，从流程管理的观点来看，为同一目的需要一些空过程，尽管实际上它们不3 GB／T20719．41--2010／iso18629-41：2006起任何作用。[GB／T19114．1—2003]3．1．17产品product由天然或人造而成的事物。[-GB／T16656．1—2008]3．1．18资源resource在企业生产产品或服务中装置的任何设备、工具和手段。注1：这里所定义的资源包括人力资源，作为一种具有给定才能和能力的特定的手段。这些工具通过指派任务而被认为涉及制造过程。除了它们在制造过程中完成给定的任务(即原材料或组件的变换，后勤服务保证)的能力外，不包括人力资源的个体或通用人类行为建模。作为包括人力手段的其他资源，仅从他们的功能、能力、状态(即空闲的、忙)，它不包括任何方面的个体或共同的社会行为建模或表述。注2：此定义包括GB／T16656．49的定义。而适用于GB／T20719．14和GB／T20719．44的原材料和消耗品的定义包括GB／T16656．49定义。[-GB／T19114．1—2003]3．1．19理论theory关于某个指定概念或概念集的公理和定义的集合。注：该定义反映了人工智能方法，在该方法中。理论是一组假设，以这些假设为基础得到相关概念的含义。[GB／T20719．1—2006]3．2缩略语本部分使用了以下缩略语。KIFKnowledgeInterchangeFormat知识交换格式420719的第41部分～第49部分的常规组织”20719的第41部分～第49部分详细描述了给出GB／T20719的非基本概念的精确定义和一组公理所需的定义性扩展。定义性扩展是引入了有关词汇的新项目的GB／T20719．11—2010和20719．12—2010的扩展。在定义性扩展中存在的这些项目可以用GB／T20719．112010和20719．12—2010的理论完全定义。此定义性扩展为个体应用软件或以协同性为目的的应用软件类型的规范中所使用的元素提供精确的语义定义。定义性扩展存在于以下范畴中：——活动扩展；——时间和状态扩展；——活动次序和周期扩展；——资源角色；——资源集合；——处理器活动扩展。20719的单个用户或用户团体可能需要扩展GB／T20719来详细描述目前在GB／T20719的第41部分～第49部分中缺少的概念。它们应该采用GB／T20719中存在的元素来这样做。自定义扩展及其定义组成定义性扩展，但不应成为GB／T20719的第41部分～第49部分中的一部分。注：自定义扩展应像在GB／T20719．1—2006的5．1和5．2中所定义的那样符合GB／T20719。以下包括在GB／T20719的第41部分～第49部分的范围内：41)某些部分正在开发中。 GB／T20719．41--2010／ISO18629-41：2006——使用GB／T20719．11—20lo和GB／T20719．12—2010中的概念，特别针对上面概述的6个概念的元素的语义定义；——约束定义性扩展中元素的使用的一组公理。以下不包括在GB／T20719的第41部分～第49部分的范围内：——作为GB／T20719．11—2010和GB／T20719．12—2010中一部分的概念的定义和公理；——没有使用GB／T20719．11—2010和GB／T20719．12—2010中的元素来定义的元素；——自定义扩展。520719本部分的组织组成本部分的基本理论是：——非确定性活动：置换分支结构；——非确定性活动：折叠分支结构；——非确定性活动：分支结构和排序；——非确定性活动：重复的分支结构；——活动谱：置换活动树；——活动谱：压实分支结构；——活动谱：活动树和重新排序；——谱和子树遏制；——活动的嵌入约束；——梗概活动树；——原子活动：向上并发；——原子活动：向下并发；——原子活动谱；——活动的前提。图l显示这些扩展与GB／T20719．12—2010的核心理论之间的关系，以用于详细说明20719本部分中的定义性扩展。箭头显示本部分中的扩展和GB／T20719．12—2010之间的相关性。本部分中的全部理论均为GB／T207192．12—2010的扩展，GB／T20719．12—2010本身是20719．11—2010的扩展。注：GB／T20719．12—2010中的扩展之间相关性的完整图表存在于GB／T20719．12—2010的5．1中。图120719的定义性扩展5 GB／T20719．41--2010／LSO18629-41：20066非确定性活动：置换分支结构本条款表征了关于非确定性活动：置换分支结构的全部定义。6．1置换分支结构的基本词汇置换分支结构的词典不需要基本关系。6．2置换分支结构的概念的定义词汇本条款中定义了以下关系：(branch_monomorphic?a?occl?occ2)；(branch_automorphic?a?occl?occ2)；(permuted?a)；(nondet_permuted?a)；(partial_permuted?a)；(simple?a)。每一个概念由非正式语义和一个KIF公理来描述。6．3置换分支结构所需的核心理论此扩展需要：——act—OCC．th；——comDlex．th；——atomic．th；——subactivitv．th：——occtree．th；——pSl—core．th。6．4置换分支结构所需的定义性扩展置换分支结构不需要定义性扩展。6．5置换分支结构的概念的定义对于置换分支结构定义以下概念。6．5．1Branch_monomorpbic当且仅当最小活动树的一个分支中的原子活动发生的集合能被嵌入到另一分支上的原子活动发生的集合中时，此一个分支对于另一分支是branch-monomorphic。(forall(?occl?occ2)(iff(branch_monomorphic?occl?occ2)(forall(?sl?a)(implies(and(occurrence_of?occl?a)(subactivity_occurrence?sl?occl))(exists(?s2)(and(subactivity_occurrence?s270cc2)(mono?sl?s27a))))))))6．5．2Branch_automorphic当且仅当最小活动树的一个分支上的原子活动发生的集合是该最小活动树的另一分支上的原子活动发生的集合的置换时，这两个分支是branchautomorphic。(forall(?occl?occ2)(iff(branchautomorphic?occl?occ2)(and(branch_monomorphic?occl?occ2)(branch_monomorphic?occ270ccl))))6 GB／T20719．41—2010／ISO18629-41：20066．5．3Pernmted当且仅当最小活动树的每一个分支上的原子子活动发生的集合都是每一个其他分支上的原子子活动发生的置换时，一个活动发生是permuted。(forall(：?occ)(ill(permuted?occ)(forall(?occl70cc2)(implies(and(same_grove?occl?occ)(samegrove?occ270cc))(branch_automorphic?occl?occ2))))))6．5．4Nondet_permuted当且仅当最小活动树的每一个分支上的原子子活动发生的集合是其他一些分支上的原子子活动发生的置换时，一个活动发生是nondet—permuted。(forall(?occ)(iff(nondet—permuted?occ)(forall(?occl)(implies(same—groVe?occl?occ)(exists(?occ2)(and(same_grove?occl?occ2)(not(=?occl?occ2))(branch_automorphic?occl?occ2)))))))6．5．5Partial_permuted当且仅当存在一个分支使得原子子活动发生的集合是在其他一些分支上的原子子活动发生的置换，且存在不是任何其他分支的置换的一个分支时，一个活动发生是partial_permuted。(forall(?occ)(iff(partialpermuted?occ)(exist(?occl?0CC270cc3)(and(same_grove?occl?occ)(same_grove?occ270cc)(not(=?occl?0CC2))(branch_automorphic?occl?occ2)(same_grove?occ370cc)(forall(?0CC4)(implies(and(same—grove?occ370cc47a)(branchautomorphic?occ370cc4))(=?occ370cc4))))))))6．5．6Simple当且仅当一个活动树的所有分支都不是分支自同构时，一个活动发生是simple。(forall(?occ)(iff(simple?occ)(forall(?occl?occ2)(implies(and(same_grove?occl?occ)(same_grove?occ270cc)(branch_automorphic?occl?occ2))(=?occl?occ2)))))6．6置换分支结构关系的语法下列语法句子描述了用于置换分支结构的KIF中详细说明的过程描述和辅助规则。注：在GB／T20719．12006的4．3．4中阐明了GB／T20719中的语法句子的功能和重要性。7 GB／T20719．41—2010／ISO18629-41：2006(permuted_spen)：：=(forall((variable))(implies(sametree(variable)?occ)(occurrence_sentence)))(nondetpermute,d-spec>：：=(forall((variable)*)(implies(same_tree(variable)?occ)(or(occurrencesentence>*)))(partial_permuted．spec)：：=(or(nondet—permuted_spec>(simple_spec>)(simple_spec)：：=(exists((variable>*)(end(occurrence_formula>(branch_spec)))：：=(occurrence(variable>(term>)(subactivity_occurrence(variable>(variable>)：：=(occurrence_literal>l(and(occurrence1iteral)*)：=(exists((variable)*)(occurrenceformula>)(branclh_spec>：：=(and(same_tree(variable>?occ)十(not(=(variable>?occ))+)7非确定性活动：折叠分支结构本条款表征了有关非确定性活动：折叠分支结构的全部定义。7．1折叠分支结构的基本词汇折叠分支结构的词典不需要基本关系。7．2折叠分支结构概念的定义词汇本条款中定义了以下关系：——(branch—homomorphic?occl?occ2)；——(f01ded?a)l——(nondet—folded?a)；——(parti．dfolded?a)；——(rigid?a)。每一个概念由非正式语义和一个KIF公理来描述。7．3折叠分支结构所需的理论本理论需要：——act—occ．th；——complex．th；——atomic．th：——subactivity．th；——occtree．th；——psd_core．th。7．4折叠分支结构所需的定义性扩展折叠分支结构不需要定义性扩展。8 GB／T20719．41—2010／ISO18629-41：20067．5折叠分支结构的定义对于折叠分支结构定义以下概念。7．5．1Branch_homomorphic当且仅当存在从一个最小活动树的一个分支的原子活动发生的集合到此最小活动树的另一个分支的原子活动发生的集合的映射时，此一个分支对于另一个分支是branch—homomorphic。(forall(?occl?occ2)(iffbranch_homomorphic?occl?occ2)(and(sanegrove?occl?occ2)(forall(?sl?a)(implies(and(occurrence_of．90cci?a)(subactivity_occurrence?sl?occl))(exists(?s2)(suhactivity_occurrence?s270cc2)(hom?sl?s27a)))))))7．5．2Folded当且仅当存在一个单独的分支，使得最小活动树的每一个分支上的原子子活动发生的集合是这个单独的分支上的原子子活动发生的置换时，一个活动是folded。(forall(?occ)(iff(folded?occ)(exists(?occl)(and(same—grove?oocl?ooc)(forall(?occ2)(implies(sane_grove?occ270cc)(branch_homomorphic?occl?occ2)))))))7．5．3Nondet_folded当且仅当存在一个分支，使得最小活动树的每一个分支上的原子子活动发生的集合是第一个分支上的原子子活动发生的置换时，一个活动是nondet—folded。(forall(?occ)(iff(nondet—folded?occ)(forall(?occl)(implies(same_grove?occl?oce)(exists(?occ2)(and(sanegrove?occ270cc)(not(。?occl?OOC2))(branchhomomorphic?occl?occ2)))))))7．5．4Partial—．folded当且仅当存在一个分支，使得最小活动树的每一个分支上的原子子活动发生的集合是第一个分支上的原子子活动发生的置换时，一个活动是partial_folded。(forall(?occ)(iff(partial—folded?occ)(exists(?occl?occ270cc3)(and(same_grove?occl?occ)(same_grove?occ270cc)(not(=?occl?occ2))(branch_homomorphic?occl?occ2)(sane_grove?occ370cc)(forall(?0CC4)9 GB／T20719．41—2010／lSo16629-41：2006(implies(and(samegrove?occ470cc)(not(=?occ370CC4)))(not(branch_homomorphic?occ370cc4))))))))7．5．5Rigid当且仅当一个活动树中所有分支都不是分支同态，则称一个活动是rigid。(forall(?occ)(iff(rigid?occ)(forall(?occl?occ2)(implies(and(same—grove?occl?occ)(samegrove?ccc270cc)(not(=?occl?occ2)))(not(branch_homomorphic?occl?occ2))))))7．6折叠分支结构的过程描述语法下列语法句子描述了用于折叠分支结构的KIF中详细说明的过程描述和辅助规则。(folded_spec>：：=(exists((variable>)(and(same_tree?occ)(occurrence_axiom>))：：=(exists()(and(same_tree?occ)(or(OCCurrence—axiom>*)))：：=(or(rigid_spec>)))(Occurrence—disjunct>：：=(occurrence_literal>J(or(occurrence—literal)*)(occurrence_axiom)：：=(exists(*))8非确定性活动：分支结构和排序本条款表征了有关非确定性活动：分支结构和排序的全部定义。8．1分支结构和排序的基本词汇分支结构和排序的词典不需要基本关系。8．2分支结构和排序的定义词汇本条款中定义了以下关系：——(mono—tree?sl?s27a)；——(order—tree?sl?s27a)；——(root—automorphic?occl?occ2)；——(ordered?occ)：——(nondet—ordered?occ)；——(broken_ordered?occ)；——(unordered?occ)。每一个概念由非正式语义和一个KIF公理来描述。10 GB／T20719．41—2010／ISo18629-41：20068．3分支结构和排序所需的理论本理论需要：——act—OCC．th；——complex．th；——atomic．th：——subactivity．th；——occtree．th；——psl—core．th。8．4分支结构和排序所需的定义性扩展分支结构和排序不需要定义性扩展。8．5分支结构和排序的定义对于为分支结构和排序定义以下概念。8．5．1Mono_tree生根于?sl的子树能被单一同态地嵌入到生根于?s2的子树中。(forall(?sl?s27a)(iff(mono—tree?sl?s27a)(forall(?s37S47s5)(impldes(and(min_precedes?sl?s37a)(min_preeedes?s27s47a)(mono?s37s47a)(min_precedes?s37s57a))(exists(?s6)(and(mono?s57s67a)(min—precedes?s47s67a)))))))8．5．2Order_tree当且仅当存在一个将生根于?sl的子树映射到生根于?s2的子树的序自同构时，此关系保持。(forall(?sl?s27a)(iff(order_tree?sl?s27a)(and(mono_tree?sl?s2’a)(forall(?s37S47s57s6)(implies(and(minprecedes?sl?s37a)(min_precedes?s27s47a)(cousin?s37s47a)(min_precedes?s37s57a)(cousin?s57s67a))(iff(iSO_OCC?s37s5)(iso_occ?s47s6)))))))8．5．3Root_automorphic当且仅当存在每一个活动发生的原子子活动发生，且该原子子活动发生是同构子树的根时，同一个树的两个活动发生是根自同构。(forall(?occl?occ2)(ill(root_automorphic?occl?occ2)(exists(?a?sl?eZ)(and(occurrence_of?encl?a)(occurrence_of?occ27a)(subactivity_occurrence?sl?occl)1】 GB／T20719．41--2010／IS018629—41：2006(subactivity_occurrence?s270cc2)(order_tree?sl?s27a)(ordertree?s27sl?a)))))8．5．4Ordered当且仅当一个活动发生与同一个树的所有其他的根子活动发生是根自同构的时，称这个活动发生是ordered。(forall(?occl?oce2)(iff(root—automorphic?occl?oce2)(exists(?a?sl?s2)(and(occurrence—of?occl?a)(occurrence_of?occ27a)(subactivity_occurrence?sl?occl)(subactivity_occurrence?s270cc2)(order—tree?sl?s27a)(order_tree?s27sl?a)))))8．5．5NondeLordered当且仅当树中的每一个活动发生对该树中其他某个根子活动发生是根自同构的时，一个活动发生是nondet—ordered。(forall(?occl)(iff(nondet—ordered?occl)(forall(?occ2)(implies(same_grove?occl?occ2)(exists(?occ3)(and(s；Lme～grove?occl?occ3)(not(=?occ370cc2))(root～automorphic?occ270cc3)))))))8．5．6Broken_ordered当且仅当存在同一个树中的活动发生，且这些活动发生对该树中其他某些根子活动发生是根自同构的，同时还存在根子活动发生，且这些根子活动发生对任何其他根子活动发生不是根自同构的时，一个活动是bT0ken_ordered。(forall(?occl)(ill(broken_ordered?OCcl)(exists(?occ2)(and(same—grove?occl?occ2)(not(=?occl?occ2))(root—automorphic?occl?occ2)(forall(?occ3)(implies(and(same_grove?occ370ccl)(not(=?occ370cc2))(not(root—automorphic?occ370cc2))))))))8．5．7Unordered当且仅当同一个树中的活动发生都不是根自同构的时，一个活动发生是unordered。(forall(?occl)(iff(unordered?occl)(forall(?occ2)(implies(and(same—grove?occl?occ2)(not(=?occl?occ2)))】2 GB／T20719．41--2010／珏o18629-41：2006(not(root—automorphic?occl?occ2))))))8．6分支结构和排序的语法下列语法句子描述了用于分支结构和排序的KIF中详细说明的过程描述和辅助规则。：：=(forall()(implies(same_tree?occ)(ordered_sentence>))I(forall()(implies(same_tree?occ)?occ)(or(ordered_sentence)*)))?occ)(or{(ordered—sentence>*}(ordered-list>*))))：：=(forall((variable>)(implies(same—tree*)))(ordered_literal)：：=(min_precedes(variable>(variable)(term>)(next—subocc)：：=l(and(orderedliteral)*)(conditional—occurrence)：：=(implies)(ordered_sentence)：：=(exists(《variable>)(and(runtocc?oce)(occurrence_disjunct)(conditional—occurrence)))))(ordered_conjunct)：：=(orderecLliteral>1(and*))(and(toot-occ))l13 GB／T20719．41—2010／ISO18629-41：2006(or*)9非确定性活动：重复的分支结构本条款表征了有关非确定性活动：重复的分支结构的全部定义。9．1重复的分支结构的基本词汇重复的分支结构的词典不需要基本关系。9．2重复的分支结构的定义关系本条款中定义了以下关系：——(branc}Lmono?sl?s27s37s47a)；——(reptree?s?occ)；——(repetitive?occ)；——(nondet—repetitive?occ)；——(partial—repetitive?occ)；——(amorphous?occ)。每一个概念由非正式语义和一个KIF公理来描述。9．3重复的分支结构所需的理论此理论需要：——act—OCC．th；——comDlex．th：——atomic．th：——subactivity．th；——occtree．th：——psl—core．th。9．4重复的分支结构所需的定义性扩展重复的分支结构不需要定义性扩展。9．5重复的分支结构的定义对于重复的分支结构定义以下概念。9．5．1Branch_mono具有最初的原子子活动发生?sl和最终的原子子活动发生?s2的一个最小活动的子分支，对于具有最初的原子子活动发生?s3和最终的原子子活动发生?s4的子分支是同构发生的。(forall(?sl?s27s37s47a)(iff(branch_mono?sl?s27s37s47a)(forall(?s57s6)(implies(and(min_precedes?sl?s57a)(minprecedes?s67s27a)(next_subocc?s57s67a))(exists(?s77s8)(and(rainprecedes?s37s77a)(rainprecedes?s87s47a)(next_subocc?s77s87a)(iso_occ?s57s7)(iso_occ?s67s8)))))))9．5．2Reptree?occ中的每一个原子子活动发生可以被嵌入到根发生是?s的子树的一个分支中。】4 GB／T20719．41—2010／Iso18629—41=2006(forall(?s?ooo)(iff(reptree?s?oce)(forall(?s17a)(implies(and(occurrence?occ?a)(subactivity_occurrence?sl?occ))(ezists(?s27s37s470ccl)(and(same_tree?o?01)(1eaf—OCC?s270ccl)(<_sin?s37sl?a)((_rain?sl?s47a)(branch_mono?S37S47s?S27a)))))))9．5．3Repetitive当且仅当同一活动树中的每个分支可以被嵌入到一个唯一的子树中时，一个活动发生是repetitive。直观上，这相当于存在一个唯一重复的子树。(forall(?occ)(iff(repetitive?occ)(exists(?sl70cc2)(and(same_tree?occ?occ2)(subactivity_occurrence?s?occ2)(ferall(?occl)(implies(same_tree?occ?occl)(and(reptree?s?ocel)(not(root_OCC?s?occl))))))))9．5．4nondetrepetitive当且仅当同一活动树中的每个分支可以被嵌入到某个子树中时，一个活动发生是nondet—repetitive。直观上，这相当于存在多重非同构的重复子树。(forall(?occ)(iff(nondet_repetitive?occ)(forall(?ocel)(implies(same—tree?occ?occl)(exists(?sl?occ2)(and(same_tree?occ?occ2)(suhactivityoccurrence?s?oce2)(reptree?s?occl)(not(root_OCC?s?occl))))))))9．5．5partial_repetitive当且仅当存在重复子树，但还存在不能被映射到任何重复子树的同一树中的分支时，一个活动发生是partial—repetitive。(forall(?ccc)(iff(partial—repetitive?occ)(and(exists(?occl?occ27s1)(and(sametree?occ?occl)(same_tree?occ?occ2)(subactivity_occurrence?s?occ2)(reptree?s?cccl)(not(root_OCC?s?ocel))))(exists(?ccc2)15 GB／T20719．41—2010／ISO18629-41：2006(forall(?s2)(implies(reptree?sl?occl)(root_occ?sl?occl)))))))9．5．6Amorphous当且仅当同一活动树中不存在重复子树时，一个活动发生是amorphous。(forall(?occ)(iffamorphous?occ)(forall(?occZ?s)(implies(and(same—tree?occl?oec)(reptree?870ccl))(root_OCC?s?occl)))))9．6重复的分支结构的语法下列语法句子描述了用于重复的分支结构的KIF中详细说明的过程描述和辅助规则。(repetitive_spec>：：=(forall((term>?sl?s2)(iff(do(term>?sl?s2)(rep_formula>))?sl?s2)(iff(do?sl?s2)：：=(exists((term))(and(subactivity(term)?sl?s3)(or(=?s27s3)(do?s37s2))))))(partial—rep_formula>：：=(exists((term>?s3)(and(subactivity(term>)(do(term>?sl?83)(or(=?s27s3)(do《term>?s37s2))))10活动谱：置换活动树本条款表征了有关活动谱：置换活动树的全部定义。10．1置换活动树的基本词汇置换活动树的词典不需要基本关系。10．2置换活动树的定义关系本条款中定义了以下关系：】6 GB／T20719．41--20IO／ISO18629-41：2006——(reordered?a)；——(partialreordered?a)；——一(nondet_reorder?a)；——(nonorderable?a)。每一个概念由非正式语义和一个KIF公理来描述。10．3置换活动树所需的理论此理论需要：——act—occ．th；——complexth；——atomic．th：——subactivitv．th；——occtree．th：——psLcore．th。10．4置换活动树所需的定义性扩展此扩展需要置换分支结构。10．5置换活动树的定义对置换活动树定义以下概念。10．5．1Reordered当且仅当一个最小活动树的每一个分支上的原子子活动发生的集合是?a的另一个活动树中的一个分支上的原子子活动发生的置换时，一个活动是reordered。(forall(?a)(iff(reordered?a)(forall(?occl?occ2)(implies(and(occurrence_of?occl?a)(occurrence—of?occ27a))(branch_automorphic?occl?occ2)))))10．5．2Nondet_reordered当且仅当?a的一个最小活动树的每一个分支上的原子子活动发生的集合是?a的另一个最小活动树?a的某个分支上的原子子活动发生的置换时，一个活动是nondet—reordered。(forall(?a)(iff(nondetreordered?a)(forall(?occl)(implies(occurrence—of?occl?a)(exists(?occ2)(and(occurrence—of?occ27a)(not(same—grove?occl?occ2))(branch_automorphic?occl?occ2)))))))10．5．3Partial_reordered当且仅当存在一个分支，使得原子子活动发生的集合是其他某个分支上的原子子活动发生的置换，且存在一个分支，其不是任何其他分支的置换时，一个活动是partial_reordered。(forall(?a)(ill(partial_reordered?a)(exist(?occl?occ270cc3)(and(occurrence_of?occl?a)(occuxrence_of?oce27a)(not(same_grove?occl?occ2))17 GB／T20719．41--2010／IS018629-41：2006(branchautomorphic?occl?occ2)(occurrence_of?oen37a)(same_cjirove?occl?occ3)(forall(?occ4)(implies(and(occurrence_of?oce47a)(not(=?occ270cc4))(same_grove?occ270cc4))(not(branch_automorphic?occ270CC4))))))))10．5．4Unorderable当且仅当谱中一个活动树没有一个分支对其他活动树的任何其他分支是分支自同构的时，一个活动是unorderable。(forall(?a)(iff(unorderable?a)(forall(?occl?occ2)(implies(and(occurrence—of?occl?a)(occurrence—of?occ27a)(not(same_grove?occl?occ2)))(not(branchautomorphic?occl?occ2))))))10．6置换活动树的过程描述的语法下列语法句子描述了用于置换活动树的KIF中详细说明的过程描述(分支式置换的活动的公理)。(reordered_spec>：：=(forall()(implies(occurrence)(occurrence_sentence>))(nondet—reordered—spec)：：=(forall((term))(or(Occurrence—sentence>*))))：：=(exists((variable)*)(and(branchspec>))11活动谱：压实分支结构本条款表征了有关活动谱：压实分支结构的全部定义。11．I压实分支结构的基本词汇压实分支结构的词典不需要基本关系。11．2压实分支结构的定义词汇本条款中定义了以下关系：——(compacted?a)I——(nondet—compacted?a)I——(partial—compacted?a)；——(stiff?a)。】8 GB／T20719．41--2010／]SO18629-41t2006每一个概念由非正式语义和一个KIF公理来描述。11．3压实分支结构所需的理论此理论需要：——acLocc．thI——comDlex．th；——atomic．th；——subactivity．th；——occtree．th；——psLcore．th。11．4压实分支结构所需的定义性扩展本扩展需要置换分支结构。11．5压实分支结构的定义对压实分支结构定义以下概念。11．5．1Compacted当且仅当存在一个分支，使得最小活动树的每一个分支上的原子子活动发生的集合是第一个分支上的原子子活动发生的置换时，一个活动是compacted。(forall(?a)(iff(compacted?a)(exists(?occl)(and(occurrence_of?occl?a)(forall(?occ2)(implies(and(occurrence_of?occ27a)(not(same_grove?occl?occ2)))(branch-homomorphic?occl?occ2))))))))11．5．2Nondetcompacted当且仅当存在一个分支，使得最小活动树的每一个分支上的原子子活动发生的集合是第一个分支上的原子子活动发生的置换时，一个活动是nondet—compacted。(forall(?a)(iff(nondet_compacted?a)(forall(?occl)(implies(occurrence_of?occl?a)(exists(?occ2)(and(occurrence—of?occ27a)(not(same_grove?occl?occ2))(brench_homomorphic?occl?occ2)))))))11．5．3Partial_compacted当且仅当存在一个分支，使得最小活动树的某些(但不是全部)分支上的原子子活动发生的集合是第一个分支上的原子子活动发生的置换时，一个活动是partial—compacted。(forall(?a)(iff(partial—compacted?a)(exists(?occi?occ270cc3)(end(ocourrence—of?occl?a)(occurrence—of?occ27a)(not(same_grove?occl?occ2))(branch_homomorphic?ocel?occ2)(occurrence_of?occ37a)1g GB／T20719．41—2010／XS018629-41：2006(samegrove?occ370ccl)(forall(?0CC4)(implies(and(occurrence_of?occ47a)(not(=?occ270cc4))(same_grove?0CC270cc4))(not(branch_homomorphic?occ270CC4))))))))11．5．4Stiff当且仅当?a的一个活动树没有分支对?a的任何其他的活动树的分支是分支满射的时，一个活动是stiff。(forall(?a)(if(stiff?a)(forall(?occl?occ2)(implies(and(occurrence_of?occl?a)(occurrence_of?occ27a)(not(same_grove?occl?occ2)))(not(branchhomomorphic?occl?occ2))))))11．6压实分支结构的语法下列语法句子描述了用于压实分支结构的KIF中详细说明的过程描述。(compactedspec>：：=(forall()(implies(occurrence(variable)(term>)(exists((variable>)(and(occurrence)(occurrenceaxiom>)))))(nondet—compacted_spec>：：=(forall((variable>)(implies(occurrence(variable)(term>)(exists((variable>)(and(occurrence(term>)(or*))))))：：=(or(nondet_compacted-spec>(stiff—spec))：：=(exists((variable>*)(and(occurrenceformula>))12活动谱：活动树和重新排序本条款表征了有关活动谱：活动树和重新排序的全部定义。12．1活动树和重新排序的基本词汇活动树和重新排序的词典不需要基本关系。12．2活动树和重新排序的定义词汇本条款中定义了以下关系：——(treeordered?a)；20 GB／T20719．41--2010／ISO18629-41：2006——(partiaI—treeordered?a)；--(nondettreeordered?a)；——(scrambled?a)。每一个概念由非正式语义和一个KIF公理来描述。12．3活动树和重新排序所需的理论此理论需要：——act—occ．th；——complexth；——atomic．th：——subactivity．th；——occtree．th；——pslcore．th。12．4活动树和重新排序所需的定义性扩展本扩展需要分支结构和排序。12．5活动树和重新排序的定义对于活动树和再排序定义以下概念。12．5．1Treeordered当且仅当一个发生的根子活动发生与一个活动的其他发生的其他每个根子活动发生是根自同构的时，该活动是treeordered。(forall(?a)(iff(treeordered?a)(forall(?occl?OC02)(implies(and(occurrence_of?occl?a)(occurrence—of?occ27a)(not(same—grove?occl?occ2))(root—automorphic?occl?occ2)))))12．5．2Nondet_treeordered当且仅当最小活动树的每一个根子活动发生对发生树中的其他某个根子活动发生是根自同构的时，一个活动发生是nondet_treeordered。forall(?a)(iff(nondet—treeordered?a)(forall(?occl)(implies(occurrence_of?occl?a)(exists(?occ2)(and(occurence_of?occ29a)(not(samegrove?occl?occ2))(root—automorphic?oecl?oec2)))))))12．5．3Partial3，reeordered当且仅当存在最小活动树的根子活动发生，其对发生树中的其他某个根子活动发生是根自同构的，且还存在根子活动发生，其对任何其他的根子活动发生都不是根自同构的时，一个活动是partial—tree—ordered。(forall(?a)(iff(partlal—treeordered?a)(exists(?occl?occ2)(and(occurrence—of?occl?a)(occurrence_of?occ27a)21 GB／T20719．41—2010／ISO18629-41：2006(not(same_grove?occl?occ2))(root—automorphic?occl?occ2)(forall(?occ3)(implies(and(occurrence—of?occ37a)(not(same—grove?occ370cc2)))(amt(rmot_automorphic?occ370cc2))))))))12．5．4Scrambled当且仅当一个活动树中没有分支对其他任何活动树是根自同构的时，一个活动是scrambled。(forall(?a)(iff(scrambled?a)(forall(?occl?0CC2)(implies(and(occurrence_of?occl?a)(occurrence_of?occ27a)(not(same_grove?occl?oec2)(not(root—automorphlc?occl?occ2))))))12．6活动树和重新排序的语法下列语法句子描述了用于活动树和重新排序的KIF中详细说明的过程描述。(treeorderedspec>：：=(forall()(implies(occurrence(variable>(term>)))l(forall()(implies(occurrence(term>)(ordered_formula>))(nondet—treeordered-spec)：：=(forall((variable))(implies(occurrence)(or(ordered_sentence>*))))(implies(occurrence(variable)(term>)(or{*l)(implies(occurrence(variable>)(or*)))13谱和子树遏制本条款表征了有关谱和子树遏制的全部定义。13．1谱和子树遏制的基本词汇谱和子树遏制的词典不需要基本关系。13．2谱和子树遏制的定义词汇本条款中定义了以下关系：——(subtree_embed?occl?occ27a)；22 GB／T20719．41--2010／IS018629-41：2006——(multiple—outcome?a)；--(weak_outcome?a)；——(nondet—outcome?a)；——(imiscible?a)。每一个概念由非正式语义和一个KIF公理来描述。13．3谱和子树遏制所需的理论此理论需要：——act—OCC．th；——complex．th；——atomic．th；——subactivity．th；——occtree．th：——psl—core．th。13．4谱和子树遏制所需的定义性扩展谱和子树遏制不需要定义性扩展。13．5谱和子树遏制的定义对谱和子树遏制定义以下概念。13．5．1Subtree_embed当且仅当在保持次序的情况下，生根于?sl的树中的任何原子子活动发生可以被映射到生根于?s2的树中的一个原子子活动发生时，?a的一个最小活动树可以作为子树嵌入到另一个最小活动树中。(forall(?slqs27a)(iff(subtree—embed?sl?s27a)(forall(?s3)(implies(min_precedes?sl?s37a)(exists(?s4)(and(min_precedes?s27s47a)(iso_occ．9S47s3)))))))13．5．2Multiple_outcome当且仅当任意两个活动树可以彼此互相嵌入时，一个活动是muhiple_outcome。(forall(?a)(iff(multiple_outcome?a)(forall(?sl?s2)(implies(and(root?sl?a)(root?s27a))(or(subtree_embed?sl?s27a)(subtree_embed?s27sl?a))))))13．5．3Weak_outcome当且仅当存在一个最小活动树，其可以被嵌入到?a的其他所有最小活动树中时，一个活动?a是weak_outcome。(forall(?a)(iff(weak_outcome?a)(exists(?s1)(and(root?sl?a)(forall(?s2)(implies(root?s27a)(subtree_embed?s27sl?a)))))))23 GB／T20719．41--2010／tSO18629-41：200613．5．4Nondet_outcome当且仅当存在能被嵌入到?a的其他最小活动树中的最小活动树，且还存在不能被嵌入的分支时，一个活动?a具有一个nondet—outcome。(forall(?a)(iff(nondet—outcome?a)(exists(?sl?s27s3)(and(root?sl?a)(root?S27a)(subtree—embed?s27sl?a)(root?S37a)(forall(?s4)(implies(root?S47a)(not(or(subtree_embed?s37s47a)(subtree_embed?s47S37a)))))))))13．5．5imiscible当且仅当谱中没有树可以被嵌入到任何其他树中时，一个活动是imiscible。(forall(?a)(iff(imiscible?a)(forall(?sl?s2)(implies(and(root?sl?a)(root?s27a))(not(or(subtree_embed?sl?s27a)(subtree_embed?s27sl?a)))))))13．6置换分支结构的语法用于置换分支结构的过程描述的语法等同于GB／T20719．11—2010中详细说明的一个综合过程描述语句的语法。14活动的嵌入约束本条款表征了有关活动的嵌入约束的全部定义。14．1活动的嵌入约束的基本词汇活动的嵌入约束的词典不需要基本关系。14．2活动的嵌入约束的定义词汇本条款中定义了以下关系：——(1ive—branch?sl?s27a)；——(embedded?sl?s27a)；——(dead_branch?sl?s27a)；--(dead_occurrence?sl?s27a)；——(embed—tree?sl?s27s37a)；——(subocc—equiv?sl?s27s37a)；——(unrestricted?occ)。每一个概念由非正式语义和一个KIF公理来描述。14．3活动的嵌入约束所需的理论本理论需要：——act—oec．th；——complex．th；24 CB／T20719．41—2010／Iso18629-41：2006——atomic．th：——subactivity．th；——occtree．th：——psLcore．th。14．4活动的嵌入约束所需的定义性扩展活动的嵌人约束不需要定义性扩展。14．5活动的嵌入约束的定义对于活动的嵌入约束定义以下概念。14．5．1Live_branch当且仅当一个原子活动发生?s2是在具有根?sl的?a的一个嵌入活动树的一个活分支上的子活动发生时，该原子活动发生?s2在这个livebranch。(forall(?sl?s27a)(iff(1ive_hranch?sl?s27a)(exists(?occ)(and(occurrence—of?occ?a)(root_OCC?sl?occ)(min_precedes?sl?s27a)))))14．5．2Embedded当且仅当一个活动发生是一个外部活动发生，其介于发生树的一个分支上的两个子活动发生之间时，该活动发生是正向最大embedded子树的一个元素。(forall(?sl?s27a)(iff(embedded?sl?s27a)(exists(?s3)(and(root?s27a)(min_precedes?s27s37a)(precedes?s27s1)(precedes?sl?s3)(not(minprecedes?sl?s37a)))))14．5．3Deadbranch当且仅当一个发生?s2在一个分支上，该分支对于具有根发生?sl的?a的嵌入活动树的一个分支是发生同构的时，?s2在关于该嵌入活动树的一个死分支上。当且仅当活动发生?s2是具有根发生?sl的?a的活动树中的一个非叶的子活动发生的后继，但不存在晚于?s2的树的子活动发生时，?s2是关于该活动树的最早的dead_branch。(forall(?sl?s27a)(iff(dead_branch?sl?s27a)(exists(?al?s3)(and(root?sl?a)(min_precedes?sl?s37a)(not(1eaf?s37a))(=?s2(successor?al?s3))(not(exists(?s4)(and(precedes?s37s4)(min_precedes?s37s47a))))))))14．5．4Deadoccurrence当且仅当一个外部活动发生?s2介于?a的一个死分支上的两个活动发生之间时，?s2是关于具有根发生?sl的该?a的活动树的dead—occurrence。25 GBJT20719．41—2010／iSO18629-41：2006(forall(?sl?s27a)(iff(dead_occurrence?sl?s27a)(exists(?s3)(and(dead_branch?sl?s37a)(precedes?sl?s2)(precedes?s27s3)))))14．5．5Embed_tree?sl和?s2是?a的子活动的发生，其是具有根?s3的?a的同一嵌入活动树的元素。(forall(?sl?s27s37a)(iff(embedtree?sl?s27s37a)(exists(?al?a2)(and(suhactivity?al?a)(suhactivity?a27a)(occurrence_of?sl?a1)(occurrence_of?s27a2)(or(1ive_branch?s37sl?a)(dead_branch?s37sl?a))(or(1ive_branch?s37s27a)(dead_branch?s37s27a))))))14．5．6Subocc_equiv当且仅当两个活动发生?sl、?s2是具有根发生?s3的?a的同一最大嵌入子树的元素、它们是子话动的发生、且它们在是否为?a的一个发生的子活动发生上是一致的时，则称?sl和?s2是关于?a的subocc。．equiv。(forall(?sl?s27s37a)(iff(subocc—equiv?sl?s27s37a)(and(embedtree?sl?s27s37a)(iff(min—precedes?s37sl?a)(min_precedes?s37s27a))))14．5．7unrestricted当且仅当最大嵌入子树中的每个分支都是活分支时，一个活动发生?occ是unrestricted。(forall(?occ)(iffunrestricted?occ)(forall(?a?sl?s27s3)(implies(and(occurrence_of?oce?a)(root—occ?s370cc)(embed_tree?sl?s27s37a))(subocc—equiv?sl?s27s37a)))))14．6活动的嵌入约束的语法用于活动的嵌入约束的过程描述的语法等同于GB／T20719．11—2010中详细说明的一个综合过程描述语句的语法。一15梗概活动树本条款表征了有关梗概活动树的全部定义。15．1梗概活动树的基本词汇梗概活动树的词典不需要基本关系。15．2梗概活动树的定义词汇本条款中定义了以下关系：26 GB／T20719．41--20IO／ISO18629-41：2006——(fused?occ)；——(embed—occ?occ)；——(free?occ)；——(assisted?occ)；——(helples870cc)；——(unbound?occ)；——(bound?occ)；——(strict?occ)。每一个概念由非正式语义和一个KIF公理来描述。15．3梗概活动树所需的理论本理论需要actocc．th，complex．th，atomic．th，subactivity．th，occtree．th，psl_core．th。15．4梗概活动树所需的定义性扩展本扩展需要活动的嵌人约束。15．5梗概活动树的定义对于梗概活动树定义以下概念。15．5．1Fused当且仅当介于一个根发生和一个叶发生之间的每个活动发生都还是一个活动发生?occ的子活动发生时，?occ是fused。(forall(?occ)(iff(fused?occ)(forall(?sl?s27s3)(implies(and(root—OCC?sl?occ)(subactivity_occurrence?s270cc)(precedes?sl?s3)(precedes?s37s2))(subactivity_occurrence?s370cc)))))15．5．2Embeddocc包含活动发生?occ的发生树的分支可以被嵌入到同一个最大嵌人子树的一个死分支中。(forall(?occ)(iff(embed_occ?occ)(forall(?a?s?sl?s27s3)(implies(and(occurrence—of?ecc?a)(root_occ?s?occ)(next_subocc?sl?s270cc)(precedes?sl?s3)(precedes?s37s2))(exists(?s47s57s6)(and(precedes?S47s5)(precedes?s57s6)(iso_occ?s47s1)(iso_occ?s57s3)(iso_occ?s67s3)(dead_branch?sl?s47a)(dead_branch?sl?s67a)))))))27 GB／T20719．41--2010／I$018629-41：200615．5．3Fr∞当且仅当在同一个树中存在混合的活动发生、且存在非混合的活动发生时，一个活动发生是free。也就是说，不存在必要的外部活动发生。(forall(?occ)(iff(free?occ)(exists(?occl?occ2)(and(same_tree?occ?occl)(same_tree?occ?occ2)(not(fused?occl))(fused?occ2)))))15．5．4Assisted当且仅当在同一个树中的每个活动发生都不是混合的时，一个活动发生是assisted。也就是说存在必要的外部活动发生。(forall(?occ)(iff(assisted?ccc)(forall(?occl)(implies(same_t：cee?occ?occl)(not(fused?occl))))))15．5．5Helpless当且仅当任何两个子活动发生之间存在一个外部活动发生时，一个活动是helpless。也就是说外部活动总是必要的。(forall(?occ)(iff(helpless?occ)(forall(?sl?s2)(implies(next—subocc?sl?s270cc)(exists(?s3)(and(precedes?sl?s3)(precedes?s37s2)(not(suhactivity_occurrence?s370cc))))))))15．5．6Unbound当且仅当同一个树中没有一个活动发生可以被嵌入到死分支中时，一个活动发生是unbound。这等同于没有被禁止的外部活动。(forall(?occ)(iff(unbourld?occ)(forall(?occl)(iⅡplies(same—tree?occl?occ)(not(embedjOCC?occl))))))15．5．7Bo珊ld当且仅当同一个树中存在可以被嵌入到死分支中的活动发生时，一个活动发生是bound。这等同于存在被禁止的外部活动。(forall(?occ)(iff(bound?occ)(exists(?ocd?occ2)(and(same_tree?occl?occ)(not(eabed_occ?occl))(same_tree?occ270cc)(embed_occ?occ2)))))28 GB／T20719．41—2010／Iso18629-41：200615．5．8Strict当且仅当同一个树中的全部发生都是混合的时，一个活动发生是strict。也就是说全部的外部活动发生都是被禁止的。(forall(?occ)(iff(strict?occ)(forall(?occl)(implies(same_tree?occ?occl)(fused?occl)))))15．6梗概活动树的语法用于梗概活动树的过程描述的语法等同于GB／T20719．11—20lo中详细说明的一个综合过程描述语句的语法。16原子活动：向上并发本条款表征了有关原子活动：向上并发的全部定义。16．1原子活动：向上并发的基本词汇原子活动：向上并发的词典不需要基本关系。16．2原子活动：向上并发的定义词汇本条款中定义了以下关系：——(natural?a?s)；——(artificial?a?s)；——(performed?a?s)；——(up—ghost?a?s)；——(up—conflict?a?s)；——(quark?a?s)。每一个概念由非正式语义和一个KIF公理来描述。16．3原子活动：向上并发所需的理论本理论需要act—OCt．th，complex．th，atomic．th，subactivity．th，occtrec．th，psl—core．th。16．4原子活动：向上并发所需的定义性扩展原子活动：向上并发不需要定义性扩展。16．5原子活动：向上并发的定义对于原子活动：向上并发定义以下概念。16．5．1Natural当且仅当在一个活动是可能的时候，其是任何可能的活动的子活动时，这个活动是natural。(forall(?a?s)(iff(natural?a?s)(forall(?a1)(implies(and(poss?a?s)(poss?al?s))(subactivity?a?a1)))))16．5．2Artificial当且仅当一个活动可能与任何其他活动并发时，这个活动是artificial。(forall(?a?s)(iff(artificial?a?s)(forall(?a1)(implies(and(poss?a?8)(poss?al?s)29 GB／T20719．41—2010／IsO18629-41：2006(not(subactivity?al?a)))(poss(cone?a?a1)?s)))))16．5．3Performed当且仅当在一个活动是可能的时候，存在不可能并发的子活动时，这个活动是pedormed。(forall(?a?s)(iff(performed?a?s)(exists(?al?a2)(and(subactivity?al?a)(subactivity?a27a)(poss?a?s)(not(poss(conc?al?a2)?s))))))16．5．4Up_ghost当且仅当在任何超活动都是可能的时候，一个活动也是可能的时，这个活动是up_ghost。(forall(?a?s)(iff(up_ghost?a?s)(forall(?a1)(implies(and(poss?al?s)(subactivity?a?a1))(poss?a?s))))16．5．5Up_conflict当且仅当在与任何其他活动在一起的一个并发成分是可能的时候，它们的子活动中的一个也是可能的时，这个活动是一个up—con{lict。(forall(?a?s)(iff(up_conflict?a?s)(forall(?a1)(implies(poss(cone?a?a1)?s)(or(poss?a?s)(poss?al?s)(subactivity?a?a1))))))16．5．6Quark当且仅当一个活动不可能是孤立的，但其超活动是可能的时，这个活动是quark。(forall(?a?s)(iff(quark?a?s)(exists(?al?s)(and(atomim?a1)(subactivity?a?a1)(poss?al?s)(not(poss?a?s))))))16．6原子活动：向上并发的语法用于原子活动：向上并发的过程描述的语法等同于GB／T20719．112010中详细说明的一个综合过程描述语句的语法。17原子活动：向下并发本条款表征了有关原子活动：向下并发的全部定义。17．1原子活动：向下并发的基本词汇原子活动：向下并发的词典不需要基本关系。30 GB／T20719．41--2010／ISO18629-41：200617．2原子活动：向下并发的定义词汇本条款在定义了以下关系：——(superpose?a?s)；——(assistance?a?s)}——(team?a?s)；——(ghost?a?s)；——(conflict?a?s)；——(dysfunction?a?s)。每一个概念由非正式语义和一个KIF公理来描述。17．3原子活动：向下并发所需的理论本理论需要：——act—OCC．th；——complex．th；——atomic．th：——subactivity．th；——occtree．th；——pSl—core．th。17．4原子活动：向下并发所需的定义性扩展本扩展不需要定义性扩展。17．5原子活动：向下并发的定义对于原子活动：向下并发定义以下概念。17．5．1Superpose当且仅当在一个活动本身是可能的时候，每个子活动都是可能的时，这个活动是superpose。(forall(?a?s)(iff(superpose?a?s)(forall(?a1)(implies(and(subactivity?al?a)(poss?a?s))(poss?al?s)))))17．5．2Assistance当且仅当在一个活动是可能的时候，其子活动的任何并发成分也是可能的时，这个活动是个assis—tahoe。(forall(?a?s)(iff(assistance?a?s)(forall(?al?a2)(implies(and(subactivity?al?a)(suhactivity?a27a)(poss?a?s))(poss(conc?al?a2)?s)))))17．5．3Team当且仅当在一个活动是可能的时候，其子活动都不可能是孤立的时，这个活动是team。(forall(?a?s)(iff(team?a?s)(exists(?al?a2)(and(subactivity?al?a)(subactivity?a27a)3】 GB／T20719．41--2010／IS018629—41：2006(poss?a?s)(not(poss(conc?al?a2)?s))))))17．5．4Ghost当且仅当在一个活动是不可能的时候，其子活动都是不可能的时，这个活动是ghost。(forall(?a?s)(iff(ghost?a?s)(forall(?a1)(implies(and(subactivity?al?a)(poss?al?s))(poss?a?s)))))17．5．5Conflict当且仅当在一个活动是不可能的时候，其子活动中的一些是可能的时，这个活动是conflict。(forall(?a?s)(iff(conflict?a?s)(forall(?al?a2)(implies(and(subactivity?al?a)(subactivity?a27a)(not(poss?al?s))(poss(conc?al?a2)?s))(poss?a?s))))))17．5．6Dysfunction当且仅当存在这样的子活动：其是不可能的，但是其并发成分是可能的时，这个活动是dysfunc．tion。(forall(?a?s)(iff(dysfunction?a?s)(exists(?al?a2)(and(subactivity?al?a)(subaotivity?a27a)(not(poss?al?s))(not(poss?a?s))(poss(conc?al?a2)?s)))))17．6原子活动：向下并发的语法用于原子活动：向下并发的过程描述的语法等同于GB／T20719．11—2010详细说明的一个综合过程描述语句的语法。18原子活动谱本条款表征了有关活动谱的全部定义。18．1原子活动谱的基本词汇原子活动谱的词典不需要基本关系。18．2原子活动谱的定义词汇本条款中定义了以下关系：——(glob“一ideal?a)；——(globaLnonideal?a)；——(910bal—filter?a)；——(910b“一nonfilter?a)。每一个概念由非正式语义和一个KIF公理来描述。32 GB／T20719．41—2010／1SO18629—41：200618．3原子活动谱所需的理论本理论需要：——act—OCC．th；——compIex．th；——atomic．th：——subactivitv．th：——occtree．th；——psl_core．th。18．4原子活动谱的定义性扩展本扩展需要活动的前提。18．5原子活动谱的定义对于原子活动谱定义以下概念。18．5．1GIobal_ideal当且仅当在一个活动是可能的时候，每个超活动都具有相等的前提时，这个活动是global—ideal。(forall(?a)(iff(global—ideal?a)(forall(?al?sl?s2)(implies(and(subactivity?a?a1)(poss?a?s1)(poss?a?s2))(poss—equiv?al?sl?s2)))))18．5．2global—nonideal当且仅当在一个活动是不可能的时候，每个超活动都具有相等的前提时，这个活动是global_nonideal。(forall(?a)(iff(global—nonideal?a)(forall(?al?sl?s2)(implies(and(suhactivity?a?a1)(not(poss?a?s1))(not(poss?a?s2)))(poss—equiv?al?sl?s2)))))18．5．3global_filter当且仅当在一个活动是可能的时候，每个子活动都具有相等的前提时，这个活动是global—filter。(forall(?a)(iff(glohal—filter?a)(forall(?al?sl?s2)(implies(and(subactivity?al?a)(poss?a?s1)(poss?a?s2))(poss—equiv?al?sl?s2)))))18．5．4global__nonfilter当且仅当在一个活动是不可能的时候，每个子活动都具有相等的前提时，这个活动是gloDaLnon^lter。(forall(?a)(iff(global—nonfilter?a)(forall(?al?sl?s2)(implies(and(subactivity?al?a)(not(poss?a?s1))(not(poss?a?s2)))(poss—equiv?al?sl?s2)))))33 GB／T20719．41--2010／IsO18629-41：200618．6原子活动谱的语法用于原子活动谱的过程描述的语法等同于GB／T20719．1l一2010中详细说明的一个综合过程描述语句的语法。19活动的前提本条款表征了有关活动的前提的全部定义。19．1活动的前提的基本词汇活动的前提的词典不需要基本关系。19．2活动的前提的定义词汇本条款中定义了以下关系：——(pens—equiv?a?occl?occ2)；——(trunc?occ)；——(unconstrained?a)。每一个概念由非正式语义和一个KIF公理来描述。19．3活动的前提所需的理论本理论需要actocc．th，complex．th，atomic．th，subactivity．th，occtree．th，psl—core．th。19．4活动的前提所需的定义性扩展本扩展不需要任何定义性扩展。19．5活动的前提的定义对于活动的前提定义以下概念。19．5．1poss_equiv当且仅当两个话动发生在活动的发生的合法性上是一致的时，这两个活动发生是关于poss—equiv。(forall(?a?occi?occ2)(iff(poss—equiv?a?occl?occ2)(implies(and(occurrence_of?sl?a)(occurrenceof?s27a))(iff(1egal?occl)(1egal?occ2)))))19．5．2trunc如果活动发生?occl是一个合法的活动发生的后继，则此关系为真。(forall(?occ)(iff(trunc?occ)(forall(?occl?a)(implies(=?occ(SUCCeSSor?a?occl))(1egal?occl)))))19．5．3unconstrained当且仅当发生树中的全部活动发生都是等效的前提，则一个活动是unconstrained。(forall(?a)(iff(unconstrained?a)(forall(?sl?s2)(implies(and(activity_occurrence?s1)(activityoccurrence?s2))(poss—equiv?a?sl?s2)))))19．6活动的前提的语法用于活动的前提的过程描述的语法等同于GB／T20719．11—2010中详细说明的一个综合过程描述语句的语法。 GB／T20719．41--2010／ISO18629-41：2006附录A(规范性附录)20719．41的ASN．1标识符在开放系统中，为确定信息对象的无二义性标识，规定本部分的对象标识符为：isostandard18629part41versionl本标识符的含义在GB／T16262．1中进行了定义，并在GB／T20719．1中进行了描述。 GB／T20719．41--2010／IS018629-41：2006附录B(资料性附录)使用GB／T20719．41描述过程的实例本附录的目的是提供一个GB／T20719PSL在多重制造功能的信息共享中应用的详细方案。该方案是一个“互操作”的制造方案。这意味着其目标是展示在制造环境中PSL如何用于促进过程知识的交流。特别是，本方案是以从过程计划员到加工车间计划员的知识交换为中心的。本附录扩展了GB／T20719．11—2010附录C中引入的测试案例来说明外核概念在产品GT350的制造过程规范中的应用。B．1GT350过程制造本章将各个不同的部门过程合并成为一个制造GT350产品所发生的活动的高级集合。如GT350产品结构所述(见GB／T20719．11—2010的表c．1)，该产品的子部件可以是外购的、外部分包的或内部制造的。对这些过程的描述表达了制造内部子部件进行的各种活动。这种自上而下考察制造过程的方法为抽象的“制造GT350”活动提供了全面的描述，“制造GT350”活动向下扩展成详细的部门级活动。如图B．1所示，GT350制造过程分为6个主要的工作区域。前5个工作区域：制造汽车内部、制造驱动、装饰、制造发动机和制造底盘相互之间是没有顺序之分的，但它们必须全部在进行总装之前完成。曰图B．1GT350的顶层制造过程顶层过程的PSL外核表示法是：(subactivitymake-chassismake_gt350)(subactlvitymake-interiormake_gt350)(subactivltymake-drivemake_gt350)36 (subactivitymake-trimmake_st350)make-enginemake_st350)final-assemblymake_gt350)(artificialmake_chassis)(artificialmake_interior)(artificialmake_drive)(artificialmake_trim)(artificialmake_enngine)(forall(?occ)(implies(occurrence_of?occmake_st350)(permuted?occ)))(forall(?occ)(implies(occurrence_of?occmake_st350)(ordered?occ)))(forall(?occ)(implies(occurrence—of?occmake_st350)(folded?occ)))(forall(?occ)(implies(occurrence—of?occmake_gt350)(amorphous?oco)))(not(uniformmake_st350))(unrestrictedmakest350)(not(atomicmake_st350))GB／T20719．41--2010／IS018629—41：2006(forall(?occ)(iff(occurrence—of?occmake_gt350)(exists(?occl?occ270cc370CC470cc570cc6)(and(occurrence_of?occlmake_chassis)(occurrence_of?occ2make—interior)(occurrence_of?oce3make—drive)(occurrence_of?0CC4make—trim)(occurrence_of?occ5make_engine)(occurrence_of?occ6final—assembly)(suhactivity_occurrence?occl?occ)(suhactivity_occurrence?occ270cc)(subactivity_occurrence?occ370cc)(subactivity_occurrence?occ470cc)(suhactivity_occurrence?occ570cc)(subactivity_occurrence?occ670cc)(forall(?sl?s27s37S47S57s6)37 GB／T20719．41—2010／ISO18629-41：2006(implies(and(1eaf_occ?sl?occl)(1eaf—OCC?s270cc2)(1eaf—occ?s370cc3)(1eaf—OCC?s470cc4)(1eaf—occ?s570cc5)(root—OCC?s670cc6))(mad(m／mprecedes?sl?s6aake_gt350)(min_precedes?s27s6make_gt350)(min_precedes?s37s6make_gt350)(minprecedes?s47s6make_gt350)(min_precedes?s57s6make_gt350)))))))此表示法使图B．1中描述的过程形式化。make_gt350的所有发生是置换的，因为每当make_gt350发生，所有子活动都发生。make_gt350的所有发生是有序的，因为子活动make—chassis、make_interior、make—drive、make—enngine和make_trim必须发生在子活动final—assembly之前。任何的子活动可以与任何的其他子活动同时发生，因此，所有的原子子活动都是人为的，且make—gt350活动的所有发生都是折叠的。因为make—gt350话动中没有重复，所以所有的发生都是无序的。如果发动机已经存在，则子活动make—enngine可能不会发生，所以并非所有的make—gt350的发生都包含具有相同顺序约束的子活动的同一集合的发生，因此，make_gt350不是统一的。不存在关于make—gt350活动是必要的或禁止的外部活动发生，且因此它是不受约束的。这些抽象活动中的每一个都能进一步细化，然而作为本附录中的实例，将不详述所有这些细化部分。以制作过程的不同阶段所遇到的抽象活动的IDEF3表示法(过程表示法)为基础，我们将选取一些应用PSL外核(GB／T20719．12—2010中所示)描述过程的实例。B．2“制造发动机”抽象活动350-Engine是由几个CMW车间的产品组装而成。制造过程如图B．2所示。它由汽缸体、线束和电线组成。子过程将在下面的条款中详述。350一Engine在A004装配工作台上进行组装，组装一个需要5min。在制造发动机过程中，一些活动的PSL表示法和与信息相关的过程的PSL表示法如下：(subactivitymake—blockmake_engine)(subactivitymake-harnessmake_engine)(subactivitymake-wiresmake—engine)(subactivityassemble_enginemake_engine)(artificialmake_block)(artificialmake_harness)(artificialmake—wires)(forall(?occ)(implies(occurrence_of?occmake_engine)(permuted?enc)))(forall(?occ)38 (implies(occurrence_of?occmake—engine)(ordered?oce)))(forall(?occ)make—engine)(folded?occ)))(forall(?occ)(implies(occurrenceof?occmake_engine)(amorphous?occ)))GB／T20719．41--2010／IS018629-41：2006(uniformmake_engine)(unrestrictedmakeengine)(not(atomicmake—engine))(forall(?occ)(iff(occurrence_of?occmakeengine)(exists(?occl?occ270cc370cc4)(and(occurrence_of?occlmake_block)(occurrence_of?occ2make_harness)(occurrence_of?occ3make_wires)(occurrence_of?occ4assembleengine)(subactivity_occurrence?occl?occ)(subactivity_occurrence?occ270cc)(subactivity_occurrence?occ370cc)(subactivity_occurrence?occ470cc)(forall(?sl?s27s37s4)(implies(and(1eaf—occ?sl?occl)(1eaf—occ?s270cc2)(1eaf—occ?s370cc3)(root_occ?s470ce4))(and(min_precedes?sl?s4make_engine)(min_precedes?s27s4make—engine)(minprecedes?s37s4make—engine)))))此表示法使图B．2中描述的过程形式化。make—engine的所有发生是置换的，因为每当make_engine发生，所有子活动都发生。makeengine的所有发生是有序的，因为子活动make_block、make—harness和make-wires必须发生在子活动assemble_engine之前。任何子活动可以与任何其他子活动同时发生，因此，所有的原子子活动都是人为的，且make—engine活动的所有发生都是折叠的。因为make—engine活动中没有重复，所以所有的发生都是无序的。makeengine的任何发生都包含具有相同顺序约束的子活动的同一集合的发生，因此，make—gt350是统一的。因此，make_engine活动可以在任何条件下在任何时间发生。没有外部活动发生关于make—engine活动是必要的或禁止的，且因此它是不受约束的。39 GB／T20719．41—2010／Lso18629-41：2006制造发动机1．1．5l图B．2制造350一Engine的过程B．3制造汽缸体350一Block是350一Engine分组装的部件。它是铸造车间和加工车间的产品的集成，如图B．3所示。制造气缸体5．1．16圈B．3制造350-Block的过程一些活动的PSL表示法和与信息相关的过程的PSL表示法如下(subactivityproduce_molded_metalmake—block)(suhactivitymachine_blockmake_block)(primitivemachlne_block)(primitiveproduce_molded_metal)(performedmachine_block)(performedproduce_molded_metal)(forall(?occ)(implies(occurrence—of?occmake—block)(permuted?occ)))(forall(?occ)40 (implies(occurrence_of?occmake_block)(ordered?occ)))(forall(?occ)make_block)(rigid?occ)))(forall(?occ)make—block)(amorphous?occ)))(uniformmake_block)(unrestrictedmake_block)(not(atomicmake—block))GB／T20719．41—2010／ISO18629—41：2006(forall(?occ)(iff(occurrenceof?occmake_block)(exists(?occl?occ2)(and(occurrence_of?occlproduce_moldedmetal)(occurrence—of?occ2machineblock)(min_precedes?occl?occ2make—block)))))此表示法使图B．3中描述的过程形式化。make_block的所有发生是置换的，因为每当make—block发生时，所有子活动都发生。rnake_en西ne的所有发生是有序的，因为子活动produce_molded_metal必须发生在machineblock之前。没有子活动可以与任何其他子活动同时发生，因此，所有的原子子活动都是被执行的，且make—block活动的所有发生都是刚性的。因为make_block活动中没有重复，所以所有的发生都是无序的。make_block的任何发生都包含具有相同顺序约束的子活动的同一集合的发生，因此，make—block是统一的。没有外部活动发生关于make_block活动是必要的或禁止的，且因此它是不受约束的。B．4制造线柬350一Harness(图R4)是350一Engine分组装的部件。它是电线与电缆车间的产品。图B．5详述了线束电线的生产过程。350一Harness由钳工在电线与电缆装配台上进行组装。组装一组需要10rain。图B．4制造350-Harness的过程一些活动的PSL表示法和与信息相关的过程的PSL表示法如下41 GB／T20719．41—2010／ISO18629-41：2006(subactivitymake_harness_wiremake_harness)(subactivityassemble_harnessmake_harness)(primitiveassemble_harness)(performedmake_harness—wire)(performedassemble_harness)(forall(?occ)(implies(occurrence_of?occmake_harness)(permuted?occ)))(forall(?occ)(implies(occurrence_of?occmake_harness)(ordered?occ)))(forall(?occ)(implies(occurrence_of?occmake—harness)(rigid?occ)))(forall(?occ)(implies(occurrence_of?occmake_harness)(amorphous?occ)))(uniformmake—harness)(unrestrictedmake—harness)(not(atomicmake—harness))(forall(?occ)(iff(occurrence—of?occmake—harness)(exists(?occl?occ270cc3)(and(occurrence_of?occlmakeharness_wlre)(occurrence_of?occ2assembleharness)(1eaf—oce?occ370ccl)(minprecedes?occ370cc2make—harness)))))此表示法使图B．5中描述的过程形式化。4Z制造线柬电线．17．I．46I图B．5制造线束电线的过程make—harness的所有发生是置换的，因为每当make_harness发生时，所有子活动都发生。make_harness的所有发生是有序的，因为子活动make—harness—wire必须发生在assemble— GB／T20719．41--20101璐018629—41：2006harness之前。投有子活动可以与任何其他子活动同时发生，因此，所有的原子子活动都是被执行的，且make—harness活动的所有发生都是刚性的。因为make—harness活动中没有重复，所以所有的发生都是无序的。make_harness的任何发生都包含具有相同顺序约束的子活动的同一集合的发生，因此，make—har—ness是统一的。没有外部活动发生关于make—harness活动是必要的或禁止的，且因此它是不受约束的。B．5制造电线350一Wire-Set是350一Engine分组装的部件。它是电线与电缆车间的产品。曰图B．6制造350-Wire的过程一些活动的PSL外核表示法和与信息相关的过程的PSL外核表示法如下(subactivityextrudemake—harness—wire)(subactivitytwistmake—harness_wire)(suhactivityjacketmake—harness—wire)(primitiveextrude)(primitivetwist)(primitivejacket)(performedextrude)(performedtwist)(performedjacket)(forall(?occ)(implies(occurrence_of?occmake_harness_wire)(permuted?occ)))(forall(?occ)(implies(occurrence_of?occmake—harness—wire)(ordered?occ)))(forall(?occ)(implies(occurrence_of?occmake_harnesswire)(rigid?occ)))(forall(?occ)(implles(occurrence_of?occmake—harness)43 GB／T20719．41--2010／1S018629-41：2006(amorphous?oce)))(uniformmake_harness—wire)(not(unrestrictedmake_harness—wire))(not(atomicmake_harness_wire))(forall(?oct)(iff(occurrence_of?occmake—harness_wire)(exists(?occl?occ270cc3)(and(occurrence—of?occlextrude)(occurrence—of?occ2twist)(occurrence—of?occ3jacket)(minprecedes?occl?occ2make_harnesswire)(min_preeedes?occ270cc3make_harness—wire))))此表示法使图B．5中描述的过程形式化。make—harness—wire的所有发生是置换的，因为每当make—harness—wire发生时，所有子活动都发生。makeharness—wire的所有发生是有序的，因为子活动extrude、twist和jacket必须按唯一的顺序发生。没有子活动可以与任何其他子活动同时发生，因此，所有的原子子活动都是被执行的，且make—harness—wire活动的所有发生都是刚性的。因为makeharness—wire活动中没有重复，所以所有的发生都是无序的。make_harness—wire的任何发生都包含具有相同顺序约束的子活动的同一集合的发生，因此，make—harness—wire是统一致。设置和转换活动必须发生在make—harness活动的一个发生中的任意两个子活动发生之间，且因此它是不受约束的。44 GB／T20719．41—2010／璐018629-41：2006附录NA(资料性附录)本部分英文黑体词的含义Branch_monomorphic分支单一同态BranclLautomorphic分支自同构Permuted置换的Nondet_permuted非确定置换的PartiaLpermuted部分置换的Simple简单的Branc／1-homomorphic分支同态Folded折叠的NondeLfolded非确定折叠的Partial—folded部分折叠的Rigid刚性的Mono_tree单一榭Ordertree次序树Ordered有序的Nonderordered非确定有序的Broken_ordered被中断次序的Unordered无序的Branch_mono分支单Reptree重复树Repetitive重复的nondet_repetitive非确定重复的partiaLrepetitive部分重复的Amorphous无序的Reordered重新排序的Nondet_reordered非确定重新排序PartiaLreordered部分重新排序的Unorderable不能排序的Compacted紧密的Nondetcompacted非确定紧密的PartiaLcompacted部分紧密的Sdff刚性的Treeordered树有序45 GB／T20719．41—2010／Is018629-41：2006表(续)Nondet_treeordered非确定树有序Partial—treeordered部分树有序Scrambled乱序的Subtree．_embed多树嵌人的Muhiple_outcome多重结果Weak_outeome弱结果Nondet_outcome非确定结果imiscible不可混合的Live_braneh活分支Embedded嵌入Dead_braneh死分支Dead_occurrence死发生Erobedtree嵌入树Suboeeequiv等价子发生unrestricted无限制的Fused混合的EmbeddOCC嵌入的发生Free自由的Assisted辅助的Hel口less无能力的Unbound无约束的Bound受约束的Strier严格的Natural自然的Artifieial人为的P30Performed被执行的Up．ghost向上重影Up—COnflict向上冲突Quark夸克Superpose重叠Assustanee协助Tearn组Ghost重影Confliet冲突Dysfunction功能失常GlobaLideal完全理想的 表(续)GB／T20719．41-一2010／iso18629—41：2006global—nonideal完全非理想的global—filter完全筛选globaLnonfilter完全非筛选Poss—equiv等效的可能性非约束的make_gt350制造gt350make_chassis制造底盘make_interior制造汽车内部make_drive制造驱动rnaReengme制造发动机make_trlm装饰finaLassembly总装make_block制造汽缸make_harness制造线柬制造电线assemble_engine组装发动机machine_block加工汽缸体produee_molde_metal制造金屑铸件assemb!e—harness组装线束make——harness——wires制造线束电线挤出Twist捻线jaeket加护套47 CB／T20719．41--2010／ISO18629-41：2006参考文献[1]GB／T16656．49—2003工业自动化系统与集成产品数据表达与交换第49部分：集成通用资源：工艺过程结构和特性(ISO10303-49：1998，IDT)[2]GB／T20719．14—2010工业自动化系统与集成过程规范语言第“部分：资源理论(ISO18629-14：2006Ed．1，IDT)[3]GB／T20719．44—2010工业自动化系统与集成过程规范语言第44部分：定义性扩展：资源扩展(ISO18629-44：2006，IDT) 索(m／T20719．41--2010／ISO18629—41：2006型}理⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯。。。。’⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．1能力⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．18才能⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯··⋯⋯·⋯··⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯’⋯”3．1．18保守定义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．3数据⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．2定义词汇⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．3定义性扩展⋯⋯⋯⋯·⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯’⋯⋯’’⋯⋯3．1_4企业⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯-··⋯⋯⋯⋯⋯⋯。。‘⋯‘。。⋯⋯⋯⋯⋯⋯⋯3．1．16扩展⋯⋯⋯⋯··⋯·⋯⋯·⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．6语法⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·-·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．7信息⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1_8GB／T16656．1·······．·····．·一·······················---·-----··········-·······-·---·············-········-··············2GB／T19114．1⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯·⋯·⋯·⋯--⋯⋯·--⋯·⋯--⋯·--⋯⋯···2GB／T20719．1⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯····⋯⋯··⋯·⋯·⋯⋯⋯⋯·2GB／T20719．11．⋯．⋯．⋯······⋯⋯···⋯-·····⋯⋯⋯-·-······⋯··--·-·一····⋯⋯⋯⋯⋯··-⋯···⋯·········2GB／T20719．12⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯······⋯·⋯⋯⋯⋯··⋯⋯⋯·⋯⋯⋯⋯⋯⋯·⋯·2GB／T16262．1·⋯⋯·⋯····⋯⋯··⋯··⋯·⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯2KIF⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯··⋯⋯⋯⋯···⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯3语言⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯··⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯’⋯3．1．9词汇⋯···⋯···⋯···⋯⋯·⋯·······⋯·····⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯’‘3．1．13制造⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯‘。3．1．10制造过程⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯····⋯⋯⋯’’3．1．11模型⋯⋯⋯⋯⋯⋯⋯····⋯⋯⋯···⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一3．1．12建模⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．18本体⋯⋯⋯⋯⋯⋯···⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·--⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．13外核⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．13基本概念⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯一3．1．14基本词汇⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．15过程⋯⋯⋯⋯⋯·⋯⋯--⋯⋯⋯··-⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．16过程规范语言⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯2产品⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．17PSL⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯--⋯⋯⋯⋯--·⋯⋯--·⋯-⋯⋯⋯⋯·-·--‘⋯一3．1．13PSL核心⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯·⋯⋯-·⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．4资源⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．18理论⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯3．1．19'