GB∕ T 16656.14-2023 工業(yè)自動化系統(tǒng)與集成 產(chǎn)品數(shù)據(jù)表達與交換 第14部分：描述方法：EXPRESS-X語言參考手冊

EXPRESS-X語言參考手冊(ISO10303-14:2005 掃碼免發(fā)注殿中民標(biāo)5享受阿設(shè)會負(fù)據(jù) V 1 1 1 1 23.3其他術(shù)語和定義 24基本原則 3 34.2執(zhí)行模型的基本原則 4 6 75.1EXPRESS-X的一致性類 7 8 97.1概述 97.2保留詞 9 9 98.2視圖數(shù)據(jù)類型 9 9.1概述 9.3視圖聲明 9.4映射聲明 9.5模式視圖聲明 9.6模式映射聲明 9.7局部聲明 9.8常量聲明 9.9函數(shù)聲明 IⅡGB/T16656.14—2023/ISO10303-14:2005 10.2視圖調(diào)用 10.4部分綁定調(diào)用 10.6IF表達式 10.8正向路徑操作符 10.9反向路徑操作符 4411.1EXTENT-常規(guī)函數(shù) 12范圍和可見性 12.2模式視圖 4512.4視圖和從屬視圖 12.5視圖分區(qū)標(biāo)簽 4612.6視圖屬性標(biāo)識符 12.8映射和從屬映射 12.9FROM語言元素 12.10實例化循環(huán) 12.11路徑表達式 13接口規(guī)范 13.1概述 13.2REFERENCE語言元素 47附錄A(規(guī)范性)信息對象識別 附錄B(規(guī)范性)EXPRESS-X語言的語法 附錄D(資料性)實施注意事項 附錄E(資料性)路徑操作符unnest函數(shù) 附錄F(資料性)映射表語義 參考文獻 Ⅲ本文件按照GB/T1.1—2020《標(biāo)準(zhǔn)化工作導(dǎo)則第1部分：標(biāo)準(zhǔn)化文件的結(jié)構(gòu)和起草規(guī)則》的規(guī)定起草。本文件是GB/T16656的第14部分。GB/T16656《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交 第28部分：實現(xiàn)方法：EXPRESS模式和數(shù)據(jù)的XML表達(使用XML模式) 第32部分：一致性測試方法論與框架：對測試實驗室和客戶的要求 第34部分：一致性測試方法論與框架：應(yīng)用協(xié)議實現(xiàn)的抽象測 第43部分：集成通用資源：表達結(jié)構(gòu) 第45部分：集成通用資源：材料和其他工程特性 第46部分：集成通用資源：可視化顯示 第55部分：集成通用資源：過程與混合表達 第102部分：符合GB/T16656一致性規(guī)范的視圖交換協(xié)議 第503部分：應(yīng)用解釋構(gòu)造：幾何有界二維線框 第505部分：應(yīng)用解釋構(gòu)造：圖樣結(jié)構(gòu)與管理 第508部分：應(yīng)用解釋構(gòu)造：非流形曲面 GB/T16656.14—2023/ISO10303-14:2005本文件等同采用ISO10303-14:2005《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第14部分：本文件做了下列最小限度的編輯性改動：——刪去了在正文沒有引用的規(guī)范性引用文件。請注意本文件的某些內(nèi)容可能涉及專利。本文件的發(fā)布機構(gòu)不承擔(dān)識別專利的責(zé)任。本文件由中國機械工業(yè)聯(lián)合會提出。VGB/T16656.14—2023/ISO10303-14:2005GB/T16656是用于計算機解釋性表示和交換產(chǎn)品數(shù)據(jù)的國家標(biāo)準(zhǔn)，其目的是提供一種獨立于任GB/T16656《工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換》是一項由多個部分組成的標(biāo)準(zhǔn)，各部分單獨出版。GB/T16656《工業(yè)自動化——第1至第19部分描述方法；——第20至第29部分實現(xiàn)方法；——第30至第39部分一致性測試方法與框架；——第40至第59部分集成通用資源；——第100至第199部分集成應(yīng)用資源； 第200至第299部分應(yīng)用協(xié)議： 第300至第399部分抽象測試套件；——第400至第499部分應(yīng)用模塊；——第500至第599部分應(yīng)用解釋構(gòu)造；——第1000至第1999部分應(yīng)用模塊。本文件屬于GB/T16656的描述方法系列。假定使用本文件的讀者熟悉ISO10303-11中定義的數(shù)據(jù)規(guī)范語言和ISO10303-21中定義的純文V1GB/T16656.14—2023/ISO10303-14:2005工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第14部分：描述方法：EXPRESS-X語言參考手冊1范圍本文件規(guī)范了用于指定由EXPRESS模式描述的數(shù)據(jù)間關(guān)系的一種語言，以及用于規(guī)定由EXPRESS模式描述的數(shù)據(jù)的可替換視圖。該語言稱為EXPRESS-X。EXPRESS-X是一種結(jié)構(gòu)化數(shù)據(jù)映射語言。它由無二義性地規(guī)范EXPRESS模式之間關(guān)系的語言元素組成。以下內(nèi)容在本文件范圍內(nèi)： 從一個EXPRESS模式描述的數(shù)據(jù)向另一個EXPRESS模式描述的數(shù)據(jù)的映射 從一個EXPRESS模式的一個版本描述的數(shù)據(jù)向該EXPRESS模式的另一個版本描述的數(shù)據(jù) 用于數(shù)據(jù)共享和數(shù)據(jù)交換應(yīng)用程序的數(shù)據(jù)轉(zhuǎn)換器的要求規(guī)范；-—由EXPRESS模式定義的數(shù)據(jù)的可替換視圖的規(guī)范；——應(yīng)用協(xié)議映射表的其他表示法； 可以評估映射產(chǎn)生的數(shù)據(jù)的約束的規(guī)范。以下內(nèi)容不在本文件范圍之內(nèi)：——使用除EXPRESS之外的方式進行定義的數(shù)據(jù)映射； 標(biāo)識EXPRESS模式的版本； 用EXPRESS-X語言的結(jié)構(gòu)的圖形表示。2規(guī)范性引用文件下列文件中的內(nèi)容通過文中的規(guī)范性引用而構(gòu)成本文件必不可少的條款。其中，注日期的引用文件，僅該日期對應(yīng)的版本適用于本文件；不注日期的引用文件，其最新版本(包括所有的修改單)適用于GB/T16656.1-2008工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第1部分：概述和基本原理(ISO10303-1:1994,IDT)工業(yè)自動化系統(tǒng)與集成產(chǎn)品數(shù)據(jù)表達與交換第11部分：描述方法EXPRESS語言參考手冊(ISO10303-11:2004,IDT)GB/T16656.1-2008界定的下列術(shù)語適用于本文件?！獢?shù)據(jù)；2 實體數(shù)據(jù)類型 實體(數(shù)據(jù)類型)實例 部分復(fù)合實體數(shù)據(jù)類型3GB/T16656.14—2023/ISO10303-14:20053.3.83.3.93.3.103.3.113.3.12通過映射生成的實體實例的一種集合。3.3.13EXPRESS模式中信息的一種組織方式。3.3.14視圖數(shù)據(jù)類型viewdatatype3.3.15視圖數(shù)據(jù)類型實例viewdatatypeinstance通過評估視圖而建立的一種命名信息單元。3.3.164基本原則以下原則適用于本文件；GB/T16656.11—2010第5章中描述的概念也適用于本文件。EXPRESS-X給出以下規(guī)定：——在模式視圖(見9.5)中使用視圖聲明(見9.3)區(qū)分由EXPRESS模式描述的數(shù)據(jù)的視圖；——使用模式映射(見9.6)中的映射聲明(見9.4),將由一個或多個源EXPRESS模式描述的數(shù)據(jù)映射到由一個或多個目標(biāo)EXPRESS模式描述的數(shù)據(jù)。術(shù)語“(視圖view)”或“(映射map)”來實現(xiàn)。4GB/T16656.14—2023/ISO10303-14:2005SCHEMA_VIEWmy_person_org_schema_view;REFERENCEFROMperson_and_org_schema;VIEWperson_org;FROMp:person;o:organization;-providesorderingSELECTname:STRING:=p.lastname;org:STRING:=o.department_name;END_VIEW;END_SCHEMA_VIEW;SCHEMAperson_and_org_schema;ENTITYperson;first_name:STRING;last_name:STRING;END_ENTITY;ENTITYorganization;department_name:STRING;END_ENTITY;END_SCHEMA;#1≠PERSON('James','Smith');#2=PERSON('Fredrick','Jones');#31=ORGANIZATfON('Engincering');#32=ORGANIZATION('Sales');此視圖和數(shù)據(jù)的綁定實例可以按如下方式編寫。綁定實例的概念在后面的條款中定義，不一定要理解該示例。但值得注意的是，每個綁定實例的第一個元素從person范圍提取，第二個元素從organi-zation范圍提取。此順序?qū)?yīng)于視圖的FROM語言元素中person和organization的描述順序：4.2執(zhí)行模型的基本原則本文件定義了一種語言和一種執(zhí)行模型。執(zhí)行模型由兩個階段組成：綁定過程和實例化過程。視圖和映射的評估共享一個公用的綁定過程，但是在實例化方面有所不同。綁定是一個給變量賦值的過程。綁定實例是一種結(jié)構(gòu)，用于綁定在視圖或映射聲明的FROM語言元素中聲明的變量。FROM語言元素引用源實體范圍和視圖范圍。綁定的值取自這些源范圍。每個綁定實例都是作為引用源擴展區(qū)的笛卡爾積計算的集的成員。這樣計算的綁定實例集是給定源范圍的視圖或映射的綁定范圍。綁定實例的變量綁定為實例化過程中視圖或映射主體的求值提供了環(huán)境，其中綁定實例中引用的數(shù)據(jù)與在目標(biāo)總體中創(chuàng)建的結(jié)構(gòu)有關(guān)。因此，每個綁定實例對應(yīng)于目標(biāo)總體中的一個視圖數(shù)據(jù)類型實例(視圖)或目標(biāo)實體數(shù)據(jù)類型實例(映射)。映射和視圖的源范圍應(yīng)為實體數(shù)據(jù)類型范圍或視圖范圍。禁止引用源范圍之間的循環(huán)。示例1:應(yīng)用于4.1的示例中定義的視圖、數(shù)據(jù)和模式的綁定過程計算person_org{<#1,#31>,<#1,#32>,<#2,#31>,〈#2,#32>}的綁定范圍。該范圍以表格形式描述如下：5GB/T16656.14—202BindingInstancePersonOrganization#first_namelast_name井departmentnameJames''Smith'并31'EngineeringJames''Smith'Sales''Fredrick'Jones''Engineering''Fredrick''Jones''Sales'示例2:下面的schema_view是無效的；它包含一個引用循環(huán)(視圖a引用視圖b,視圖b引用視圖a)。attrl:INTEGER:=someb.attr2+2;4.2.3實例化過程綁定是一個將實例化過程用值賦予變量的過程。每個綁定實例提供一組要綁定到變量的值。視圖實例化過程是在綁定范圍內(nèi)為每個綁定實例計算視圖主體(見9.3.2)的過程。綁定實例的計算順序沒有進行制定。32>,<#2,#31>,(#2,#32>}。該示例中使用的視圖聲明和數(shù)據(jù)在此處重復(fù)：FROMp:person;o:organization;--providestheillustratedorderingname:STRING:=p.laorg:STRING:=o.departmentname;#1=PERSON('James','Smith');#2=PERSON('Fredrick','Jones');#31=ORGANIZATION('Engineering');#32=ORGANIZATION('Sales');綁定實例<#1,#31>對應(yīng)于實體數(shù)據(jù)類型實例#1賦值給變量p,#31賦值給變量o。在這個綁定中，對視圖主體#100=PERSONORG('Smith','Engineering');#101=PERSONORG('Smith','Sales');#102=PERSONORG('Jones','Engineering');#103=PERSONORG('Jones','Sales');/*〈#1,#31〉*//*〈#1,#32)*//*〈#2,#31)*//*〈#2,#32>*/SCHEMAsimilartarg6GB/T16656.14—2023/ISO10303-14:2005REFERENCEFROMperson_and_org_schemaASSOURCE;MAPperson_org_mapASpo:person_org;p:person;對前一個示例的數(shù)據(jù)進行求值，結(jié)果得到以下由模式similartarget描述的實體數(shù)據(jù)類型實例：#100=PERSON_ORG('Smith','Engineering');#101=PERSON_ORG('Smith','Sales');#102=PERSON_ORG('Jones','Engineering');#103=PERSON_ORG('Jones','Sales');/*〈#2,#32》*/當(dāng)映射(視圖)聲明主體賦值右側(cè)的表達式僅包含源實體的屬性引用(.),并且引用的屬性是顯式屬性時，該目標(biāo)實體屬性(視圖屬性)的映射是雙向的。示例3:MAPperson_org_mapASpo:person_org;p:person;:=p.last_name;-:=o.department_name;--bi-directionalpo.industry_code:=0.owning_enterprise,industry.code_num;-bi-directionalpo.dept_number:=dept_func(o.department_name);-possiblynotbi-directional屬性po.deptnumber是否是雙向，取決于deptfunc函數(shù)的性質(zhì)。4.2僅規(guī)定了執(zhí)行模型的基本方面。有關(guān)綁定過程的詳細(xì)信息，見9.2。9.3描述了視圖實例化過程的細(xì)節(jié)。映射的實例化過程的詳細(xì)信息在9.4中描述。4.3實施環(huán)境EXPRESS-X語言不描述實現(xiàn)環(huán)境。特別地，EXPRESS-X沒有規(guī)定以下內(nèi)容：——如何解析對名稱的引用；——如何指定輸入和輸出數(shù)據(jù)集；——如何對不符合EXPRESS模式的實例執(zhí)行映射。對視圖的求值得到視圖范圍。對映射的求值可能會在目標(biāo)數(shù)據(jù)集中生成實體實例。EXPRESS-X沒有明確說明在初始映射之后對源數(shù)據(jù)的修改可能對視圖范圍或目標(biāo)數(shù)據(jù)集產(chǎn)生的影響。7GB/T16656.14—2023/ISO10303-14:20055.1EXPRESS-X的一致性類EXPRESS-X解析器或映射引擎實現(xiàn)的一致性類由實現(xiàn)所支持的語言的部分所定義。聲明按表1中的語言子集分類。聲明子集1子集2視圖聲明映射聲明關(guān)聯(lián)映射聲明常量聲明●功能聲明過程聲明規(guī)則聲明EXPRESS-X解析器或映射引擎的使用者應(yīng)聲明關(guān)于標(biāo)識符的數(shù)量和長度、處理的數(shù)字范圍以及5.1.2EXPRESS-X解析器的一致性類EXPRESS-X解析器的實現(xiàn)應(yīng)能夠解析與該實現(xiàn)相關(guān)聯(lián)的一致性類相符的、用EXPRESS-X編寫的任何形式化規(guī)范。如果EXPRESS-X解析器可以將特定級別的檢查(如5.1.4所定義)應(yīng)用到以EX-PRESS-X編寫的形式化規(guī)范中，則該解析器可以被認(rèn)為符合該特定級別(如5.1.4所定義)。符合EXPRESS-X解析器的一致性類1應(yīng)能解析來自語言子集1的所有聲明(見表1)。符合EXPRESS-X解析器的一致性類2應(yīng)能解析來自語言子集2的所有聲明(見表1)。符合EXPRESS-X解析器的一致性類3應(yīng)能解析可能出現(xiàn)在本文件中的所有聲明。5.1.3EXPRESS-X映射引擎的一致性類EXPRESS-X映射引擎的實現(xiàn)應(yīng)能夠執(zhí)行任何與該實現(xiàn)相關(guān)聯(lián)的一致性類相符的、用EXPRESS-X編寫的形式化規(guī)范。映射執(zhí)行針對一個或多個源數(shù)據(jù)集；這些數(shù)據(jù)集如何提供給映射引擎的規(guī)范不在本文件范圍之內(nèi)。符合EXPRESS-X映射引擎的一致性類1應(yīng)能執(zhí)行來自語言子集1的所有聲明(見表1)。符合EXPRESS-X映射引擎的一致性類2應(yīng)能執(zhí)行來自語言子集2的所有聲明(見表1)。符合EXPRESS-X映射引擎的一致性類3應(yīng)能執(zhí)行本文件中可能出現(xiàn)的所有聲明。5.1.4EXPRESS-X解析器的一致性檢查用EXPRESS-X編寫的形式化規(guī)范應(yīng)與以下指定的給定檢查級別一致。只有在對該規(guī)范進行驗證GB/T16656.14—2023/ISO10303-14:2005此級別包括檢查形式化規(guī)范，以確保其在語法和引用上均有效。如果形式化規(guī)范符合擴展附錄A中提供的主要語法規(guī)則(Syntax)所生成的語法，則在語法上有效。如果對EXPRESS-X項的所有引用均與第13章中定義的范圍和可見性規(guī)則一致，則形式化規(guī)范是引用有效的。該級別由第1級檢查和形式化規(guī)范的檢查組成，以確保其符合以下要求：——表達式應(yīng)符合第10章和GB/T16656.11—2010中第12章規(guī)定的規(guī)則；——賦值應(yīng)符合GB/T16656.11-2010中13.3規(guī)定的規(guī)則。所規(guī)定的“A大于B”形式的陳述相一致。這僅限于可以從文字和/或常量同時評估A和B的那些此級別包括形式化規(guī)范的檢查，以確保其符合本文件中指定的所有規(guī)定要求。6語言的規(guī)范語法本章規(guī)定了EXPRESS-X語言的語法表示標(biāo)記法。附錄B給出了EXPRESS-X語言的完整語法。部分語法規(guī)則在不同的條款中出現(xiàn)，以便說明具體語句的語法。這部分語法規(guī)則一般是不完整的，有時需要參考附錄B查找缺失的語法規(guī)則。本文件的語法規(guī)則都用矩形方框給出，方框中每條規(guī)則的左側(cè)都有一個唯一編號，用于語法規(guī)則之間相互引用。EXPRESS-X語言的語法定義采用派生的沃思語法標(biāo)記法(WirthSyntaxNotation,WSN)。以下給出標(biāo)記的約定以及WSN本身的定義。syntax={production}.production=identifier'='expression'.'.expression=term{'i'term}.identifier=character{characterliteral=''''character{character}''''.option='['expression']'.repetition='{'expression'}'.——等號'=′表示一個產(chǎn)生式。等號左邊的元素被定義為等號右邊元素的組合。除了在文字中出現(xiàn)的空格外，一個產(chǎn)生式的元素之間出現(xiàn)的任何空格都是無意義的。一個產(chǎn)生式用一個圓——要素中的標(biāo)識符表示出現(xiàn)在另一個產(chǎn)生式左邊的非終結(jié)符號，標(biāo)識符由字母、數(shù)字和下劃線組成。該語言中的關(guān)鍵詞是用標(biāo)識符僅由大寫字母組成的產(chǎn)生式表示的?！淖忠辉~表示不能進一步擴展的終結(jié)符號。文字是括在單引號中的獨立的字符序列。當(dāng)文字89GB/T16656.14—2023/ISO10303-14:2005●花括號'{}′表示零或多次重復(fù)；●方括號'[]′表示可選參數(shù)；●圓括號′()′表示括號中的這組產(chǎn)生式應(yīng)作為單一的產(chǎn)生式使用；以下符號用于表示整個字符集和某些難以顯——\a代表GB/T16656.1—2008中的任何字符；——\n代表換行符(取決于系統(tǒng))(見GB/T16656.1—2008第條)。EXPRESS-X的語言元素是在GB/T16656.11—2010的第7章中定義的EXPRESS語言的語言元EXPRESS-X的保留詞包括內(nèi)置常量、函數(shù)和過程的關(guān)鍵詞和名稱。EXPRESS的所有保留詞(GB/T16656.11—2010)均為EXPRESS-X的保留詞。保留詞不得用作標(biāo)識符。EXPRESS-X的附加保留詞在表2中有詳細(xì)說明。表2其他EXPRESS-X關(guān)鍵詞DEPENDENTMAPENDMAPEXTENTORDEREDBYSOURCEEACHENDSCHEMAMAPPARTITIONTARGETELSIFENDSCHEMAVIEWSCHEMAMAPVIEWENDDEPENDENTMAPENDVIEWMAPSCHEMAVIEW出現(xiàn)沖突的標(biāo)識符來映射使用該標(biāo)識符的模式(見13.2)。此處定義的數(shù)據(jù)類型以及EXPRESS語言(GB/T16656.11—2010的第8章)中定義的數(shù)據(jù)類型作一個標(biāo)識符。該標(biāo)識符引用了視圖數(shù)據(jù)類型。語法：230viewreference=[(schemamapref|schemaviewref)'.']viewref.GB/T16656.14—2023/ISO10303-14:2005a)viewreference應(yīng)該是對在當(dāng)前范圍內(nèi)可見的視圖的引用。b)viewreference不應(yīng)引用從屬視圖(見9.3.5)。FROMe:ellipse;WHERE(e.majoraxis=e.minoraxis);radius:REALcentre:point:=e.centr9聲明本章定義EXPRESS-X中的各類聲明。EXPRESS-X聲明可創(chuàng)建一個新的EXPRESS-X項并將標(biāo)識符與其關(guān)聯(lián)。該項可能被其他標(biāo)識符引用。EXPRESS-X提供以下聲明：——view;——map此外，EXPRESS-X規(guī)范可能包含GB/T16656.11—2010中定義的以下聲明：—-procedure;—-rule。9.2綁定綁定范圍是由源實體數(shù)據(jù)類型范圍和視圖范圍中的實例構(gòu)造的一組綁定實例。實例集的綁定范圍是視圖或映射聲明的FROM語言元素中引用的范圍的笛卡爾積。限定的綁定范圍是綁定范圍的子集，該綁定范圍僅由WHERE語言元素在其變量與綁定實例中的值的綁定下返回TRUE的那些綁定實例組成。注：9.2中定義的規(guī)定適用于映射聲明和視圖聲明。9.3中定義了僅適用于視圖聲明的規(guī)定。9.4中FROM語言元素在綁定范圍中定義綁定實例的元素。FROM語言元素由一個或多個源參數(shù)組成。每個源參數(shù)都將標(biāo)識符與范圍關(guān)聯(lián)。228view_decl=(root_view_decl|dependent_view_decl|subtype_view_decl).136map_decl=MAPmap_idAStarget_parameter';'{target_parameter';'}(map_subtype_ofclausesxubtype_binding_headermap_decl_body)|(binding_headermap_decl_body{bindingheadermapde47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][where_clause][identified_by_clause][ordered_by_clause].90from_clause=FROMsource_parameter';'{source_parameter';'}.198source_parameter=source_parameter_id':'extent_reference.83extent_reference=source_entity_reference|view_reference.sourceparameterids在映射或視圖聲明的范圍內(nèi)應(yīng)是唯一的。綁定范圍被計算為FROM語言元素中引用范圍中實例的笛卡爾積。SCHEMAsource_schema;--AnEname:STRING;VIEWitems_and_persons;responsible:STRING:=;#1=ITEM(123,'Smith′#2=ITEM(234,'Smith′#33=PERSON('Jones');itemandperson的相應(yīng)綁定范圍是：{<#1,#33>,〈#1,#44>,〈#2,#33>,〈#2,#44>}。9.2.3綁定范圍的限定WHERE語言元素定義了綁定范圍中綁定實例的選擇條件。WHERE語言元素與FROM語言元素中標(biāo)識的源范圍一起定義了限定的綁定范圍。綁定是將值賦給變量的過程。將FROM語言元素的源參數(shù)綁定到綁定實例。WHERE語言元素的域規(guī)則表達式使用此綁定進行計算。如果WHERE語言元素的所有域規(guī)則表達式的值都為TRUE,GB/T16656.14—2023/ISO10303-14:2005則綁定范圍中的綁定實例是限定綁定范圍的成員。WHERE語言元素的語法定義在GB/T16656.11—2010的中規(guī)定。SCHEMA_VIEWexample;REFERENCEFROMsource_schema;VIEWitems_and_persons;FROMi:item;p:person;WHERE(='Smith')OR(='Jones');(i.approved_by=);name:STRING:=;上述示例中數(shù)據(jù)對應(yīng)的限定綁定范圍為：{<#1,#44>,〈#2,#44>}.不包含identified_by_clause語言元素的映射或視圖的綁定實例用FROM語言元素中引用的范圍值(實體數(shù)據(jù)類型實例)進行標(biāo)識。包含identified_by_clauses語言元素標(biāo)識的映射或視圖的綁定實例用語法規(guī)則108中的expression語言元素值進行標(biāo)識。視圖調(diào)用(見10.2)和映射調(diào)用(見10.3)使用這些標(biāo)識模式。identifiedbyclause語言元素定義綁定范圍中實例之間的等價關(guān)系。107identified_by_clause=IDENTIFIED_BYid_parameter';'{id_parameter';'}.108id_parameter=[id_parameter_id':']expression.109id_parameter_id=simple_id.90from_clause=FROMsource_parameter';'{source_parameter';'}.198source_parameter=source_parameter_id':'extent_reference.用于映射聲明時，idparameter語言語法中的expression不得通過任何間接級別引用映射的目標(biāo)實體實例或其任何屬性。兩個綁定實例在同一個等價類中，對于由identifiedbyclause語言元素標(biāo)識的每個表達式，在每個實例的上下文中計算該表達式會產(chǎn)生實例相等的結(jié)果(GB/T16656.11—2010的12.2.2)。實例化過程為每個等價類生成一個視圖實例(視圖)或目標(biāo)網(wǎng)絡(luò)(映射)。SCHEMA_VIEWexample;REFERENCEFROMsome_schema;VIEWdepartment;FROMe:employee;IDENTIFIED_BYe.department_name;name:STRING:=e.department_name;END_VIEW;END_SCHEMA_VIEW;GB/T16656.14—2023/ISO10303-14:2005SCHEMAsomeschema;_ENTITYemployee;name:STRING;department_name:STRING;END_ENTITY;END_SCHEMA;#1=EMPLOYEE('Jones','Engineering');#2=EMPLOYEE('Smith','Sales');#3=EMPLOYEE('Doe','Engineering');對于上述給定的視圖和實例集，存在兩個等價類：{<#1>,<#3>}和{<#2>},分別對應(yīng)于e.depart-ment_name='Engineering'和e.department_name='Sales'的綁定實例。視圖屬性(見9.3.2)和目標(biāo)實體屬性(見9.4.2)表示相應(yīng)視圖(視圖聲明)和目標(biāo)網(wǎng)絡(luò)實體(映射聲明)的屬性。通過計算相應(yīng)的expression(語法規(guī)則224)為這些屬性賦值。針對限定的綁定范圍內(nèi)的綁224view_attribute_decl=view_attribute_id':'[OPTIONAL][source_schema_ref'.'134map_attribute_declaration=[target_parameter_ref[index_qualifier][group_qualifier]'.]attribute_ref[index_qualifier]':='expression';'.如果由identified_by_clause語言元素定義的等價類包含多個限定綁定實例，則expression的值計算如下：——如果存在expression(語法規(guī)則224)計算為確定值的綁定實例，并且如果所有此類確定值都相——如果對于兩個或多個綁定實例，對屬性表達式的求值會產(chǎn)生不(*sourceschema*)(*targetschema為)SCHEMAsrc;SCHEMAtar;ENTITYemployee;name:STRING;manager:STRING;dept:STRING;END_ENTITY;END_SCHEMA;FNTITYdepartment;employee:STRING;manager:STRING;dept_name:STRING;END_ENTITY;END_SCHEMA;(*mappingschema*)SCHEMA_MAPexample;REFERENCEFROMsrcASsOURCE;REFERENCEFROMtarASTARGET;MAPdepartment_mapASd:department;FROMe:src.employee;IDENTIFIED_BYe.dept;SELECTd.employee:=;d.manager:=e.manager;d.dept_name:=e.dept;END_MAP;ENDSCHEMA_MAP;#1=EMPLOYEE('Smith','Jones','Marketing');#2=EMPLOYEE('Doe','Jones','Marketing');給定上面的數(shù)據(jù)，目標(biāo)數(shù)據(jù)集包含一個實體實例，即#1=DEPARTMENT($,'Jones','Market-ing')。屬性department.deptname是不確定的，因為此屬性的表達式求值為兩個不同的值('SmithORDEREDBY語言元素定義了對限定綁定范圍的綁定實例的排序。在語法：47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][whereclause][identified_by_clause][ordered_by_clause].148ordered_by_clause=ORDERED_BYexpression{','expression}';'b)子類視圖和映射分區(qū)不應(yīng)指定ORDERED_BY語言元素。子類視圖和映射分區(qū)應(yīng)該繼承定d)通過map_subtype_of_clause(見語法規(guī)則141)關(guān)聯(lián)的映射分區(qū)集合應(yīng)包含不超過一個OR-視圖聲明創(chuàng)建視圖數(shù)據(jù)類型并聲明引用該數(shù)據(jù)類型的標(biāo)識符。FROMpao:person_and_organization;ccdpaoa:cc_design_person_and_organization_assignment;WHEREccdpaoa.assigned_person_and_organization:=:pao;SELECTperson:person:=pao.the_person;GB/T16656.14—2023/ISO10303-14:2005org:organization:=pao.the_organizatrole:label:=;語法：228view_decl=(root_view_decljdependent_view_decl|subtype_view_decl)clause][identified_by_clause][ordered_by_clause].90from_clause=FROMsource_parameter';'{source_parameter';'}.198source_parameter=source_parameter_id':'extent_reference.83extent_reference=source_entity_reference|view_reference.視圖數(shù)據(jù)類型的屬性表示視圖的屬性。視圖實例的屬性值計算為語法規(guī)則224的expression的值。視圖屬性的名稱，即語法規(guī)則224的viewattributeid,代表了其關(guān)聯(lián)值在其出現(xiàn)的視圖上下文中所扮演的角色。語法：224viewattributedecl=viewattributeid':'[OPTIONAL][sourceschemaref'.']basetype':='expression';'.a)對語法規(guī)則224的執(zhí)行結(jié)果的賦值應(yīng)與視圖屬性的base_type兼容。b)在視圖聲明中聲明的每個view_attribute_id在該解碼器內(nèi)應(yīng)是唯一的。c)OPTIONAL表示屬性的值可能是不確定的。OPTIONAL的使用對執(zhí)行模型沒有影響。視圖分區(qū)是視圖范圍的子集。視圖范圍是其分區(qū)的并集。視圖聲明由一個或多個分區(qū)聲明組成，每個分區(qū)聲明都有自己的FROM和WHERE語言元素。PARTITIONa_single_pPARTITIONa_single_organPARTITIONa_person_in_an_orgaFROMpo:person_and_organization;GB/T16656.14—2023/ISO10303-14:2005228view_decl=(root_view_decl|dependent_view_decl|sub206subtype_view_decl=VIEWview_idsubtype_declaration';'subtype_binding_header203subtype_binding_header=[PARTITIONpartition_id';']47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][wherea)如果視圖聲明中存在多個分區(qū)，則應(yīng)為每個分區(qū)提供partition_id。b)視圖聲明中的每個partition_id應(yīng)是唯一的。c)一個視圖聲明的所有分區(qū)都應(yīng)定義相同的屬性(包括名稱和類型)。d)一個視圖聲明的屬性在其每個分區(qū)中應(yīng)以相同的順序出現(xiàn)。省略FROM、WHERE和IDENTIFIEDBY語言元素的分區(qū)稱為常量分區(qū)。這樣的分區(qū)表示與源數(shù)據(jù)沒有對應(yīng)關(guān)系的單個視圖實例。VIEWperson:PARTITIONmary;name:STRING:='Mary'age:INTEGER:=22;PARTITIONjohn;name:STRING:='John';sion的求值不應(yīng)產(chǎn)生AGGREGATE類型的值。計算出的值應(yīng)與basetype類型兼容(見語法規(guī)則67)。語法：228view_decl=(root_view_decl|dependent_view_decl|subtype_view_decl)67dependent_view_decl=VIEWview_id':'base_type';'binding_headerRETURNexpression{binding_headerRETURNexpression}END_VIEW';'.GB/T16656.14—2023/ISO10303-14:2005如果由從屬視圖的IDENTIFIEDBY語言元素定義的等價類包含多個限定綁定實例，則返回的值——如果對于每個這樣的綁定，RETURN表達式(語法規(guī)則67)產(chǎn)生一個相等的值，則返回該值；——如果對于兩個或多個綁定，RETURN表達式(語法規(guī)則67)產(chǎn)生不相等的值，則返回不確定VIEWred_car:car;FROMrc:car;WHERErc.colour='red';RETURNrc;END_VIEW;VIEWowner_name:STRING;PARTITIONone;FROMpo:person;RETURN;PARTITIONtwo;FROMar:organization;RETURN;END_VIEW;EXPRESS-X允許將視圖指定為其他視圖的子類，其中子類視圖數(shù)據(jù)類型是其超類的具象化。這將在視圖數(shù)據(jù)類型之間建立繼承關(guān)系，其中子類繼承其超類的屬性和選擇條件。如果視圖包含SUB-TYPE語言元素，則它是子類視圖。子類視圖數(shù)據(jù)類型的范圍是由子類中的WHERE語言元素定義的子類視圖從其超類視圖繼承屬性。屬性繼承應(yīng)遵循GB/T16656.11—2010中定義的屬性子類視圖聲明可以重新定義在其一個超類中找到的屬性。屬性重新定義應(yīng)遵循GB/T16656.11—2010中定義的屬性重新定義規(guī)則和約束。擇條件及其所有超類視圖都求值為TRUE,則該視圖實例的類型應(yīng)與子類視圖相對應(yīng)。228view_decl=(root_view_decl|dependent_view_decl|subtype_view_decl).206subtype_view_decl=VIEWview_idsubtype_declaration';'subtype_binding_header205subtype_declaration=SUBTYPEOF'('view_ref{','view_ref}')'.203subtype_binding_header=[PARTITIONpartition_id';']where_clause.a)子類視圖的一個超類視圖應(yīng)該定義一個FROM語言元素。b)子類視圖的分區(qū)集應(yīng)是其超類視圖的分區(qū)集的子集。GB/T16656.14—2023/ISO10FROMe;employee;END_VIEW;WHEREe.gender='M';END_VIEW;示例2:本示例說明了分區(qū)和子類視圖的使用。VIEWj;PARTITIONfirst;FROMs:three,t:fourFROMr:four,q:fiveEND_VIEW;VIEWkSUBTYPEOF(j);WHEREcond9;END_VIEW;任何以“k”為超類的子類視圖只能包含分區(qū)“second”。視圖聲明可以定義超類約束(見GB/T16656.11—2010的9.2.5)。是否滿足超類約束對執(zhí)行模型和視圖范圍的內(nèi)容沒有影響。228view_decl=(root_view_decl|dependent207supertype_constrVIEWaABSTRACTSUPERTYPEOFEND_VIEW;GB/T16656.14—2023/ISO10303-14:2005如果a的實例由于具有ABSTRACT關(guān)鍵詞而具有至少兩種類型(a和其他類型),并且由于ONE-OF關(guān)鍵詞而具有至少一種類型d或b和c的某種組合，則它是有效的。9.4映射聲明9.4.1概述映射聲明支持兩個或多個EXPRESS模式的實體數(shù)據(jù)類型定義之間的對應(yīng)關(guān)系規(guī)范。該聲明支持從多個源實體數(shù)據(jù)類型定義到多個目標(biāo)實體數(shù)據(jù)類型定義的映射。語法：136map_decl=MAPmap_idAStarget_parameter';'{target_parameter';'}(map_subtype_of_headermap_decl_body})END_MAP';'.47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][where_clause][identified_by_clause][ordered_by_clause].203subtype_binding_header=[PARTITIONpartition_id';']where_clause.90from_clause=FROMsource_parameter';'{source_parameter';'}.198source_parameter=source_parameter_id':'extent_reference.83extent_reference=source_entity_reference|view_reference.clause|(RETURNexpression';').214target_parameter=target_parameter_id{','target_parameter_id}':'[AGGREGATE[bound_spec]OF]target_entity_reference.213target_entity_reference=entity_reference{'&'entity_reference}.語法規(guī)則136的mapid命名映射聲明。SCHEMAsource_schema;ENTITYpump;id,name:STRING;END_ENTITY;END_SCHEMA;SCHEMAtarget_schema;ENTITYproduct;id,name:STRING;END_ENTITY;ENTITYproduct_related_product_category;name:STRING;products:SETOFproduct;END_ENTITY;END_SCHEMA;SCHEMA_MAPpump_mapping;REFERENCEFROMsource_schemaASSOURCE;REFERENCEFROMtarget_schemaASTARGET;MAPnetwork_for_pumpASGB/T16656.14—2023/ISO10303-14:2005pr:product;prpc:product_related_product_category;FROMp:pump;SELECTpr,id:=p.id;:=;:='pump';ducts:=[pr];END_MAP;新創(chuàng)建實例的屬性初始值是不確定的。如果沒有在映射的主體中分配屬性，則該值仍然是不確語法：136map_decl=MAPmap_idAStarget_parameter';'{target_parameter';'}(map_subtype_of_clause137map_decl_body=(entity_instantiation_loop{entity_instantiation_loop})|map_project139map_project_clauxe=SELECT{map_attribute_declaration}.指定mapattributedeclaration語法元素的mapdeclbody應(yīng)將值分配給目標(biāo)實體實例的屬性。表達式應(yīng)產(chǎn)生一個與目標(biāo)實體屬性兼容的賦值(見GB/T16656.11—-2010的13.3)。指定RETURN的map_decl_body將計算在RETURN關(guān)鍵詞之后指定的表達式。求值將導(dǎo)致與目標(biāo)參數(shù)定義的實體數(shù)據(jù)類型兼容的目標(biāo)實體實例的實例化。所有目標(biāo)參數(shù)的實體實例應(yīng)被實例化。對映射的求值可能會生成目標(biāo)實體數(shù)據(jù)類型實例的聚合。聚合的初始值不確定。 ——遞增數(shù)值變量的迭代。語法：77entity_instantiation_loop=FORinstantiation_loop_control';'map_project_clause139map_project_clause=SELECT{map_attribute_declaration}.119instantiation_loop_control=instantiation_foreach_control|repeat_controlpression}[INDEXINGvariable_id]171repeat_control=[increment_control][while_control][until_control].GB/T16656.14—2023/ISO10303-14:2005a)mapprojectclause語言元素(見語法規(guī)則139)建立一個局部作用域，在該作用域中隱式聲明了所有循環(huán)變量variableid(見語法規(guī)則118)。b)在IN之前由variable_id隱式聲明的變量的類型(見語法規(guī)則118)是表達式的類型。c)在INDEXING之后(見語法規(guī)則118)由variable_id隱式聲明的變量的類型為INTEGERINDEXING之后的variableid(見語法規(guī)則118)在第一個迭代周期的開始處初始化為一個，并在每個后續(xù)周期的開始處增加一個。repeat_control語法元素允許通過EXPRESS語言repeat_control在單個示例：這個示例說明了EXPRESS-X目標(biāo)實例化中EXPRESSrepeat_控件的使用。為每個源父實體創(chuàng)建目標(biāo)childSCHEMAsrc;ENTITYparent;number_of_children:INTEGER;END_ENTITY;END_SCHEMA;SCHEMA_MAPexample;REFERENCEFROMsrcASSOURCE;REFERENCEFROMtarASTARGET;MAPparent_mapAStp:tar.parent;FROMsp:src.parent;SELECTEND_MAP;SCHEMAtar;END_ENTITY;ENTITYchild;parent:parent;END_SCHEMA;MAPchildren_mapASc:AGGREGATEOFchild;FROMp:src.parent;FORi:=1TOp.number_of_children;SELECTc[i].parent:=tp(p)END_MAP;END_SCHEMA_MAP;在instantiationforeachcontrol語法元素下，每個迭代步驟將指定聚合的下一個元素綁定到一個變量，并且可選地將該元素的索引位置綁定到一個迭代器程序變量。這些變量綁定的范圍包括map projectclause。CHEMAtar;ENTITYitem_version;item_id:INTEGER;version_id:INTEGER;END_ENTITY;END_SCHEMA;SCHEMAsrc;GB/T16656.14—2023/ISO10303-14:2005ENTITYitem_with_versions;id:INTEGER;id_of_versions:LISTOFINTEGER;END_ENTITY;END_SCHEMA;SCHEMA_MAPmapping_schema;REFERENCEFROMsrcASSOURCE;REFERENCEFROMtarASTARGET;MAPitem_version_mapASiv:AGGREGATEOFitem_version;iwv:item_with_versions;FOREACHversion_iteratorINiwv.id_of_versionsINDEXINGi;SELECTiv[i].item_id:=iwv.id;iv[i].version_id:=version_iterator;END_MAP;END_SCHEMA_MAP;#1=ITEM_WITH_VERSIONS(1,(10,11,12));#1=ITEM_VERSION(1,10);#2=ITEM_VERSION(1,11);#3=ITEM_VERSION(1,12);instantiationforeachcontrol語法元素可以使用可選的AND語法指定許多表達式(見語法規(guī)則聚合的variableid。136map_decl=MAPmap_idAStarget_parameter';'{target_parameter';'}(map_subtype_of_clausesubtype_binding_headermap_decl_body)|(binding_headermap_decl_body{binding_headermap_decl_body})END_MAP';'.47binding_header=[PARTITIONpartition_id';'][from_clause][local_decl][where_clause][identified_by_clause][ordered_by_clause].a)如果映射聲明中存在多個分區(qū)，則應(yīng)為每個分區(qū)提供一個partition_id。b)映射聲明中的每個partition_id應(yīng)是唯一的。(*sourceschema*)(*targetschema*)SCHEMAsrc;SCHEMAtar;22GB/T16656.14—2023/ISO10303-14:2005name:STRING;END_ENTITY;ENTITYemployee;END_ENTITY;END_SCHEMA;ENTITYperson;name:STRING;END_ENTITY;END_SCHEMA;(*mappingschema*)SCHEMA_MAPexample;REFERENCEFROMsrcASSOURCE;REFERENCEFROMtarASTARGET;MAPstudent_employee_to_personASp:tar.person;PARTITIONstudent;FROMs:src.student;SELECTPARTITIONemployee;FROMe:src.employee;SELECTEND_MAP;END_SCHEMA_MAP;映射聲明可以組織成類型/子類層次結(jié)構(gòu)。子類映射聲明可以擴展由其超類映射創(chuàng)建的實體實例標(biāo)屬性分配的規(guī)范由其子類映射繼承。通過這些方法，可以在映射聲明中復(fù)制目標(biāo)模式中存在的繼承模式。136map_decl=MAPmap_idAStarget_parameter';'{target_parameter_clausesubtype_binding_headermap_decl_body)|(binding_headermap_decl_body{binding_headermap_decl_body})END_MAP';'.141map_subtype_of_clause=SUBTYPEOF'('map_reference)'';'.——如果子類映射聲明的WHERE規(guī)則及其所有超類映射的WHERE規(guī)則求值為TRUE,則應(yīng)——子類映射聲明可以重新聲明其超類映射的任何目標(biāo)參數(shù)的類型。重新聲明的目標(biāo)參數(shù)的類型應(yīng)是在其超類映射中聲明的目標(biāo)參數(shù)的每種類型的具象化。具象化規(guī)則是GB/T16656.11—2010中9.2.6定義的規(guī)則。——子類映射聲明可以通過聲明附加target_parameter的target_parameter_id與其超類映射聲明中的參數(shù)不同的參數(shù)來添加新的目標(biāo)參數(shù)。GB/T16656.14—2023/ISO10303-14:2005——如果超類映射聲明了目標(biāo)類型為選擇(SELECT)(見GB/T16656.11—2010的8.4.2)、通用(GENERIC)(見GB/T16656.11—2010的)或聲明為抽象(ABSTRACT)的實體數(shù)據(jù)類型的目標(biāo)參數(shù)(見GB/T16656.11—2010的),并且不會執(zhí)行重新定義此目標(biāo)參數(shù)的子類映射是擴展由其超類映射創(chuàng)建的實體實例的集合還是專門使所創(chuàng)建的那些實例具體化，取決于子類映射是否引用在超類映射中聲明的targetparameterid語法元素或是否聲明其他的targetpa-rameterid語法元素。子類映射可能會引入在任何超類映射中均未定義的targetparameterid。在這種情況下，將創(chuàng)建由target參數(shù)定義的類型的新目標(biāo)實體。子類映射可以引用一個目標(biāo)屬性，該目標(biāo)屬性在其超類之一(可能通過多個繼承級別)中被引用以的選擇標(biāo)準(zhǔn)。子類映射應(yīng)僅具有一個直接超類映射。體的類型為t_project,可能是其子類之一in_house_project和external_project。在超類映射(project_map)中使用的SCHEMAsource_schema;ENTITYs_project;name:STRING;project_type:STRING;cost:INTEGER;price:INTEGER;vendor:STRING;END_ENTITY;END_SCHEMA;SCHEMAtarget_schema;ENTITYt_projectSUPERTYPEOF(ONEOF(in_house_project,external_project));name:STRING;cost:INTEGER;management:STRING;END_ENTITY;ENTITYin_house_projectSUBTYPEOF(t_project);END_ENTITY;ENTITYexternal_projectSUBTYPEOF(t_project);price:INTEGER;END_ENTITY;END_SCHEMA;SCHEMA_MAPexample;REFERENCEFROMsource_schemaASSOURCE;REFERENCEFROMtarget_schemaASTARGET;24GB/T16656.14—2023/ISO10303-14:2005MAPproject_mapAStp:target_schema.t_project;FROMp:source_schema.s_project;SELECTEND_MAP;;=;MAPin_house_mapAStp:target_schema.in_house_project;SUBTYPEOF(project_map);WHERE(ject_type='inhouse');SELECTtp.management:=IF(p.cost(50000)THEN'smallaccts'ELSE'largeaccts'END_IF;END_MAP;MAPext_mapAStp:target_schema.external_project;SUBTYPEOF(project_map);WHERE(ject_type='externat');SELECTtp.price:=p.price;tp.management:=p.vendor;END_MAP;END_SCHEMA_MAP;超類映射可以定義實體實例化循環(huán)。這種超類映射的子類映射應(yīng)繼承這些實例化循環(huán)。實例化循環(huán)的主體可以重新定義。使用實例化循環(huán)的超類映射主體和子類映射主體之間的對應(yīng)關(guān)系是通過使用相同的索引標(biāo)識符來完成的。繼承循環(huán)的子類映射的映射主體應(yīng)引用其超類映射中定義的相同索引標(biāo)SCHEMAsource_schema;ENTITYpart;name:STRING;_noof_versions:INTEGER;_is_assembly:BOOLEAN;END_ENTITY;END_SCHEMA;SCHEMAtarget_schema;ENTITYproduct;name:STRING;END_ENTITY;ENTITYproduct_version;version_id:INTEGER;of_product:product;END_ENTITY;26GB/T16656.14—2023/ISO10303-14:2005ENTITYproduct_definition;name:STRING;of_version:product_version;END_ENTITY;END_SCHEMA;SCHEMA_MAPexample;REFERENCEFROMsource_schemaASSOURCE;REFERENCEFROMtarget_schemaASTARGET;MAPsuper_mapASpvw:AGGREGATEOFproduct_definition;pver:AGGREGATEOFproduct_version;pro:product;FROMprt:part;FORi:=1TOprt.no_of_versions;SELECTpver[i].version_id:=i;pver[i].of_product:=pro;pvw[i].of_version:=pver[i];pvw[i].name:='viewofpart'+;SELECT:='part'+prt,name;END_MAP;MAPsub_mapASSUBTYPEOF(super_map);WHEREprt.is_assembly=TRUE;SELECTpvw[i].name:='viewofassembly'+;:='assembly'+;END_MAP;END_SCHEMA_MAP;9.4.6復(fù)雜實體數(shù)據(jù)類型的顯式聲明