GB T 20719.11-2010 工业自动化系统与集成 过程规范语言 第11部分：PSL核心.pdf

1、ICS 25.040.40 L 67 道B和国国家标准-ff: /、中华人民GB/T 20719. 11-201 O/ISO 18629-11 : 2005 工业自动化系统与集成过程规范语言第11 部分:PSL核心Industrial automation systems and integration process specification language一Part 11 PSL core CISO 18629-11:2005 ,IDT) 2010-12-01发布d 毅匈/I!j伪/中华人民共和国国家质量监督检验检茂总局中国国家标准化管理委员会2011-05-01实施发布GB/T 20

2、719.11-2010/ISO 18629-11:2005 自次前言.1 引言.皿1 范围2 规范性引用文件3 术语、定义和缩略语3. 1 术语和定义3.2 缩略语.4 4 GBjT 20719概述5 语法规则5. 1 基本符号和语法类别5.2 词汇5.3 语法5.4语言.6 PSL核心的基本元素.6.1 基本特征6.2 PSL 核心的简单词汇76.3 PSL核心的定义语汇6.4 公理107 PSL核心的一致性. 13 7.1 本体的一致性137.2 过程描述的一致性. . . . . . . . . . . . . . . . . . . . . 13 附录A(规范性附录)GBjT 2071

3、9.口的ASN.1标识符u附录B(规范性附录)KIF语法和语义15附录c(资料性附录)使用PSL核心描述过程的例子 20 附录D(资料性附录)BNF规定 27 参考文献. . 28 GB/T 20719.11-2010/ISO 18629-11 :2005 目。吕GB/T 20719(工业自动化系统与集成过程规范语言目前拟分为以下部分:一第1部分:概述与基本原理;二一一第11部分:PSL核心;二一第12部分:外核;-第13部分:时序理论;一一第14部分:资源理论;二一第15部分:活动性能理论;二二第21部分:EXPRESS; 一一第22部分:XML;一一第23部分:UML;第41部分=活动;第

4、42部分:时间和状态;一一第43部分:序列;-一第44部分:资源角色;一一第45部分:资源集的种类;一一第46部分:加工活动;一一第47部分:过程目的。GB/T 20719的主要内容为:一一第1部分规定了GB/T20719系列标准概述及其结构;一一一第11部分到15部分规定了核心理论，属于1x系列;一一第21部分到23部分规定了外部映射，属于2x系列;一一第41部分到47部分规定了定义性扩展，属于4x系列;另外2xx系列规定了转换执行指导。本部分是GB/T20719的第11部分。本部分等同采用ISO18629-11: 2005(工业自动化系统与集成过程规范语言第11部分PSL核心)(英文版)。

5、本部分的技术内容和结构与ISO18629-11: 2005相一致，在编写规则上符合我国国家标准GB/T 1. 1-2000(标准化工作导则第1部分:标准的结构和编写规则)，为便于使用，做了如下编辑性修改:a) 大写的英文缩写保留英文原名，删去了ISO前言。b) 将本国际标准和ISO18629改为GB/T20719，将ISO18629-1改为GB/T20719的第1部分或GB/T20719.1。c) 将规范性引用文件中已转化为国家标准的国际标准编号改为国家标准编号，并将相应的国家标准采用的国际标准版本号放在国家标准编号后的括弧内，以便使用和查阅。未转化的仍引用国际标准。d) 在参考文献中增加了G

