1、ICS 35.100.60 L 79 噩噩中华人民共和国国家标准GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 信息技术抽象语法记法一CASN.1) 第4部分:ASN.1规范的参数化Information technology-Abstract Syntax Notation One(ASN. 1) Part 4: Parameterization of ASN. 1 specifications CISO/IEC 8824-4: 2002 , IDT) 2006-03-14发布2006-07-01实施中华人民共和国国家质量监督检验检菇总局也士中国国家标准化管理
2、委员会a叩060907000133 GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 目次IE11111112222233589M 述综例法示记占VA(、，J、，范范定录录文规规HHUUH义川、的数附附用义法体范义定项值化参性性U引定记客规定H化词赋数法料料口性和本息束加语值数J化参据贺资围范语基信约附略定法赋参创数问MM扣趴范规术缩约记Ah主言言123412寻录录前引123孔丘孔丘456队队789四附附GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 前GB/T 16262在信息技术抽象语法记法一(ASN.1)总标题下，目前包括以下
3、4个部分:第1部分(即GB/T16262.1):基本记法规范;第2部分(即GB/T16262.2):信息客体规范;第3部分(即GB/T16262.3):约束规范;第4部分(即GB/T16262.4): ASN.1规范的参数化。本部分为GB/T16262的第4部分，等同采用国际标准ISO/IEC8824-4: 2002(信息技术抽象语法记法一(ASN.1): ASN. 1规范的参数化(英文版)。与该项国际标准的等同文本是ITU-T建议X.683。按照GB/T1. 1-2000的规定，本部分对ISO/IEC8824-4 :2002作了下列编辑性修改:一一本标准一词改为本部分;一一在引用的标准中，凡
4、已转化成我国标准的各项标准，均用我国的相应标准编号代替。本部分的附录A和附录B是资料性附录。本部分由中华人民共和国信息产业部提出。本部分由中国电子技术标准化研究所归口。本部分起草单位:中国电子技术标准化研究所。本部分主要起草人:郑洪仁、安金海、徐云驰。I GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 引应用设计者需编写某些方面留待定义的规范。这些方面随后将由一个或几个小组予以定义(每一个用自己的方式)，以产生一个供抽象语法定义用的全面定义的规范(每个小组一个)。在某些情况，规范的若干方面(例如，界限)可以留待定义，甚至留待抽象语法定义时，而由国际标准化轮廓或某
5、个其他团体功能轮廓规范来完成。注1:鉴于本部分的需求，在定义抽象语法之前，并不是要单独实现约束应用的任何方面。在极端情况，规范的某些方面留待实施者完成，并按照协议实现一致性声明予以规定。GB/T 16262.2和GB/T16262.3的规定提供稍后完成规范某些部分的框架，它们本身不能解决上面的要求。另外，一个设计者有时需要定义许多类型，或许多信息客体类别，或许多信息客体集合，或许多信息客体，或许多值，它们具有相同的外部层次结构，但是内部层次上使用的类型，或信息客体类别，或信息客体集合，信息客体，或值是不同的。不写出每一个情况的外部层次结构，而只写一个情况，留待今后定义的部分引用它并提供附加信息
6、的做法是有用的。本部分的参数化引用名和参数化赋值的条款就是针对所有这些需求的。参数化引用名的语法形式与相应的正式引用名相同，但应顾及下列附加考虑:一一当在参数化赋值语句赋值时，其后是括号中的虚设引用名表，每个可能伴随一个支配者;这些引用名具有赋值语句右边的范围和参数表。注2:这正是识别出参数化引用名的根据。当被出口或入口时，随后是一对空括号以便将它标识为参数化引用名。一一当它用于任一构造时，随后是语法结构表，每个虚设引用名一个，它提供仅对此用途的虚设引用名的赋值。虚设引用名具有与相应正式引用名相同的语法形式，并可用于赋值语句右边使用相应正式引用名的任何地方。要求所有这些用法一致。E GB/T
7、16262. 4一2006/ISO/IEC8824-4: 2002 信息技术抽象语法记法一CASN.1) 第4部分:ASN. 1规范的参数化1 范围GB/ T 16262的本部分是抽象语法记法一CASN.1)的一个部分，并定义了ASN.1规范的参数化的记法。2 规范性引用文件件，其随后所有的修改单(协议的各方研究是否可部分。GB/ T 16262. 1 IEC 8824-1 : 2002 , GB/ T 16262 . IEC 8824-2 ! 2002 GB/ T 1626 8824-3 :2002 ,ID 3 术语和定义下列术语和3. 3 约束规范本部分使用GB/T3.4 附加定义3. 4
8、.1 标准引用名称由Assignment方法而不是Par3.4.2 参数化引用名称pararneterized reference name 、无参数的引用名称。这种名称引使用参数化赋值定义的引用名称，它引用不完整的定义，因此在使用时必须提供实际的参数。3.4. 3 参数化类型pararneterized type 使用参数化类型赋值定义的类型，其成分是不完整的定义，在使用这种类型时必须提供实际的参数。GB/T 16262. 4一2006/ISO/IEC8824-4: 2002 3.4.4 参数化值parameterized value 使用参数化值赋值定义的值，其值没有完整地予以规定，在使用
9、时必须向其提供实际的参数。3.4.5 参数化值集合parameterized value set 使用参数化值集合赋值定义的值，其值没有完整地予以规定，在使用时必须向其提供实际的参数。3.4.6 参数化害体类别parameterized object class 使用参数化客体类别赋值定义的信息客体类别，其字段规范没有完整地予以规定，在使用时必须向其提供实际的参数。3.4.7 参数化害体parameterized object 使用参数化客体赋值定义的信息客体，其成分没有完整地予以规定，在使用时必须向其提供实际的参数。3.4.8 参撤化窑体集合parameterized obj配tset 使用
10、参数化客体集合赋值定义的信息客体集合，其客体没有完整地予以规定，在使用时必须向其提供实际的参数。3.4.9 可变约束variable constraint 规定参数化抽象语法时采用的约束，此约束视抽象语法的某个参数而定。4 缩略语本部分使用下列缩略语:ASN.l抽象语法记法-5 约定本部分采用GB/T16262.1-2006的第5章定义的记法约定。6 记法本章综述本部分定义的记法。6. 1 赋值本部分定义了下列记法，此记法能用来替代Assignment (见GB/T16262. 1-2006的第12章): 一一-ParameterizedAssignmen t (见8.1)。6.2 参数化定义
11、6.2.1 本部分定义了下列记法，此记法能用来替代DefinedType(见GB/T16262. 1-2006的13.1): 一一-ParameterizedType (见9.2)。6.2.2 本部分定义了下列记法，此记法能用来替代DefinedValue(见GB/T16262.1-2006的13.1): 一一-ParameterizedValueC见9.2)。6.2.3 本部分定义了下列记法，此记法能用来替代DefinedType(见GB/T16262. 1-2006的13.1):一一-ParameterizedValueSetTypeC见9.2)。6.2.4 本部分定义了下列记法，此记法能
12、用来替代ObjectClass气见GB/T16262.2-2006的9.2): 一-ParameterizedObjectClass(见9.2)。2 GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 6.2.5 本部分定义了下列记法，此记法能用来替代Object(见GB/T16262. 2一2006的11.3): 一-ParameterizedObject(见9.2)。6.2.6 本部分定义了下列记法，此记法能用来替代ObjectSet(见GB/T16262.2-2006的12.3): 一一一ParameterizedObjectSt (见9.2)。7 ASN.1
13、词项本部分使用GB/T16262. 1-2006的第11章规定的词项。8 参敏化赋值8. 1 与GB/T16262. 1和GB/T16262. 2规定的每一赋值语句有对应的参数化赋值语句。ParameterizedAssignment结构是zParameterizedAssignment: : = ParameterizedTypeAssignment ParameterizedValueAssignment ParameterizedV al ueSet TypeAssignment ParameterizedObjectClassAssignment ParameterizedObject
14、Assignment ParameterizedObjectSetAssgnment 8.2 除了在初始词项之后有一个ParameterList之外，每个Parameterized Assignment的语法与Assignment相同。因此初始项成了参数的引用名见3.4:. 2) : 注:GB/T16262. 1要求在一个模块中所赋予的所有引用名，不管是否参数化，必须是明确的2ParameterizedTypeAssignment: = typereference Parameter List . .一. Type ParameterizedValueAssignment: : = val u
15、eref erence Parameter List Type . .一. Value ParameterizedValueSetTypeAssignment: : = typeref erence Parameter List Type Value Set ParameterizedObjectClassAssignment: : = objectclassreference Parameter List . .一. Object Class 3 GB/T 16262. 4-2006/ISO/IEC 8824-4 : 2002 8. 3 ParameterizedObjectAssignme
16、nt: : = objectreference Parameter List DefinedObjectClass Object ParameterizedObjectSetAssignment: : = objectreference Parameter List Parameter a) b) c) ernor overnor是GovmyGovernor的情8. 4 出现在ParameterLr之后的ParameterizedAssig Reference。ist本身，以及在:=中具有相同名称的其他注:本条不适用于NamedNumberList飞也&numera tion和NamedBit
17、Lwf1平定义的identifier，因为它们不是Ref_4r16262. 1-2006的18.11和19.10)。8. 5 Du山mrr叮Referen旧ce旷在其范围内的用法应与其语法形式、何处应用、支配者一致，相同DummyReference的所有用法应彼此一致。4 注:在虚设引用名称的语法形式有二义性的时候(例如，是objectclassreference还是typereference勺，这种二义性通常可根据赋值语句右边首先使用虚设引用名称加以解决。据此，虚设引用名称的特性是己知的。然而当它依次仅用作参数化引用的实际参数时，只用赋值语句的右侧不能确定虚设引用名称的特性;在此情况中，虚设
18、引用名称的性质必须通过检查此参数化引用的定义予以确定。需告诉此记法的使用者，这一实际做法会使ASN.1规范不太清晰，建议提供足够的注释以向读者说明。示例:考虑有下列参数化客体类别赋值:GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 PARAMETERIZED-OBECT-CLASS TypeParam , INTEGER: ValueParam , INTEGER: ValueSetParam: : = CLASS &valueField1 &valueField2 &valueField3 & ValueSetField TypeParam, INTEGER
19、DEF AUL T valueParam , INTEGER (ValueSetParam) INTEGER DEFAULTValueSetParam, 为确定ParameterizedAssignment 考虑将DummyReference定义如的合适用法，且目的仅限于此，可valueParam 1 其中:a) e用作，例如固b) 、，C 能将整数值的pe记法中的8.6 注:如果ized V al ueSetAs-8. 7在Pas的定义中，不应Class的定义中，不应在通过对选择类型的引记法之一在定义中是非循环的。8. 10 8. 11 DummyReference的支配者不应要求知道此Du
20、mmyReference，或正被定义的参数化引用名。8. 12 当值或值集合作为实际参数提供给参数化类型时，要求此实际参数的类型与对应虚设参数的支配者兼容(详见GB/T16262.1-2006的B.6. 2和B.6. 3)。8. 13 在定义具有值或值集合虚设参数的参数化类型时，用来支配该虚设参数的这一类型应是其所有值用于赋值右边使用虚设参数的各处都有有效的类型(详见GB/T16262. 1-2006的B.6.5)。9 引用参数化的定义9. 1 在SymbolList(在Exports或Imports中)，参数化定义应通过ParameterizedReference予GB/T 16262. 4
21、一2006/ISO/IEC8824-4: 2002 以引用:ParameterizedReference: : = Reference I Reference 其中，如上述8.2规定，Reference是ParameterizedAssignment中的第一个词项。注:提供ParameterizedReference第一个替代记法只是帮助人们理解。两种替代记法具有相同意义。9.2 在Exports或Imports以外，参数化定义应通过Parameterized结构予以引用，此结构可用作对应的替代记法:、ParameterizedType: = SimpleDefinedType ActualP
22、arameter List SimpleDefinedType: : = ExternalTypeReference I typereference ParameterizedValue , , = SimpleDefinedValue ActualParameter List SimpleDefinedValue: : = External V al ueReference I val uereference ParameterizedValueSetType: = SimpleDefinedType ActualParameterList ParameterizedObjectClass:
23、 : = DefinedObjectClass ActualParameter List ParameterizedObjectSet: : = DefinedObj ectSet ActualParameter List ParameterizedObject : = DefinedObj ect ActualParameter List 9.3 Defined中的引用名称应是ParameterizedAssignment中对其产生赋值的引用名称。9.4 关于使用Defined替代记法的限制(在GB/T16262. 1和GB/T16262. 2中规定为标称)同样适用于相应的参数化引用名称。注
24、:大体上，限制如下:每个Defined有两种替代记法，即reference和.External Reference。前者在定义模块中使用，或如果己输入定义并且没有名称冲突时使用;后者在没有所列的输入(未赞同)或如果被输入的名称与本地定义之间(也未赞同)或在输入之间有冲突时使用。9.5 Actual Parameter List是z6 Actual Parameter List: : = Actual Parameter , + Actual Parameter , , = Type Value ValueSet GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 D
25、efinedObjectClass Object ObjectSet 9.6 对应ParameterizedAssignment中的每个Parameter应正好有个ActualParameter ，并且以同样的顺序出现。对ActualParameter和支配者(如果有)的具体选择应通过此Parameter的语法形式和它出现在ParameterizedAssignment的环境的检查予以确定。ActualParameter的形式应是取代其范围内每处的DummyReference所要求的形式(见8.的。示例:例如，可以引用前面示例(见8.5)的参数化客体类别定义如下:MY OBECT -CLASS
26、: : = PARAMETERIZED-OBECT-CLASS BIT STRING, 123 , 41516 9. 7 在确定正由使用参数化引用名的实例引用的实际类型、值、值集合、客体类别或客体集合时，实际参数代替虚设引用名称。9.8 出现在ActualParameter中任一引用的含义和默认适用于也是如此出现的任何标i己的标记，按照ActualParameter的标记环境而不是对应的DummyReference的标记环境予以确定。注:因此，参数化，尤其如引用、选择类型和COMPONENTOF的参数化，准确地说不是按照文字的替换。示例:假设有下列模块:Ml DEFINITIONS AUTOM
27、ATIC TAGS: =BEGEN EXPORTS Tl; Tl: =SET END f1 INTEGER, f2 BOOLEAN M2 DEFINITIONS EXPLICIT TAGS , , = BEGIN IMPORTS Tl FROM Ml ; T3: : = T2 Tl T2X: =SEQUENCE a INTEGER, b X END 应用9.8意味着T3的成分f1的标记(即T3.b. f1)将隐含地予以标记，因为虚设参数X(名义上明显标记)的标记环境不影响实际参数T1的成分的标记。假设有模块M3:M3 DEFINITIONS AUTOMATIC TAGS , , = BEGIN
28、 lMPORTS Tl FROM Ml; T5: =T4Tl T4 Y: : =SEQUENCE a INTEGER, b Y END 7 GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 应用GB/T16262. 1一2006的30.6意味着T5的成分b的标记(即T5.即将明显地予以标记，因为虚设参数Y总是明显地予以标记，因此T5等效于:而T3等效于:10 8 T5: =SEQUENCE a O IMPLICIT INTEGER , b l EXPLICIT SET fl O INTEGER , f2 lBOOLEAN 时的实际参数类别的客体集a)UNION(1
29、.3)的值总是1. 3，与a是什么值无关，若a是抽象语法的一个GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 A.1 使用参数化类型定义的示例附录A(资料性附录)示例假设一名协议设计者常常需要携带具有一个或多个协议字段的鉴别符。这将按BITSTRING携带(位于此宇段一侧)。没有参数化，AtorfltiE SE 产生任选的BITA.2 使用参数化定义以及信息害体类别的示例使用信息客体类别以集中抽象语法的所有参数。用此方法能使抽象语法的参数数目减少到收集类别的一个实例。可以使用InformationFromObject生成式提取参数客体中的信息。示例:一这种类别的
30、一个实例包含抽象语法Message-PDU的所有参数。MESSAGE- PARAMETERS: =CLASS &maximum-priority一level& maximum- message- buffer- size INTEGER, INTEGER, 9 GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 &. maxim um-refe.rence-buffer-size INTEGER WITH SYNT AX THE MAXIMUM PRIORITY LEVEL IS &.maximum-priority-level THE MAXIMUM MESSAG
31、E BUFFER SIZE IS &maximum-message-buff-er-slze THE MAXIMUM REFERENCE BUFFER SIZE IS &maximum-reference-buffer-size Value From Object生成式用来提供抽象语法参数Param一中的值。这些值只能用于约束中。一此外，此参数能一直被传送给另一个参数化类型。Message-一PDUMESSAGE-PARAMETERS:param: =SEQUENCE priority-Ievel INTEGER(O. param. &.maximum-priority-leveD , mes
32、sage BMPString(SIZE(O. param. &.maximum-message-buffer-size) , reference Reference param Reference MESSAGE-PARA岛ETERS: param : : = SEQUENCE OF IA5String(SIZE(0. . param. &maximum-reference-buffer-size) 一参数化抽象语法信息客体的定义。一此抽象语法参数只能用于约束。Message-Abstract-Syntax MESSAGE-P ARAMETERS: param ABSTRACT-SYNTAX:
33、 = Message-PDU param IDENTIFIED BY joint一iso-ccitt asnl(l) examples(l23)0 类别MESSAGE-PARAMETERS和参数化抽象语法客体message-Abstract-Syntax使用如下:一MASSAGE-PARAMETERS的实例定义此抽象语法的参数值。My-message-parameters MESSAGE-PARAMETERS: = THE肌AXIMU孔PRIORITY LEVEL IS 10 THE如1AXIMU肌4肌ESSAGEBUFFER SIZE IS 2000 THE MAXIMUM REFERENC
34、E BUFFER SIZE IS 100 一现在可用规定的可变约束定义此抽象语法。My-message-Abstract-Syntax ABSTRACT-SYNTAX: = message-Abstract-Syntax My-message-parameters A.3 菁限的参数化类型定义的示例当规定作为一个通用表形式的参数化类型时，规定此种类型会使产生的ASN.l记法是有限的方法。例如，我们规定:List1 ElementTypeParam : : = SEQUENCE 10 GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 elemElementTypeP
35、aram, next Listl ElementTypeParam OPTIONAL 为了使用下列形式时是有限的:IntegerListl: : = Listl INTEGER 产生的ASN.l记法正如它通常定义的解释zIntegerLst1: =SEQUENCE elem INTEG ER, next IntegerLstl OPTIONAL 将此与下列定义比较zList2 ElementTypeParam: =SEQUENCE elem ElementTypeParam, next Lst2OJ ElementTypeParam OPTIONAL IntegerList2: : = Lis
36、t2 INTEGER 在此场合，产生的ASN.l记法是无限的zIntegerList2: : = SEQUENCE elem INTEG ER, next SEQUENCE Elem 0 J INTEG ER , next SEQUENCE elem OJ OJ INTEGER, next SEQUENCE elem OJ OJ OJ INTEGER, next SEQUENCE 一等等 OPTIONAL OPTIONAL OPTIONAL OPTIONAL A.4 参数化值定义的示例如果定义参数化串值如下:genericBirthdayGreetingIA5String:name IA5St
37、ring: = Happy birthday , , name , ! 那么下面二个串值是相同的:greeringl IA5String: : = genericBirthdayGreeting J ohn greering2 IA5String: = Happy birthday,John! A.5 参数化值集合定义的示例如果定义二个参数化值集合如下:11 GB/T 16262. 4-2006/ISO/IEC 8824-4 :2002 QuestListl IA5String : extra QuestIA5String: : = Jack I John I extraQuest Quest
38、List2 IA5String : ExtraQuest IA5String: = J ac k I J ohn I extraQuest 那么下列值集合表示此相同的值集合:SetofQuestl IA5String: : = QuestListl J ill SetofQuest2 IA5String: : = QuestList2 J ill SetofQuest3 IA5String : : = J ack I J ohn I J ill 以及下列值集合表示此相同的值集合:SetofQuest4 IA5String : : = QuestList2 Jill Mary 集合引用时也是如此
39、。通过在对eterized V al ueSet Typ巳的引用能用作ValidErrorCGENE 可以使用如A.7 参数化害体集合定义的示例参数化客体集合定义AllType构成包含基本客体集合BaseType和以参数additionalType提供的附加客体集合的客体集合:12 All Types TYPE - IDENTIFIER: Addi tional Types TYPE - IDENTIFIER: : = BaseTypes l AdditionalTypes BaseTypes TYPE- IDENTIFIER: = BasicTypes-l IDENTIFIFD BY bas
40、ic-type-obj-id-value-l I BasicTypes-2 IDENTIFIFD BY basic-type-obj-id-value-2 I BasicTypes-3 IDENTIFIFD BY basic-type-obj-id-value-3- GB/T 16262.4一2006/ISO/IEC8824-4: 2002 参数化客体集合定义可使用如下:岛1Y-ALL-TypesTYPE-IDENTIFIER: = AllTypes MY-Type-l IDENTIFIED BY my-obj-id-value-l I MY -Type-2 IDENTIFIED BY my-
41、obj-id-value-2 I MY-Type-3 IDENTIFIED BY my-obj-id-value-3 A.8 参数化害体集合定义的示例TAX: := my-me 13 GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 附录B(资料性附录)记法综述在GBjT16262. 1-2006中定义了下列词项并用于本部分ztypereference valuereference - . . T T 1 1 1 在GBjT16262.2-2006中定义了下列词项并用于本部分:objectclassreference objectreference objects
42、etreference 在GBjT16262. 1-2006中定义了下列生成式并用于本部分:DefinedType DefinedValue Reference Type Value ValueSet 在GBjT16262.2-2006中定义了下列生成式并用于本部分:DefinedObjectClass DefinedObject DefinedObj ectSet ObjectClass Object ObjectSet 本部分中定义了下列生成式:ParameterizedAssignment : = ParameterizedTypeAssignment ParameterizedValu
43、eAssignment I ParameterizedValueSetTypeAssignment I ParameterizedObjectClassAssignment ParameterizedObjectAssignment ParameterizedObjectSetAssignment ParameterizedTypeAssignment : = typereference ParameterList : = Type ParameterizedValueAssignment : : = valuereference ParameterList Type : = 11 Value
44、 ParameterizedValueSetTypeAssignment : = 14 GB/T 16262. 4-2006/ISO/IEC 8824-4: 2002 typereference ParameterList Type : = ValueSet ParameterizedObjectClassAssignment : = 。bj配tcl副sreferenceParameterList : = ObjectClass ParameterizedObjectAssignment : : = obj配treferenceParameterList DefinedObjectClass
45、: : = Object ParameterizedObjectSetAssignment : = objectsetreference ParameterList DefinedObjectCJass : = 。时ectSetParameterList : : = Parameter + Parameter : : = ParamGovernor : DummyReference I DummyReference ParamGovernor : : = Governor I DummyGovernor Governor : : = Type I DefinedObjectClass Dumm
46、yGovernor : : = DummyReference DummyReference : : = Reference ParameterizedReference : : = Reference I Reference SimpleDefinedType : : = ExternalTypeReference I typereference SimpleDefinedValue : = ExternalValueReference I valuereference ParameterizedType : : = SimpleDefinedType ActualParameterList
47、ParameterizedValue : = SimpleDefinedValue ActualParameterList ParameterizedValueSetType : : = SimpleDefinedType ActualParameterList ParameterizedObjectClass : = DefinedObjectClass ActualParameterList ParameterizedObjectSet : = DefinedObjectSet ActualParameterList ParameterizedObject : = DefinedObject ActualParameterList ActualParameterList : = ActualParameter . + ActualPar田neter: : = Type I Value I ValueSet I DefinedObjectClass I Object I ObjectSet NOONdt叮N国。回国CON-守.NNFH阁。华人民共和国家标准信息技术抽象语法记法-(ASN.1)第4部分:
