GB/T 16262.3-2006信息技術(shù)抽象語法記法一(ASN.1)第3部分：約束規(guī)范

ICS35.100.60L79中華人民共和國國家標(biāo)準(zhǔn)GB/T16262.3-2006/ISO/IEC8824-3:2002信息技術(shù)抽象語法記法一（ASN.1)第3部分;約束規(guī)范Informationtechnology-AbstraetSyntaxNotationOne（ASN.1)—Part3:Constraintspecification（ISO/IEC8824-3:2002,IDT)2006-03-14發(fā)布2006-07-01實施中華人民共和國國家質(zhì)量監(jiān)督檢驗檢疫總局發(fā)布中國國家標(biāo)準(zhǔn)化管理委員會

GB/T16262.3-2006/ISO/IEC8824-3：2002三前言引言1范圍2規(guī)范性引用文件3術(shù)語和定義3.1基本記法規(guī)范3.2信息客體規(guī)范3.3ASN.1規(guī)范的參數(shù)化….3.4附加定義………………略語5約定6記法6.1賦值7ASN.1詞項7.1附加關(guān)鍵字8一一般約束規(guī)范用戶定義的約束10表約束，包括成分關(guān)系約柬內(nèi)容約柬·附錄A(規(guī)范性附錄)約束的單一實例類型附錄B(資料性附錄）記法綜述

GB/T16262.3-2006/ISO/IEC8824-3：2002GB/T16262在《信息技術(shù)抽象語法記法一（ASN.1)》總標(biāo)題下.目前包括以下4個部分：第1部分(即GB/T16262.1)：基本記法規(guī)范；第2部分(即GB/T16262.2)：信息客體規(guī)范;第3部分(即GB/T16262.3):約束規(guī)范;第4部分(即GB/T16262.4):ASN.1規(guī)范的參數(shù)化本部分為GB/T16262的第3部分，等同采用國際標(biāo)準(zhǔn)ISO/IEC8824-3:2002《信息技術(shù)象語法記法一（ASN.1)：約束規(guī)范》英文版)。與該項國際標(biāo)準(zhǔn)的等同文本是ITU-T建議X.682.按照GB/T1.1—2000的規(guī)定，本部分對ISO/IEC8824-3:2002作了下列編輯性修改：“本標(biāo)準(zhǔn)"一詞改為"本部分"；在引用的標(biāo)準(zhǔn)中,凡已轉(zhuǎn)化成我國標(biāo)準(zhǔn)的各項標(biāo)準(zhǔn),均用我國的相應(yīng)標(biāo)準(zhǔn)編號代替。本部分的附錄A是規(guī)范性附錄,附錄B是資料性附錄。本部分由中華人民共和國信息產(chǎn)業(yè)部提出。本部分由中國電子技術(shù)標(biāo)準(zhǔn)化研究所歸口。本部分起草單位：中國電子技術(shù)標(biāo)準(zhǔn)化研究所本部分主要起草人：鄭洪仁、安金海、徐云馳

