GB/T 17645.20-2002工業(yè)自動(dòng)化系統(tǒng)與集成零件庫(kù)第20部分：邏輯資源：表達(dá)式的邏輯模型

TCS.25.040.40N18中華人民共和國(guó)國(guó)家標(biāo)準(zhǔn)GB/T17645.20—2002/ISO13584-20:1998工業(yè)自動(dòng)化系統(tǒng)與集成零件庫(kù)第20部分：邏輯資源：表達(dá)式的邏輯模型IndustrialautomationsystemsandintegrationPartsLibraryPPart20:Logicalresource:Logicalmodelofexpressions(ISO13584-20:1998.IDT)2002-05-08發(fā)布2002-10-01實(shí)施中華人民共和國(guó)愛(ài)布國(guó)家質(zhì)量監(jiān)督檢驗(yàn)檢疫總局

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

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

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

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

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

GB/T17645.20-2002/1SO13584-20：1998(idtISO13584-31：1997)GB/T17645.42-2001工業(yè)自動(dòng)化系統(tǒng)與集成零件庫(kù)第42部分：描述方法學(xué)：構(gòu)造零件族的方法學(xué)(idtISO13584-42:1998)。1SO13584的其他部分也將陸續(xù)被轉(zhuǎn)化為我國(guó)國(guó)家標(biāo)準(zhǔn)本部分的附錄A和附錄B是規(guī)范性附錄，附錄C、附錄D、附錄E和附錄F是資料性附錄本部分由中國(guó)標(biāo)準(zhǔn)研究中心提出。本部分由全國(guó)工業(yè)自動(dòng)化系統(tǒng)與集成標(biāo)準(zhǔn)化技術(shù)委員會(huì)(CSBTS/TC159)歸口。本部分起草單位：中國(guó)標(biāo)準(zhǔn)化研究中心。本部分主要起草人：洪巖、李文武。

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

GB/T17645.20-2002/IS013584-20:1998GB/T17645是一個(gè)關(guān)于計(jì)算機(jī)可解釋的零件庫(kù)數(shù)據(jù)表達(dá)與交換的國(guó)家標(biāo)準(zhǔn),其目的是提供能夠傳輸零件庫(kù)數(shù)據(jù)的中性機(jī)制·且與任何使用零件庫(kù)數(shù)據(jù)的系統(tǒng)無(wú)關(guān).這種描述使得它不僅適合描述零件的物理文件的交換，也是實(shí)現(xiàn)和共享零件庫(kù)的基礎(chǔ)。GB/T17645由一系列單獨(dú)發(fā)布的部分組成。各部分分別列入：概念描述、邏輯資源、實(shí)現(xiàn)資源、描述方法學(xué)、一致性測(cè)試、視圖交換協(xié)議和標(biāo)準(zhǔn)的相關(guān)范圍中。GB/T17645.1—2001中對(duì)標(biāo)準(zhǔn)的各部分進(jìn)行了描述。本國(guó)際標(biāo)準(zhǔn)的本部分屬于邏輯資源系列。GGB/T17645的本部分給出了表達(dá)式模型必需的通用EXPRESS資源結(jié)構(gòu)。這些EXPRESS資源結(jié)構(gòu)在GB/T17645的其他部分詳細(xì)閘述。當(dāng)表達(dá)式的EXPRESS信息模型被證明是有用時(shí),這些EXPRESS資源結(jié)構(gòu)的應(yīng)用范圍可超出GB/T17645標(biāo)準(zhǔn)的范圍

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