6、B/T20719. 1(工业自动化系统与集成过程规范语言第1部分:概述与基本原理信息。因此参考文献编号从第4项起JfJY!序有调整。本部分的附录A和附录B为规范性附录。I GB/T 20719.11-201 O/ISO 18629-11 : 2005 E 本部分的附录C和附录D为资料性附录。本部分由机械工业联合会提出。本部分由全国工业自动化系统与集成标准化技术委员会归口。本部分主要起草单位:中国标准化研究院。本部分主要起草人:刘守华、王志强、李文武、洪岩。GB/T 20719.11-2010/ISO 18629-11 :2005 引GB/T 20719是用于计算机可解释的制造过程相关的信息交换

7、的国家标准。本标准提供了一种描述制造过程的通用语言，该过程贯穿于同种工业企业或跨多个工业部门或企业的整个生产过程，其表达方式独立于任何特殊的表达模型。语言的本质使它适用于在生产过程的各个阶段共享与制造相关的过程信息。本部分提供了本标准所定义的语言的核心元素描述。本部分和GB/T20719其他部分独立于任何制造管理领域内应用软件提出的过程表达或模型。他们共同提供了一种用于改善这些应用软件互操作性的结构框架。而且1 范围GB/T 20719.11-20 10/ISO 18629-11: 2005 工业自动化系统与集成过程规范语言第门部分.PSL核心GB/T 20719的本部分应用GB/T20719

8、基本语言中的一系列公理，给出了PSL核心概念的表达。本部分适用于所有过程一般概念的表达。2 规范性引用文件下列文件中的条款通过GB/T20719的本部分的引用而成为本部分的条款。凡是注日期的引用文件，其随后所有的修改单或修订版均不适用于本部分，然而，鼓励根据本部分达成协议的各方研究是否可使用这些文件的最新版本。凡是不注日期的引用文件，其最新版本适用于本部分。GB/T 16262. 1信息技术抽象语法记法一CASN.1)第1部分:基本记法规范CGB/T16262. 1 2006 ,1SO/1EC 8824-1: 2002 , IDT) GB/T 16656. 1 工业自动化系统与集成产品数据表达

9、与交换第1部分:概述与基本原理CGB/T 16656.1-2008,1SO 10303 :1 994 ,MOD) GB/T 19114. 1 工业自动化系统与集成工业制造管理数据第1部分z综述CGB/T19114. 1-2003 ,1SO FDIS 15531-1: 2000 , IDT) GB/T 19114.42-2008 工业自动化系统与集成工业制造管理数据第42部分:时间模型Cidt 1SO 15531-42:2005) 3 术语、定义和缩略语3.1 术语和定义下列术语和定义适用于GB/T20719的本部分。3. 1. 1 公理axiom 形式语言中的合式公式Cwell-formed

10、formula)。用以对一门语言的词汇中符号的解释加以约束。GB/T 20719. 1J 3. 1.2 保守定义conservative definition 指明充要条件的定义，充要条件是指术语应该满足并且不允许从该理论作出新的推论的条件。GB/T 20719. 1J 3. 1. 3 核心理论core theory 一组谓词、函数符号和独立常量，它们用于联系某些公理和本体的基本概念。3. 1. 4 数据data 一种形式化的信息表达，它适合于人或计算机进行通信、解释或处理。G/T 20719.11-2010/ISO 18629-11 :2005 3.1.5 定义的词汇defined lexi

11、con 非逻辑词汇的一系列符号，表示所定义概念。注:定义的词汇分为常量，函数和关系符号。示例:保守定义的术语。GB/T 20719. 1J 3. 1.6 扩展extension 包含附加公理的PSL核心的扩展。注1:PSL核心是一组相对简单的公理，它可用于表达较广范围内的基本过程。然而，更复杂的过程需要超PSL核心所包含的表达性资源。相对于将每一个可能的概念可用于描述一个过程或其他添加进PSL核心所造成的混乱，更好的方式是开发各种独立的、模块化式的扩展，并把它们添加进:PSL核心。采用这种方式，用户可以将语言精确地裁剪成他们所需要的表达形式。注2:所有的扩展均为核心理论或定义性扩展。GB/T

12、20719. 1J 3. 1.7 语法grammar 说明如何将逻辑符号句和词汇术语组合为合式公式的规范。GB/T 20719. 1J 3. 1. 8 个体individual 不失同一性，逻辑上不可再分的解释域元素。示例:独立常量是一个用于引用某个固定的个体对象的符号t它逻辑上等同于日常语言中的名字。在一阶逻辑中:谓词中的判据通常是独立常量。注1:更多信息见5J。注2:该术语常用于形式逻辑。注3:一阶逻辑中，只有个体才是独立常量。3. 1. 9 信息information 事实，概念或指令。GB/T 16656. 1J 3. 1. 10 解释interpretation 将真值(真或假)赋给