GB/T16262.3-2006/ISO/IEC8824-3：2002應(yīng)用設(shè)計者需要一種定義結(jié)構(gòu)式數(shù)據(jù)類型的記法以傳送其語義。這在GB/T16262.1和（B/T16262.2中提供。還需要一種記法以進一步約柬可能出現(xiàn)的值。這些約束的示例有限制某個（某些）成分的范圍或使用規(guī)定的信息客體集合約束"ObjectClassFieldType"成分，或使用"AtNation"規(guī)定各成分之間的關(guān)系。GB/T16262的本部分對約束規(guī)范的一般情況提供記法注1：由于歷史原因.子類型約束”的特殊情況在GB/T16262.1中規(guī)定約束記法可能出現(xiàn)在使用語義結(jié)構(gòu)"Type”之后的圓括號中，本部分的目的是要規(guī)定圓括號中的-般情況。住2：對相同的"Type2可以應(yīng)用多重約束(每個在其自身的圓括號之內(nèi))如同約柬"Type"的結(jié)果在形式上本身就是"Type”結(jié)構(gòu)。當(dāng)將一個約束應(yīng)用于"Type結(jié)構(gòu)的最外層時,就會產(chǎn)生一個新的類型,它是原(雙親)類型的子類型在約束記法的其他使用場合，雙親類型的子類型本身可用來定義相同雙親類型的其他子類型。因此，可通過限制雙親類型的范圍或?qū)⒋俗宇愋鸵?guī)定成值的并集來定義構(gòu)成子類型的值的子集住3：在GB/T16262.1—2006的15.7中規(guī)定的"ValueSer"記法提供了規(guī)定子類型的更進一步的辦法當(dāng)此記法嵌人另一種類型時,約束還可用來產(chǎn)生雙親類型的子類型(如上所述)。雖然，某些"成分關(guān)系”約柬放在"Type"之后(在集合或序列類型定義中）,但是，不能用來限制它們之前的"Type"（引用成分)可能值的集合。而是它們規(guī)定引用成分的值與同一集合或序列類型中一個或幾個其他"Type"（稱為引用成分)的值之間的關(guān)系。成分關(guān)系約束可以看成將它們所嵌人的序列類型分成子類，而不必看成引用類型通過使用信息客體集合限制成分中的類型或值時可以應(yīng)用有關(guān)ObiectClassFieldType成分的約束。這種約束稱為表約束，因為它們是根據(jù)客體集合的“關(guān)聯(lián)表"規(guī)定的。本部分定義的成分關(guān)系約束是表約束的特殊情況。最后，可通過規(guī)定子類型中的人可讀文本方式值集合.將"Type"劃分成子類型。這種約柬稱為用戶定義的約束。例如,規(guī)定用戶定義的約束可以是將比特串約束到規(guī)定的ASN.1類型的值加密所產(chǎn)生的值集合、本部分的目的是要提供規(guī)定表約束(包括成分關(guān)系約束)和用戶定義的約束所用的記法注4：一般而言，用靈活的方式.對約柬規(guī)范的全面支持(特別是成分關(guān)系約束、劃分子類型約束和形式定義體中用戶定義約束)會要求一種能力可與程序設(shè)計語言相當(dāng)?shù)挠浄āｏ@然這種能力只能通過建立ASN.1記法與某個其他定義的計算機語言之間的鏈接來提供。本部分這一版不提供這種鏈接，因此只能支持少量的約束機制嵌入定義約束的記法（子類型和關(guān)系)往往是最方便的規(guī)范形式(特別對結(jié)構(gòu)的原成分的簡單子分類）.但是,有時將優(yōu)先采用單獨的(外部的)規(guī)范，特別是,由定義基本協(xié)議的一個獨立小組要強加的約東就是如此住5：在GB/T16262.4中定義的參數(shù)化專門設(shè)計成能使一部分ASN.1規(guī)范（以及特別是約束)被參數(shù)化.允許某個為參數(shù)化構(gòu)造提供實際參數(shù)的其他小組施加實際約東。

GB/T16262.3-2006/ISO/IEC8824-3：2002本部分所支持的約束規(guī)范所用的記法是：-用戶定義的約束(見第9章)；表表約柬,包括運載與信息客體有關(guān)的值、使用（B/T16262.2的記法定義的兩個成分之間的成分關(guān)系約束(見第10章)；容約束(見第11章)。表約束對（B/T16262.2—2006附錄C的"InstanceOfType"構(gòu)造的應(yīng)用在本部分附錄A中規(guī)定

GB/T16262.3-2006/ISO/IEC8824-3:2002信息技術(shù)抽象語法記法一（ASN.1)第3部分:約束規(guī)范T范圍GB/T16262的本部分是抽象語法記法一（ASN.1)的一個部分.并提供規(guī)定用戶定義的約束、表約束和內(nèi)容約束的記法2規(guī)范性引用文件下列文件中的條款通過GB/T16262的本部分的引用而成為本部分的條款。凡是注日期的引用文件，其隨后所有的修改單(不包括勒誤的內(nèi)容)或修訂版均不適用于本部分·然而.鼓勵根據(jù)本部分達成協(xié)議的各方研究是否可使用這些文件的最新版本。凡是不注日期的引用文件,其最新版本適用于本部分。軸象語法記法一（ASN.1）信息技術(shù)GB/T16262.1-2006第1部分：基本記法規(guī)范(ISO/IEC8824-1:2002.IDT）GB/T16262.2-2006信息技術(shù)抽象語法記法一（ASN.1）第2部分：信息客體規(guī)范(ISO/IEC8824-2:2002.IDT）GB/T16262.4—2006信息技術(shù)抽象語法記法一（ASN.1）第4部分：ASN.1規(guī)范的參數(shù)化（ISO/IEC8824-4:2002.IDT)3術(shù)語和定義下列術(shù)語和定義適用于GB/T16262的本部分3.1基本記法規(guī)范本部分使用GB/T16262.1—2006中定義的術(shù)語。3.2信息客體規(guī)范本部分使用GB/T16262.2—2006中定義的術(shù)語3.3ASN.1規(guī)范的參數(shù)化本部分使用GB/T16262.4—2006中定義的下列術(shù)語-參數(shù)化類型parameterizedtype.3.4附加定義3.4.1成分關(guān)系約束componentrelationconstraint關(guān)于集合類型或序列類型值的約束,其在文本上與此集