本部分等同采用ISO 18629-1：2004《工业自动化系统与集成--过程规范语言 第1部分：概述与基本原理。本部分的具体范畴就是整个GB/T 20719的概述以及过程规范语言(PSL)的主要基本原理。本部分也说明了GB/T 20719各个部分不同系列的特征以及它们之间的关系。 GB/T 20719.1-2006 工业自动化系统与集成 过程规范语言 第1部分:概述与基本原理 GB/T20719.1-2006 标准下载解压密码：www.bzxz.net

中华人民共和国国家标准
GB/T20719.1-2006/ISO18629-1:200470947
工业自动化系统与集成
过程规范语言
第1部分：概述与基本原理
Industrial automation system and integration-Process specificationlanguage-Part 1:Overview and basic principles(ISO18629-1:2004.IDT)
2006-12-13发布
中华人民共和国国家质量监督检验检疫总局中国国家标准化管理委员会
2007-07-01实施
中华人民共和国
国家标准
工业自动化系统与集成过程规范语言第1部分：概述与基本原理
GB/T20719.1-2006/ISO18629-1.2004中国标准出版社出版发行
北京复兴门外三里河北街16号
邮政编码：100045
网址spe.net.cn
电话：6852394668517548
中国标准出版社秦皇岛印刷厂印刷各地新华书店经销
开本880×12301/16印张2字数52千字2007年4月第一版2007年4月第一次印刷书号：1550661-29290定价24.00元由本社发行中心调换
如有印装差错
版权专有侵权必究
举报电话：（010）68533533
rKAONiKAca
规范性引用文件
术语、定义及缩略语
术语和定义
缩略语
GB/T20719总论
GB/T20719概述
PSI基本原理
4.3PSL扩展的需求
非逻辑词汇
模型的规范
扩展的公理
过程描述的语法
扩展格式
GB/T20719标准的组织
GB/T20719.1x系列
GB/T20719.11
GB/T20719.12
GB/T20719.13
GB/T20719.14
GB/T20719.15
核心理论
PSL核心
时序理论
资源理论
活动性能理论
GB/T20719.2x系列
GB/T20719.4x系列
GB/T20719.41
GB/T20719.42
GB/T20719.43
GB/T20719.44
GB/T20719:45
GB/T20719.46
GB/T20719.47
外部映射
定义性扩展
活动·
时间与状态
序列·
资源角色
资源集的种类
加工活动
过程目的·
GB/T20719.2xx系列
致性测试方法及框架
转换执行指导
应用软件与GB/T20719的致性
本体与GB/T20719的一致性
用户定义的扩展的一致性
外部本体的
GB/T20719.12006/ISO18629-1:200470947
GB/T20719.12006/ISO18629-1:20045.3未来扩展的一致性·
模型的规范
5.3.2扩展的确认·
附录A（规范性附录）
抽象语法表示法（ASN.1）
GB/T20719.1的标志符
附录B（资料性附录）
附录C（资料性附录）
附录D（资料性附录）
附录E（资料性附录）
参考文献
本标准的开发背景
对语义的需求
互操作性
PSL的结构
-TYKAONiKAca-
GB/T20719.1—2006/1S018629-1:2004GB/T20719K工业自动化系统与集成过程规范语言》目前拟分为如下部分：第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系列：另外2x×系列规定了转换执行指导本部分为GB/T20719的第1部分。本部分等同采用ISO18629-1：2004《工业自动化系统与集成过程规范语言第1部分：概述与基本原理》（英文版）
本部分的技术内容和组成结构与ISO18629-1：2004相一致，在编写格式上符合我国国家标准GB/T1.1一2000标准化工作导则第1部分：标准的结构和编写规则》，只是根据我国国家标准的制定要求和为方便使用，做了如下编辑性的改动：a）大写的英文缩写保留英文原名，去掉ISO前言。将“本国际标准”和ISO18629改为“GB/T20719”。将ISO18629-1改为GB/T20719的b）
第1部分或GB/T20719.1。
将规范性引用文件中已转化为国家标准的国际标准编号改为国家标准编号，并将相应的国家标准采用的国际标准版本号放在国家标准编号后的括弧内，以便使用和查阅。未转化的国际标准保留。
d）删去了原文中不符合我国标准编写的宇句。本部分的附录A为规范性附录。
本部分的附录B、附录C、附录D、附录E为资料性附录。目
GB/T20719.1--2006/ISO18629-1:2004本部分由中国机械工业联合会提出。本部分由全国工业自动化系统与集成标准化技术委员会归口。本部分由北京机械工业自动化所负责起草。主要起草人：杨书评、黄双喜、王成、黎晓东。V
-iikAoNiKAca
GB/T20719.1-2006/1S018629-1:2004随着信息技术在制造业中的使用日渐成熟，软件应用的互操作对组织的业务和运营活动来说也变得至关重要。为了保持竞争力和良好的经济性能，制造型企业需要采用更加有效并有效率的系统。这样的系统应能实现制造应用软件的无缝集成，并可在应用软件之间交换制造过程。企业也应该能够按需要保存和获取包含在其业务过程中的知识，面无需考虑用于构造和处理这些过程的应用软件。很多制造工程以及业务应用软件都使用过程信息包制造仿真、过程调度制造过程规划、工作流、业务过程重组、产品实现过程建模，以及项自管理。然而，每一种应用都用不同的方式使用了过程信息，并且这些应用中过程信息的每一种表现方式也都不同。因此，要实现互操作性非常困难。这样，上述的方面就导致了过程规范语言（PSL）的发展，它实现了制造工程和业务应用软件中过程的一致表达方式。GB/T20719为过程规范提供了一种通用的语言，它可广泛地应用于制造业应用软件中特定过程的表达
GB/T20719为制造过程相关的信息提供一种计算机可理解的语义。本标准包含的所有部分为描述贯穿整个生产过程的制造过程提供了一种语言，该生产过程可能位于一个工业公司，也可能跨越几个工业部门或公司，它与特定的表示模型是独立的：语言的本质使它适用于在生产过程的各个阶段共享与制造相关的过程信息
工程和业务应用软件所采用的过程表示法受应用的特定需求及目标的影响。因此，PSL的使用也随应用软件的不同而不同。PSL的主要自的，就是实现在使用不同是程模型和过程表示法的应用软件之间交互制造过程的互操作性。实现过程互操作性的结果，就是在集成过程应用软件的同时，扩大经营规模，从而获得经济节约。
GB/T20719的本部分与该标准的其他部分对于给定应用中所使用的任何特定过程表示法或模型来说都是独立的。
GB/T20719描述的是互操作系统所应该包含的元素，而不是某个特定应用软件如何实现这些元素。加强制造过程表示法的一致性并不是GB/T20719的目的。随着应用软件的目标以及设计不同，一个互操作的应用软件的实现也必然受特定应用的特殊自的及过程影响，本部分标准概述了国际性标准包含的基本原理，并指导了GB/工20719中各部分的选取及使用。1范围
-TrKAoNiKAca
GB/T20719.1-—2006/ISO18629-1:2004工业自动化系统与集成过程规范语言第1部分：概述与基本原理
本部分的具体范畴就是整个GB/T20719的概述以及过程规范语言（PSL）的主要基本原理。本部分也说明了GB/T20719各个部分不同系列的特征以及它们之间的关系。以下各项属于GB/T20719本部分的范畴：本标准及其使用的主要原理的概述本标准的结构，以及它所包含的各部分不同系列之间的关系；本标准中所使用的术语的定义；与过程相关的应用软件的一致性标准：其他本体论的一致性标准：
本标准各部分的一致性标准。
本部分也包含下列附录，作为文档的说明及补充：附录B：本标准的开发背景：
附录C：所需要的语义：
附录D：互操作性：
附录E：PSL的结构。
2规范性引用文件
下列文件中的条款通过GB/工20719的本部分的引用而成为本部分的条款凡是注日期的引用文件，其随后所有的修改单（不包括勘误的内容）或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。
GB/T16262.12006信息技术开放系统互连抽象语法记法1（ASN.1）记法规范（ISO/IEC8824.12002.IDT）第1部分：基本
GB/T16656.1—1998工业自动化系统和集成产品数据表达与交换第部分概述与基本原理（idtISO10303.1：1994)
产品数据表达和交换第11部分：描述方法：工业自动化系统和集成
GB/T16656.11-1996
EXPRESS语言参考手册（egVISO10303.11：1994)GB/T17645.1一2001工业自动化系统与集成零件库第1部分：综述与基本原理GB/T19114.12003
(ISO15531-1:2002.IDT)
工业制造管理数据
营第1部分：综述
工业自动化系统和集成
ISO15531-31工业自动化系统和集成工业制造管理数据
第31部分：资源信息模型
ISO15531-32工业自动化系统和集成工业制造管理数据第32部分：资源使用管理数据的概念信息模型
1)即将发布。
GB/T207191-2006/ISO18629-12004ISO15531-422工业自动化系统和集成工业制造管理数据第42部分：制造流程管理数据时间模型
3术语、定义及缩略语
3.1术语和定义
本部分采用下列术语和定义。
形式语言中的合式公式，用以对一门语言的词汇中的符号解释加以约束31.2
保守定义
conservative definition
指明充要条件的定义，充要条件是指术语应该满足并且不允许从该理论作出新的推论的条件。3.1.3
核心理论
coretheor
数据data
定义适合于人或党机通信、解释、或处理的形式化方法的信惠表示。[GB/T16656Q98]
定义的词汇
非逻辑词汇自
注：定义的词汇
示例：保守定义
定义性扩展
denred
lexicon
列符号，表示所定义概念
营量、函数和关系符导
definitional extension
指PSL核心的
注：定义性扩展
离散性制造
它引人了完全百PSL核心定义的新的语言术语。S
核心增加了新的表适能力，但它常常定义领现应用中的语义及大语R
disereteanufacturing
离散性产品的生产
示例：汽车，器具或计算
[GB/T19114.1-200S
持续时间
duration
用给定的时间单位测量的时间长度示例1，星期一下午1点到星期二下午1点之间24小时示例2：一月到七月的每个星期的星期一注，时间间隔测量两个时间点之间的距离在这种情况下，时间城的长度是由所考感的时间的两个点来界定的ISO15531-42]
extension
包含附加公理的PSL核心的扩展。2）即将发布
-Tr KAoNT KAca-
GB/T20719.12006/IS018629-1:2004注1：PSL核心是一组相对简单的公理，它可用于表达较广范围内的基本过程。然而·更复杂的过程需要超PSL核心所包含的表达性资源。相对于将每一个可能的摄念（可用于描述一个过程或其他）添加进PSL核心所造成的混乱，更好的方式是开发各种独立的、模块化的扩展，并把它们添加进PSL核心，采用这种方式，用户可以将语育精确地裁剪成他们所需要的表达形式，注2，所有的扩展均为核心理论或定义性扩展3.1.10
grammar
说明如何将逻辑符号和词汇术语组合为合适的公式的规范。3.1.11
information
事实、概念和说明。
语言language
词汇和语法的结合
词汇lexicon
符号和术语的集
注：词汇包括逻辑餐号（便如布尔连换和量词）与非迎导符号，对于GB/T20719来兑，词汇的非逻辑部分包括用于的词语（举量、数符号与关系符号）表达本体的基
manuacturng
将原材料或
GB/T191
#转换成成品的功能或有
acturing precss
制造过程
为和操作，它完成了将原材料或半成品向成品的转化。套结构化的行
注：制造过程可被安
在程序规划、产品规划单元规划或装配位置规划里根据战略性应用和物资的分配，制造过程可被用按库存生产按订单生产按订单装配
GB/T19114
模型Model
满足一种理论中所有格公式的一组元素和事实任务的合成注1：“模型”这个词在这妞中的用法不同于它在大多数科学及日常读物中的用法[如果一个命瑟在某种解释中为真，那么就可以说这种解释是该命题的模型，这里所说的语义常被标作模型理论的语义，注2：模型一般表示为包含附加构的集合（半定序、点阵或向量空间，模型定义了术语的含文以及本模型中所采用语音的句法的事实概念，给定一个模型在原理集中使用的数学结均的基本公理集合就通过语言及它们的逻辑关系变为概念解释的基础，国此模型的集合构成了本体的形式语义，3.1.17
ontology
按照词汇中术语的含义的某些规范而定的专门术语的词汇。注：与形式语言中术语食义的规范一同给出的相关术语的结构化集合术语内通的规范说明了术语为什么和如何相关，以及集合划分和构造的条件。注2，PSL（比如GBT20719）的主要部分就是一个本体，基本概念就是本体论，通过GB/T20719可以描述基本制造工程及业务过程。
注3：本体的核心不只是术语，也包括它们的含义，术语的任意集合包含在本体中，但这些术语只有在含义一致时才能被共享，共享的是术语的指定谱义，而不是简单的术语3
GB/T20719.1-2006/ISO18629-1:2004注4：没有显式定义的任何术语都可能成为含糊及混乱的来源。本体论的难点是：需要建立一个框架以使框架中术语的含义更为清晰明确，对于GB/T20719这个本体，有必要提出过程信息的一个严格的数学特性描述，类似于GB/T20719语言中信息的基本逻辑特性的精确表达。3.1.18
outercore
作为PSL核心扩展的核心理论的集合，在适用性中它具有很高的普遍性，因此专门预留出来。注：事实上，扩展包含了外核的公理3.1.19
基本概念primitiveconcept
没有保守定义的词汇术语。
基本词汇primitivelexicon
表示基本概念的非逻辑词汇的符号集合注：基本词汇分为常量、函数符号和关系特号。3.1.21
过程process
涉及各种企业实体的一套结构化的活动，是为特定的目的设计和组织的注：这里所提供的定义和GB/T16656.49非常接近。然而GB/T19114需要一套结构化行为的观念，对于时间和步骤没有任何预先确定，另外，从流程管理的观点来看，为同一目的需要一些空过程，尽管实际上它们不起任何作用。［GB/T19114.1--2003]
过程计划编制
processplanning
过程顺序资源需求、需要生产的商品和服务的分析和设计。注：该定义适用于离散性零件制造和连续过程，【GB/T19114.1-2003]
产品product
通过自然或人工过程生产的物品或实体。GB/T16656.11998]bZxz.net
产品信息productinformation
关于一个产品的事实、概念和指令。[GB/T16656.11998]
证明论proof theory
解释某语言的语义所必需的理论与词汇元素的集合。注，它包含三部分·PSL核心外核及扩展3.1.26
PSL核心PSL-core
对于活动、活动发生、时间点、对象这些概念的公理的集合。注PSL核心的动机是：任何两个过程相关的应用软件都需要共享这些公理，以交换过程信息，因此PSL核心足可用于描述制造过程的基本概念，这样，基本过程的特性指述就作了很少关于它们本质的假设（描述这些过程还需要超越其本质2，因此PSL核心在逻辑表示方面比轻弱，需要指出的是，PSL核心并不足够强大，它不能提供很多辅助概念的定义，而这些辅助概念可能是描述关于制造过程的所有感知事物所必需的3.1.27
资源resource
在企业生产产品或服务中配置的任何设备，工具和手段。iKANiKAca-
GB/T20719.1-2006/IS0.18629-1:2004注：这里所定义的资源包括人力资源，作为一种具有给定才能和能力的特定的手段。这些工具通过指派任务而被认为涉及制造过程。除了他们在制造过程中完成给定的任务（即原材料或组件的变换，后勤服务保证）的能力外，不包括人力资源的个体或通用人类行为模型。作为包括人力手段的其他资源，仅从他们的功能，能力，状态（即空闲、忙），它不包括任何方面的个体或共同的社会行为模型或表达。注2：该定义包括GB/T16656.49定义，而适用于[SO18629-14和ISO18629-44的原材料和消耗品的定义包括GB/T16656.49定义
[GB/T19114.1-2003]
可满足的satisfiable
如果存在一组命题的模型，则称这组命题是可满足的。3.1.29
调度scheduling
制造活动计划事件的行为、功能或结果。3.1.30
结构strueture
一组元素，一组函数和一组关系元组的联合。3.1.31
理论theory
属于给定概念和概念集的公理和定义的集合。注：这个定义反映人工智能的方法它的理论是一个假定的集合（基于相关概念的含义）3.1.32
转换定义translationdefinition以(iffPQ）形式定义的KIF命题，其中P是应用软件的非逻辑词汇中的术语，Q只能是本标准中扩展的术语。
注：IFF是KIE的保留字
3.2缩略语
MANDATE
Backus-NaurFormalism巴克斯范式Comite Europeen de Normalisation (European Committee for Standardisa-tion）欧洲标准化委员会
Electronic Data Interchange电子数据交换EuropeanPre-standard暂行欧洲标准ICAMDEFinitionlanguage3ProcessdescriptioncapturemethodICAM定义语言3过程描述获取方法
KnowledgeInterchangeFormat知识交换格式JointTechnicalCommitteebetweenISOandIECISO/TEC信息技术联合技术委员会
MANufacturingmanagementDATaExchange制造管理数据交换ManufacturingMessageServices制造消息服务MaterialRequirementPlanning物料需求计划ManufacturingResources Planning制造资源计划Parts Library 零件库
小提示：此标准内容仅展示完整标准里的部分截取内容，若需要完整标准请到上方自行免费下载完整标准文档。