TCS.25.040.40N18中華人民共和國國家標準GB/T17645.20—2002/ISO13584-20:1998工業自動化系統與集成零件庫第20部分：邏輯資源：表達式的邏輯模型IndustrialautomationsystemsandintegrationPartsLibraryPPart20:Logicalresource:Logicalmodelofexpressions(ISO13584-20:1998.IDT)2002-05-08發布2002-10-01實施中華人民共和國愛布國家質量監督檢驗檢疫總局

GB/T17645.20-2002/IS013584-20:1998三次前言1SO前言引范圍2規范性引用文件術語和定義·3.1從ISO10303-11中引用的術語和定義3.2從GB/T16656.44中引用的術語和定義……3.3其他的術語和定義·………………45基本概念和假設5.1靜態和動態數據5.2表達式語法5.3表達式語義5.3.1表達式語義5.3.2交換階段和求值階段5.4表達式建模中的抽象等級·……5.4.1ISO13584通用表達式模式的專門化5.4.2ISO13584表達式模式的專門化5.5變量的建立5.5.1符合語法的表達5.5.2變量值域5.5.3變量語義5.6SQL語言可映射性6ISO13584通用表達式模式6.2ISO13584通用表達式模式實體定義6.2.1通用表達式………6.2.2簡單通用表達式6.2.3通用文字6.2.4通用變量6.2.5變量語義6.2.6環境……6.2.7一元通用表達式6.2.8二元通用表達式6.2.9多元通用表達式6.3ISO13584通用表達式模式函數的定義

GB/T17645.20-2002/IS013584-20:19986.3.1判斷非循環函數6.3.2已使用的變量函數……….JSO13584表達式模式………7.1概述·……·7.2ISO13584表達式模式的所有實體定義7.2.17.2.1.17.2.1.2定義的函數……7.2.1.3SQL可映射的定義函數7.3TSO13584表達式模式：數值表達式的實體定義7.3.1數值表達式……7.3.2簡單數值表達式·7.3.3數值型文字……7.3.4整型數文字……7.3.5實型數文字……7.3.6數值變量…7.3.7整型數值變量…7.3.8實型數值變量…7.3.9-元數值表達式.3.10二元數值表達式.3.11多元數值表達式.3.12長度函數7.3.13值函數7.3.14、整數值函數7.3.15數值定義的函數7.3.16加法表達式.3.17減法表達式7.3.18法表達式.3.19整除表達式7.3.20模數表達式.3.21除法表達式·7.3.22冪表達式……7.3.23一元函數調用7.3.24二元函數調用7.3.25多元函數調用7.3.26求絕對值函數7.3.27負函數7.3.28正弦函數7.3.29余弦函數7.3.30正切函數反正弦函數.3.317.3.32反余弦函數237.3.33e的冪函數

GB/T17645.20-2002/ISO13584-20:19987.3.34自然對數函數7.3.35以2為底的對數函數7.3.36常用對數函數7.3.37平方根函數7.3.38反反正切函數7.3.39最大值函數7.3.40最小值函數7.3.41整數定義的函數7.3.42數定義的函數7.4布布爾表達式…7.4.1簡單布爾表達式·7.4.2布爾文宇…7.4.3布爾變量·7.4.4一元布爾表達式?7.4.5非表達式……7.4.6奇函數……………7.4.7二元布爾表達式….4.8多元布爾表達式…7.4.9輯異或表達式7.4.10等于表達式.4.11邏輯與表達式7.4.12邏輯或表達式7.4.13比較表達式7.4.14比較等于··7.4.15比較大于7.4.16比較大于等于7.4.17比較小于7.4.18比較小于等于.4.19比較不等于7.4.20配表達式7.4.21區間表達式7.4.22布爾定義的函數7.5字符串表達式……7.5.1簡單字符串表達式…7.5.2字符串文字….7.5.3字符串變量…7.5.4索引表達式…7.5.5子字符串表達式7.5.6串聯表達式·7.5.7格式化函數……7.5.8字符串定義的函數…·7.6確定表達式特性的函數·397.6.1判斷整型表達式函數………