13、该理论中所有语句的服值过程和论域。解释的示例见附录ca3. 1. 11 语言language 词汇和语法的结合。GB/T 20719. 1J 3. 1. 12 2 词汇lexicon 符号和术语的集合。注:词汇包括逻辑符号(例如布尔连接和量词与非逻辑符号。对于GBjT20719来说，词素的非逻辑部分包括用于表达本体概念的词语(常量，函数符号与关系符号)。GB/T 20719. 1J GB/T 20719.11-201 O/ISO 18629-11 : 2005 3. 1. 13 线性排序Iinear ordering 具有这样一种二元关系的元素的集合，这种二元关系是指任意两个元素间的关系是可传

14、递，非自反，非对称的。示例:数学上的小于关系是:3 (before 7t1 7t2) (and (timepoint 7t1) (timepoint 7t2) 6.4.2 公理210 Before关系是一个全排序。(forall (7t1 7t2) (implies (and (timepoint 7t1) (timepoint 7t2) (or (= 7t1 7t2) (before 7t1 7t2) (before 7t2 7t1) GB/T 20719.11-2010/ISO 18629-11 :2005 6.4.3 公理3Before关系是非自反的。(forall (7t) (not

15、(before 7t 7t) 6.4.4 公理4Bcfore关系是可传递的。(forall (7t1 7t2 7t3) (implies (and (before 7t1 7t2) (before 7t2 7t3) (before 7t1 7t3) 6.4.5 公理5时间点inf一位于所有其他时间点之前。(forall (7t) (implies (and (timepoint 7t) (not (二7tinf一)before inf一7t) 6.4.6 公理6其他每个时间点都在inf十之前。(forall (7t) (implies (and (timepoint 7t) (not (= 7

16、t inf+) (before 7t inf十)6.4.7 公理7对于任何非inf一的时间点t，都存在一个位于inf一和t之间的时间点。(forall (7t) (implies(and (timepoint 7t) (not (= 7t inf一)(exists (7 u) (between inf一7u7t) 6.4.8 公理8对于任何非inf十的时间点t，都存在一个位于t和inf十之间的时间点。(forall (7t) (implies (and (timepoint 7t) (not (= 7t inf+) (exists (7u) (between 7t 7u inf+) 6.4.9

17、 公理9PSL核心中的任何一个概念都是活动、对象、活动事件或时间点之一。(forall (7x) (or (activity 7x) (activity_occurrence 7x) (object 7x) (timepoint 7x) 6.4.10 公理10对象、活动、活动事件和时间点都是彼此独立的。(forall (7x) 11 G/T 20719.11-2010/ISO 18629-11 :2005 (and (implies (activity ?x) (not (or (activity_occurrence ?x) (object ?x) (timepoint ?x) (impli

18、es (activity_occurr巳nce?x) (not (or (objcct ?x) (timepoint ?x) (implies (object ?对(not (timepoint ?x) 6.4. 11 公理11事件关系仅存在于活动和活动事件间。(forall (?a ?occ) (implies (occurrence_of ?occ ?a) (and (activity ?a) (activity_occurrence ?occ) 6.4.12 公理12一个活动事件和一个唯一的活动对应。(orall (?occ ?al ?a2) (implies (and (occurre

19、nce_of ?occ ?al) (occurrence_of ?occ ?a2) (= ?al ?a2) 6.4.13 公理13活动事件或者对象的开始点和结束点都是时间点。(forall C?x) (implies (or (activity_occurrence?对(object?对)(and (timepoint (bcginof ?x) (timepoint (endof ?x) 6.4.14 公理14每个活动事件或对象的开始点都在结束点之前或与结束点相同。(forall (?x) (implies (or (activity_occurrence ?x ) (objcct ?x) (

20、bcforeEq (beginof ?x) Cendof ?x) 注:开始点和结束点相同的情况，支持可表示瞬时事件的软件应用。6.4. 15 公理15participates_in关系仅独立的存在于对象，活动，和时间点中。(orall C?x ?a ?t) Cimplies Cparticipates_in ?x ?a ?t) (and Cobject ?x) (activity_occurrence ?occ) C timepoint ?t) 6.4.16 公理16对象仅在某些特殊的时间点才能参与活动，这些时间点是该对象存在并且该活动正在发生的时间点。Cforall (?x ?occ ?t)

21、 (implies (participates_in ?x ?occ ?t) 12 6.4.17 公理17(and (exists_at ?x ?t) (is_occurring_at ?occ ?t) 每个活动事件都是一个活动(activity)的发生。(forall (?occ) (implies (activity_occurrence ?occ) (exist (?a) (and (activity ?a) G/T 20719.11-2010/ISO 18629-11:2005 (occurrence_of ?occ ?a) 7 PSL核心的一致性7. 1 本体的一致性当且仅当本体给出

22、的概念是以第6章中PSL核心的公理和定义相一致的方法进行定义时，本体和PSL核心才一致。7.2 过程描述的一致性当且仅当过程描述的本体和PSL核心一致，并且过程描述的语法满足第5章所规定的规则时，过程描述才和PSL核心一致。13 GB/T 20719.11-2010/ISO 18629-11 :2005 附录A(规范性附录)GB/T 20719. 11的ASN.1标识符为了给开放系统中的信息对象提供一个元二义性的标识，对象标识符Ciso standard 18629 part 11 version 1) 被分配给GB/T20719的本部分。GB/T16262. 1定义了该值的含义，并在ISO1

23、8628-1加以描述。14 GB/T 20719.11-2010/ISO 18629-11 :2005 附录B(规范性附录)KIF语法和语义象许多面向计算机的语言一样，KIF有两种变量。在线性KIF中，所有的表达式都是ASCII字符串，它们可存贮在串行设备中(如:磁盘)，并通过串行媒介(如:电话线)进行传输。在结构化的KIF中，语言的合法表达式都是结构化的对象。使用结构化KIF，可在运行于相同地址空间的程序间进行通信9J。幸运的是，这两种KIF变量具有一种简单的通信方式。每个字符串都严格对应一个列表结构，同时，每一个列表结构都严格对应一个字符串(一旦排除了所有的非必要白空间)接下来，我们首先定

24、义语言线性形式和结构化形式间的映射，然后，就可以仅处理结构化形式。B.1 线性KIF线性KIF的字母表由ASCII字符集中的128个字符构成。某些字符是标准的可打印字符，其他字符则不能。标准的可打印字符如下所示:ABCDEFGBIJKLMNOPQRSTUV引TX Y Z abcdefghijklmnopqrstuvwxyz o 1 2 345 6 7 8 9 ( ) J -! ? =+一兴1&.川也#$%:;，.!?KIF源于表处理语言(LISP)应用程序，并继承了表处理语言(LISP)的语法。采用通用LISP阅读器可十分容易的规定线性KIF和结构化KIF之间的关系。特别的，如果满足下列条件，

25、ASCII字符串就可成为合法的线性KIF表达式，(1)它是通用LISP阅读器可读的，并且(2)遇用LISP阅读器生成的结构是一个合法的结构化KIF表达式(下节定义)。B.2 结构化KIF结构化KIF中，词的概念都采用简单方式表达。一个表达式不是单个的词就是一个表达式的有穷序列。这里我们用圆括号来限定复合表达式的项。Eext(R)，那么词形(R)的原子句子为真，B. 3. 3. 3 not 解释I中，当且仅当求反句子为假(false)时，求反才为真(ture)。rue r() =false ( (not) = ( - . . 1 talse otherwzse B. 3. 3. 4 or 解释I

26、中，当且仅当至少一个或项为真时，求或才为真。(true (伊I)=trueforsome j ，0j，n (or伊11. 11J -Mayer,R. J. , Menzel C.丑，PainterM. K. , de Witte P.丘，BlinnT. , Perakath B. , Infor mation integration for concurrent engineering (IICE) IDEF3 process description capture method re port ,KBSI Inc ,AL-TR-1995 , 1995 口2勾J-Stephen T. Pol忖

27、yakand Stuart A趾it也k臼阳en，M，n阳ufa町Ctur时zn吨gProcess Intero erability Scenario , NISTMSID-SIMA Proj ect , AIAI-PR-68 , 1998 13J Uschold,M. and Gruninger M. ,Ontologies: Principles,Methods ,and A户户lications，Knowledge Engineering Review , Vol. 11 , pp. 96-137 ,1996 14J -Van Benthcm,J. ,The logic of time

28、,Dordrecht, Holland,D. Reidel Pub. Co. ,1983 28 山OON二7N-om吧。ON|二.mFhONH阁。华人民共和国家标准工业自动化系统与集成过程规范语言第11部分:PSL核心GB/T 207 9. 11-2010/ISO 18629-11: 2005 国中每中国标准出版社出版发行北京复兴门外三里河北街16号邮政编码:100045网址电话:6852394668517548 中国标准出版社秦皇岛印刷厂印刷各地新华书店经销晤印张2.25字数55千字2011年5月第一次印刷开本880X 1230 1/16 2011年5月第一版峰1号:155066. 1-41267 33.00元如有印装差错由本社发行中心调换版权专有侵权必究举报电话:(010)68533533定价GB/T 20719.11-2010 打印日期:2011年5月30日F002A