GB/T 20719.1-2006工業(yè)自動(dòng)化系統(tǒng)與集成過(guò)程規(guī)范語(yǔ)言第1部分：概述與基本原理

ICS40L67中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)GB/T20719.1—2006/ISO18629-1：2004工業(yè)自動(dòng)化系統(tǒng)與集成過(guò)程規(guī)范語(yǔ)言第1部分;概述與基本原理Industrialautomationsystemandintegration-Processspecificationlanguage-Part1:0verviewandbasicprinciples（ISO18629-1:2004.IDT)2006-12-13發(fā)布2007-07-01實(shí)施中華人民共和國(guó)國(guó)家質(zhì)量監(jiān)督檢驗(yàn)檢疫總局發(fā)布中國(guó)國(guó)家標(biāo)準(zhǔn)化管理委員會(huì)

中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)工業(yè)自動(dòng)化系統(tǒng)與集成過(guò)程規(guī)范語(yǔ)言第1部分：概述與基本原理GB/T20719.1-2006/1S018629-1:2004中國(guó)標(biāo)準(zhǔn)出版社出版發(fā)行北京西城區(qū)復(fù)興門外三里河北街16號(hào)郵政編碼：100045電話：01051299090.685220062007年4月第一版書(shū)號(hào)：155066·1-29290版權(quán)專有侵權(quán)必究舉報(bào)電話：（010)68522006

GB/T20719.1-2006/ISO18629-1:2004三前言引言1范圍2規(guī)范性引用文件3術(shù)語(yǔ)、定義及縮略語(yǔ)3.1術(shù)語(yǔ)和定義3.2縮略語(yǔ)·…4GB/T20719總論4.1GB/T20719概述4.2PSL基本原理4.3PSL擴(kuò)展的需求4.3.1非邏輯詞匯4.3.2模型的規(guī)范4.3.3擴(kuò)展的公理4.3.4過(guò)程描述的語(yǔ)法4.3.5擴(kuò)展格式4.4（GB/T20719標(biāo)準(zhǔn)的組織4.5GB/T20719.1x系列核心理論4.5.1GB/T20719.11PSL核心4.5.2GB/T207GB/T20719.13時(shí)序理論4.5.4GB/T20719.14資源理論…·104.5.5GB/T20719.15活動(dòng)性能理論·104.6GB/T20719.2x系列外部映射104.7GB/T20719.4x系列定義性擴(kuò)展4.7.1GB/T20719.41活動(dòng)…………4.7.2GB/T20719.42時(shí)間與狀態(tài)·114.7.3B/T20719.43序列………（B/T20719.44資源角色·4.7.4114.7.5GB/T20719.45資源集的種類……4.7.6GB/T20719.46加工活動(dòng)…….124.7.7GB/T20719.47過(guò)程目的…….4.8GB/T20719.2xx系列轉(zhuǎn)換執(zhí)行指導(dǎo)-致性測(cè)試方法及框架……125.1應(yīng)用軟件與GB/T20719的一致性本體與GB/T20719的一致性……………5.212用戶定義的擴(kuò)展的一致性·5.2.1125.2.2外部本體的一致性…………13

GB/T20719.1-2006/ISO18629-1:2004_5.3未來(lái)護(hù)展的一致性·……·…135.3.1模型的規(guī)范……5.3.2擴(kuò)展的確認(rèn)………33附錄A（規(guī)范性附錄）軸象語(yǔ)法表示法（ASN.1）GB/T20719.1的標(biāo)志符14附錄B（資料性附錄)本標(biāo)準(zhǔn)的開(kāi)發(fā)背景14附錄C（資料性附錄)對(duì)語(yǔ)義的需求附錄D（資料性附錄)互操作性………………12附錄E（資料性附錄)PSL的結(jié)構(gòu)參考文獻(xiàn)23

