1信息技術BIM軟件第3部分：模型視圖定義本文件規(guī)定了模型視圖定義（MVD）的開發(fā)、執(zhí)行和管理機制等要求，提供了一個輕量級的模型視本文件適用于建筑信息模型的數據交換中所需的模型視圖定義的開GB13000信息技術通用多八位編碼字符集（GB/T36456.3面向工程領域的共享信息模型第3部分：測試方法GB/TXXXXX.1信息技術BIM軟件第1部分：應用3.13.23.3信息模型中的由節(jié)點與邊組成的滿足特定交換需求3.4模型視圖定義modelviewdefi3.5描述數據交換的業(yè)務需求與交換需求的文檔，以文本、表格、圖表等自然語言形3.623.7針對特定業(yè)務，對所需模型視圖的信息單元與相應信息約束3.8注：一個信息單元可能是可以為一個單獨的對象，也可能是可以為一個對3.9對信息單元的內容限制與使用限制的自然語3.103.113.123.133.143.153.16數據結構約束datastructureco3.173.1833.193.203.213.223.233.24擴展節(jié)點類型extendednod在MVD中擴展規(guī)定的節(jié)點類型，繼承自固有節(jié)點類型。擴展節(jié)點類型在信息模型中對應的節(jié)點集是3.25子圖模板中兩個節(jié)點位置之間的一條有向通路，由多個節(jié)點類型與邊類型交替3.263.27當子圖表達式對應的子圖模板以一個節(jié)點類型作為圖結構的根，稱這個節(jié)點類型為這個子圖表達3.28當子圖表達式的根概念在信息模型中對應一個節(jié)點集，稱這個節(jié)點集為這個子圖表達式的根節(jié)點3.293.303.3143.32完備性檢查completenessc3.33模型視圖抽取modelviewextra計算機程序根據MVD從信息模型中抽取一個模型視圖，并輸出為新的信息模型的過程。新的信息模4縮略語BIM：建筑信息模型（BuildingIFC：工業(yè)基礎類（IndustryLOD：多細節(jié)層次（LevelofDetMVD：模型視圖定義（ModelViewDefinition）MVDLite：輕量型模型視圖定義語言（ModelViewDefinitioURI：統(tǒng)一資源標識符（UniformResourceIdentiMVD是GB/TXXXXX.1中交換需求標準的內容。MVD包括子圖模板與子圖表達式兩類規(guī)則。a)子圖模板規(guī)則用于描述信息模型中可能具有的一種圖結構，該結構以一個節(jié)點類型作為圖結構的根，若干子圖路徑指向與此節(jié)點類型相關的各項信息在信息b)子圖表達式規(guī)則用于描述信息模型中與子圖模板匹配的子圖實例執(zhí)行的規(guī)則，分為定義規(guī)則1)定義規(guī)則用于定義擴展節(jié)點類型，以信息模型中符合定義規(guī)則的子圖實例的根節(jié)點組成MVD引用一個信息模式，基于此信息模式編制MVD中的所有規(guī)則。MVD與信息模式之間的依賴關系如a)子圖模板規(guī)則依賴信息模式中的數據分類規(guī)則與數據結構約束規(guī)則。b)子圖表達式規(guī)則依賴子圖模板規(guī)則。5b)為規(guī)則附加自然語言標記的能力。MVD開發(fā)和執(zhí)行過程見圖2。6IDM應對業(yè)務場景與交換需求進行詳細描述，使目標讀者能明確地識別出各項c)數據交換流程：工程項目中數據交換的流程圖，以及流程圖中每個數據交換場景的概況；7在實施對象分類以及描述對象類型的識別特征的過程中，應引用針對工程領域對象的語義字典標準或分類標準。當IDM中的對象名稱與所引用的分類標準不一致時，應按照語義字典的規(guī)定進行領域規(guī)IDM文檔是編制IDM的成果。IDM文檔成果中除了涵蓋各種局部對象的業(yè)務需求a)模型文件要求：信息模型的文件格式、文件命名規(guī)則等要求。持輸入、輸出、轉換的信息模式的情況，以及此過程中的信8c)從信息單元中的特性、關系、表現(xiàn)到子圖模板中的子圖路徑的映射；b)根節(jié)點集中每個元素是否應包含在被抽取的模型視圖中的聲明；所述方法執(zhí)行，用于模型視圖抽取的MVD規(guī)則的正確性校驗按照7.9在基于MVD的完備性檢查中，MVD中的一條定義規(guī)則對應一個根概念，MVD中的一條約束規(guī)則對應一根節(jié)點集獲取步驟中，從信息模型中獲取一個節(jié)點集作為約束規(guī)則的1)如果約束規(guī)則不引用定義規(guī)則而直接引用信息模式中的根節(jié)點類型，則使用信息模型中2)如果約束規(guī)則引用定義規(guī)則，則根據定義規(guī)則獲取始節(jié)點的所有匹配的子圖實例。匹配子圖實例包括與子圖模板中的所有節(jié)點類型與邊類型均匹配的完定義養(yǎng)老院繼承IfcBuilding養(yǎng)老院->類型標簽='養(yǎng)老院'約束養(yǎng)老院->實例屬性集->實例屬性(->屬性名稱='建筑高度')->屬性值!=空執(zhí)行步驟如下：-根據定義規(guī)則，獲取所有“類型標簽='養(yǎng)老院'”的IfcBuilding作為根節(jié)點集；-根據約束規(guī)則“->實例屬性集->實例屬性->屬性值”搜索每個根節(jié)點對應的匹配或部分匹配子圖；-在上一步的搜索結果中，根據“屬性名稱='建筑高度'”及“屬性值!=空”過濾子圖，將符合該條件的子圖標記為“符合”，反之標記為“不符合”；-對根節(jié)點集中的每個根節(jié)點，如果存在標記為“符合”的子圖，則此根節(jié)點輸出結果為真；否則此根節(jié)點輸出結果為假?；贛VD，可對信息模型執(zhí)行模型視圖抽取，從信息模型中抽取出一個輕量化子集，并形成新的信模型視圖抽取生成的新的信息模型應符合下a)符合原信息模型的信息模式的數據分類與數據結構約束要求；b)交換需求中聲明需要的對象、特性、關系、表現(xiàn)的信息包含在此信息模型中；c)交換需求中要求排除的對象、特性、關系、c)關鍵邊保留規(guī)則是由信息模式中規(guī)定為必須存在的邊類型組成的規(guī)則，其目的是使模型視圖抽取生成的新的信息模型符合原信息模型的信息進行存在性標記，將其標記為“保留”或“排c)數據抽取與輸出：抽取標記為“保留”的節(jié)點與邊，并輸出為新的信息模型。c)應對MVD成果進行分類和索引，備注來MVD軟件應用管理符合如下要求：9.1.4適用于IFC信息模式的常用MVDLite模板參見附錄B。9.2.1標識符數字。其中漢字字符為GB13000當工程領域術語中含有超出上述字符范圍的特殊符號，然而必須使用此帶有特殊符號的術語作為9.2.2整數），9.2.3浮點數浮點數由以小數點分隔的兩組0至多個數字，以及可選的符號前綴與指數后綴組成。其中至少有一普通浮點數由以小數點分隔的兩組0至多個數字，以及可選的符號前綴組成，其中至少有一組數字9.2.4值域a)上下界型值域由波浪線（~）連接的左右兩個浮點數或整數組成，分9.2.5字符串與轉義字符字符串由一對半角雙引號（"）或一對半角單引號（'）包圍的0至多個字符組成。字符串中的內容字符串中的轉義字符由反斜杠（\）后接特定字符組成，用于表示特殊字符。需\"9.2.6部分匹配字符串部分匹配字符串是在字符串前增加表示部分匹配的符號，用于表示MVD規(guī)則中對字符串值進行部分sec9.2.7正則匹配字符串9.2.8標識符字符串9.2.9邏輯值及其它特殊值MVDLite中的邏輯值及其它特殊值如表3所示。真假NULL空9.2.10度量符號=><表6MVDLite[Value]度A與B是同一個類型A與B是不同類型A是B的子類A是B的父類A是B的子類或者A與B相同A是B的父類或者A與B相同“A>B”表示“B作為父類有若干子類分支，其中9.2.12邏輯運算符號AND且&或|^NOT!9.2.13其它符號()9.2.15空格9.2.16注釋a)單行注釋以雙斜杠（//）開始，直到行尾結束。b)多行注釋以斜杠星號（/*）開始，以星號斜杠（*/9.3句型結構規(guī)則9.3.1規(guī)則文件9.3.2預定義縮寫9.3.3正文塊9.3.4定義塊定義塊由關鍵字“定義”開頭，其內部可含有若干概念表9.3.5約束塊約束塊是表示MVD約束規(guī)則的正文塊，用于規(guī)定信息模型中與子圖模板匹配的子圖實例應當滿約束塊由關鍵字“約束”開頭，其內部可含9.3.6縮寫表達式縮寫表達式用于將MVDLite的規(guī)則鏈中的一些常用的規(guī)則段序列縮寫為一個標識符，以便于其在規(guī)b)在正文的規(guī)則表達式中，可以使用縮寫表達式的標識符代替其后部分的規(guī)則段序列。9.3.7概念表達式概念表達式用于聲明一個新的擴展節(jié)點類型，作為已有的節(jié)點類型的a)概念表達式由以關鍵字“extends”連接的前后兩部分組成。前部分為一個標識符，分隔（可以為漢字“或”，大寫英文“OR”，或b)概念表達式只能出現(xiàn)在定義塊中，并與定義塊中的其它以此節(jié)點類型為根概念的規(guī)則表達式9.3.8規(guī)則表達式規(guī)則表達式是正文塊中表示定義規(guī)則或約束規(guī)則b)當規(guī)則表達式中含有多條規(guī)則語句時，每條規(guī)則語句的根概念應相同。c)當使用邏輯連接符號為“XOR”時，當前語句（或當前括號內的子句）只能有兩d)當邏輯連接符號“NOT”只能位于當前語句（或當前括號內的子句）的開頭，且此9.3.9規(guī)則語句a)一個規(guī)則語句由一個根概念后接一個度量規(guī)則鏈組成，表示根概念對應的節(jié)點集上的一個過b)規(guī)則語句執(zhí)行的結果是根概念對應的節(jié)點集中滿足度量9.3.10規(guī)則鏈規(guī)則鏈是由若干規(guī)則段串聯(lián)組成的鏈條，是MVDLite句型結構中用于表示一段子圖路徑以及這段子規(guī)則鏈按照功能分為度量規(guī)則鏈與路徑規(guī)則9.3.11度量規(guī)則鏈9.3.12路徑規(guī)則鏈路徑規(guī)則鏈表示以此規(guī)則鏈之前的節(jié)點集為起點的子圖路徑，應以屬性段或復合屬性9.3.13規(guī)則段注2：如需將一個以復合度量段結尾的規(guī)則鏈9.3.14屬性段屬性段的目標節(jié)點集為目標節(jié)點的無序不重復集合。具體分為b)當邊指向包含多個節(jié)點的節(jié)點集時，將其中的每個節(jié)點加入節(jié)點目標節(jié)點集；9.3.15度量段值組成，如“[Size]>3”。其中，當度量符號為根據度量段的行為的不同，度量段分為單度量段與集合度量9.3.16單度量段單度量段的符號為“[Value]”與“[a)[Value]度量段根據當前輸入節(jié)點集的每個節(jié)點的值與比較符號右側的值的比較結果，對當前輸入節(jié)點集進行過濾。當度量符號為“[Value]”，且值為部分匹配字符串b)[Type]度量段根據當前輸入節(jié)點集的每個節(jié)點的類型與比較符號右側的類型在節(jié)點的分類體9.3.17集合度量段集合度量段是由當前節(jié)點集與其以屬性段或復合屬性段關聯(lián)的上一級節(jié)點集的引用關系進行判定a)[Size]度量段根據上一級節(jié)點集中的每個節(jié)點指向當前節(jié)點集中節(jié)點的數量，對上一級節(jié)點集進行過濾。當度量符號為“[Size]”時，值只能b)[Exists]度量段根據上一級節(jié)點集中的每個節(jié)點是否存在指向當前節(jié)點集中節(jié)點，對上一級節(jié)點集進行過濾。當度量符號為“[Exists]”時，比較符號只能為“=”c)[Unique]度量段根據上一級節(jié)點集中的每個節(jié)點指向當前節(jié)點集中的節(jié)點是否與其它上一級節(jié)點互斥，對上一級節(jié)點集進行過濾。當指向存在則為FALSE。當度量符號為“[Unique]”時，比較符號只能為“=”或“!注1：由于度量段只能出現(xiàn)在規(guī)則鏈的結尾，因此上一級節(jié)點集是當前規(guī)則鏈中的最后一個屬性段或復合屬性段的注3：當上述最后一個屬性段或復合屬性段與集合度量段之間存在其它復合度量段時，應將這些復合度量段的過濾9.3.18對偶度量段對偶度量段是表示根據當前節(jié)點集關聯(lián)的兩個值之間的比較對當前節(jié)點集進行過濾的規(guī)則右側路徑規(guī)則鏈、右側度量符號，如“(->N9.3.19復合屬性段復合屬性段是將1至多個路徑規(guī)則鏈的并聯(lián)用括號“()”封裝為一個規(guī)則段，其作用等性段，表示從輸入節(jié)點集出發(fā)到輸出節(jié)點集的多條可選其中，多個路徑規(guī)則鏈之間使用“OR”連接，表示對多條可選的子圖路徑的搜索結果求9.3.20復合度量段表示對輸入節(jié)點集的一個復合的過濾條件。其中，多個度注2：復合度量段中的邏輯連接符號的使用方法與約束同規(guī)則表達），9.3.21名稱語法糖名稱語法糖是一種特殊的復合度量段。當復合度量段用于根據默認的名稱路徑查找名稱值并過濾9.4標記規(guī)則9.4.1規(guī)則文件分塊規(guī)則文件分塊以分塊起始標記“#BLOCK”或“#塊”開始，以分塊終止標記“#ENDBLOCK”或“#塊分塊終止標記可以省略，此時以下一個分塊起始標記之前或文件結尾作為此分注：規(guī)則文件分塊必須完整地覆蓋內部的正文塊，即分塊起始標記與9.4.2標記項這些信息不會用于MVD執(zhí)行，但是可用于提供關于便于管理的說明性信息，例如規(guī)則集的作者、目的、a)標記項形如“#標記項標識符=b)當標記項標識符為“名稱”或“Name”時，可將標記項簡寫為“#標識值”，此時此標記值表9.4.3標記項的位置標記項按照位置分為頭部標記、表達式標記a)頭部標記是位于規(guī)則文件開頭的若干標記項，表示對整個規(guī)則集的描述信息。c)分塊標記是緊接于分塊起始標記之后的若干標記項，表示對此規(guī)則文件分塊的標記信息。9.4.4標記項的使用要求9.4.5必需的標記項）：適用于多個信息模式時，應在字符串內使用豎線（|）分隔，如："IFC4）：e)最后編輯時間（Last_Edition_Time）：當前規(guī)則集最后修改的時間，格式為“[年]-[月]-9.4.6推薦的標記項推薦的頭部標記項）：）：）：）：）：）：）：l)用例引用（Use_Case_Reference引用推薦的表達式標記項或分塊標記項）：）：）：）：）：ANDNOTNULLM_VALUEM_SIZEM_TYPEM_EXISTSM_UNIQUENOT_EQUAL:'>';:|;:(|);NAME_STRINGNAMENAME_CHARNAME_START_CHAR:;:mid_segment+;:;:||;:;:;:;body_definition//定:(;body_constraint//約:(;:;:;:|LPARENrule_expressionRP|NOTrule_term;:|metric_rule_chain;metric_rule_chain//度量規(guī):mid_segment*segment_for_metric;path_rule_chain//路:mid_segment*segment_for_path;rule_segment//規(guī)則段:;mid_segment//可位于中間的規(guī)則段:;:metric_segment;:;:;:|;metric_segment//度量段:metric?operatorvalues;dual_metric//:path_rule_chainmetpath_rule_chainmetr;:LPARENinner_rule_expr;:;:metric_rule_chain|LPARENinner_rule_expr|;:;:LPARENstring_literalR;:;::;:|;:;:;real_literal//浮點數與:;range_literal//值域:real_literal'~'real_lit|real_literal'+-'real_lit;:;:;類型as(IfcObject)->IsTypedBy:Ifc(IfcObject)->HasAssociations:IfcRelAssociatesClassification->Relatiference(->ReferencedSource:IfcClassification->Name='{特定分類標準}')->Identi(IfcObject)->HasAssociations:IfcRelAssociatesClassification->Relatiference(->ReferencedSource:IfcClassification->Name='{特定分類標準}類型as(IfcObject)->IsTypedBy:Ifc實例屬性集as(IfcObject)->IsDefined類型屬性集as(IfcObject)->IsTypedBy->類型as(IfcObject)->IsTypedBy:Ifc實例屬性集as(IfcObject)->IsDefined類型屬性集as(IfcObject)->IsTypedBy->類型as(IfcObject)->IsTypedBy:Ifc//項目基點東西坐標應滿足2000國家大地項目基點信息->Eastings={坐標值下//項目基點北南坐標應滿足2000國家大地項目基點信息->Northings={坐標值下限}~{項目基點信息->OrthogonalHeight={坐標值下(項目基點信息->XAxisAbscissaIfcProject->UnitsInContext->Units(->UnitType='{計量類型}'且->Prefix[存在]=FALSEIfcProject->UnitsInContext->Units(->UnitType='{計量類型}'且->Prefix='{單位前綴}'且METRE米MILLIMETREAREAUNITMASSUNIT克秒THERMODYNAMICTEMPERATUREUAMPERE安伏WATT瓦NEWTON牛NEWTON坎帕MEGA構件[Type]!='IfcOpeningEl地形->IsDecomposedBy->RelatedObjects[存在建筑->IsDecomposedBy->RelatedObjects[空間->Decomposes->RelatingObj//構件（非開洞）需要包含在空間或樓層內，構件->ContainedInStructure->RelatingStructure[存在]=構件->Decomposes->RelatingObject[a)對象標識約束MVDLite語言表示的對象標識約束規(guī)則是對模型中的對象標識概念定義是否符合要求進行檢查，其(IfcObject)->HasAssociations:IfcRelAssociatesClassification->Relatiference(->ReferencedSource:IfcClassification->Name='{特定分類標準}')->Identi(IfcObject)->HasAssociations:IfcRelAssociatesClassification->Relatiference(->ReferencedSource:IfcClassification->Name='{特定分類標準}實例屬性集as(IfcObject)->IsDefined類型屬性集as(IfcObject)->IsTypedBy->構件[Type]!='IfcOpeningEl注4：當僅檢查標識是否存在時，可將“={對象標識枚舉}”替換為“!=''”；b)對象存在性約束{概念名稱}[存在]=TRUE注：其中“{}”表示用戶在使用中需要補充的內容。類型as(IfcObject)->IsTypedBy:IfcMVDLite語言表示的構件材質貼圖約束規(guī)則模板宜包含如下內容。類型as(IfcObject)->IsTypedBy:Ifc(IfcProduct)->Representation:IfcProductDefinitionShape->Repre->Items:IfcMappedItem->MappingSource:IfcRepresentationMap->MappedRepresentation:IfcShapeRepresentation類型幾何表達as(IfcProduct)->類型->RepresentationMaps->Ma組裝幾何表達as(IfcProduct)->IsDecompo(->Items:IfcRepresentationItem[間接表面樣式as(IfcStyledItem)->Styles表面材質貼圖as(IfcSurfaceStyle)->Styles:IfcSurfaceSty幾何材質貼圖as(IfcRepresenta((->HasTextures:IfcIndexedTextur)((->HasTextures:IfcIndexedTextur)注：其中“{}”表示用戶在使用中需要補充的內容。材料關聯(lián)as(IfcObjectDefinition)-普通材料as(IfcObjectDefini->RelatingMaterial:IfcMaterialConstituent->Material:IfcMateri->RelatingMaterial:IfcMaterialConstituentSet->MaterialConstituents:IfcMaterialConstituent->Material:IMaterial材料層as(IfcObjectDefinition)->材料關聯(lián)->RelatingMateri->RelatingMaterial:IfcMaterialLayerSet->MaterialLayers:IfcMaterialLayer->Material:IfcMater->RelatingMaterial:IfcMaterialProfile->Material:IfcMateri->RelatingMaterial:IfcMaterialProfileSet->MaterialProfiles:IfcMaterialProfile->Material:IfcMater->RelatingMaterial:IfcMaterialLayerSetUsage->ForLayerSet:IfcMaterialLayerSet->MaterialLayers:IfcMateria->RelatingMaterial:IfcMaterialProfileSetUsage->ForProfileSet:IfcMaterialProfileSet->MaterialProfilescMaterialProfile->Material:Ifc實例屬性集as(IfcObject)->IsDefined類型屬性集as(IfcObject)->IsTypedBy->//要求材料組成以材料關系定義時，使用此模板，不可同時使用任意材料as(IfcObjectDefinition)(->普集OR->材料截面OR->材料截面集OR->材料層用途//要求材料組成以屬性方式定義時，使用此模板，不可同時使用//要求材料組成以材料關系或屬性方式定義時，使用此模板，不可同時使用多任意材料as(IfcObjectDefinition)(->普集OR->材料截面OR->材料截面集OR->材料層用途OR->材料截面用途//頭部(Header)：類型as(IfcObject)->IsTypedBy:Ifc(IfcProduct)->Representation:IfcProductDefinitionShape->Repre->Items:IfcMappedItem->MappingSource:IfcRepresentationMap->MappedRepresentation:IfcShapeRepresentation類型幾何表達as(IfcProduct)->類型->RepresentationMaps->Ma組裝幾何表達as(IfcProduct)->IsDecompo(->Items:IfcRepresentationItem[間接表面樣式as(IfcStyledItem)->Styles表面顏色as(IfcSurfaceStyle)->Styles:IfcSurfaceSt->HasColours:IfcIndexedColourMap->Colours:IfcColourRgbList->Colour{概念名稱}(->一般幾何顏色(->Red={顏色R值下限/25/256}~{顏色G值上限/256}AND->Blue={顏色B值下限/256}~{顏色B值上限/25實例屬性集as(IfcObject)->IsDefined類型屬性集as(IfcObject)->IsTypedBy->實例屬性集as(IfcObject)->IsDefined類型屬性集as(IfcObject)->IsTypedBy->數值約束時使用“>”（大于某值）、“<”（小于某值）、“>=”（大于等于某值）、“<=”（小于等于某值）、“!=”（不等于某值）、“=”（等于某值），當多個數值約束時，根據情況使用“且”、“或”連接，并用半角括號括起，例如屬性取值大于0且小于等于5表示為(>0且<=5)；枚舉值約束時表示方式為='{可選值1}'|'{可選值2}'|'{可選值n}'，例如屬性取值范圍為“甲級”、“乙級”、“丙級”時，表示為='甲級'|'乙級'|'丙級'；注5：{值類型要求}可要求IFC支持的具體值類型，應填寫符合GB/T51447規(guī)定的值類型，或者上述值類型在GB/T16656.11中對應的簡單數據類型。部分常用的值類型要求示例見表B.2，在GB/T16656.11GB/T16656.11中的簡單數據IfcLabel、IfcText、IfcDateTimIfcInteger、IfcDimensionCoNUMBERNUMBERIfcLengthMeasure、IfcEnergyMeasureMVDLite語言表示的系統(tǒng)設置約束規(guī)則模板宜包含如下內容。實例屬性集as(IfcObject)->IsDefined類型屬性集as(IfcObject)->IsTypedBy->(IfcDistributionElement)->HasAssignments:IfcRelAssignsToGroup->R//系統(tǒng)設置模板兼容了以系統(tǒng)關系和屬性兩種方式定義的規(guī)則，當有具體要求以某種方式表達者選其一系統(tǒng)設置as(IfcDistributioMVDLite語言表示的連接關系約束規(guī)則模板宜包含如下內容。端口as(IfcObject)->IsNe->Connect