ICS 25.040. 40 L 67
GB
中华人民共和国国家标准
GB/T 20719. 12--2010/IS0 18629-12:2005
工业自动化系统与集成
过程规范语言第 12部分：外核
Industrial automation systems and integration-
Process specification language-
Part 12 :Outer core
(ISO 18629-12:2005,IDT)
2011-06-01 实施
2011-01-14 发布
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
发布 GB/T 20719.12—2010/IS0 18629-12 :2005
目 次
前言引言
Ⅲ
L
范围 2 规范性引用文件 3 术语、定义及缩略语· 3. 1 术语和定义 3. 2 缩略语 4 GB/T 20719概述 5 GB/T20719本部分的组织 6 子活动核心理论 7 发生树核心理论 8 离散状态核心理论 9 原子活动核心理论· 10 复杂活动核心理论 11 活动发生核心理论附录A（规范性附录） SC 4 标准中 ASN. 1 标识符的应用附录B（资料性附录) 与情景演算的关系· 附录C (资料性附录) 使用 PSL 外核描述过程的实例附录NA（资料性附录) 本部分英文黑体词的含义参考文献索引
1
?
11
14 16 20 27 28 29 34 35 36 GB/T 20719.12—2010/IS0 18629-12 :2005
前言
GB/T20719《工业自动化系统与集成过程规范语言》目前拟分为如下部分：
第1部分：概述与基本原理；第11部分：PSL核心；
I
第12部分：外核；第13部分：时序理论；第14部分：资源理论；第15部分：活动性能理论；第21部分：EXPRESS；第22部分：XML；第23部分：UML；第41部分：定义性扩展：活动扩展；第42部分：时间和状态；第43部分：定义性扩展：活动次序和持续时间扩展；一第44部分：定义性扩展：资源扩展；
1
一第45部分：资源集的种类；第46部分：加工活动；第47部分：过程目的。 本部分为GB/T20719的第12部分。 本部分等同采用ISO18629-12:2005《工业自动化系统与集成过程规范语言第12部分：外核》
英文版）。
本部分的技术内容和组成结构与ISO18629-12:2005相一致,在编写格式上符合 GB/T1.1一2000 《标准化工作导则第1部分：标准的结构和编写规则》。只是根据我国国家标准的制定要求和为方便使用，做了如下编辑性的改动：
-将"ISO 18629"改为"GB/T 20719”,把"ISO 18629-12"改成"GB/T 20719.12"或"GB/T 20719 本部分"。 删除了ISO18629-12：2005的前言，并按照我国国家标准编制要求重新起章了前言。 将ISO18629-12:2005第2章"规范性引用文件”中的引导语改为GB/T1.1一2000中规定的引导语。 一ISO 18629-12:2005 标准中 index 的两个关键词"manufacturing facilities”和"satisfiable"在原标准中没有找到，所以在中文索引中删除这两个关键词。 将本部分中出现的已转化为国家标准的国际标准编号改为国家标准编号，便于使用和查阅。 未转化的国际标准保留。 为了使读者便于理解本部分黑体词的含义，增加了附录NA。 删去了原文中不符合我国标准编写要求的字句。
本部分附录 A 为规范性附录;附录 B、附录 C、附录 NA为资料性附录。 本部分由中国机械工业联合会提出。 本部分由全国自动化系统与集成标准化技术委员会(SAC/TC159)归口。 本部分起草单位：北京机械工业自动化研究所、清华大学。 本部分主要起草人：刘、黄双喜。
I GB/T 20719.12—2010/IS0 18629-12:2005
引言
GB/T20719是为了进行与制造过程相关的计算机可解释的信息交换所使用的国家标准。 GB/T 20719标准包含的所有部分结合在一起，为描述贯穿整个生产过程的制造活动提供了一类语言（该生产过程可能限于一个工业公司，也可能跨越几个工业部门或公司），并独立于任何特定的表示模型。语言的本质使得它适用于在生产过程的各个阶段共享与制造相关的过程信息。
GB/T20719的本部分提供了国际标准中定义的语言的核心元素的描述。 GB/T20719中的所有部分与制造管理领域软件应用中采用的任何特定过程的表述或模型无关。
本标准的所有部分一同为改善这些应用软件的协同性提供了一个结构框架。
IV GB/T 20719.12--2010/ISO 18629-12 :2005
工业自动化系统与集成
过程规范语言第12部分：外核
1范围
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T20719外核中的术语提供了语义的公理化。
GB/T20719本部分的范围包括：
-活动和子活动的集合；离散活动和状态; 活动发生的约束; 基本活动的并发; 复杂活动；复杂活动的发生。
2 规范性引用文件
下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单(不包括勘误的内容)或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。
GB/T16262.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/T 19114.1- 2003,ISO 15531-1:2002,IDT)
GB/T20719.1工业自动化系统与集成 过程规范语言 第1部分：概述与基本原理 (GB/T 20719.1—2006,ISO 18629-1:2004,IDT)
GB/T 20719.11工业自动化系统与集成过程规范语言第11部分：PSL核心(GB/T20719.11- 2010, ISO 18629-11 :2005,IDT) 3术语,定义及缩略语 3.1术语和定义
下列术语和定义适用于GB/T20719的本部分。 3. 1. 1
公理axiom 形式语言中的合式公式，用以对一门语言的词汇中的符号解释加以约束。 [GB/T 20719.1]
3.1.2
保守定义 conservative definition 指明充要条件的定义，充要条件是指术语应该满足并且不允许从该理论作出新的推论的条件。 [GB/T 20719.1]
1 GB/T 20719.12—2010/1S0 18629-12 :2005
3.1.3
核心理论 core theory 表示基本概念的关系符号和函数符号的公理集。 [GB/T 20719.1 的修改]
3.1.4
数据 data 定义适合于人或计算机通信、解释或处理的形式化方法的信息表示。 [GB/T 16656. 1]
3.1.5
定义的词汇defined lexicon 非逻辑词汇的一系列符号，表示所定义概念。 注：定义的词汇分为常量，函数和关系符号。 示例：具有保守定义的术语。 [GB/T 20719. 1]
3.1.6
定义性扩展 definitional extension 指PSL核心的扩展，它引人了完全由 PSL核心定义的新的语言术语。 注：定义性扩展为PSL核心增加了新的表达能力，但它常常定义领域应用中的语义及术语。 [GB/T 20719. 1]
3. 1.7
扩展 extension 包含附加公理的PSL核心的扩充。 注 1：PSL核心是一组相对简单的公理，足以表达较广范内的基本过程。然而，更复杂的过程所需的表达性资源
超出了 PSL核心的范围。相对于将每一个可能的概念(其对于描述一个或另一个过程可能有用)杂乱地添加到 PSL核心中去，更好的方式是开发各种独立的、模块化的扩展，并把它们添加进 PSL核心。采用这种方式，用户可以根据自己的表达需求精确地裁剪语言。
注2：所有的扩展均为核心理论或定义性扩展。 [GB/T 20719. 1]
3.1.8
语法 grammar 说明如何将逻辑符号和词汇术语组合为合式公式的规范。 [GB/T 20719.1]
3. 1.9
聚等idempotent -个集合中的元素(a)在内部二元运算下(OP)具有:a OP a = a。 注：对于函数，当定义域中的每个元素都是幂等的，则函数是幂等的。 示例:集合理论交集和并集是需等的,因为 S n S = S 以及 s U S = S。
3. 1. 10
信息 information 事实、概念或指令。 LGB/T 16656.1J
3. 1. 11
解释 interpretation 一个理论中所有命题的论域和真值(真或假)指派。 注：请见附录 C 中解释的示例。
2 GB/T 20719.12—2010/ISO 18629-12 :2005
3. 1. 12
语言 language 词汇和语法的结合。 [GB/T 20719.1]
3. 1. 13
词汇 lexicon 符号和术语的集合。 注：词汇包括逻辑符号（例如布尔连接和量词）与非逻辑符号。对于GB/T20719来说，词汇的非逻辑部分包括用于
表达本体的基本概念的词语（常量，函数符号与关系符号）。 [GB/T 20719. 1]
3. 1. 14
制造 manufacturing 将原材料或半成品转换成成品的功能或行为。 [GB/T 19114. 1]
3. 1. 15
制造过程 manufacturing process 一套结构化的行为或操作，它完成了将原材料或半成品向成品的转化。 注：制造过程可被安排在程序规划、产品规划、单元规划或装配位置规划里。根据战略性应用和物资的分配，制造
过程可被用于支持按库存生产,按订单生产、按订单装配。 [GB/T 19114. 1]
3. 1. 16
模型 model 满足一种理论中所有合式公式的一组元素和事实任务的合成。 注1：“模型”这个词在逻辑中的用法不同于它在大多数科学及日常读物中的用法。如果一个命题在某种解释中为
真，那么就可以说这种解释该命题的模型。这里所说的语义常被称作模型理论语义。
注2：模型一般表示为包含附加结构的集合（偏序，点阵，或向量空间）。模型定义了术语的含义以及本模型中所采
用语言的命题的真值概念。给定一个模型，在公理集中使用的数学结构基本公理集就通过语言及它们的逻辑关系成为概念论证的基础，因此模型的集合构成了本体的形式语义。
[GB/T 20719.1] 3. 1. 17
本体 ontology 按照词汇中术语的含义的某些规范而定的专门术语的词汇。 注1：与形式语言中术语含义的规范一同给出的相关术语的结构化集合，术语含义的规范说明了术语为什么相关。
如何相关，以及集合划分和构造的条件。
注2：PSL(比如 GB/T 20719)的主要部分就是一个本体。基本概念就是本体论。通过 GB/T 20719可以描述基本
制造工程及业务过程。 注3：本体的核心不只是术语，也包括它们的含义。术语的任意集合包含在本体中，但只有在含义一致时这些术语
才能被共享。共享的是术语的指定语义，而不是简单的术语共享。 注4：没有显式定义的任何术语都可能成为含糊及混乱的来源。本体论的难点是：需要建立一个框架以使框架中术
语的含义清晰明确。对于GB/T 20719这个本体，有必要提供一个过程信息的严格的数学特性描述以及 GB/T 20719语言中信息的基本逻辑特性的精确表达。
[GB/T 20719. 1] 3. 1. 18
外核 outer core 作为PSL核心扩展的核心理论的集合，在适用性中它具有很高的普遍性，因此专门预留出来。
3 GB/T 20719.12--2010/IS0 18629-12 :2005
注：事实上，扩展包含了外核的公理。 [GB/T 20719.1]
3. 1.19
基本概念 primitive concept 没有保守定义的词汇术语。 [GB/T 20719.1]
3. 1.20
基本词汇 primitive lexicon 表示基本概念的非逻辑词汇的符号集合。 注：基本词汇分为常最、函数符号和关系符号。 [GB/T 20719.1]
3. 1.21
过程process 涉及各种企业实体的一套结构化的活动，是为特定的目的设计和组织的。 注：这里所提供的定义和GB/T16656.49非常接近。然而GB/T 19114需要一套结构化行为的观念，对于时间和
步骤没有任何预先确定，另外，从流程管理的观点来看，为同一目的需要一些空过程，尽管实际上它们不起任何作用。
[GB/T 19114.1] 3.1.22
产品product 由天然或人造而成的事物。 [GB/T 16656. 1]
3.1.23
证明论 proof theory 解释某语言的语义所必需的理论与词汇元素的集合。 注：它包含三部分：PSL核心，外核及扩展。 [GB/T 20719. 1]
3.1.24
PSL 核心 PSL-core 对于活动、活动发生、时间点、对象这些概念的公理的集合。 注：PSL核心的动机是：任何两个过程相关的应用软件都需要共享这些公理，以交换过程信息，因此PSL核心足可
用于描述制造过程的基本概念。这样，基本过程的特性描述就几乎无需那些超出描述这些过程所需的本质的假设了，因此PSL核心在逻辑表述方面比较薄弱。尤其是，PSL核心并不够强大，它不能提供很多辅助概念的定义，而这些辅助概念是描述关于制造过程的所有感知事物所必需的。
LGB/T 20719. 1]
3. 1.25
半格 semilattice 在偏序中，每两个元素都具有一个唯一的最小上界。
3. 1.26
理论 theory 属于给定概念和概念集的公理和定义的集合。 注：这个定义反映了人工智能的方法，在此方法中理论是基于相关概念的含义的假设的集合， [GB/T 20719.1]
4