GB/T20719.1-2006/ISO18629-1:2004GB/T20719《工業(yè)自動(dòng)化系統(tǒng)與集成過(guò)程規(guī)范語(yǔ)言》目前擬分為如下部分第1部分：概述與基本原理：第第11部分：PSL核心；第12部分：外核；第13部分：時(shí)序理論；-第14部分：資源理論；第15部分：活動(dòng)性能理論。第21部分：EXPRESS：第22部分：XML；第23部分：UML第41部分：活動(dòng)；-第42部分：時(shí)間和狀態(tài)；第43部分：序列：第44部分：資源角色；第45部分：資源集的種類；第46部分：加工活動(dòng)：第47部分：過(guò)程目的。GB/T20719的主要內(nèi)容為-第1部分規(guī)定了GB/T20719系列標(biāo)準(zhǔn)概述及其結(jié)構(gòu)：第11部分到15部分規(guī)定了核心理論.屬于1x系列：第第21部分到23部分規(guī)定了外部映射.屬于2x系列；第41部分到47部分規(guī)定了定義性擴(kuò)展,屬于4x系列：-另外2xx系列規(guī)定了轉(zhuǎn)換執(zhí)行指導(dǎo)。本部分為GB/T20719的第1部分本部分等同采用ISO18629-1:2004《工業(yè)自動(dòng)化系統(tǒng)與集成過(guò)程規(guī)范語(yǔ)言第1部分：概述與基本原理》英文版）本部分的技術(shù)內(nèi)容和組成結(jié)構(gòu)與ISO18629-1:2004相一致,在編寫格式上符合我國(guó)國(guó)家標(biāo)準(zhǔn)GB/T1.1—2000《標(biāo)準(zhǔn)化工作導(dǎo)則第1部分：標(biāo)準(zhǔn)的結(jié)構(gòu)和編寫規(guī)則》,只是根據(jù)我國(guó)國(guó)家標(biāo)準(zhǔn)的制定要求和為方便使用，做了如下編輯性的改動(dòng)：a）大寫的英文縮寫保留英文原名：去掉ISO前言。將“本國(guó)際標(biāo)準(zhǔn)"和ISO18629改為"GB/T20719"。將ISO18629-1改為GB/T20719的第1部分或GB/T20719.1。C將規(guī)范性引用文件中已轉(zhuǎn)化為國(guó)家標(biāo)準(zhǔn)的國(guó)際標(biāo)準(zhǔn)編號(hào)改為國(guó)家標(biāo)準(zhǔn)編號(hào).并將相應(yīng)的國(guó)家標(biāo)準(zhǔn)采用的國(guó)際標(biāo)準(zhǔn)版本號(hào)放在國(guó)家標(biāo)準(zhǔn)編號(hào)后的括弧內(nèi),以便使用和查閱。未轉(zhuǎn)化的國(guó)際標(biāo)準(zhǔn)保留。d）刪去了原文中不符合我國(guó)標(biāo)準(zhǔn)編寫的字句。本部分的附錄A為規(guī)范性附錄。本部分的附錄B、附錄C、附錄D、附錄E為資料性附錄。

GB/T20719.1-2006/ISO18629-1:2004本部分由中國(guó)機(jī)械工業(yè)聯(lián)合會(huì)提出。本部分由全國(guó)工業(yè)白動(dòng)化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會(huì)歸口.本部分由北京機(jī)械工業(yè)自動(dòng)化所負(fù)責(zé)起草主要起草人：楊書(shū)評(píng)、黃雙喜、王成、黎曉東。