GB/T17645.20-2002/IS013584-20:19987.6.2判斷SQL可映射的函數7.6.3被使用的函數·附錄A(規范性附錄）實體名與縮寫附錄B(規范性附錄）信息對象注冊B.1文件標識B.2模式標識B.2.1ISO13584通用表達式模式……B.2.2ISO13584表達式模式……附錄C(資料性附錄）EXPRESS-G圖附錄D(資料性附錄）ISO13584表達式模式的使用D.1概述……D.2解釋函數和變量語義D.3GB/T17645的本部分中解釋函數的表達D.4使用變量語義實體定義新變量的語義D,4.1變量語義實體特殊子類的使用…D.4.2變量語義實體和其他實體的多重繼承D.4.3定義一個不在模型中表達的概念附錄E（資料性附錄）模式的專門化………E.2ISO13584通用表達式模式的專門化·E.3ISO13584表達式模式的專門化……E.4本部分專門化的方法論………E.5ISO13584通用表達式模式專門化的例子E.6ISO13584表達式模式專門化的例子……附錄F(資料性附錄）表達式的靜態分析F.1：F.2判斷非循環函數F.3被使用的變量和被使用的函數F.4判斷SQL可映射的函數F.5類型控制和類型合成索引參考文獻……………圖D.1與變量相關的語義和語法圖D.2由由變量語義實體的子類化說明語義圖D.3由子類化的變量語義實體和其他實體定義的語義說明圖D.4在模型中未表達定義概念的例子：坐標…表A.1實體名與縮寫

GB/T17645.20-2002/1S013584-20:1998GB/T17645《工業自動化系統與集成零件庫》分為以下幾部分：第1部分：綜述與基本原理；第20部分：邏輯資源：表達式的邏輯模型；第24部分：邏輯資源：供應商庫的邏輯模型；第26部分：邏輯資源：信息供應商標識；第31部分：實現資源：幾何編程接口；第42部分：描述方法學：構造零件族的方法學：第101部分：視圖交換協議：由參數化程序規定的幾何視圖交換協議：-第102部分：視圖交換協議：由ISO10303一致性規范確定的視圖交換協議。本部分為GB/T17645的第20部分,對應于ISO13584-20:1998《工業自動化系統與集成零件庫第20部分：邏輯資源：表達式的邏輯模型》(1998年英文版)。本部分等同翻譯ISO13584-20:1998.主要編輯性修改如下：1.對于帶下劃線的用EXPRESS語言描述的各黑體英文實體名，為了既要維護其英文原意又要便于了解其名稱代表的意思·在本部分中.當其作為標題出現時，標出了其中文譯名：但在正文中·以英文為主·僅在其第一次出現或必要時·將中文譯名括起來放在英文原名后。2.國際標準ISO13584中的各部分已有一些被等同轉化為國家標準,對應的國家標準分別是GB/T17645中的各部分,二者在技術和使用上對等。但是考電到與國際標準ISO13584相配套的EX-PRESS描述、以及應用軟件中各模式、實體、特性、屬性、函數等表達的需要.為了使配套應用軟件在實際應用時.不發生因標準轉化所帶來的問題.對出現在本標準的本部分中的所有的EXPRESS描述和由STEP開發工具自動生成的文件及EXPRESS-G圖中的國際標準編號仍保持不變3.為便于對本部分的理解，增加了一個參考文獻目錄。4.在國際標準中還發現一些編輯性錯誤.我們進行了修改·對照如下：-6.2.1:1SO原文used_variables引用5.3.2,實際應引用6.3.2；6.2.1:ISO原文引用3.1.6.實際上這一節原文中沒有，應該見5.4.1:66.2.4：ISO原文這些子類定義在第6章·實際上這些子類定義在第7章。在國際標準正文中未提及附錄A和附錄B的內容·在6.1增加了相應內容。國際標準ISO13584按功能分為七大類：概念描述、邏輯資源、實現資源、描述方法學、一致性測試、視圖交換協議、標準的相關范圍。ISO13584-20:1998《工業自動化系統與集成零件庫第20部分：邏輯資源：表達式的邏輯模型》屬于邏輯資源類，該部分為零件庫開發商提供了描述零件族的表達式邏輯模型。ISO13584現已正式發布了八個部分(見ISO前言),其中的第1部分、第26部分、第31部分，第42部分已轉化為我國國家標準·分別為：零件庫GB/T17645.1-2001工業自動化系統與集成第第1部分：綜述與基本原理(idtISO13584-1:1999）；零件庫GB/T17645.26-2000工業自動化系統與集成第26部分：邏輯資源：信息供應商標識（eqvISO13584-26:1999)GB/T17645.31-1999工業自動化系統與集成零件庫第31部分：實現資源：幾何編程接口

GB/T17645.20-2002/1SO13584-20：1998(idtISO13584-31：1997)GB/T17645.42-2001工業自動化系統與集成零件庫第42部分：描述方法學：構造零件族的方法學(idtISO13584-42:1998)。1SO13584的其他部分也將陸續被轉化為我國國家標準本部分的附錄A和附錄B是規范性附錄，附錄C、附錄D、附錄E和附錄F是資料性附錄本部分由中國標準研究中心提出。本部分由全國工業自動化系統與集成標準化技術委員會(CSBTS/TC159)歸口。本部分起草單位：中國標準化研究中心。本部分主要起草人：洪巖、李文武。

GB/T17645.20-2002/1S013584-20:1998ISO前言國際標準化組織(ISO)是世界各國標準化機構(ISO成員)的聯合體。國際標準的制定工作是通過ISO的技術委員會正式完成的。對已經建立技術委員會的學科感興趣的每一個成員機構都有權在該委員會中派駐代表。與ISO相聯系的國際組織，官方的或非官方的，也參與其工作。ISO與國際電工技術委員會(IEC)在電工電子標準化的所有領域有著緊密的合作。技術委員會起草的國際標準草案經每一個ISO成員投票，至少75%的ISO投票國家團體贊成，才能發布成為國際標準。SO13584-20是由ISO/TC184技術委員會（工業自動化系統與集成)的SC4分技術委員會(工業數據及全球制造編程語言)制定的。ISO13584的總標題為"工業自動化系統與集成零件庫”,它包括以下部分：第1部分：綜述與基本原理：第20部分：邏輯資源：表達式的邏輯模型；第24部分：邏輯資源：供應商庫的邏輯模型；第26部分：邏輯資源：信息供應商標識：第31部分：實現資源：幾何編程接口；第42部分：描述方法學：構造零件族的方法學：-第101部分：視圖交換協議：通過參數化程序進行的兒何視圖交換協議：-第102部分：視圖交換協議：由ISO10303一致性規范確定的視圖交換協議在ISO13584-1中描述了本國際標準的結構。本國際標準各部分的編號反映了它的結構-第10～19部分規定了概念描述;-第20~29部分規定了邏輯資源;第30～39部分規定了實現資源；第40～49部分規定了描述方法學;第50～59部分規定了一致性測試；第100～199部分規定了視圖交換協議；第500~599部分規定了標準的相關范用今后發布的ISO13584各部分將遵循相同的原則。附錄A和附錄B是本部分的規范性附錄，附錄C、附錄D、附錄E和附錄F為本部分的資料性附錄。

GB/T17645.20-2002/IS013584-20:1998GB/T17645是一個關于計算機可解釋的零件庫數據表達與交換的國家標準,其目的是提供能夠傳輸零件庫數據的中性機制·且與任何使用零件庫數據的系統無關.這種描述使得它不僅適合描述零件的物理文件的交換，也是實現和共享零件庫的基礎。GB/T17645由一系列單獨發布的部分組成。各部分分別列入：概念描述、邏輯資源、實現資源、描述方法學、一致性測試、視圖交換協議和標準的相關范圍中。GB/T17645.1—2001中對標準的各部分進行了描述。本國際標準的本部分屬于邏輯資源系列。GGB/T17645的本部分給出了表達式模型必需的通用EXPRESS資源結構。這些EXPRESS資源結構在GB/T17645的其他部分詳細閘述。當表達式的EXPRESS信息模型被證明是有用時,這些EXPRESS資源結構的應用范圍可超出GB/T17645標準的范圍

GB/T17645.20-2002/1S013584-20:1998工業自動化系統與集成零件第20部分：邏輯資源：表達式的邏輯模型1范圍GB/T17645的本部分規定了：通用表達式的EXPRESS模式：表達式的EXPRESS模式建立了EXPRESS語言所允許的表達式的子集·對應于ISO10303-11：1994中定義的整型、實型、布爾型和字符串型。該模