ICS25.040.40 L67
GB
中华人民共和国国家标准
GB/T20719.13—2010/IS018629-13:2006
工业自动化系统与集成
过程规范语言第13部分：时序理论 Industrial automation systems and integration-
Process specification language- Part 13:Duration and ordering theories
(ISO18629-13:2006.IDT)
2010-09-02发布
2010-12-01实施
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
发布 GB/T20719.13—2010/1SO18629-13:2006
目 次
前言引言 1 范围 2 规范性引用文件 3 术语、定义及缩略语·· 4 GB/T20719概述 5 GB/T20719本部分的组织 6 子活动发生次序核心理论 7 周期理论 3 8 发生树自同构·
..
13 15 18 19 25 26
活动包络理论附录A（规范性附录） 在SC4标准中使用抽象语法符号1(ASN.1)标识符附录B（资料性附录） 使用GB/T20719第13部分描述过程的实例参考文献索引
9
-
* GB/T20719.13—2010/ISO18629-13:2006
前言
GB/T20719《工业自动化系统与集成 过程规范语言》分为：
第1部分：概述和基本原理：第11部分：PSL核心；第12部分：外核；第13部分：时序理论：第14部分：资源理论；
-
一第15部分：活动性能理论；一第21部分：EXPRESS；一第22部分：XML；第23部分：UML；
第41部分：活动：第42部分：时间和状态：
一第43部分：序列：一第44部分：定义性扩展 资源扩展：
第45部分：资源集的种类；第46部分：加工活动：第47部分：过程目的。
本部分为GB/T20719的第13部分本部分等同采用ISO18629-13：2006《工业自动化系统与集成过程规范语言第13部分：时序理
论》英文版）
本部分的技术内容和组成结构与ISO18629-13：2006相一致，在编写格式上符合GB/T1.1 2000。只是根据我国国家标准的制定要求和为方便使用，做了如下编辑性的改动：
将"ISO18629"改为GB/T20719"，把"ISO18629-13"改成"GB/T20719.13"或"GB/T20719 本部分” 删除了ISO18629-13：2006的前言，并按照我国国家标准编制要求重新起草了前言：
将ISO18629-13:2006第2章“规范性引用文件”中的引导语改为GB/T1.1一2000中规定的
引导语。 将本部分中出现的已转化为国家标准的国际标准编号改为国家标准编号，使于使用和查阅。 未转化的国际标准保留。 删去了原文中不符合我国标准编写的字句。 ISO18629-13（英文版）索引中的satisfiable在原文中没有找到，所以在英文和中文索引中都删除了。
本部分的附录A是规范性附录，附录B是资料性附录。 本部分由中国机械工业联合会提出。 本部分由全国自动化系统与集成标准化技术委员会（SAC/TC159）归口。 本部分由北京机械工业自动化所负责起草。 本部分主要起草人：黎晓东、杨书评、刘额。 GB/T20719.132010/ISO18629-13:2006
引言
GB/T20719是为了进行与制造过程相关的计算机可解释的信息交换所使用的国家标准。 GB/T20719标准包含的所有部分结合在一起，为描述贯穿整个生产过程的制造过程提供了一类语言（该生产过程可能位于一个工业公司，也可能跨越几个工业部门或公司）.并独立于任何特定的表示模型。语言的本质使得它适用于在生产过程的各个阶段共享与制造相关的过程信息
GB/T20719的本部分提供了GB/T20719中定义的语言的核心元素的描述， GB/T20719中的所有部分与制造管理领域软件应用中采用的任何特定过程的表述或模型无关
本标准的所有部分一同为改善这些应用软件的协同性提供了一个结构框架
Ⅱ GB/T20719.13-2010/ISO18629-13:2006
工业自动化系统与集成
过程规范语言第13部分：时序理论
1范围
GB/T20719的本部分提供了与活动的次序和周期约束相关的基本概念的表述·其范围如下：
子活动发生次序：一周期；一选代发生次序：发生树自同态；活动包络.
-
2规范性引用文件
下列文件中的条款通过GB/T20719的本部分的引用面成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单（不包括误的内容）或修订版均不适用于本部分·然而鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本，凡是不注日期的引用文件，其最新版本适用于本部分，
GB/T16262.1信息技术抽象语法记法一（ASV.1）第1部分：基本记法规范（GB/T16262.1 2006.ISO/TEC8824-1:2002.IDT) -
GB/T19114.1工业自动化系统与集成工业制造管理数据第1部分：综述（GB/T191141- 2003.ISO15531-1:2002.IDT) GB/T20719.1工业自动化系统与集成过程规范语言 第1部分：概述与基本原理 (GB/T20719.12006.ISO18629-1:2004.IDT)
ISO18629-I1:2005工业自动化系统与集成 过程规范语言第11部分：PSL核心 ISO18629-12工业自动化系统与集成过程规范语言第12部分外核
3术语、定义及缩略语 3.1术语和定义
下列术语和定义适用于GB/T20719的本部分。 3.1.1
自同构automorphism 保留了某个模型中的关系和函数的集合上的元素的一一映射。
3.1.2
公理axiom 形式语言中的合式公式，用以对一门语言的词汇中的符号解释加以约束［GB/T20719.1]
3.1,3
交换群 commutativegroup 在内部二元运算（OP）下具有：aOPb=bOPa的代数结构，
ia
1 GB/T20719.13-2010/1S018629-13:2006
3.1.4
保守定义 conservativedefinition 该定义指明一个术语应该满足的充分必要条件，并且不允许从该理论作出新的推论［GB/T20719.1的修改】
3.1.5
核心理论 coretheory 表示基本概念的关系符号和函数符号的公理集。 ［【GB/T20719.1的修改】
3.1.6
定义的词汇definedlexicon 非逻辑词汇的一系列符号，表示所定义概念。 注：定义的词汇分为常量、两数和关系符号。 示例具有保守定义的术语。 [GB/T 20719.1]
3.1.7
自同态endomorphism 一个集合到子集的映射，该子集保留了某个模型中的关系和数。
3.1.8
扩展extension 包含附加公理的PSL核心的扩充注1：PSL核心是一组相对简单的公理，足以表达较广范围内的基本过程。然而，更复杂的过程所需的表达性资源
超出了PSL核心的范围。相对于将每一个可能的概念（其对于描述一个或另一个过程可能有用）杂乱地添加到PSL核心中去·更好的方式是开发各种独立的、模块化的扩展，并把它们添加进PSL核心，果用这种方式，用户可以根据自已的表达需求精确地裁剪语言。
注2所有的扩履均为核心理论或定义性扩展，［GB/T20719.1]
3.1.9
语法 grammar 说明如何将逻辑符号和词汇术语组合为合式公式的规范。 ［GB/T20719.1]
3. 1.10
同态homomorphism 在集合的元素上保留某种关系的集合之间的映射。
3. 1.11
解释interpretation 将真值（真或假）赋给该理论中所有语句的赋值过程和论域。 [ISO18629-11]
3.1.12
语言language 词汇和语法的结合。 ［GB/T20719.1]
3.1.13
词汇lexicon 符号和术语的集合注：词汇包括逻辑符号（例如布尔连接和量词）与非逻辑符号。对于GB/T20719来说，词汇的非逻辑部分包括用于
表达本体的基本概念的词语（常量，函数符号与关系符号），
2 GB/T20719.13-2010/ISO18629-13:2006
［[GB/T20719.1] 3.1.14
模型model 满足一种理论中所有合式公式的一组元素和事实任务的合成。 注1：“模型”这个词在逻辑中的用法不同于它在大多数科学及日常读物中的用法，如果一个命题在某种解释中为
真，那么就可以说这种解释是该命题的模型，这里所说的语义常被称作模型理论语义。 注2：模型一般表示为包含附加结构的集合（偏序，点阵，或向量空间），模型定义了术语的含义以及本模型中所采
用语言的命题的真值概念，给定一个模型，在公理集中使用的数学结构基本公理集就通过语言及它们的逻辑关系成为概念论证的基础因此模型的集合构成了本体的形式语义，
［[GB/T20719.1] 3.1.15
单同态 monomorphism 在集合的元素上保留某种关系的一一映射。
3.1.16
本体 ontology 按照词汇中术语的含义的某些规范而定的专门术语的词汇。 注1：与形式语言中术语含义的规范一同给出的相关术语的结构化集合。术语含义的规范说明了术语为什么相关、
如何相关，以及集合划分和构造的条件，注2：过程规范语言（比如GB/T20719）的主要部分就是一个本体，通过GB/T20719，本体中的基本概念可以充分
描述基本的制造过程、工程过程及商业过程，
注3：本体的核心不只是术语，也包括它们的含义，术语的任意集合包含在本体中，但只有在含义一致时这些术语
才能被共享，共享的是术语的指定语义，而不是简单的术语共享，注4：没有显式定义的任何术语都可能成为含糊及混乱的来源，本体论的难点是：需要建立一个框架以使框架中术
语的含义清晰明确。对于GB/T20719这个本体，有必要提供一个过程信息的严格的数学特性措述以及 GB/T20719语言中信息的基本逻辑特性的精确表达。
［GB/T20719.1] 3.1.17
外核 OuterCore 作为PSL核心扩展的核心理论的集合，在适用性中它具有很高的通用性和普适性，因此专门预留
出来。
注：实际上，扩展并人了外核的公理。 [GB/T 20719. 1]
3.1.18
基本概念 primitiveconcept 没有保守定义的词汇术语。 [GB/T20719.1]
3.1.19
基本词汇 primitivelexicon 表示基本概念的非逻辑词汇的符号集合。 注：基本词汇分为常量、函数符号和关系符号。 ［GB/T20719.1]
3.1.20
过程 process 为了一个既定目标而进行规划和组织的涉及各种企业实体活动的结构化集合。 注：这里提出的定义与GB/T16656.49（ISO10303-49，IDT）中给出的定义非常接近，不过，GB/T19114需要的是
活动的结构化集合的概念，对于时间或步骤不进行任何预先确定。另外·从流管理的观点来看，为了保持同步可能会需要一些空白过程，尽管这费空白过程实际上什么也没做（ghosttask出灵任务），
3 CGB/T20719.13-2010/IS018629-13.2006
［GB/T19114.12003] 3.1.21
证明论prooftheory 解释某语言的语义所必需的理论与词汇元素的集合。 注：它包含三部分：PSL核心，外核及扩展，［GB/T20719.1]
3.1.22
PSL核心PSL-Core 对于活动、活动发生、时间点、对象这些概念的公理的集合。 注：PSL核心的动机是：任何两个过程相关的应用软件都需要共享这些公理，以交换过信息·因此PSL核心足可
用于描述制造过程的基本概念，这样，基本过程的特性描述就几平无需那些超出捕述这些过程所需的本质的很设了.因此PSL核心在遇辑表述方面比较薄弱。尤其是，PSL核心并不够强大，它不能提供很多辅助概念的定义·而这世辅助概念是措述关于制造过程的所有感知事物所必需的。
［GB/T20719,1] 3,1.23
理论theory 属于给定概念和概念集的公理和定义的集合。 注：这个定义反映了人工智能的方法，它的理论是一个假定的集合（基于相关摄念的含义）。 ［GB/T20719.1]
3.1.24
论域 universe of discourse 通过对感兴趣的建模系统以及相应环境进行选择，来实现对属于真实世界领域的具体或抽象事物
的收集，
［GB/T19114.12003] 3.2 2缩略语
下列缩略语适用于GB/T20719的本部分。
FOLFirst-OrderLogic一阶逻辑： BNFBackus-Naurform巴克斯范式： KIF KnowledgeInterchangeFormat知识交换格式： PSL Process Specification Language 过程规范语言。
一 -
4GB/T20719概述
如GB/T20719.1(idtISO18629-1）所述，作为一个整体GB/T20719（idtISO18629）详细描述了种用于表示过程信息的语言（叫做PLS的过程规范语言）。它由ISO18629的第11～19部分和第 41～49部分中用于过程描述的词汇本体和语法组成，
注1：PSL是一种以数学定义良好的词表和语法为基础，用于详细插述制造过程的语言，因此·它不同于
EXPRESS（在GB/T16656.11中被定义）语言以及GB/T16656-41.GB/T16656.42.GB/T16656,49 GB/T17645.GB/T19114.1-2003租GB/T18975中使用的语言，那些是模型语言，就两个过程之间的信息交换而言PSL确定了与其行为无关的每一个过程，例如，个过程中被视为资源的对象可能与另一个过程中视为产品的对象被识别为同一个对象，PSL以数学集合论和情景演算为基础（见TSO18629-11：2005附录D).
1S018629的第11～19部分详细说明了得到1SO18629的基本概念的精确定义及相应公理所需
的核心理论，这些核心理论可以实现不同模式之间的精确语义翻译
ISO18629的第11~19部分提供： 10 某些部分正在开发中。
4