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

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

GB/T20719.11-2010/ISO18629-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/T20719的第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）將規范性引用文件中已轉化為國家標準的國際標準編號改為國家標準編號，并將相應的國家標準采用的國際標準版本號放在國家標準編號后的括弧內.以便使用和查閱。未轉化的仍引用國際標準。在參考文獻中增加了GB/T20719.1《工業自動化系統與集成過程規范語言第1部分：概述與基本原理》信息。因此參考文獻編號從第4項起順序有調整本部分的附錄A和附錄B為規范性附錄。

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

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

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