GB/T20719.1-2006/ISO18629-1:2004隨著信息技術(shù)在制造業(yè)中的使用日漸成熟，軟件應(yīng)用的互操作對(duì)組織的業(yè)務(wù)和運(yùn)營(yíng)活動(dòng)來(lái)說(shuō)也變得至關(guān)重要。為了保持競(jìng)爭(zhēng)力和良好的經(jīng)濟(jì)性能.制造型企業(yè)需要采用更加有效并有效率的系統(tǒng)。這樣的系統(tǒng)應(yīng)能實(shí)現(xiàn)制造應(yīng)用軟件的無(wú)縫集成.并可在應(yīng)用軟件之間交換制造過(guò)程。企業(yè)也應(yīng)該能夠按需要保存和獲取包含在其業(yè)務(wù)過(guò)程中的知識(shí)，而無(wú)需考慮用于構(gòu)造和處理這些過(guò)程的應(yīng)用軟件。很多制造工程以及業(yè)務(wù)應(yīng)用軟件都使用過(guò)程信息，包括制造仿真、過(guò)程調(diào)度、制造過(guò)程規(guī)劃、工作流、業(yè)務(wù)過(guò)程重組、產(chǎn)品實(shí)現(xiàn)過(guò)程建模,以及項(xiàng)目管理。然而，每一種應(yīng)用都用不同的方式使用了過(guò)程信息,并且這些應(yīng)用中過(guò)程信息的每一種表現(xiàn)方式也都不同。因此.要實(shí)現(xiàn)互操作性非常困難。這樣,上述的方面就導(dǎo)致了過(guò)程規(guī)范語(yǔ)言（PSL)的發(fā)展,它實(shí)現(xiàn)了制造工程和業(yè)務(wù)應(yīng)用軟件中過(guò)程的一致表達(dá)方式。GB/T20719為過(guò)程規(guī)范提供了一種通用的語(yǔ)言.它可廣泛地應(yīng)用于制造業(yè)應(yīng)用軟件中特定過(guò)程的表達(dá)。GB/T20719為制造過(guò)程相關(guān)的信息提供一種計(jì)算機(jī)可理解的語(yǔ)義。本標(biāo)準(zhǔn)包含的所有部分為描述貫穿整個(gè)生產(chǎn)過(guò)程的制造過(guò)程提供了一種語(yǔ)言，該生產(chǎn)過(guò)程可能位于一個(gè)工業(yè)公司，也可能跨越幾個(gè)工業(yè)部門或公司,它與特定的表示模型是獨(dú)立的。語(yǔ)言的本質(zhì)使它適用于在生產(chǎn)過(guò)程的各個(gè)階段共享與制造相關(guān)的過(guò)程信息工程和業(yè)務(wù)應(yīng)用軟件所采用的過(guò)程表示法受應(yīng)用的特定需求及目標(biāo)的影響。因此.PSL的使用也隨應(yīng)用軟件的不同而不同。PSL的主要目的，就是實(shí)現(xiàn)在使用不同過(guò)程模型和過(guò)程表示法的應(yīng)用軟件之間交互制造過(guò)程的互操作性。實(shí)現(xiàn)過(guò)程互操作性的結(jié)果，就是在集成過(guò)程應(yīng)用軟件的同時(shí),擴(kuò)大經(jīng)營(yíng)規(guī)模，從而獲得經(jīng)濟(jì)節(jié)約。GB/T20719的本部分與該標(biāo)準(zhǔn)的其他部分對(duì)于給定應(yīng)用中所使用的任何特定過(guò)程表示法或模型來(lái)說(shuō)都是獨(dú)立的。GB/T20719描述的是互操作系統(tǒng)所應(yīng)該包含的元素，而不是某個(gè)特定應(yīng)用軟件如何實(shí)現(xiàn)這些元。加強(qiáng)制造過(guò)程表示法的一致性并不是GB/T20719的目的。隨著應(yīng)用軟件的目標(biāo)以及設(shè)計(jì)不同，一個(gè)互操作的應(yīng)用軟件的實(shí)現(xiàn)也必然受特定應(yīng)用的特殊目的及過(guò)程影響。本部分標(biāo)準(zhǔn)概述了國(guó)際性標(biāo)淮包含的基本原理，并指導(dǎo)了GB/T20719中各部分的選取及使用，

GB/T20719.1-2006/ISO18629-1:2004工業(yè)自動(dòng)化系統(tǒng)與集成過(guò)程規(guī)范語(yǔ)育第1部分：概述與基本原理1范圍本部分的具體范疇就是整個(gè)GB/T20719的概述以及過(guò)程規(guī)范語(yǔ)言（PSL)的主要基本原理。本部分也說(shuō)明了GB/T20719各個(gè)部分不同系列的特征以及它們之間的關(guān)系以下各項(xiàng)屬于GB/T20719本部分的范疇：本標(biāo)準(zhǔn)及其使用的主要原理的概述：本標(biāo)準(zhǔn)的結(jié)構(gòu).以及它所包含的各部分不同系列之間的關(guān)系；本標(biāo)準(zhǔn)中所使用的術(shù)語(yǔ)的定義：與過(guò)程相關(guān)的應(yīng)用軟件的一致性標(biāo)準(zhǔn)；其其他本體論的一致性標(biāo)準(zhǔn)：-本標(biāo)準(zhǔn)各部分的一致性標(biāo)準(zhǔn)。本部分也包含下列附錄.作為文檔的說(shuō)明及補(bǔ)充：-附錄B：本標(biāo)準(zhǔn)的開(kāi)發(fā)背景;附附錄C：所需要的語(yǔ)義：-附錄D:互操作性；-附錄E:PSL的結(jié)構(gòu)規(guī)范性引用文件下列文件中的條款通過(guò)GB/T20719的本部分的引用而成為本部分的條款。凡是注日期的引用文件.其隨后所有的修改單(不包括誤的內(nèi)容)或修訂版均不適用于本部分，然而，鼓勵(lì)根據(jù)本部分達(dá)成協(xié)議的各方研究是否可使用這些文件的最新版本。凡是不注日期的引用文件,其最新版本適用于本部分。開(kāi)放系統(tǒng)互連油象語(yǔ)法記法1（ASN.1）GB/T16262.1-2006信息技術(shù)第1部分：基本記法規(guī)范(ISO/IEC8824.1:2002,IDT)、產(chǎn)品數(shù)據(jù)表達(dá)與交換GB/T16656.1一1998工業(yè)自動(dòng)化系統(tǒng)和集成第1部分：概述與基本原理(idtISO10303.1:1994)GB/T16656.11一1996工業(yè)自動(dòng)化系統(tǒng)和集成產(chǎn)品數(shù)據(jù)表達(dá)和交換！第11部分：描述方法：EXPRESS語(yǔ)言參考手冊(cè)（eqvISO10303.11: