ICS 25. 040. 40 L 67
GB
中华人民共和国国家标准
GB/T 20719. 41—2010/IS0 18629-41:2006
工业自动化系统与集成
过程规范语言
第41部分：定义性扩展：活动扩展
Industrial automation system and integration
Process specification language-
Part 41 : Definitional extension : Activity extensions
(ISO 18629-41:2006,IDT)
2011-06-01实施
2011-01-14 发布
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
发布 GB/T 20719.41-2010/IS0 18629-41 :2006
目 次
前言引言 1 范围 2规范性引用文件 3术语、定义和缩略语 4GB/T20719的第41部分～第49部分的常规组织
GB/T20719本部分的组织
5 6
非确定性活动：置换分支结构· 非确定性活动：折叠分支结构非确定性活动:分支结构和排序非确定性活动：重复的分支结构
8
10 14 16 18 20 22 :24 26 29
8 9
.
10 活动谱：置换活动树·
活动谱：压实分支结构· 12 活动谱：活动树和重新排序· 13 谱和子树遏制 14 活动的嵌人约束 15 梗概活动树 16 原子活动：向上并发· 17 原子活动：向下并发· 18 原子活动谱 19 活动的前提附录A(规范性附录) GB/T 20719.41的ASN.1标识符附录 B（资料性附录）使用 GB/T 20719.41描述过程的实例附录 NA(资料性附录) 本部分英文黑体词的含义参考文献索引
11
.. 30 32 34 ..35 36 :45 48 49
+++
++ GB/T 20719.41--2010/IS0 18629-41 :2006
本部分的附录 A 为规范性附录,附录 B、附录 NA 为资料性附录。 本部分由中国机械工业联合会提出本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。 本部分主要起草单位：北京机械工业自动化研究所，清华大学。 主要起草人：王思斯、黄双喜。
1 GB/T 20719.41---20 10/IS0 18629-41 :2006
引言
GB/T20719是为了进行与制造过程相关的计算机可解释的信息交换所使用的国家标准。 GB/T20719包含的所有部分结合在一起，为描述贯穿整个生产过程的制造过程提供了一类语言（该生产过程可能位于一个工业公司，也可能跨越几个工业部门或公司），并独立于任何特定的表示模型。语言的本质使得它适用于在生产过程的各个阶段共享与制造相关的过程规范和性质。
本部分提供了与在GB/T20719中定义的活动扩展相关的语言的定义性扩展的描述。 GB/T 20719 中的所有部分与给定的应用软件中使用的任何特定过程的表述模型无关。它们一同
为改善这些应用软件的协同性提供了一个结构框架。
Ⅲ GB/T 20719.41—2010/ISO 18629-41 :2006
工业自动化系统与集成
过程规范语言
第41部分：定义性扩展：活动扩展
1范围
本部分通过使用 GB/T 20719语言中编写的~组定义来提供这种语言的非基本概念的规范。这些定义为本部分中的术语提供了语义的公理化。
以下包括在本部分的范围中： —使用GB/T20719.11—2010和GB/T20719.12--2010的概念详细描述的、与状态和时间关
系无关的、但与例如第5章中列出的那些活动类别相关的概念的定义。 以下不包括在本部分的范围中： —使用GB/T20719.11—2010和GB/T20719.12--2010的概念详细描述的、与状态和时间相
关的概念的定义。
2规范性引用文件
下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文
件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。
GB/T 16262.1信息技术抽象语法记法一（ASN.1）第1部分：基本记法规范（GB/T 16262.1- 2006,ISO/IEC 8824-1 :2002,IDT)
GB/T16656.1工业自动化系统与集成产品数据表示与交换第1部分：概述与基本原理
(GB/T 16656.1—2008,ISO 10303-1:1994,MOD)
GB/T19114.1工业自动化系统与集成工业制造管理数据第1部分：综述(GB/T19114.1一 2003,ISO 15531-1 :2002,IDT)
GB/T 20719.1—2006 6工业自动化系统与集成 过程规范语言　第1部分：概述与基本原理 (ISO 18629. 1:2004,IDT)
GB/T 20719. 11—-2010 工业自动化系统与集成 过程规范语言第 11 部分：PSI核心 (ISO 18629-11:2005, IDT)
1
GB/T 20719.12--2010 ）工业自动化系统与集成　过程规范语言“ 第12部分：外核（ISO18629 12:2005,IDT) 3术语、定义和缩略语 3. 1 术语和定义
下列术语和定义适用于GB/T20719的本部分。 3. 1. 1
公理axiom 形式语言中的合式公式，用以对一门语膏的词汇中的符号解释加以约束。
1 GB/T 20719.41--2010/ISO 18629-41 :2006
［GB/T 20719.1—2006] 3. 1.2
数据 data 一种形式化的信息表达，它适合于人或计算机进行通信、解释或处理。 [GB/T 16656.1--2008]
3.1.3
定义的词汇 defined lexicon 非逻辑词汇的系列符号,表示所定义概念。 注：定义词汇划分为常数符号、函数符号和关系符号。 例:具有保守定义的术语。 EGB/T 20719. 1-2006]
3, 1. 4
定义性扩展 definitional extension 指PSL核心的扩展，它引人了完全由PSL核心定义的新的语言术语。 注：定义性扩展没有为PSL核心增加新的表达能力，但它常常定义领域应用中的语义及术语。 ［GB/T 20719.1--2006,定义 3.1.6]
3. 1. 5
离散制造 discrete manufacturing 离散项目的生产。 例:汽车,装置或计算机。 [GB/T 19114. 1--2003]
3.1.6
扩展extension 包含附加公理的PSL核心的扩充。 注1：PSL核心是一组相对简单的公理，足以表达较广范围内的基本过程。然而,更复杂的过程所需的表达性资源
超出了 PSL核心的范围。相对于将每一个可能的概念(其对于描述一个或另一个过程可能有用)杂乱地添加到PSL核心中去，更好的方式是开发各种独立的、模块化的扩展，并把它们添加进PSL核心。采用这种方式，用户可以根据自己的表达需求精确地裁剪语言。
注2：所有的扩展均为核心理论或定义性扩展。 [GB/T 20719. 1---2006]
3.1.7
语法 grammar 说明如何将逻辑符号和词汇术语组合为合式公式的规范。 [GB/T 20719.12006]
3.1.8
信息information 事实、概念或指令。 [GB/T 16656.1-2008]
3. 1.9
语育 language 词汇和语法的结合。 ［GB/T 20719.1—2006]
3.1.10
制造 manufacturing 将原材料或半成品转换成成品的功能或行为。
2 GB/T 20719.41--2010/IS0 18629-41 :2006
注：定义采自APICS字典，第八版。 [GB/T 19114. 1--2003]
3. 1. 11
制造过程 manufacturing process 一套结构化的行为或操作，它完成了将原材料或半成品向成品的转化。 注：制造过程可被安排在程序规划、产品规划，单元规划或装配位量规划重。根据战略性应用和物质的分配，制造
过程可被用于支持按库存生产，按订单生产，按订单装配。 [GB/T 19114. 1--2003]
3. 1. 12
模型model 满足一种理论中所有合式公式的一组元素和事实任务的组合。 注1：“模型”这个词在逻辑中的用法不同于它在大多数科学及日常读物中的用法：如果一个命题在某种解释中为
真，那么就可以说这种解释是该命题的模型。这里所说的语义常被称作模型理论语义。 注2：模型一般表示为包含附加结构的集合（半定序，点阵，或向空间）。模型定义了术语的含义以及本模型中所
采用语言的命题的事实概念。给定一个模型，在公理集中使用的数学结构基本公理集就通过语言及它们的逻辑关系成为概念论证的基础，因此模型的集合构成了本体的形式语义。
[GB/T 20719.1--2006] 3. 1. 13
本体 ontology 按照词汇中术语的含义的某些规范而定的专门术语的词汇。 注1：与形式语言中术语含义的规范一同给出的相关术语的结构化集合。术语含义的规范说明了术语为什么相关、
如何相关，以及集合划分和构造的条件。
注2：PSL(比如GB/T20719)的主要部分就是一个本体。基本概念就是本体论。通过GB/T20719，可以描述基本
的制造过程及业务过程。
注3：本体的核心不只是术语，也包括它们的含义。术语的任意集合包含在本体中，但只有在含义一致时这些术语
才能被共享。共享的是术语的指定语义，而不是简单的术语共享。 注4；没有显式定义的任何术语都可能成为含糊及混乱的来源。本体论的难点是：需要建立一个框架以使框架中术
语的含义更为晰明确。对于GB/T 20719这个本体，有必要提供一个过程信息的严格的数学特性描述以及 GB/T 20719 语言中信息的基本逻辑特性的精确表达。
注5：实际上，扩展合并了外核的公理。 ［GB/T 20719.1—2006]
3.1.14
基本概念 primitive concept 没有保守定义的词汇术语。 ［GB/T 20719.1—2006]
3. 1. 15
基本词汇 primitive lexicon 表示基本概念的非逻辑词汇的符号集合。 注：基本词汇分为常、函数符号和关系符号。 [GB/T 20719.1—2006]
3. 1. 16
过程 process 涉及各种企业实体的-套结构化的活动，是为特定的目的设计和组织的。 注：这里提供的定义和 GB/T 16656.49的定义非常接近。然而 GB/T 19114需要一套结构化活动的概念，对于时
间和步骤没有任何预先确定。另外，从流程管理的观点来看，为一目的需要一些空过程,尽管实际上它们不
3