ICS 25..040.40 L 67
中华人民共和国国家标准
GB/T 20719.11—2010/IS018629-11:2005
工业自动化系统与集成
过程规范语言第 11部分：PSL核心 Industrial automation systems and integration
process specification language-
Part 11 :PSL core
(ISO18629-11:2005,IDT)
2011-05-01实施
2010-12-01发布
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
发布 GB/T20719.11--2010/ISO18629-11:2005
目 次
前言引言范围

2 规范性引用文件 3术语、定义和缩略语· 3.1术语和定义 3.2缩略语 4 GB/T20719概述 5 语法规则 5.1 基本符号和语法类别 5. 2 词汇 5.3 语法 5.4 语言 6PSL核心的基本元素 6.1 基本特征 6.2 PSL-核心的简单词汇 6.3 PSL核心的定义语汇 6.4 公理· 7PSL核心的一致性 7.1本体的一致性…· 7.2过程描述的一致性附录A（规范性附录）GB/T20719.11的ASN.1标识符附录B（规范性附录）KIF语法和语义附录C（资料性附录） 使用PSL核心描述过程的例子附录D（资料性附录） BNF规定参考文献
.:
..-..-.
10 13 13 13 14 15 20 27 28 GB/T 20719.11—2010/ISO 18629-11:2005
前 言
GB/T20719《工业自动化系统与集成过程规范语言》目前拟分为以下部分：
-第1部分：概述与基本原理；第11部分：PSL核心；第12部分：外核；第13部分：时序理论：第14部分：资源理论；第15部分：活动性能理论； -第21部分：EXPRESS；第22部分：XML 第23部分：UML；第41部分：活动； -第42部分：时间和状态；第43部分：序列；第44部分：资源角色；第45部分：资源集的种类； --第46部分：加工活动；一第47部分：过程目的。 GB/T20719的主要内容为：
-第1部分规定了GB/T20719系列标准概述及其结构； -第11部分到15部分规定了核心理论，属于1x系列；第21部分到23部分规定了外部映射，属于2x系列；第41部分到47部分规定了定义性扩展，属于4x系列；另外2xx系列规定了转换执行指导。
本部分是GB/T.20719.的第11部分。 本部分等同采用ISO18629-11：2005《工业自动化系统与集成过程规范语言第11部分PSL核
心》（英文版）。
本部分的技术内容和结构与ISO18629-11：2005相一致，在编写规则上符合我国国家标准 GB/T1.1一2000《标准化工作导则第1部分：标准的结构和编写规则》，为便于使用，做了如下编辑性修改：
a）大写的英文缩写保留英文原名，删去了ISO前言。 b）将“本国际标准”和ISO18629改为“GB/T20719”，将ISO18629-1改为GB/T20719的第1
部分或GB/T20719.1。 c) 将规范性引用文件中已转化为国家标准的国际标准编号改为国家标准编号，并将相应的国家
标准采用的国际标准版本号放在国家标准编号后的括弧内，以便使用和查阅。未转化的仍引用国际标准。
d）在参考文献中增加了GB/T20719.1《工业自动化系统与集成过程规范语言第1部分：概
述与基本原理》信息。因此参考文献编号从第4项起顺序有调整。 本部分的附录A和附录B为规范性附录。
I GB/T20719.11—2010/ISO18629-11:2005
本部分的附录C和附录D为资料性附录本部分由机械工业联合会提出。 本部分由全国工业自动化系统与集成标准化技术委员会归口。 本部分主要起草单位：中国标准化研究院。 本部分主要起草人：刘守华、王志强、李文武、洪岩。
Ⅱ GB/T20719.11--2010/ISO18629-11:2005
引 言
GB/T20719是用于计算机可解释的制造过程相关的信息交换的国家标准。本标准提供了一种描述制造过程的通用语言，该过程贯穿于同种工业企业或跨多个工业部门或企业的整个生产过程，其表达方式独立于任何特殊的表达模型。语言的本质使它适用于在生产过程的各个阶段共享与制造相关的过程信息。
本部分提供了本标准所定义的语言的核心元素描述。 本部分和GB/T20719其他部分独立于任何制造管理领域内应用软件提出的过程表达或模型。他
们共同提供了一种用于改善这些应用软件互操作性的结构框架。
II GB/T20719.11-—2010/IS018629-11:2005
工业自动化系统与集成
过程规范语言第11部分：PSL核心
1范围
GB/T20719的本部分应用GB/T20719基本语言中的一系列公理，给出了PSL核心概念的表达。 本部分适用于所有过程一般概念的表达。
2规范性引用文件
下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。
GB/T16262.1信息技术抽象语法记法-（ASN.1）第1部分：基本记法规范（GB/T16262.1- 2006.ISO/IEC8824-1:2002,IDT)
GB/T16656.1工业自动化系统与集成产品数据表达与交换第1部分：概述与基本原理 (GB/T16656.12008,ISO10303:1994.MOD)
GB/T19114.1工业自动化系统与集成工业制造管理数据第1部分：综述（GB/T19114.1- 2003.ISOFDIS15531-1:2000,IDT)
GB/T19114.42—2008工业自动化系统与集成 工业制造管理数据 第42部分：时间模型 (idt ISO 15531-42:2005) 3术语、定义和缩略语 3.1术语和定义
下列术语和定义适用于GB/T20719的本部分。 3.1.1
公理axiom 形式语言中的合式公式（well-formedformula）。用以对门语言的词汇中符号的解释加以约束。 ［GB/T20719.1]
3.1.2
保守定义 conservative definition 指明充要条件的定义，充要条件是指术语应该满足并且不允许从该理论作出新的推论的条件。 [GB/T20719.1]
3.1.3
核心理论 core theory -组谓词、函数符号和独立常量，它们用于联系某些公理和本体的基本概念。
3.1.4
数据data 一种形式化的信息表达，它适合于人或计算机进行通信、解释或处理。 GB/T20719.11—2010/ISO18629-11:2005
3.1.5
定义的词汇defined lexicon 非逻辑词汇的一系列符号，表示所定义概念。 注：定义的词汇分为常量，函数和关系符号。 示例：保守定义的术语。 ［GB/T20719.1]
3.1.6
扩展extension 包含附加公理的PSL核心的扩展。 注1：PSL核心是一组相对简单的公理，它可用于表达较广范围内的基本过程。然而，更复杂的过程需要超PSL核
心所包含的表达性资源。相对于将每一个可能的概念（可用于描述一个过程或其他）添加进PSL核心所造成的混乱，更好的方式是开发各种独立的、模块化式的扩展，并把它们添加进PSL核心。采用这种方式，用户可以将语言精确地裁剪成他们所需要的表达形式。
注2：所有的扩展均为核心理论或定义性扩展。 [GB/T 20719.1]
3.1.7
语法grammar 说明如何将逻辑符号和词汇术语组合为合式公式的规范。 GB/T 20719.1J
3.1.8
个体 individual 不失同性，逻辑上不可再分的解释域元素。 示例：独立常量是一个用于引用某个固定的个体对象的符号：它逻辑上等同于日常语言中的“名字”。在一阶逻辑
中：谓词中的判据通常是独立常量。 注1：更多信息见[5]。 注2：该术语常用于形式逻辑。 注3：一阶逻辑中，只有个体才是独立常量。
3.1.9
信息information 事实，概念或指令。 LGB/T 16656.1J
3.1.10
解释interpretation 将真值（真或假）赋给该理论中所有语句的赋值过程和论域。 解释的示例见附录C。
3.1.11
语言 language 词汇和语法的结合。 ［GB/T20719.1]
3.1.12
词汇lexicon 符号和术语的集合。 注：词汇包括逻辑符号（例如布尔连接和量词）与非逻辑符号。对于GB/T20719来说，词素的非逻辑部分包括用于
表达本体概念的词语（常量，函数符号与关系符号）。 ［GB/T 20719.1]
2 GB/T20719.11—2010/IS018629-112005
3.1.13
线性排序linear ordering 具有这样一种二元关系的元素的集合，这种二元关系是指任意两个元素间的关系是可传递，非自
反，非对称的。
示例：数学上的小于关系是：3<5。 3.1.14
制造 manufacturing 将原材料或半成品转换成半成品或成品的功能或行为。 ［改写GB/T19114.1—20033.6.22]
3.1.15
制造过程 manufacturing process 活动或操作的结构化组合，它完成了将原材料或半成品向半成品或成品的转化。 注：制造过程可被安排在过程规划、产品规划、单元规划或装配位置规划里。根据战略性应用和物资的分配，制造
过程可被用于支持按库存生产，按订单生产，按订单装配。 E改写GB/T19114.1—20033.6.25］
3.1.16
模型model 满足一种理论中所有合式公式的一组元素和事实任务的合成。 注1：“模型”这个词在逻辑中的用法不同于它在大多数科学及日常读物中的用法[7］：如果一个命题在某种解释中
为真，那么就可以说这种解释是该命题的模型。这里所说的语义常被称作模型理论的语义。 注2：模型一般表示为包含附加结构的集合（半定序、点阵或向量空间）。模型定义了术语的含义以及本模型中所采
用语言的句法的事实概念。给定一个模型，在原理集中使用的数学结构的基本公理集合就通过语言及它们的逻辑关系变为概念解释的基础，因此模型的集合构成了本体的形式语义。
［GB/T20719.1] 3.1.17
本体ontology 按照词汇中术语的含义的某些规范而定的专门术语的词汇。 注1：与形式语言中术语含义的规范一同给出的相关术语的结构化集合。术语内涵的规范说明了术语为什么和如
何相关，以及集合划分和构造的条件。 注2：PSL（比如GB/T20719)的主要部分就是一个主体。基本概念就是通过GB/T20719可以描述基本制造工程
及业务过程的本体。
注3：本体的核心不只是术语，也包括它们的含义。术语的任意集合包含在本体中，但这些术语只有在含义一致时
才能被共享。共享的是术语的指定语义，而不是简单的术语。 注4：没有显式定义的任何术语都可能成为含糊及混乱的来源。本体的难点是：需要建立一个框架以使框架中术语
的含义更为清晰明确。对于GB/T20719这个本体，有必要提出过程信息的一个严格的数学特性描述，类似于GB/T20719语言中信息的基本逻辑特性的精确表达。
［GB/T20719.1J 3.1.18
时间点Point in time 所关注的某事在时域中的位置。 示例1：2003年，3月15日，星期三。 示例2：上午9.30。 ［GB/T19114.42]
m