抽象記法

ＡＳＮ．１はデータ型を記述する記述言語であり、基本的なデータ型を元に新しいデータ型を定義できます。 例えば、電話番号を表す新たなデータ型（TelephoneNumber）を、 すでに定義してある数字列型（NumericString）で定義する場合、以下の様に記述します。

TelephoneNumber ::= NumericString

ＡＳＮ．１では基本的なデータ型を組み合わせたり、制限をつけたりして新たなデータ型を定義できます。 例えば、電話番号を３〜１１桁の数字列型（NumericString）で定義する場合、以下の様に記述します。

TelephoneNumber ::= NumericString (SIZE(3..11))

1. 単純型

数値や文字列の様な構造上分解できないデータ型を単純型（あるいは基本型）といいます。 主な単純型のデータ型としては、以下のものがあります。

Day ::= ENUMERATED { monday(0), tuesday, wednesday,
thursday, friday, saturday, sunday }

2. 構造型

一方１つ上のデータ型が何層にも組合わさった複雑な形のデータ型を構造型といいます。 例えば氏名、電話番号、fax番号の情報を持つ電話帳のデータ型を定義する場合、以下の様に記述します。

　TelephoneNumberRecord ::= SET {
　　name VisibleString,
　　tel TelephoneNumber,
　　fax TelephoneNumber }

主な構造型のデータ型としては、以下のものがあります。

Credit-card ::= SEQUENCE { number NumericString (SIZE (20)),
  expiry-date NumericString (SIZE (6)) -- MMYYYY -- }

Point ::= SEQUENCE { x INTEGER, y INTEGER }

Line ::= SEQUENCE OF Point

Human ::= SET { name PrintableString, age INTEGER}

PrimeNumber ::= SET OF INTEGER

EXTERNAL ::= [UNIVERSAL 8] IMPLICIT SEQUENCE {
  direct-reference OBJECT IDENTIFIER OPTIONAL,
  indirect-reference INTEGER OPTIONAL,
  data-value-descriptor ObjectDescriptor OPTIONAL,
  encoding CHOICE {
    single-ASN1-type [0] ANY,
    octet-aligned [1] IMPLICIT OCTET STRING,
    arbitrary [2] IMPLICIT BIT STRING }}

集合型(SET)などの構造型のデータ型ではOPTIONAL指定をすることで省略可能なデータを指定することができます。

3. タグ

型には、曖昧になる事を避けるために、タグを付ける事が出来ます。 特に、選択型(CHOICE)の選択肢に同じ型がある場合（例えば、整数型の「年齢」と整数型の「学年」が選択できる場合）や 順序列型(SEQUENCE)や集合型(SET)において省略可能な要素がある場合に、 省略することでデータが曖昧になることを避けるために各要素にタグをつけることができます。 タグは鍵括弧で括って記述します。 例えば住所や電話番号の省略ができるデータ型を定義する場合、以下の様に記述します。

　TelephoneNumberRecord ::= SET {
　　name VisibleString,
　　country [1] VisibleString OPTIONAL,
　　states [2] VisibleString OPTIONAL,
　　tel [2] TelephoneNumber OPTIONAL,
　　fax [3] TelephoneNumber OPTIONAL }

ＡＳＮ．１では４区分のタグが存在しています。

○汎用クラス：[UNIVERSAL 数]

汎用クラスは汎用的なデータを扱いＡＳＮ．１の標準文書の中でのみ定義されます。 整数型、オクイテット列型、実数型、列挙型等が定義されています。

○応用クラス：[APPLICATION 数]

ある特定のアプリケーション内でのみ使用するデータ型に対して使用します。

○文脈特定クラス：[数]

このクラスは定義されているデータ型内でのみ意味をもちます。 一般的には文脈特定クラスが用いられます。

○私用クラス：[PRIVATE 数]

このクラスは相互に合意している特定の企業、団体のなかで限定して使います。 既存のプロトコルをあるプロジェクト内で私的に拡張するような場合に用います。

汎用クラスでのタグ番号は以下の通りです。なお、選択型に対するタグ番号はありません。

4. 部分型

部分型あるいは制約と呼ばれるものは、親の型から特定の制約を付けて部分型を作ったものです。 部分型の定義は以下の様に、親の型の後に括弧で制限条件を書きます。

部分型 ::= 親型 ( 制限  )

但し、SET OF やSEQUENCE OFでは、OFの後に来る型との制限の混同を避けるために、 SETやSEQUENCE自身の制限はOFの前に書きます。 例えば、長さ１〜１０文字の文字列が、１〜５０個含まれる集合は、以下の様になります。

　MemberList ::= SET SIZE(1..50) OF String(SIZE(1..10))

前のSIZEはSETの要素数を制限し、後のSIZEはStringの文字数を制限します。 制限には、部分型制限と一般制限があります。 一般制限はＡＳＮ．１　仕様で記述しきれない実装上の制約を記載する事もできますが、 説明は省略します （というか理解しきれない）。 部分型制限は、基本的な制限要素と、制限要素の組合せ（演算）によって記載します。

