GB/T 20719.11-2010工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言第11部分：PSL核心

ICS25.040.40L67中華人民共和國國家標準GB/T20719.11-2010/ISO18629-11:2005工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言第11部分:PSL核心IndustrialautomationsystemsandintegrationprocessspecificationnlanguagePart11:PSLcore（ISO18629-11:2005,IDT)2010-12-01發(fā)布2011-05-01實施中華人民共和國國家質(zhì)量監(jiān)督檢驗檢疫總局發(fā)布中國國家標準化管理委員會

GB/T20719.11-2010/1S018629-11:2005二前言引言1范圍2規(guī)范性引用文件術(shù)語、定義和縮略語·3.13.2縮略語………………4GB/T20719概述5語法規(guī)則………5.1基本符號和語法類別5.2詞匯5.3語法5.4語言6PSL.核心的基本元素6.1基本特征·6.2PSL一核心的簡單詞匯6.3PSL核心的定義語匯6.4公理················7PSL核心的一致性.1本體的一致性……………7.2過程描述的一致性附錄A（規(guī)范性附錄）。GB/T20719.11的ASN.1標識符附錄B（規(guī)范性附錄）KIF語法和語義·附錄C（資料性附錄)使用PSL核心描述過程的例子附錄D（資料性附錄)NF規(guī)定

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

GB/T20719.11-2010/ISO18629-11:2005本部分的附錄C和附錄D為資料性附錄。本部分由機械工業(yè)聯(lián)合會提出。本部分由全國工業(yè)白動化系統(tǒng)與集成標準化技術(shù)委員會歸口本部分主要起草單位：中國標準化研究院。本部分主要起草人;劉守華、王志強、李文武、洪巖

GB/T20719.11-2010/ISO18629-11:2005GB/T20719是用于計算機可解釋的制造過程相關(guān)的信息交換的國家標準。本標準提供了一種描述制造過程的通用語言，該過程貫穿于同種工業(yè)企業(yè)或跨多個工業(yè)部門或企業(yè)的整個生產(chǎn)過程，其表達方式獨立于任何特殊的表達模型。語言的本質(zhì)使它適用于在生產(chǎn)過程的各個階段共享與制造相關(guān)的過程信總。本部分提供了本標準所定義的語言的核心元素描述本部分和GB/T20719其他部分獨立于任何制造管理領(lǐng)域內(nèi)應(yīng)用軟件提出的過程表達或模型。他們共同提供了一種用于改善這些應(yīng)用軟件互操作性的結(jié)構(gòu)框架

GB/T20719.11一2010/ISO18629-11:2005工業(yè)自動化系統(tǒng)與集成過程規(guī)范語言第11部分：PSL核心1范圍GB/T20719的本部分應(yīng)用GB/T20719基本語言中的一系列公理，給出了PSL核心概念的表達。本部分適用于所有過程一般概念的表達。規(guī)范性引用文件下列文件中的條款通過GB/T20719的本部分的引用而成為本部分的條款。凡是注日期的引用文件，其隨后所有的修改單或修訂版均不適用于本部分.然而，鼓勵根據(jù)本部分達成協(xié)議的各方研究是否可使用這些文件的最新版本。凡是不注日期的引用文件，其最新版本適用于本部分。（B/T16262.1信息技術(shù)抽象語法記法一（ASN.1）第1部分：基本記法規(guī)范(GB/T16262.1-2006.ISO/IEC8824-1：2002.IDT）GB/T16656.1工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第1部分：概述與基本原理（GB/T16656.1-2008.ISO10303:1994.MOD）GB/T19114.1工業(yè)自動化系統(tǒng)與集成工業(yè)制造管理數(shù)據(jù)第1部分：綜述(GB/T19114.1-2003.1SOFDIS15531-1:2000.IDT)GB/T19114.42-2008：工業(yè)自動化系統(tǒng)與集成工業(yè)制造管理數(shù)據(jù)第42部分：時間模型（idtISO15531-42:2005)3術(shù)語、定義和縮略語3.1術(shù)語和定義下列術(shù)語和定義適用于GB/T20719的本部分3.1.1公理axiom形式語言中的合式公式(well-formedformula）。用以對一門語言的詞匯中符號的解釋加以約柬LGB/T20719.13.1.2保守定義conservativedefinition指明充要條件的定義,充要條件