和演算(UNION)

制限 | 制限 又は 制限 UNION 制限
下記の単一値制限や、値域制限を組み合わせる場合などにつかいます。

PrimeNumbers ::= INTEGER ( 2 | 3 | 5 | 7 | 11 | 13 )
PushButtonDial ::= IA5String ("0"|"1"|"2"|"3"|"4"|"5"|"6"|"7"|"8"|"9"|"*"|"#")
  -- PushButtonDialは１文字の文字列です。

積演算(INTERSECTION)

制限 ^ 制限 又は 制限 INTERSECTION 制限
実際には部分型をさらに制限して部分型を定義しても同じです。例えば次の２つは等価です。

Example1 ::= INTEGER((1..10) ^ (5..15))
Example1 ::= INTEGER(1..10)(5..15)

排他演算(EXCEPT)

制限 EXCEPT 制限

除外演算(ALL EXCEPT)

ALL EXCEPT 制限

単一値

親型の特定の値だけをとります。

包含

INCLUDES 親型
親タイプと同じ部分型です。親型は部分型でもかまいません。 １９９４年以降のＡＳＮ．１でINCLUDESは省略可能になりました。

値域

下限..上限
親型の特定の値の範囲だけをとります。 下限がない場合は、MINを使用し、上限がない場合はMAXを使います。

Interval ::= INTEGER (0..12)

サイズ制限

SIZE(制限値)
制限値の単位は、ビット列ではビット、オクテット列ではオクテット、文字列は文字、 SET OFやSEQUENCE OFでは要素の数になります。 制限値は、特定の値や値域などです。

name ::= PrintableString (SIZE (1..20)),
Matrix ::= SEQUENCE SIZE (6) OF SEQUENCE SIZE (6) OF INTEGER(-100..100)
-- Matrixは６×６行列で、各値は-100〜100の整数である行列

許容アルファベット

FROM 部分型
文字列型でのみ使用でき、文字列で使える文字を部分型で指定する特定の文字に制限します。

CapitalLettersAndSpaces ::=
  PrintableString (FROM ("A".."Z"|" "))

内部部分型

WITH COMPONENTS 部分型
WITH COMPONENTS { 型制限, 型制限, 型制限}
WITH COMPONENTS { ..., 型制限}
構造型の型で内部要素を制限します。 １番目の表記は単一の型からなる構造型データに使用し、構成要素を特定の部分型に制限します。 ２番目と３番目は複数の要素からなる構造型データに使用します。 例えば、各行が１〜３２文字で、３〜６行からなるアドレスは、以下の用に定義します。

TextBlock ::= SEQUENCE OF VisibleString
Address ::= TextBlock (SIZE (3..6))(WITH COMPONENT (SIZE (1..32)))

5. 拡張制約

上記の制約は、基本となる制限の規定の後に、拡張マーク("...")を付ける事で、将来拡張可能なります。 拡張が規定された場合は、拡張マークの後に、拡張された制限を記載します。 複数の拡張がある場合、拡張マーク("...")を複数付ける事で複数回の拡張を明示することもできるようです （ＡＳＮ．１の版数によって多少異なる模様）。

例: A ::= INTEGER (0..10, ...)
例: A ::= INTEGER (0..10, ..., 12)
例: RadioButton ::= ENUMERATED { button1, button2, button3, ... }
例: RadioButton ::= ENUMERATED { button1, button2, button3, ..., button4, button5 }

SEQUENCEやSETやCHOICEにおいて、複数回数の拡張が行われた場合、 ＡＳＮ．１仕様から明確に拡張回数を読み取れるようにす るために、 １回の拡張で追加した要素をまとめて２重の鍵括弧で囲みます （追加要素が１つの場合は、囲んでも囲まなくてもよい）。 ＡＳＮ．１のデコーダはＡＳＮ．１仕様書の２重鍵括弧を識別して、 どのバージョンのメッセージが使われているかを識別し、 必須要素が欠けている場合にエラーを出すことが可能です。

例:Dimensions ::= SET { x INTEGER,
                 y INTEGER,
                 ...,
                 z INTEGER } -- version 2
例：Afters ::= CHOICE { cheese IA5String,
                 dessert IA5String,
                 ...,
                 [[ coffee NULL ]] } -- version 2
例：Afters ::= CHOICE { cheese IA5String,
                 dessert IA5String,
                 ...,
                 [[ coffee NULL,
                    tea NULL ]] , -- version 2
                 [[ cognac IA5String ]] } -- version 3
例：Type ::= SEQUENCE { component1 INTEGER,
                 component2 BOOLEAN, -- version 1
                 ... }
例：Type ::= SEQUENCE { component1 INTEGER,

                 component2 BOOLEAN,
                 ...,
                 [[ component3 REAL ]], -- version 2
                 ... }

ＡＳＮ．１モジュールで EXTENSIBILITY IMPLIEDが指定されている場合、 選択型(CHOICE)と列挙型(ENUMERATED)と順序列型(SEQUENCE)と集合型(SET)は 拡張マークを含んでいると解釈します。