JPH05224949A - 高水準形態抽象構文を中間形態へ変換する方法及び装置 - Google Patents

Abstract

(57)【要約】 【目的】 抽象構文を再コンパイルせずに中間水準形態
へ変換する。 【構成】 ＡＳＮ．１定義モジュールの表現を処理する
ための方法及び装置。コンパイラは、高水準テキスト形
態のＡＳＮ．１定義モジュールを受け取る。ＡＳＮ．１
定義モジュールを変換するための唯一のルーチン組を用
い、コンパイラは高水準テキスト形態を基本符号化規則
（ＢＥＲ）値から成る中間形態へ変換する。その後、中
間形態のユーザは、適用プログラム内へコンパイルされ
た複数機能から任意のものを実行し、これによって中間
形態中のＡＳＮ．１定義モジュールの内容を処理及び表
示する。適用プログラム内に設けられた特殊機能は、Ａ
ＳＮ．１定義の中間形態を逆コンパイルして高水準テキ
スト形態を得るというオプションである。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、概略的には情報を高水
準命令コードから中間水準命令コードへ変換するための
装置及び方法、具体的には抽象構文表記法１（ＡＳＮ．
１）型指定言語を用いて記述される抽象型定義とも呼ば
れる高水準型抽象構文を中間形式に変換するための装置
及び方法に関する。中間形式は、その後演算装置により
適用プログラム内で解釈的方法にて実行され、及び／ま
たは原高水準抽象型定義へ再変換される。

【０００２】

【従来の技術】コンピュータ命令を高水準形式で記述す
る能力をもつコンピュータプログラマーには、プログラ
ミングツールを与えることが望ましい。高水準型プログ
ラミング命令に伴って得られる利点は、ベーシック、パ
スカル、フォートラン、コボル及びＣ等、周知の高水準
プログラミング言語により得られる。プログラマーの視
点から言えば、高水準型プログラミング命令は低水準の
符号化命令よりも、通常より多くの集中されたプログラ
ム情報を含有しており、また我々人間の話す言語により
近いものであるから、人間にとって読みやすいといえ
る。従って、高水準プログラムは、調査も行いやすい。
また、プログラマにとっては、集中した情報によって、
与えられた特定の機能または処理をより短いシーケンス
でコンピュータに実行させるよう設定可能となる。従っ
て、適用プログラムエントリー時間を短縮できる。これ
らの理由により、プログラマーは、一般に使用されてい
るより低水準シーケンス及び低集中の命令の代わりに、
高水準のプログラミング命令を使用することを好む場合
が多い。

【０００３】実行的視点から見れば、コンピュータプロ
グラミング命令は、プログラムにより与えられた命令シ
ーケンスを現実に実行するためにコンピュータハードウ
ァアによりすぐ使用できる形態にできるだけ近い方が望
ましいわけである。コンピュータプログラミング命令の
最も低い形態は、適用プログラムを実行する特定ハード
ウェア構成及び作動システムに対応した所定長のセット
にまとめられた論理値組である。コンピュータで使用さ
れるコンピュータプログラミング命令がこの形態に近づ
けば近づくほど、コンピュータのプログラム処理速度が
増大する。理由は、命令を機械による読み取り可能形態
とするために要する変換処理がより少なくて済むからで
ある。更に、符号化されたコンピュータプログラム命令
が低レベル形態へブレークダウンされればされるほど、
命令シーケンスを実行する命令解釈システムを簡素化で
きることになる。また、低水準符号化コンピュータプロ
グラミング命令は、高水準符号化形態では不可能な詳細
制御情報を与えることができるので、デバッグが行われ
るような状況下に適している。

【０００４】以上の説明より、符号化コンピュータプロ
グラミング命令における各水準は、それぞれ他の水準で
は得られない固有の利点をもつことが理解される。従っ
て、プログラマーにとっては、高水準言語の形態で適用
プログラムを生成し、その後適用プログラムの高水準記
述を低水準形態に変換して特定のコンピュータハードウ
ェア内で適用プログラムを迅速に実行すると共にデバッ
グ処理性能を向上させるという手順が好適となる。この
ため、コンパイラは、高水準符号化プログラミング命令
を低レベル命令へ変換するように構成されている。先に
列挙した高水準プログラミング言語の各々は、高水準プ
ログラミング命令をコンピュータ内での実行に適した低
水準形態へ変換するコンパイラまたは解釈プログラムと
協働するようになっている。

【０００５】

【発明が解決しようとする課題】低水準コンピュータプ
ログラミング命令を高水準へ変換する逆コンパイラ及び
プログラムも、ある程度開発されている。こうした逆コ
ンパイラは、低水準コンピュータプログラミング命令の
認識されたパターンを高水準形態へ変換する機能をも
つ。しかし、多くの逆コンパイラで生成される高水準形
態は、最初に低水準形態を生成した高水準形態とは同一
にはならないというのが実状であった。従来技術におけ
る符号化構造は、ＡＳＣＩＩ符号化ＢＡＳＩＣ命令を機
械コードへ変換する形式であった。この機械コードは、
要求に応じてＡＳＣＩＩコードへ再変換される。この符
号化構成は、命令の表現を変えるに過ぎず、情報の構造
またはフォーマットをより効率よく実行できる形態に解
釈したり変更するものではない。この従来技術構造は、
変換プログラムを提示するにすぎず、実際の変換された
ＡＳＣＩＩテキストに加えて関連情報を記憶するコンパ
イラ構造ではない。

【０００６】コンパイラは、ＡＳＮ．１抽象構文を構文
テーブル等の中間形態へ翻訳するものとして知られてい
る。構文テーブルは、構文木が記憶されるデータ構造で
ある。構文テーブルは、その後実行時間ライブラリルー
チンによる制御の下で、直接実行される。他の周知のコ
ンパイラでは、ＡＳＮ．１抽象構文をＣデータ構造へ変
換し、またＡＳＮ．１基礎符号化規則（ＢＥＲ）値に対
してＣデータ構造の符号化及び複号化を行うためのＣプ
ログラム言語を発生する。しかし、これら従来のＡＳ
Ｎ．１コンパイラは、中間形態から原高水準テキスト形
態を派生させるために高水準形態を適切な中間形態へ変
換することは行わない。

【０００７】周知の従来構文では、命令シーケンスの機
械言語へのコンパイルには、少なくとも２つのプログラ
ムシーケンスのコピーを維持する必要がある。即ち、一
のコピーはプログラムの各水準に対するものである。こ
れは、コンパイルされた形態から原形態を復元するの
は、若干の例外を除いて不可能だからである。機械実行
可能性の低い形態から原高機械実行性の形態への変換が
不可能なのは、中間形態には特定（具体的な）構造情報
が存在しないからである。従来の機械実行可能な形態
は、中間形態表現の相互関係を定める情報が欠落してい
る。

【０００８】従来システムでは、高水準抽象型定義、具
体的にはＡＳＮ．１特定抽象型定義を解釈プログラムで
使用する中間形態へ変換するための手段を備えていなか
った。これにより、中間形態は原高水準形態へ逆変換さ
れることとなる。ＡＳＮ．１符号化された抽象型定義を
用いる時は、デジタルイクイップメント社により提供さ
れ当業者に周知のサービスブラウザ（ＤＥＣｄｎｓ ブ
ラウザ）と命名され普及している解釈手段を用いて、与
えられ指名された目的に関する値を直接表示することが
望ましい。また、対応抽象型定義を再コンパイリングす
ることなく与えられた対象物に対応した値を直接表示及
び変更できることが望ましい。更に、抽象型定義を逆コ
ンパイルし、これによって中間水準に符号化された抽象
型定義からより高い形態の抽象型定義を再生成できるこ
とが望ましい。

【０００９】

【課題を解決するための手段】本発明は、抽出構文を高
水準から解釈方法に適した中間水準へ変換するための方
法を提供するものである。高水準形態は、通常の高水準
プログラミング言語の時間節約プログラミングという効
果を提供するものである。高水準抽象型定義は、解釈方
法によってハードウェア上で実行されるのには適してい
ない。しかし、中間水準形態であれば、ＡＳＮ．１解釈
者により周知の解釈方法で使用されるＡＳＮ．１テキス
トに特定された抽象型定義符号化の形態を提供できる。

【００１０】「対象物」とは、確認でき、且つデイレク
トリデータベース内に情報を保持したいものである。対
象物の「類」とは、共有特徴をもつ対象物の組である。
「属性」は、対象物に関しそしてその対象を記載したエ
ントリーに現れる特定形式の情報である。「属性タイ
プ」は、その属性によって与えられる情報の類を示す属
性成分である。「属性値」とは、属性タイプによって示
された情報の類の特性の例である。本発明のコンパイラ
の文脈中の「属性構文」は、各属性に対するその下位に
あるＡＳＮ．１データ型を記載した定義の組である。

【００１１】ここに記載した本発明装置は、ユーザに対
して抽象定義を示す及び／または変更可能とする既存Ａ
ＳＮ．１コンパイラへの改良に関する。本発明を実施し
た装置プログラムのユーザは、これらの改良を装置プロ
グラム内に含まれた抽象型へ入力し、この装置プログラ
ムは解釈モードで作動する。ここで述べる装置及び方法
は、「ソフトスキーマ」と呼ばれる特殊な特徴を与える
ために対象物のデイレクトリに使用されるのに適してい
る。ソフトスキーマは、解釈モード中に作動するコンピ
ュータ内で実行されるのに適したフォーマットで抽象型
定義を表すことを可能にし、これはプログラマが既存抽
象型定義を変更するかシステムに新たな抽象型定義を付
加する時に、抽象型定義の再コンパイルまたは再リンク
を必要としないような方法で行われる。本発明のこの利
点は、新たな属性に対する抽象型定義が特定されるか或
いは対象物に対する前の既存の属性に対する抽象型定義
が変更される時にはいつでも装置の再コンパイル及び再
リンクを必要とするコンパイル形態とは異なり、対象物
に対する既存属性をデバッグ及び変更するときにプログ
ラマーにかなりの時間節約を可能とする。装置を再コン
パイル及び再リンクすることは常に可能とは限らず、例
えばもし装置が顧客側で展開されてしまっているときは
できない。従って、ソフトスキーマは、前述のネットワ
ークデイレクトリのユーザに対してかなりの利益を提供
するものである。

【００１２】本発明は、概略的には抽象構文表記法１
（ＡＳＮ．１）を中間水準符号化形態から高水準テキス
ト形態ＡＳＮ．１定義へ変換するための方法及び装置に
関するもので、前記中間水準符号化ＡＳＮ．１定義を受
信及び記憶するメモリ手段と、前記中間水準符号化ＡＳ
Ｎ．１定義を前記高水準テキスト形態ＡＳＮ．１定義へ
変換するための逆コンパイラ手段と、前記メモリ手段と
逆コンパイラ手段とを接続するためのバス手段と、を含
む。

【００１３】

【作用】本発明に使用されている特定プログラミング言
語は、コンピュータプログラミング技術では抽象構文表
記法１（ＡＳＮ．１）として知られている。ＡＳＮ．１
は、抽象データタイプを定めるためのフォーマルツール
として使用される。ＡＳＮ．１は、抽象タイプ定義を定
めるためにのみ用いられ、該タイプと値を定めるにのみ
十分な大きさの語彙をもつに過ぎないという点で、Ｃ及
びパスカル等の周知プログラミング言語とは異なる。

【００１４】転送構文は、ＡＳＮ．１言語中で特定され
た各抽象型定義に含まれるタイプの値を符号化するため
の規則の組を与えるものである。このような転送構文の
一つが、周知の基本符号化規則（ＢＥＲ）転送構文であ
る。ここで述べる機能は、高水準形態を介しては使用で
きない中間形態のユーザに与えられる。付加された実行
性能利点に加え、本発明に係る中間形態は、ＤＥＣｄｎ
ｓ ブラウザ、Ｘ．５００ ブラウザユーチリテイ及び
他の類似ユーテイリテイを使用することにより、ユーザ
に対して関連抽象型定義情報を表示及び変更するための
より効果的な方法を提供するものである。

【００１５】ＤＥＣｄｎｓ製品は、コンピュータシステ
ムにおける対象物に関する情報を含んだデイレクトリサ
ービスである。「ＤＥＣｄｎｓ ブラウザ」は、ユーザ
に対してデイレクトリデータベースを検査することを可
能にするＤＥＣｄｎｓと共に使用される表示ツールであ
る。ＤＥＣ Ｘ．５００製品は、Ｘ．５００、または国
際標準機構（ＩＳＯ ９５９４）、国際標準に従って実
行されるデイレクトリサービスである。「Ｘ．５００デ
イレクトリ」は、コンピュータシステムにおける対象物
に関する情報の保存部である。この保存情報は、デイレ
クトリ情報ベース（ＤＩＢ）中に含まれている。デイレ
クトリ中の各対象物は、それに関する属性組を有する。
これらの属性は、対象物の特性を表したものである。各
属性値は、特定の属性構文に合致している。ＤＥＣ
Ｘ．５００ブラウザは、デイレクトリ情報木（ＤＩＴ）
中のデイレクトリエントリを対話形式で検査する表示ツ
ールである。

【００１６】プログラマは、抽象型定義を視認したい時
に、プログラムを高い水準へ変換することができる。高
水準形態は通常プログラマにとってもっとも習熟したも
のであるから、抽象型定義がその形態で表されることが
プログラマにとって適切である。本発明における逆コン
パイラは中間形態から原高水準形態を発生する性能を持
つので、現時点で符号化された命令の単一のコピーのみ
が任意時点で必要とされることとなる。これにより、記
憶スペースを大幅に節約できることとなる。更に、種々
の水準形態で表されたプログラムの多コピー間に生じる
純一性の問題が回避される。

【００１７】ＤＥＣ普及命名サービス（ＤＥＣｄｎｓ）
及びＤＥＣのＸ．５００デイレクトリ実行サービス双方
において、コンパイラはＡＳＮ．１データタイプ仕様言
語で特定された高水準形態の抽象型定義を中間形態へ変
換する。Ｘ．５００デイレクトリサービスのＤＥＣバー
ジョンでは、中間形態はＸ．５００デイレクトリスキー
マ内に記憶される。ＤＥＣｄｎｓでは、中間形態はＤＥ
Ｃｄｎｓデータベース自体内に記憶される。高水準形態
は中間形態から復元されるので、ＡＳＮ．１符号化抽象
型定義の高水準は、中間形態が生成された後に保存され
る必要はない。中間形態は、より早い照明によってＤＥ
Ｃ Ｘ．５００デイレクトリ更新サービスの向上した実
行を提供する。その属性値は、それらに対して特定され
た抽象型定義に対して正確且つ完全に割当て設定され且
つ合致する。加えて、新たな抽象型定義は、Ｘ．５００
スキーマまたはＤＥＣｄｎｓデイレクトリに付加するこ
とができ、その各ブラウザユーテイリテイで使用するこ
とができる。Ｘ．５００スキーマの場合、属性構文は、
Ｘ．５００またはＤＥＣｄｎｓアプリケーション及びブ
ラウザを再コンパイル／再リンクする必要なく実行され
る。

【００１８】先に述べたように、本発明に使用される目
的の特定解析プログラムは、ＤＥＣ分布命名サービス
（ＤＥＣｄｎｓ）ブラウザである。これは、対象物の階
層命名スペースをサーチするためにデジタルイクイップ
メント社により提供されている周知のユーテイリテイで
あり、これらの目的に対する名前と属性を表示する。そ
して、当業界では周知でありＸ．５００デイレクトリ中
の目的のサーチ及び目的の名前及び属性を表示するため
に使用されるＸ．５００ブラウザのＤＥＣのインプリメ
ンテーションである。これらの各ユーテイリテイにより
提供される解釈機能は、非タイプ型バイト列へ構造及び
フォーマットを適用することであり、これによって非タ
イプ型バイト列が一組のタイプ型フィールドに変換され
る。一方、これによってＤＮＳ及びＸ．５００ユーテイ
リテイのユーザは属性値を効率的且つユーザによってフ
レンドリな形態で表示することが可能となる。更に、本
発明は、属性に対して特定された抽象型定義の効率良い
実行を介してＸ．５００デイレクトリ更新サービスをよ
り高速度で実行するために使用される。

【００１９】

【実施例】本発明の好適な実施例を示した図１におい
て、ＡＳＮ．１定義のテキストバージョンは、適切なコ
ンピュータのメモリへ入力され、これによってコンパイ
ル処理の実行、中間水準符号化形態を使用する対話型ユ
ーザプログラムの支持、そして当業者にとって周知の方
法で中間形態からＡＳＮ．１の高水準テキスト形態の再
発生を実行する。このように、本発明を記載するために
使用される一般的コンピュータ装置は、説明の便宜上使
用されたものであり、他の適切なコンピュータシステム
も当業者には周知である。

【００２０】システムユーザは、高水準テキストＡＳ
Ｎ．１定義をユーザインターフェース２を介してシステ
ムバス８によってコンピュータ施設６のメモリユニット
４へ入力する。以下に述べるコンパイル処理を援用する
ための適切なコマンドを受信すると、中央処理装置（Ｃ
ＰＵ）１０は、バス８上のＡＳＮ．１定義の高水準テキ
スト形態をＣＰＵ１０の局部メモリ１２へ転送する。そ
の後、ＣＰＵ１０は以下に述べるコンパイルルーチンを
実行し、高水準形態ＡＳＮ．１定義の中間ＢＥＲ符号化
形態を生成する。次いで、ＣＰＵ１０はシステムバス８
上の中間水準ＡＳＮ．１定義を局部メモリ１２からメモ
リユニット４へ戻すよう転送する。

【００２１】中間形態のユニークな特質である原高水準
テキスト形態を再発生する性能により、任意時点におい
てＡＳＮ．１定義の単一コピーのみを維持するという有
利なオプションをコンピュータ装置へ提供することにな
る。従って、ＣＰＵ１０は、中間形態を発生した後、Ａ
ＳＮ．１定義の原高水準テキスト形態を廃棄する。ＣＰ
Ｕ１０はユーザインターフェース２及びシステムバス８
と協働し、ユーザに対してＡＳＮ．１定義の中間形態を
使用するための幾つかの周知アプリケーションを提供す
る。これらのアプリケーションは、後にもっと完全に説
明する。

【００２２】システムユーザに提供される一つの選択
は、中間形態からのＡＳＮ．１定義の原高水準形態を再
発生するという選択である。システムバス８上に適切な
コマンドを受信すると、ＣＰＵ１０は以下に述べる一組
の逆コンパイルルーチンによって中間水準形態を原高水
準テキスト形態（原コメントなく）へ変換する。もしユ
ーザが望むのであれば、ＡＳＮ．１定義の高水準形態は
メモリ４中に保存され、そして中間水準形態は演算装置
６によって廃棄されることとなる。

【００２３】ＡＳＮ．１表記法の概要 抽象構文表記法１（ＡＳＮ．１）は、抽象型定義を特定
するための周知の標準であり、これらは抽象構文とも呼
ばれる。この標準は、プログラマによって一組のデータ
構造プリミテイブから複合データタイプを特定するため
に使用される。ＡＳＮ．１は、国際標準化機構（ＩＳ
Ｏ）により国際標準として形式化され、国際電気技術委
員会により採用されてきた。

【００２４】ＡＳＮ．１は、ＢＯＯＬＥＡＮ（ブー
ル）、ＩＮＴＥＧＥＲ（整数）、ＢＩＴＳＴＲＩＮＧ
（ビット列）、ＯＣＴＥＴＳＴＲＩＮＧ（オクテット
列）、そして他のプリミテイブデータタイプを含む。Ａ
ＳＮ．１はまた、ＳＥＱＵＥＮＣＥ（シーケンス）、Ｓ
ＥＴ（セット）、ＣＨＯＩＣＥ（チョイス）、ＳＥＱＵ
ＥＮＣＥ ＯＦ）（シーケンスオブ）、及びＳＥＴ Ｏ
Ｆ（セットオブ）等のコンストラクターデータタイプも
含む。“ＳＥＱＵＥＮＣＥ”データタイプは、ＰＡＳＣ
ＡＬ“record" に対する。ＳＥＱＵＥＮＣＥは、所定組
のフィールドを含む。ＳＥＱＵＥＮＣＥを用いて、プロ
グラマは他のタイプの任意シリーズから新たなタイプを
構築する。ＳＥＱＵＥＮＣＥ ＯＦはＳＥＱＵＥＮＣＥ
に類似した他のタイプであるが、それぞれが同じタイプ
の０またはそれ以上の値の任意に定められた長さのシリ
ーズである点が異なる。“ＣＨＯＩＣＥ”構造は、定義
中に列挙された特定タイプのリストから値を選択するこ
とを提供するものである。“ＳＥＴ”タイプはＳＥＱＵ
ＥＮＣＥに類似している。しかし、ＳＥＴ構造は、フィ
ールドを任意の順序で現出させる。ＳＥＴ ＯＦはＳＥ
ＱＵＥＮＣＥ ＯＦに類似しているが、ＳＥＴ ＯＦ構
造は値を任意の順序で現れさせる点が異なる。最後に、
ＮＵＬＬタイプは空値即ち無を表すＡＳＮ．１タイプで
ある。これら予め定められた各タイプは、許容された産
業標準において記載された所定のタッグを有する。ＡＳ
Ｎ．１ユーザが予め定められたタイプの一から派生した
新たなタイプを特定すると、新たなタイプは予め定めら
れたタイプと同じタッグをもつこととなる。或いは、ユ
ーザは派生したタグへ新たなタグを割り当てることもで
きる。

【００２５】ＡＳＮ．１標準はまた、基本符号化規則
（ＢＥＲ）をも特定する。ＡＳＮ．１標準（ＩＳＯ ８
８２４）は、抽象型及び値を特定するための表記法を提
供するものである。ＢＥＲは、ＡＳＮ．１中に特定され
た型と値を符号化するための一組の規則を与えるもので
ある。 中間形態の記載 下に掲げた表Ａに記載した中間形態のための抽象構文定
義は、本発明の好適な実施例に対する中間形態を提供す
るものである。表ＡにおいてＡＳＮ．１の定義は、ＩＳ
Ｏ国際標準（ＩＳＯ ８８２４，１９８７）の Annex F
から再生された以下に示す表Ｂに記載されたＩＳＯ標準
で使用された製品から派生したものでありる。これらの
構文定義は、ＡＳＮ．１表記法の形態で記載され、中間
形態の抽象型を記載したものである。

【００２６】 表Ａ 中間形態に対する構文定義 ＡＳＮ１項目列 ：：＝ オクテット列 タイプ基準 ：：＝ ［０］ 暗黙 ＡＳＮ１項目列 識別子 ：：＝ ［１］ 暗黙 ＡＳＮ１項目列 値基準 ：：＝ ［２］ 暗黙 ＡＳＮ１項目列 モジュール基準 ：：＝ ［３］ 暗黙 ＡＳＮ１項目列 番号 ：：＝ ［４］ 暗黙 ＡＳＮ１項目列 Ｂ列 ：：＝ ［５］ 暗黙 ＡＳＮ１項目列 Ｈ列 ：：＝ ［６］ 暗黙 ＡＳＮ１項目列 Ｃ列 ：：＝ ［７］ 暗黙 ＡＳＮ１項目列 モジュール定義 ：：＝ シーケンス ｛ モジュール基準 モジュールボデイ ｝ モジュールボデイ ：：＝ シーケンス ｛ チョイス ｛ ［０］ 割当リスト ［１］ ０ ｝ ｝ 割当リスト ：：＝ 割当の シーケンス ：：＝ チョイス ｛ ［０］ 暗黙 タイプ割当 ［１］ 暗黙 値割当 ｝ 外部タイプ基準 ：：＝ シーケンス ｛ モジュール基準、 タイプ基準 ｝ 外部値基準 ：：＝ シーケンス ｛ モジュール基準、 値基準 ｝ 定義タイプ ：：＝ シーケンス ｛ チョイス ｛ ［０］ 暗黙外部タイプ基準 ［１］ 暗黙タイプ基準 ｝ ｝ 定義値 ：：＝ シーケンス ｛ チョイス ｛ ［０］ 暗黙外部値基準 ［１］ 暗黙値基準 ｝ ｝ タイプ割当 ：：＝ シーケンス ｛ タイプ基準、 タイプ ｝ 値割当 ：：＝ シーケンス ｛ 値基準、 シーケンス ｛ タイプ、 値 ｝ ｝ タイプ ：：＝ シーケンス ｛ チョイス ｛ ［０］ 暗黙組込タイプ ［１］ 暗黙特定タイプ ｝ ｝ 組込タイプ ：：＝ シーケンス ｛ チョイス ｛ −−各組込タイプに対して一 ［０］暗黙 ブールタイプ ［１］暗黙 整数タイプ ［２］暗黙 ビット列タイプ ［３］暗黙 オクテット列タイプ ［４］暗黙 ゼロタイプ ［５］暗黙 シーケンスタイプ ［６］暗黙 シーケンスオブタイプ ［７］暗黙 セットタイプ ［８］暗黙 セットオブタイプ ［９］暗黙 チョイスタイプ ［１０］暗黙 選択タイプ ［１１］暗黙 タッグタイプ ［１２］暗黙 任意タイプ ［１３］暗黙 対象物確認タイプ ［１４］暗黙 文字列タイプ ［１５］暗黙 有用タイプ ｝ ｝ 命名タイプ：：＝ シーケンス ｛ チョイス ｛ ［０］暗黙 名前タイプ ［１］暗黙 タイプ ［２］暗黙 選択タイプ ｝ ｝ 名前タイプ ：：＝シーケンス ｛ 名前、 タイプ ｝ 値 ：：＝シーケンス ｛ チョイス ｛ ［０］暗黙 組込値 ［１］暗黙 特定値 ｝ ｝ 組込値 ：：＝シーケンス ｛ オクテット列、 −−文字列相当 オクテット列 −−第１タッグなし。

【００２７】 −−ＡＳＮ１値。第１タッグは、 −−実際の使用から発生する。 ｝ ブールタイプ ：：＝０ 整数タイプ ：：＝シーケンス｛ チョイス｛ ［０］暗黙０ −−プレーン整数 ［１］暗黙 命名数リスト −−命名整数 ｝ ｝ 命名数リスト ：：＝命名数のシーケンス 命名 ：：＝シーケンス｛ 識別子、 チョイス｛ ［０］暗黙 サイン番号、 ［１］暗黙 特定値 ｝ ｝ サイン番号 ：：＝番号 −− −ve及び+ve 双方に対して使用される −− 番号 ビット列タイプ ：：＝シーケンス｛ チョイス ｛ ［０］ 暗黙ゼロ −−プレーンビット列 ［１］ 暗黙命名ビットリスト −−命名ビット列 ｝ ｝ 命名ビットリスト ：：＝命名ビットシーケンス 命名ビット ：：＝シーケンス｛ 識別子、 チョイス｛ ［０］ 暗黙番号、 ［１］ 暗黙特定値 ｝ ｝ オクテット列タイプ ：：＝ゼロ ゼロタイプ ：：＝ゼロ シーケンスタイプ ：：＝シーケンス｛ チョイス｛ ［０］ 暗黙エレメントタイプリスト ［１］ 暗黙ゼロ −−空シーケンス ｝ ｝ エレメントタイプリスト ：：＝エレメントタイプのシーケンス −−少なくとも一のエレメントが存在 エレメントタイプ ：：＝シーケンス｛ チョイス ｛ ［０］ 暗黙命名タイプ ［１］ 暗黙命名タイプ、 −−選択エレメント ［２］ 暗黙シーケンス｛ 命名タイプ 値 ｝ −−欠陥エレメント ［３］ 暗黙タイプ −−の要素 ｝ ｝ シーケンスオブタイプ ：：＝シーケンス｛ チョイス ｛ ［０］ 暗黙タイプ、 ［１］ 暗黙ゼロ ｝ ｝ セットタイプ ：：＝シーケンス｛ チョイス｛ ［０］暗黙エレメントタイプリスト ［１］暗黙ゼロ −−空セット ｝ ｝ セットオブタイプ ：：＝シーケンス｛ チョイス｛ ［０］暗黙タイプ ［１］暗黙ゼロ ｝ ｝ −−セットタイプ及びシーケンスタイプは −−同じ定義を持つ −−セットオブタイプ及びシーケンスオブタイプは −−同じ定義を持つ チョイスタイプ ：：＝代替（択一）タイプリスト 代替タイプリスト ：：＝命名タイプのシーケンス 選択タイプ ：：＝シーケンス ｛ 識別子、 タイプ ｝ タグタイプ ：：＝シーケンス｛ チョイス ｛ ［０］ 暗黙タグタイプ、 ［１］ 暗黙タグタイプ −−暗黙タグ ｝ ｝ タグタイプ ：：＝シーケンス｛ タグ、 タイプ ｝ タグ ：：＝シーケンス｛ クラス、 クラス番号 ｝ クラス番号 ：：＝シーケンス｛ チョイス｛ ［０］ 暗黙番号、 ［１］ 暗黙特定値 ｝ ｝ クラス ：：＝整数｛汎用 (0)、アプリケーション(1) 、 文脈−特定 (2)、プライベート(3) ｝ 任意タイプ ：：＝ゼロ 対象別識別子タイプ ：：＝ゼロ 文字列タイプ ：：＝タイプ基準 有用タイプ ：：＝タイプ基準 表Ｂ ＡＳＮ．１表記法の概要 以下の各項目は、ＩＳＯ８８２４標準（１９８７）の第８節に特定されたもの である： タイプ基準 （ 任意 識別子 ） 外部 値基準 ［ 対象物 モジュール基準 ］ 識別子 コメント − オプション 空 ブール 省略 数 整数 要素 ｂ列 ビット 汎用 ｈ列 列 アプリケーション ｃ列 オクテット プライベート ”：：＝” ゼロ 真 ｛ シーケンス 偽 ｝ オブ 開始 ＜ セット 終了 ， 暗黙 定義 ． チョイス 次の製品は、上記の各項目を端末記号として、この国際標準に用いられたもの である： モジュール定義 ：：＝モジュール基準 定義 ”：：＝” 開始 モジュールボデイ 終了 モジュールボデイ ：：＝割当リスト｜空 割当リスト ：：＝割当 ｜ 割当リスト、割当 割当 ：：＝タイプ割当｜値割当 外部タイプ基準 ：：＝モジュール基準 ． タイプ基準 外部値基準 ：：＝モジュール基準 ． 値基準 定義タイプ ：：＝外部タイプ基準｜タイプ基準 定義値 ：：＝外部値基準｜タイプ基準 タイプ割当 ：：＝タイプ基準 ”：：＝” タイプ 値割当 ：：＝値基準 タイプ ”：：＝” 値 タイプ ：：＝組込タイプ｜特定タイプ 組込タイプ ：：＝ブールタイプ ｜ 整数タイプ ｜ ビット列タイプ ｜ オクテット列タイプ ｜ ゼロタイプ ｜ シーケンスタイプ ｜ シーケンスオブタイプ ｜ セットタイプ ｜ セットオブタイプ ｜ チョイスタイプ ｜ 選択タイプ ｜ タグタイプ ｜ 任意 ｜ 対象物識別子タイプ ｜ 文字列タイプ ｜ 有用タイプ ｜ 命名タイプ ：：＝識別子タイプ｜タイプ｜選択タイプ 値 ：：＝組み込み値｜被定義値 組み込み値 ：：＝ブール値 ｜ 整数値 ｜ ビット列値 ｜ オクテット列値 ｜ ゼロ値 ｜ シーケンス値 ｜ シーケンスオブ値 ｜ セット値 ｜ セットオブ値 ｜ チョイス値 ｜ 選択値 ｜ タッグ値 ｜ 任意値 ｜ 対象物識別値 ｜ 文字列値 命名値 ：：＝識別子 値｜値 ブールタイプ ：：＝ブール ブール値 ：：＝真｜偽 整数タイプ ：：＝整数｜整数｛命名数リスト｝ 命名数リスト ：：＝命名数｜ 命名数リスト、命名数 命名数 ：：＝識別子（サイン数）｜ 識別子（被定義値） サイン数 ：：＝数｜−数 整数値 ：：＝サイン数｜識別子 ビット列タイプ ：：＝ビット列｜ビット列｛命名ビットリスト｝ 命名ビットリスト ：：＝命名ビット｜命名ビットリスト、命名ビット 命名ビット ：：＝識別子（数） ｜ 識別子（被定義値） ビット列値 ：：＝ｂ列｜ｈ列｛識別子リスト｝｜｛｝ 識別子リスト ：：＝識別子 ｜ 識別子リスト、識別子 オクテット列タイプ ：：＝オクテット列 オクテット列値 ：：＝ｂ列｜ｈ列 ゼロタイプ ：：＝ゼロ ゼロ値 ：：＝ゼロ シーケンスタイプ ：：＝シーケンス｛エレメントタイプリスト｝｜ シーケンス｛｝ エレメントタイプリスト ：：＝エレメントタイプ ｜ エレメントタイプリスト、エレメントタイプ エレメントタイプ ：：＝命名タイプ ｜ 命名タイプ オプション｜ 命名タイプ省略値 ｜ タイプの要素 シーケンス値 ：：＝｛エレメント値リスト｝｜｛｝ エレメント値リスト ：：＝命名値｜ エレメント値リスト、命名値 シーケンスオブタイプ ：：＝タイプ｜シーケンスのシーケンス シーケンスオブ値 ：：＝｛値リスト｝｜｛｝ 値リスト ：：＝値｜値リスト、値 セットタイプ ：：＝セット｛エレメントタイプリスト｝｜セット｛｝セット 値 ：：＝｛エレメント値リスト｝｜｛｝ セットオブタイプ ：：＝タイプ｜セットのセット セットオブ値 ：：＝｛値リスト｝｜｛｝ チョイスタイプ ：：＝チョイス｛代替タイプリスト｝ 代替タイプリスト ：：＝命名タイプ ｜ 代替タイプリスト、命名タイプ チョイス値 ：：＝命名値 選択タイプ ：：＝識別子＜タイプ 選択値 ：：＝命名値 タグタイプ ：：＝タグタイプ｜タグ暗黙タイプ タグ ：：＝［クラス クラス番号］ クラス番号 ：：＝数｜被定義値 クラス ：：＝汎用｜応用｜個人｜空 タグ値 ：：＝値 任意タイプ ：：＝任意 任意値 ：：＝タイプ値 目的識別子タイプ ：：＝目的識別子 目的識別子値 ：：＝｛目的識別要素リスト｝ ｜ ｛被定義値 目的識別子要素リスト｝ 目的識別子要素リスト ：：＝目的識別子要素 目的識別子要素 目的識別子要素リスト 目的識別子要素 ：：＝名前形式｜番号形式｜名前及び番号形式｜ 名前形式 ：：＝識別子 番号形式 ：：＝番号｜被定義値 名前及び番号形式 ：：＝識別子（番号形式） 文字列タイプ ：：＝タイプ基準 文字列値 ：：＝ｃ列 有用タイプ ：：＝タイプ基準 しかしながら、当業者であれば、この定義リストは、本
発明の範囲から逸脱することなく拡大、縮小、または変
更可能であることが容易に理解されよう。更にＡＳＮ．
１標準は今後変更される可能性もあり、またこれらの変
更を組み入れるための中間形態コンパイラに変更が加え
られることも当業者にとっては周知である。

【００２８】定義の中間形態は、図３に示したＡＳＮ．
１ＢＥＲ標準タイプ（またタグとも呼ばれる）、長さ、
値（ＴＬＶ）フォーマットに従って表される。タイプフ
ィールドまたはタグは、値フィールド内に含まれる符号
化データタイプを指定する。タイプフィールドの内容
は、表Ａ内に列挙された定義中における可能な選択リス
トの選択をも示す。長さフィールドは、特定値フィール
ドの端部を見いだす前に残存しているバイト数を示す。
最後に、値フィールドは、特定タグに係る値を含む。図
３より明らかなように、ＢＥＲ値がネストされる。この
ようにして、与えられた抽象型定義に対する構文木の再
帰的構造が維持される。タグ、長さ及び値フィールド
は、ＡＳＮ．１抽象型定義の中間形態の図示例を参照し
つつ後に詳述する。

【００２９】本発明の好適な実施例において、中間形態
は基本符号化規則（ＢＥＲ）に従って符号化される。当
業者であれば、本発明の範囲内で符号化規則（即ち転送
構文）の異なる組を用いて中間形態を生成する。表Ａ中
のＡＳＮ．１定義と表Ｂ中に特定された生成規則との間
の並列関係の一つの例外が、組込値タイプに関して存在
する。生成規則からすれば、チョイス構造を含むために
組込値に対するＡＳＮ．１定義が予測される。しかし、
組込値として特定された値定義に対しては、中間形態か
ら高水準形態を再発生させるためには、完全構文木は不
要である。

【００３０】中間形態には、一般的に２つの使用方法が
ある。まず第１は、中間形態から高水準形態を再発生す
ることである。第２に、中間形態を用いて種々の機能を
実行することである。組込型に対する構文木は、第２の
目的を達成するために必要であるから、捕捉される。し
かし、組み込み値に対しては、定義により特定されたＢ
ＥＲ値のみが第２の目的を達成するために必要である。
加えて、値を特定する対応テキストは、中間形態から原
テキストの再生を容易化するために捕捉されなければな
らない。従って、本発明の好適な実施例では、情報のう
ちこれら２つの情報片だけが、組込値に対する中間形態
にあらわされる。

【００３１】表Ａに列挙されたＡＳＮ．１構文定義の中
で、組込値は２個のフィールドから成るシーケンスを含
む。組み込み値に対するＡＳＮ．１定義中の各フィール
ドは、オクセット列であった。第１フィールドは、特定
された値に相当する文字列を含む。第２フィールドは、
第１、トップレベル、タグなしの特定された組込値に対
するＢＥＲを含む。このように、真のブール値に対し、
組込値の２個のフィールドは、「真」を表す文字列であ
り、真に対応するＢＥＲ値である。

【００３２】表Ａに列挙された残存構文定義は、ＡＳ
Ｎ．１モジュールに対する構文木構造に対応する。従っ
て、ＡＳＮ．１モジュールの構文木表現をたどるのと同
じ方法でＢＥＲ値を解析することにより、定義に対する
ＢＥＲ値から高水準形態を再生することが容易となる。
中間水準からの高水準テキスト形態の再生については後
述する。

【００３３】ＡＳＮ．１モジュールに対する中間形態
は、表Ａに特定されたモジュール定義型である。モジュ
ール定義は、２個のフィールドを含むシーケンスであ
る。第１フィールドである「モジュール基準」は、モジ
ュールの名前を含む。第２フィールドはモジュールボデ
イタイプであり、これは名前の付けられたモジュールの
現在の内容を含むフィールドのシーケンスである。内容
は、前記割当リストＡＳＮ．１構造またはゼロの形態
（もしモジュール内にタイプまたは値割当が存在しない
ならば）であり、内容は［ＣＯＮＴ ０］または［ＣＯ
ＮＴ １］のいずれかでそれぞれタグされる。［ＣＯＮ
Ｔ］は、文脈特定タッグを示す。

【００３４】割当リストに対する中間形態は、「割当」
タイプのシーケンスである。このタイプの構造は、割当
リストタイプによって特定される。割当リストタイプの
ＢＥＲ値内に含まれる割当のリストは、「割当」タイプ
の形態でコンパイラにより個々に構成される。これらの
個々の割当は、その後「シーケンスオブ」ＡＳＮ．１構
造の形態で集合される。

【００３５】表Ａ中の「割当」の定義にもどり、このＡ
ＳＮ．１定義は、タイプＡ割当または値Ａ割当の何れか
のチョイスタイプから構成され、タイプまたは値に対す
る定義の割当を表す。もしタイプＡ割当が特定のＡＳ
Ｎ．１抽象型定義に対して指定されるならば、定義に対
する中間形態は、２個のフィールドを有するシーケンス
を含む。第１のフィールドは、「タイプ基準」型であ
り、特定ＡＳＮ．１タイプ定義の高水準表現の左側に配
置されたタイプ定義の名前を保持する。第２フィールド
は、「タイプ」型であり、このフィールドはタイプ割当
の左側における名前の付けられた抽象定義に対応した定
義の右側上に実際の定義を含む。定義内における「タイ
プ」フィールドの更なる分解は、当業者に周知の方法で
表Ａに記載されたＡＳＮ．１定義に従ってネストされた
付加ＢＥＲ値の仕様によって達成される。

【００３６】このほか、もし値割当が特定抽象タイプ定
義に対して指定されたならば、定義に対する中間形態は
２個のフィールドを有するシーケンスを含む。第１のフ
ィールドは、「値基準タイプ」であり、特定ＡＳＮ．１
値定義の高水準表現の左側上に配置された値の名前を保
持する。第２のフィールドは、他のシーケンスを含む。
このシーケンスは、更に２つのフィールドを含む。第１
のフィールドは、値割当の左側で名前の付けられた抽象
定義に対応した定義の右側上に実際のタイプ定義を含む
「タイプ」型である。第２のフィールドは、定義のハイ
レベルテキスト形態内における”：：＝”記号の右手側
上に特定された実際の値を含む。これは、特定値タイプ
または組込値タイプの何れかのフィールドを含む。値割
当の第２フィールドの第１及び第２サブフィールド双方
は、表Ａ中に特定された定義の教示内容に基づき当業者
であれば知ることのできる方法で表Ａ中に特定されたＡ
ＳＮ．１構文定義に従って適切なＢＥＲ値で満たされて
いる。

【００３７】以下の図示した入力値を検討する： コンパイルプロセスの記録 ＡＳＮ．１割当（タイプまたは値）のリストであるＡＳ
Ｎ．１モジュールである入力を考慮し、我々はモジュー
ルに対する中間形態を発生させようとしているとする。
一般に、コンパイレーションプロセスには「コンパイ
ラ：原理、技術、及びツール」（著者 A. Aho, R. Seth
i 及び Jeffrey D. Ullman；出版社 Addison-Wesley Pu
b. Co.（１９８６））の第１章に記載されたように周知
の先行コンパイラ形態が続く。図２において、ハイレベ
ルＡＳＮ．１抽象タイプ定義を中間形態へ変換するため
のステップが描かれている。抽象タイプ定義の高水準表
現を中間形態へ変換するための第１ステップＳ１は、Ａ
ＳＮ．１テキストを解析することである。パーサは、抽
象構文に対する入力テキストを受信し、ＡＳＮ．１原タ
イプのネステイングを反映する必要があるときに見いだ
され枝分かれした各タイプに対するノードを生成するこ
とによって入力テキストの構文木表現を生成する。構文
木の形態は、表Ｂに特定された文法に一致する。

【００３８】その後、コンパイラは、意味解析ステップ
Ｓ３中にタイプ導出及び意味チェックを実行する時に構
文木を変更する。このステップＳ３では、コンパイラは
抽象構文及び特定情報例に係るデータタイプを定める。
パーサ段中に発生し得るエラーは、パーサによって受信
された入力がＡＳＮ．１語彙または文法また構文に従わ
ないか合致しない時に生じるものである。パーサにより
フラッグを立てられるエラーの例として、ワード「シー
ケンス」のスペルミスや、”｛”Ａ：：＝シーケンス
ブールなどのＡＳＮ．１記述において｝”の欠落などが
挙げられる。タイプ導出及び意味解析中のエラーは、入
力がＡＳＮ．１標準中に特定されている意味と合致しな
い時に発生するものである。構文及び意味エラー双方
は、当業者にとって周知である。

【００３９】もしコンパイラルーチンの実行中にエラー
が発生した場合には、中間形態はその最終形態で生成さ
れることはないことに留意されなければならない。中間
形態は、中間形態から入力テキストを再生し得るという
意味で、入力の変形等価である。パーサにより発生した
構文木は、構文解析段が完了した時の高水準入力形態に
忠実である。その後、構文木は、タイプ導出及び意味解
析の実行によって処理及び変更され、これによってセッ
ト及びシーケンス中における値定義において定められた
値または省略値の例を挙げることとなる。構文木は、本
質的には構文解析段の完了後に入力構文を表すものであ
るが、値定義において定められた値及びセット及びシー
ケンスでの省略値の例は、意味解析段の後ではじめて完
全なものとなる。以後、これらの値は組込値と呼び、表
Ａに記載されたデータタイプ組込値に対応する。情報の
両片（構文木及び例）は、中間形態を構築するために必
要とされる。従って、コンパイラは２つの段で中間形態
を構成するこことなる。

【００４０】もしコンパイラが構文解析中に何等のエラ
ーも検出しなかったときは、制御はここで「第１パス」
中間形態発生と呼ばれるコンパイレーション処理の段へ
移る。この段では、抽象タイプ型定義の「予備中間形
態」が構成される。この段は図２のステップＳ２で示さ
れている。 中間形態−パス１ 第１パスステップＳ２では、予備中間形態が構文木を移
動することによりそしてタイプモジュール定義のＡＳ
Ｎ．１ＢＥＲ値を生成することによって構成される。入
力ＡＳＮ．１抽象タイプ定義の構文構造は、構文木に忠
実に反映されている。この結果、タイプモジュール定義
のＡＳＮ．１ＢＥＲ値を構成することは容易となる。一
組のルーチンが存在しており、その各々が表Ａ中の各定
義に対応している。各ルーチンは、特定定義に対する予
備中間形態を構成し、予備中間形態をコーラーに戻す。
これらのルーチンは、以後「生成」ルーチンと呼ぶ。こ
のようにして、タイプ「モジュール定義」に対応した生
成ルーチンが、モジュール定義に対する予備中間形態を
構成し、タイプ「タイプ」に対する生成ルーチンがタイ
プに対する予備中間形態を発生する等の処理が行われ
る。

【００４１】これら各生成ルーチンは、前記構文木への
ポインタを受信する。特定ルーチンにより呼び出された
ルーチンは、ポインタにおいて見いだされた記号によっ
て異なる。生成ルーチンは、構文木中の位置を参照する
ポインタを解析し、生成ルーチン組中の他のルーチンを
再帰的に呼び出す。ポインタは、付加ノードが定義へ付
加されると、各再帰呼び出し中に更新される。一方、こ
れらの生成ルーチンは、呼び出し中間形態の予測部分を
発生する。完了後、呼び出されたルーチンは、要求され
た呼び中間形態をコーラーへ戻す。コーラーは、戻され
た中間形態を用いて、生成するよう設計された呼び出し
中間形態の発生を完了する。この処理は、後に図４に示
した構文木の第１パスコンパイレーションの記載に関連
づけた例を用いて説明する。

【００４２】生成ルーチンは、構文木中に示されたのと
同じ呼び出し構造を示す。構文木の枝はトレースされ、
全ての下位枝及び葉がビジットされるまでどの枝も出る
ことはない。これが予測されるのは、構文木構造が意図
的に中間形態中に組み込まれているからである。上述し
た記載は、一つの例外をのぞき、全ての生成ルーチンへ
適用される。この例外とは、タイプ「値」に対応するも
のである。値に対する生成ルーチンの動作は、構文木構
造に従わない。構文木中の値に対応するノードは、
「値」生成ルーチンによって解析され、これによって組
込値または特定値へ拡大するか否かが決定される。もし
それが特定値まで拡大するのであれば、中間形態の再帰
的呼び出し及び構築は、上述のように継続される。もし
それが組み込み値まで拡大するのであれば、生成ルーチ
ンは、その中間形態として一つ素子即ち［ＣＯＮＴ ３
０］ゼロを含むシーケンスへ戻る。［ＣＯＮＴ ３０］
ゼロは、位置ホルダーとして機能する。位置ホルダー
は、第２パス（後述）中に、そのタッグが［ＣＯＮＴ
０］でありそのタイプが組込値である実際値と交換され
る。同時に、組込値に対応する構文木ノードへのポイン
タは、ポインタの待ち行列（組込値ポインタ待ち行列と
呼ばれる）へ付加される。この待ち行列は、第２パス中
に位置ホルダー“［ＣＯＮＴ ３０］０”を正しいデー
タと交換するために使用される。もし組込値ポインタ待
ち行列が第１パス終端で空であれば、第２パスは実行さ
れる必要がない。

【００４３】しかし、コンパイラは、入力にエラーがな
いことを確認するために他の段も実行しなければならな
い。これが行われて初めて、予備中間形態が正しいとみ
なすことができる。コンパイラは、不適切な入力に対し
ては中間形態を発生しない。従って、もしコンパイラが
タイプ導出段または意味解析段でエラーを発生したとき
は、コンパイラは中間形態を廃棄する。

【００４４】図示的な目的のため、図４に示した構文木
を考える。モジュール定義のための発生木ルーチンは、
ノート１における構文木を参照するポインタで呼び出さ
れる。モジュール定義に対する生成ルーチンは、２つの
フィールドから成るシーケンスであるモジュール定義に
対する予備中間形態、「モジュール基準」に対する予備
中間形態、そしてタイプ「モジュールボデイ」に対する
予備中間形態を発生する。このルーチンが、ノード１．
１へのポインタでモジュール基準に対する生成ルーチン
を呼び出す。モジュール基準に対する生成ルーチンは、
モジュール基準に対する予備中間形態へ戻る。次に、モ
ジュール定義に対する生成ルーチンが、ノード１．２を
参照したポインタでモジュールボデイに対する生成ルー
チンを呼び出す。モジュールボデイに対する生成ルーチ
ンは、モジュールボデイに対する予備中間形態へ戻る。
生成ルーチンにより戻されたモジュール基準及びモジュ
ールボデイに対するこれら２個の中間値は、モジュール
定義に対するシーケンス内のフィールドとして組み込ま
れ、モジュール定義生成ルーチンを呼び出したルーチン
へ戻される。

【００４５】次に、モジュール基準に対する生成ルーチ
ンを考慮する。このルーチンは、「テストモジュール」
である現在値により、タイプモジュール基準のＢＥＲ値
を生成する。このようにして、タグは、［ＣＯＮＴ
３］またはＡ３Ｈ（１６進数）となり、長さは０ＡＨと
なり、値は「テストモジュール」となる。今、モジュー
ルボデイに対する生成ルーチンを考える。このルーチン
は、ノード１．２を検査し、モジュールボデイが割当リ
ストまでまたは構文木中の空まで拡大しているかどうか
を定めるために内容を解析する。図示例では、ポインタ
は割当リストを参照している。モジュールボデイ生成ル
ーチンは、ポインタがノード１．２．１を参照した状態
で、割当リストに対する生成ルーチンを再帰的に呼び出
す。割当リストにい対する生成ルーチンへの呼び出しが
完了すると、そのタグが［ＣＯＮＴ ０］であり、その
長さが呼び出しから割当リストに対する生成ルーチンへ
戻る値の長さであり、その値が呼び出し中の戻った値で
ある、一の素子のシーケンス値が構成され戻される。一
方、空まで拡大し、その後一の素子のシーケンス値とな
り、そのタグが［ＣＯＮＴ １］であり、その長さが０
であり、その値が存在しないモジュールボデイ（モジュ
ール中に定義が存在しないときに発生する）が戻され
る。

【００４６】図４の構文木の枝に対する第１パスコンパ
イレーション処理の一部のみが記載されたが、予備中間
形態を構成する第１パスコンパイラは、第１パスコンパ
イレーションのこの部分記載により予め記載された方法
で図４に示された構文木の各ノードにおいて順次調査す
る。各ノードからの枝は、図４の構文木の左から右へビ
ジットされる。枝は、全ての下位枝がビジットされるま
で出ない。 タイプ導出 コンパイリング処理の第１パス段Ｓ２が終わった後、コ
ンパイリング処理タイプ導出段が、当業者に周知の方法
により、コンパイリング処理のステップＳ３を含む意味
解析段の第１部分で実行される。タイプ導出段中、コン
パイラは、パーサにより生成された構文木を移動し、フ
ォワード基準のトラックを保持し、そして全てのフォワ
ード及び外部基準を導出する。タイプ導出処理は、当業
者にとって周知である。構文木を下位へ移動する間、コ
ンパイラは外部定義表と共にローカルに対して各記号を
チェックする。タイプ導出段近傍において、全ての記号
名は、その適切な値／タイプ記号アドレスに合致しなけ
ればならない。もしいずれかの未導出基準が残存してい
る場合は、当業者にとって周知な方法で適切な警告が発
せられる。 意味チェック 意味解析ステップＳ３中、コンパイラはパーサにより予
め生成された構文木を移動し、タイプと値がＩＳＯ国際
基準（ＩＳＯ ８８２４，１９８７）中に特定された意
味と合致しているかどうか確認する。意味解析プログラ
ムは、値記号のタイプを満たす。コンパイラ処理のこの
段の出力は、ＩＳＯ標準（ＩＳＯ ８８２４，１９８
７）中に記載された規則に合致しないタイプ及び値に対
するエラーメッセージの発生として現れる。

【００４７】意味解析は、本発明の中間形態発生に適合
される。図５中に一つが示されているようにＩＳＯ標準
（ＩＳＯ ８８２４，１９８７）中の生成規則「組込
値：：＝．．．」に対応した構文木中のノードに対して
は、２つの付加情報片が発生されてこの構文木へ付加さ
れる。これらの２つの情報片は、特定値の列等価及び特
定値のＢＥＲ値と等しい。これら２個の情報片の発生は
簡単であり、当業者にとって周知の適切な方法で達成さ
れ得る。

【００４８】このＡＳＮ．１値定義表現を図示するた
め、以下の値定義を考慮する。 アルファ ブール：：＝真 上記定義に対する構文木は、図５に示されている。特定
値に対する（即ち、構文木中の組込値ノードに対する）
列等価は、「真」であり、第１タグのないＢＥＲ値は、
２つの１６進バイト０１Ｈ及び０１Ｈである。 中間形態−パス２ もし、コンパイラ処理の前述の段中にエラーが存在しな
い場合には、コンパイラＤは第２パスステップＳ４を実
行する。前述のように、タイプ組込値の値の構成は、第
２段に据え置かれる。これは、コンパイラが意味解析段
を実行した後でなければ、必要なデータを用いることが
できないからである。第２バス中、コンパイラは、位置
ホルダ値「［ＣＯＮＴ ３０］０」を現在（実際）値と
交換する。加えて、予備中間形態ＡＳＮ．１ＢＥＲ値が
トラバースされ、精製された中間形態が同時に構成され
る。精製された中間形態は、実際値を位置ホルダ値と交
換することを除いて、予備中間形態と同じである。実際
値は、当業者にとって周知の方法で交換可能である。

【００４９】予備中間形態のトラバースは、バイト毎の
トラバースではなく、当業者にとって周知の対応タグを
調べることによるシーケンスを開くことによる構造的ト
ラバース（ＡＳＮ．１ＢＥＲ値は、構造値である）であ
る。予備中間形態中に「［ＣＯＮＴ ３０］０」が存在
するときにはいつも、組込値タイプのタグ［ＣＯＮＴ
０］を持つ値が精製中間形態中に配置される。組込値タ
イプの値を構成するために必要な情報は、前記組込値ポ
インタ待ち行列中の第１ポインタにより参照される。ポ
インタは、組込値に対応する構文木中のノードを指標づ
けする。

【００５０】意味解析の結果、このノード基準は２片の
情報、即ちＢＥＲ値の「Ｔ」またはタグフィールドなし
の組み込み値及びＡＳＮ．１値の列等価を参照する。こ
れら２つのエレメントを含むシーケンス値が構成され
る。コンパイラは、この値に［ＣＯＮＴ ０］のタグを
割り当て、そして位置ホルダ［ＣＯＮＴ ３０］０の代
わりに精製中間形態へタグを挿入する。組込値ポインタ
待ち行列中のポインタ値を参照するポインタは、待ち行
列中で次のポインタへ進む。

【００５１】第２パスの終端部において、全ての［ＣＯ
ＮＴ ３０］０位置ホルダーが予備中間形態中の実際値
と交換され、待ち行列からの全てのポインタが使用さ
れ、そして組込値ポインタの待ち行列は空となる。 高水準抽象型定義に対する中間形態の詳細説明 次のＡＳＮ．１モジュール例を考える。 図４は、テストモジュールのハイレベル表現の中間表現
に対する最終構文木構造を描いたものである。以下に与
えられた１６進数ビット組は、メモリ中に線形記憶され
た１６進数形態でのＡＳＮ．１モジュールに対する中間
形態を表す。この表現は、図６及び７に示した前記抽象
タイプ定義の符号化中間形態の図示表現と関連づけて見
ると最もよく理解できる。

【００５２】 ３０ ３８ Ａ３ ０１ ５４ ６５ ７３ ７４ ４Ｄ ６Ｆ ６４ ７５ ６Ｃ ６５ Ａ０ ２８ Ａ０ ２６ Ａ０ ０８ ５４ ６５ ７３ ７４ ５４ ７９ ７０ ６５ ３０ １Ｃ Ａ０ １Ａ Ａ５ １８ Ａ０ １６ ３０ ０８ Ａ０ ０６ Ａ１ ０４ Ａ０ ０２ Ａ０ ００ ３０ ０Ａ Ａ０ ０８ Ａ１ ０６ Ａ０ ０４ Ａ１ ０２ Ａ０ ００ 図６及び７は、中間水準１６進数形態内で符号化されＡ
ＳＮ．１ＢＥＲ値として記憶された前記高水準抽象タイ
プ定義の２つの異なるネスト状関係を描いたものであ
る。図６は、ＡＳＮ．１ＢＥＲ値のネスト状関係（ＴＬ
Ｖ形態の）を示したものである。図７は、中間形態の使
用者にとって使用できる幾つかの解釈機能の内の一を実
行するために中間形態中に記憶されたＡＳＮ．１ＢＥＲ
値が解釈された時に、処理呼び出しの各水準で実行され
る時折ネストされた処理呼び出し及びチョイスの順序を
示すものである。これらの特別機能は、以下に述べる。
ラベル（Ａ，Ｂ，Ｃ，．．．，ａ，ｂ，ｃ等）を実際の
タイプ定義名に変換するためのレジェンドを図８に示
す。図８のレジェンドは、図６及び７双方における明確
な図を表すための手段を与えるものであり、それらが対
応するタイプに対する実際の符号化された値（タグとよ
ばれる）を表すものではない。

【００５３】図６において、高水準ＡＳＮ．１型定義の
図示した組の中間形態はシーケンスに対応したタグフィ
ールドで開始する。これは、モジュール定義がシーケン
ス（３０１６進数または３０Ｈ）であるからである。内
容フィールドのレジェンド（抽象タイプ定義の残存部分
を構成する）は３８Ｈである。抽象タイプ定義に対する
内容フィールドは、モジュール定義タイプシーケンスの
第１フィールドで開始する。第１フィールドは、モジュ
ール基準タイプである。このフィールドに対するタグは
Ａ３Ｈである。理由は、モジュール基準は［３］ＡＳ
Ｎ．１項目列タイプであり、［３］または［ＣＯＮＴ
３］はＡ３Ｈへ変換するからである。第１フィールドの
長さは１０バイト（０ＡＨ）であり、これはモジュール
名前「テストモジュール」の機械符号化テキスト形態を
記憶するために使用されるバイト数に対応する。このフ
ィールドの内容は、「テストモジュール」列のＡＳＣＩ
Ｉ符号化形態である。第２フィールドは、モジュールボ
デイ形態である。これはシーケンスであり、割当リスト
の一フィールドでその内部でネストした。このフィール
ドに対するタグは、Ａ０Ｈである。理由は、モジュール
ボデイがシーケンス｛チョイス｛［０］割当リスト
［１］０｝｝であり、割当リストチョイスは、それに伴
うタッグ［０］または［ＣＯＮＴ０］を持つからであ
る。［ＣＯＮＴ ０］はＡ０Ｈに変換する。このフィー
ルドは、割当タイプのシーケンスであり、その内部にネ
ストされた幾つかのエレメントを含む。図示例では、シ
ーケンスはタイプ割当（Ａ０Ｈ）の単一エレメントのみ
をもち、その値フィールドはメモリの２６Ｈバイトを占
める。第１フィールドは、長さ０８Ｈのタイプ基準タイ
プ（タイプ基準：：＝［０］ＡＳＮ．項目列であるから
タッグはＡ０Ｈ）、及び「テストタイプ」列のＡＳＣＩ
Ｉ符号化形態に等しい値により占められる。第２フィー
ルドは、シーケンスであるタイプの型であり、従ってタ
ッグ３１Ｈをもつ。（３１Ｈ）は、長さ１ＣＨの値を持
つ。シーケンスのタイプフィールドは、その内部にネス
トされた組込タイプ（ＡＯＨ）の値をもつ。この値に対
するタグフィールドは、Ａ０Ｈである。というのは、型
の値はシーケンス｛チョイス｛［０］組込タイプ，
［１］特定タイプ｝｝であり、組込タイプの値はそれに
伴うタグ［０］または［ＣＯＮＴ ０］を持つからであ
る。一方、組込タイプ値は長さ１ＡＨの値を持つ。組込
タイプは、その内部にシーケンスタイプ（Ａ５Ｈ）の値
をネストしている。この値は、メモリの１８バイトを占
める。このチョイスに対するタグフィールドは、Ａ５Ｈ
である。理由は、組込タイプはシーケンス｛チョイス
［０］ブールタイプ、．．．，［５］シーケンスタイ
プ．．．｝｝であり、シーケンスタイプ値はそれに対応
するタグ［５］または［ＣＯＮＴ５］をもつからであ
る。［ＣＯＮＴ ５］は、機械コード化された１６進数
値Ａ５Ｈに対応する。シーケンスタイプ値は、その内部
にエレメントタイプリスト（Ａ０Ｈ）の値をネストして
いる。この値は、メモリの１６Ｈバイトを占めている。

【００５４】本実施例においては、エレメントタイプ
（ＢＥＲ タグ＝３０Ｈ）のエレメントタイプリストシ
ーケンスの値は、２つのフィールドを含む。両フィール
ドは、エレメントタイプフィールドである。第１フィー
ルドは、長さ０８Ｈであり、その内部に命名タイプ（Ａ
０Ｈ）の値をネストしている。命名タイプは、その内部
にタイプ（Ａ１Ｈ）のタイプをネストし、長さ６バイト
である。タイプ値は、長さ０４Ｈの値である。タイプ値
は、シーケンスであり、組込タイプのタイプ値（Ａ０
Ｈ）を含む。その値は、メモリの２バイトを占める。組
込タイプは、その内部にブールタイプ（Ａ０Ｈ）の値を
ネストし、これは０である。

【００５５】エレメントタイプリストシーケンスの第２
フィールドは、長さ（０ＡＨ）のＢＥＲ値をもつ。その
値は、第１エレメントの値にほぼ同一である。しかし、
第２フィールドにおいては、組込タイプの値は、その内
部に整数タイプ（Ａ１Ｈ）タイプの値をネストし、その
値はメモリの２バイトを占めている。整数タイプの値
は、シーケンスである。この場合、シーケンス内のチョ
イスの［０］ゼロオプションが選択され、これがタッグ
フィールドがＡ０Ｈに等しく長さがゼロのＢＥＲ値を含
む整数タイプシーケンスを特定することとなる。

【００５６】図７に戻り、処理コール（大文字で示し
た）、文脈のチョイス（ブラケット番号で示した）、及
び処理戻り（低ケース文字で示した）のブラケットシー
ケンスは定義されたＡＳＮ．１モジュールに対するＡＳ
Ｎ．１ＢＥＲを構築するためのコンパイラのプログラム
流れを描くために用いられている。チョイス及び名前
は、表Ａに列挙された中間形態に対する構文定義に対応
している。 中間ＡＳＮ．１抽象型定義によって使用可能となる解釈
機能の説明 先に述べた幾つかの解釈機能及び一の新たな機能は、符
号化ＡＳＮ．１抽象タイプ定義の中間形態から実行可能
である。第１に、周知の処理を中間形態へ適用するたこ
とが可能であり、これによってタイプされたフィールド
及びサブフィールドの組としての抽象構文に対応した非
タイプバイト列を解釈することができる。第２に、抽象
構文に対応する値は、タイプされたフィールド及びサブ
フィールドへ組織化することができ、また出力装置上の
英数値として表示されることができる。これは、非タイ
プバイト列よりも人が読み取りやすい。第３に、周知の
処理は、特定の符号化された値が抽象構文に低剛するこ
とを確認するために適用され得る。第４に、符号化規則
または転送構文の一組に従う値を符号化規則または転送
構文の他の組に従う値に変換することが可能である。こ
の場合、双方の値（変換前の値と変換後の値）が、抽象
構文に従う。第５に、抽象構文に対応したランダムまた
は任意値を発生するために本発明に周知の処理を適用す
ることができる。本発明の中間符号化形態により容易化
される上記機能及び新たな機能は、Ｘ．５００デイレク
トリ製品のＤＥＣバージョン等の解釈システムへ組み込
むことができる。解釈機能は、プログラムに直接コンパ
イルされ、当業者にとって周知の方法で実行時間ライブ
ラリー内のユーザに対して与えられる。ユーザ機能を与
えるこの方法は、「ソフト−スキーマ」と呼ばれる。

【００５７】従来技術システムに設けられた既に周知の
解釈機能に加え、本発明はＡＳＮ．１抽象タイプ定義の
中間符号化形態から原高水準テキストを解釈的に発生す
る機能を提供するものである。これにより、ユーザは、
アプリケーションがシステム上で実行されつつ、ＡＳ
Ｎ．１定義の原高水準テキスト表現を再生することが可
能となる。中間水準から再生された水準形態はユーザに
より視認可能であり、他の中間または低水準形態、或い
は他の有用な機能へコンパイルするために他の符号化シ
ステムへ転送される。これにより得られる効果は、これ
らの機能をユーザに提供するために原形態を保存する必
要がないということである。したがって、符号化の高水
準及び中間水準の形態双方を同時に保持することによっ
てメモリ（主及び副の両メモリ）内で占められるスペー
スを抑制できる。更に、２個の個別コピーが各水準に対
してＡＳＮ．１定義に保持されると、他の水準では実行
されない一の水準への変更を行うことが可能となる。こ
のような場合、統一性の問題が生じ、記憶された情報の
統一性に対して悪影響を及ぼす。ＡＳＮ．１定義の単一
形態の他の利点は、高水準形態がコンピュータにより使
用される中間水準形態への対応を確認できるということ
である。理由は、再生された高水準形態は中間形態から
直接派生するからである。 中間形態の逆コンパイルの説明 タイプモジュール定義のＡＳＮ．１ＢＥＲ値から成るモ
ジュール定義に対する中間形態について考える。逆コン
パイラは、以下に述べるようにこのＢＥＲ値を解析及び
検査し、定義の高水準テキスト形態を発生する。

【００５８】逆コンパイラは、一組のルーチンを含む。
一のルーチンは、表Ａ中に列挙された各定義に対するも
のである。これら各ルーチンは、対応中間形態が与えら
れると、互いに協働し、中間形態に対応したテキストを
生成する。これらのルーチンは、以降プリンタルーチン
と呼ぶことにする。例えば、モジュール定義に対するプ
リンタルーチンは、モジュール定義に対する中間形態に
対応した高水準ＡＳＮ．１テキストを生成する。換言す
れば、ＡＳＮ．１モジュールを印刷する。各プリンタは
与えられた（そのコーラーにより）中間形態値を解析
し、必要な場合には他のプリンタルーチンを再帰的に呼
び出す。

【００５９】各プリンタルーチンを以下に説明する。Ａ
ＳＮ１項目列は、ＡＳＮ１項目列に対する中間形態を受
取り、英数字テキストとしてオクテット列値を発生す
る。タイプ基準、識別子、値基準、モジュール基準、
数、Ｂ列、Ｈ列、及びＣ列は全て同様に作用する。これ
らは、各タイプに対して中間コード化形態を受取り、こ
れら各プリンタルーチンはＡＳＮ１項目列プリンタルー
チンを呼び出し、受信した中間コード化形態をＡＳＮ１
項目列プリンタルーチンへ通過させる。

【００６０】次に、モジュール定義プリンタルーチン
は、その入力としてモジュール定義に対する中間形態
（ＢＥＲ値）を受信する。中間形態の記載から理解され
るように、このようにして受信された入力は２つのフィ
ールドを含むシーケンス値である。一のフィールドは、
モジュール基準タイプであり、第２のフィールドはモジ
ュールボデイタイプである。モジュール定義プリンタル
ーチンは、次に作用シリーズを実行する。

【００６１】第１に、モジュール定義プリンタはモジュ
ール基準プリンタルーチンを呼び出し、モジュール定義
シーケンスの前記第１フィールドを含むパラメータを通
過させる。制御がモジュール定義プリンタルーチンに戻
った後、このルーチンはテキスト： 「定義：：＝”、
「新ライン」キャラクタ、「開始」、及び「新ライン」
キャラクタ、を発生する。次に、モジュール定義プリン
タルーチンは、モジュールボデンプリンタルーチンを呼
び出し、モジュール定義シーケンスの上記第２フィール
ドを通過パラメータとしてそのプリンタルーチンへ包含
させる。制御がモジュール定義プリンタルーチンへ戻っ
た後、このルーチンはテキスト「終了」を発生する。そ
の後、モジュール定義プリンタルーチンが出て、制御が
呼び出し処理へ戻る。

【００６２】モジュールボデイプリンタルーチンは、
「モジュールボデイ」タイプの値に対する中間形態を受
信する。このようにして、このルーチンへの入力は、一
のフィールドのみを持つシーケンス値である。このプリ
ンタルーチンは、このフィールドに対するタッグを検査
する。タグは、［ＣＯＮＴ ０］または［ＣＯＮＴ
１］である。もしタグが［ＣＯＮＴ ０］に等しけれ
ば、このルーチンは割当リストプリンタルーチンを呼び
出し、このフィールドの値を割当リストプリンタルーチ
ンへ通過させる。制御がモジュールボデイプリンタルー
チンへ戻されると、制御はモジュールボデイプリンタル
ーチンコーラーへ戻される。もしタッグが［ＣＯＮＴ
１］であると、いかなる動作も起こらず、制御はコーラ
ーへ戻される。

【００６３】割当リストプリンタルーチンは、割当リス
トの値に対する中間形態を受信する。このようにして、
入力は一または複数のフィールドをもつ値のシーケンス
である。構造のシーケンス中における各フィールドに対
し、割当リストプリンタルーチンがステップのシリーズ
を実行する。第１に、ルーチンは「新ライン」文字を発
生する。第２に、ルーチンは割当プリンタルーチンを呼
び出すと共に、現在解析されているフィールドを関連パ
ラメータとして通過させる。リストが完全に使い尽くさ
れた後、制御がコーラープリンタルーチンへ戻される。

【００６４】割当プリンタルーチンは、割当タイプの値
に対する中間形態を受信する。このように、入力はチョ
イスである。このルーチンは、通過された値に対応した
タッグを検査する。タグは［ＣＯＮＴ ０］または［Ｃ
ＯＮＴ １］のいずれかでなければならない。もしタグ
が［ＣＯＮＴ ０］であるならば、タイプ割当に対する
プリンタルーチンを呼びだし、入力値を呼び出されたル
ーチンへ通過させなければならない。もしタグが［ＣＯ
ＮＴ １］であるならば、入力値の値割当に対するプリ
ンタを呼び出す。これら２つのルーチンのいずれかから
の制御が戻ると、割当プリンタルーチンが出る。

【００６５】外部タイプ基準プリンタルーチンが外部タ
イプ基準の値に対する中間形態を受信する。従って、入
力は２つのフィールドを含むシーケンス値である。第１
フィールドは、モジュール基準タイプである。第２フィ
ールドは、タイプ基準タイプである。外部タイプ基準プ
リンタルーチンは、モジュール基準に対するプリンタル
ーチンである。呼び出されたルーチンからの制御が戻る
と、外部タイプ基準プリンタルーチンは、文字ピリオド
（．）文字を印刷する。次に、このルーチンはタイプ基
準に対するプリンタルーチンを呼び出し、第２フィール
ドを通過させる。制御が呼び出されたルーチンから戻さ
れると、外部タイプ基準プリンタルーチンがでる。外部
値基準プリンタルーチンは、外部タイプ基準プリンタル
ーチンに類似している。これら２つのプリンタルーチン
間の相違は、当業者にとって周知である。

【００６６】特定タイププリンタルーチンは、その入力
として特定タイプタイプの値に対する中間形態を受信す
る。このように、入力は一のフィールドを含むシーケン
ス値である。単一フィールドがチョイスを含む。タッグ
は［ＣＯＮＴ ０］であれば、このルーチンは外部タイ
プ基準プリンタルーチンを呼び出し、単一フィールド値
を通過させる。タッグが［ＣＯＮＴ １］であると、こ
のルーチンはタイプ基準プリンタルーチンを呼び出し、
単一フィールド値を通過させる。呼び出されたプリンタ
ルーチンから戻った時、このルーチンが出て、制御は呼
び出しルーチンへ戻る。特定された値のプリンタルーチ
ンは特定タイププリンタルーチンに類似している。これ
ら両プリンタルーチン間のあらゆる相違は、当業者にと
って周知である。

【００６７】タイプ割当プリンタルーチンは、その入力
としてタイプ割り当てタイプの値に対する中間形態を受
信する。このように、入力は２つのフィールドを含むシ
ーケンス値である。第１フィールドは、タイプ基準タイ
プである。第２フィールドは、タイプタイプである。こ
のルーチンは、まずタイプ基準プリンタルーチンを呼び
出し、第１フィールド値を通過させる。制御がたのルー
チンに戻ると、テキスト文字「：：＝」が発生する。次
に、タイプ割当プリンタルーチンがタイププリンタルー
チンを呼びだし、第２フィールド値を通過させる。制御
がタイププリンタルーチンから戻ると、タイプ割当プリ
ンタルーチンが出る。

【００６８】値割当プリンタルーチンは、その入力とし
て値割当タイプの値に対する中間形態を受信する。この
ようにして、入力は２つのフィールドを含むシーケンス
である。第１のフィールドは、値基準タイプである。第
２のフィールドは、シーケンスタイプである。このシー
ケンスは、２つのフィールドを含む。第１のフィールド
は、タイプタイプである。第２のフィールドは、値タイ
プである。値割当プリンタルーチンは、値基準プリンタ
ルーチンを呼び出し、第１フィールド値を通過させる。
呼び出されたルーチンから制御が戻ると、このルーチン
は「ブランク」文字を発生する。次に、このルーチンは
タイププリンタルーチンを呼び出し、第２フィールドの
第１サブフィールド値を通過させる。呼び出されたルー
チンから制御が戻ると、このルーチンは他の「ブラン
ク」文字を発生し、その後「：：＝」及び「新ライン」
文字が続く。次に、このルーチンは値プリンタルーチン
を呼び出し、第２フィールドの第２サブフィールド値を
通過させる。このルーチンから戻ると、値割当プリンタ
ルーチンが出る。

【００６９】タイププリンタルーチンは、入力としてタ
イプタイプの値に対する中間形態を受信する。このよう
にして、入力は単一フィールドを持つシーケンス値であ
る。単一フィールドは、チョイスを示すタッグ値を示
す。もしタッグ値が［ＣＯＮＴ０］であるならば、この
ルーチンは組込タイププリンタルーチンを呼びだし、こ
のフィールドを通過させる。もしタッグが［ＣＯＮＴ
１］であるならば、このルーチンが特定タイプルーチン
を呼び出してフィールドを通過させる。呼び出されたル
ーチンから戻ると、プリンタタイプルーチンが出る。

【００７０】組込タイププリンタルーチンはその入力と
して組み込みタイプ値に対する中間形態を受信する。こ
のように、入力は一フィールドを含むシーケンス値であ
る。このフィールドに対するタッグは、１６の可能文脈
（［ＣＯＮＴ ０］、［ＣＯＮＴ １］ ．．． ［Ｃ
ＯＮＴ １５］）の内の一を示す。タッグ値に基づき、
組み込みタイププリンタルーチンは示されたタッグに対
応する他のプリンタルーチンへ適切な呼び出しをかけ、
フィールド値を通過させる。

【００７１】組込値プリンタルーチンは、その入力とし
て組込値タイプの値に対する中間形態を受信する。この
ように、入力は２個のフィールドを含むシーケンスタイ
プの値である。第１のフィールドのみが逆コンパイレー
ション処理中に使用される。組込値プリンタルーチン
は、組込値タイプの値の受信した中間形態値の第１フィ
ールド中の値成分中にＡＳＣＩＩ列を発生する。その
後、ルーチンは出る。

【００７２】同様のルーチンが表Ａに記載した各定義に
対して与えられる。残存プリンタルーチンの作用が、表
Ａ及びＢ中の中間形態に対するＡＳＮ．１構文定義の記
載から直接続く。このようにして、表Ａ及びＢの教示内
容に基づいて適切なプリンタルーチンを発生することは
当業者にとって簡単な作業である。以上、本発明の好適
な実施例を説明してきた。本発明は、特許請求の範囲に
記載したように、発明を実施するためのあらゆる等価方
法及び装置を網羅するものである。

【図面の簡単な説明】

【図１】コンパイル及び記憶のための演算システムを表
した模式図。

【図２】高水準ＡＳＮ．１抽象タイプ定義を中間形態へ
変換するためのコンパイラの作用を示すフロー図。

【図３】中間形態における抽象タイプ定義を表すために
用いられるＡＳＮ．１ＢＥＲ値のタイプ、長さ及び値
（ＴＬＶ）フォーマットの構成例を示す図。

【図４】ＡＳＮ．１タイプ定義モジュール例における構
文木を示した図。

【図５】ＡＳＮ．１値定義例における構文木を示した
図。

【図６】抽象タイプ定義に対するＡＳＮ．１ＢＥＲの中
間形態値の例を示す図。

【図７】高水準コード化抽象タイプ定義を中間形態へ変
換するためのプログラムフローを示す図。

【図８】図６及び７で用いられたラベルをそれが表す実
際の定義に変換するためのレジェンドを示す図。

Claims (9)

【特許請求の範囲】
1. 【請求項１】 抽象構文表記法１（ＡＳＮ．１）定義を
   中間水準に符号化された形態から高水準テキスト形態Ａ
   ＳＮ．１定義へ変換するための変換装置において、 前記中間水準符号化形態ＡＳＮ．１定義を受信及び記憶
   するためのメモリ手段と、 前記中間水準符号化ＡＳＮ．１定義を前記高水準テキス
   ト形態ＡＳＮ．１定義へ変換するための逆コンパイラ手
   段と、 前記メモリ手段及び前記逆コンパイラ手段を接続するた
   めのバス手段と、を含むことを特徴とする変換装置。
2. 【請求項２】 高水準テキスト形態ＡＳＮ．１定義及び
   中間水準符号化形態ＡＳＮ．１定義との間で抽象構文表
   記法１（ＡＳＮ．１）定義を変換するための変換装置に
   おいて、 前記高水準テキスト形態ＡＳＮ．１定義を受信及び記憶
   するための第１メモリ手段と、 高水準テキスト形態ＡＳＮ．１定義を中間水準符号化形
   態ＡＳＮ．１定義に変換するためのコンパイラ手段と、 中間水準符号化形態ＡＳＮ．１定義を受信及び記憶する
   ための第２メモリ手段と、 前記中間水準符号化形態ＡＳＮ．１を前記高水準テキス
   ト形態ＡＳＮ．１定義へ変換するための逆コンパイラ手
   段と、 前記第１及び第２メモリ手段、コンパイラ手段、及び前
   記逆コンパイラ手段を接続するためのバス手段と、を含
   むことを特徴とする変換装置。
3. 【請求項３】 請求項２に記載の装置において、更に前
   記高水準テキスト形態ＡＳＮ．１定義から中間水準符号
   化ＡＳＮ．１定義への変換が完了したことを検出する検
   出手段と、 前記検出手段に応答して前記高水準テキスト形態ＡＳ
   Ｎ．１定義を前記第１メモリ手段から削除する廃棄手段
   と、を含むことを特徴とする変換装置。
4. 【請求項４】 抽象構文表記法１（ＡＳＮ．１）定義を
   中間水準符号化形態から高水準テキスト形態ＡＳＮ．１
   定義へ変換するためにユーザ対話型実行時間装置に使用
   される変換装置において、 前記中間水準符号化形態ＡＳＮ．１定義を受信及び記憶
   するためのメモリ手段と、 前記中間水準符号化形態ＡＳＮ．１定義を前記高水準テ
   キスト形態ＡＳＮ．１定義へ変換するためのユーザ要求
   を受信する受信手段と、 前記中間水準符号化ＡＳＮ．１定義を前記高水準テキス
   ト形態ＡＳＮ．１定義へ変換するための手段と、 前記メモリ手段、受信手段及び変換手段を接続するため
   のバス手段と、を含むことを特徴とする変換装置。
5. 【請求項５】 抽象構文表記法１（ＡＳＮ．１）定義を
   表現形態を変換するための方法において、 中間水準符号化形態ＡＳＮ．１定義を受信するステップ
   と、 受信した中間水準符号化形態ＡＳＮ．１定義をメモリ内
   に記憶するステップと、 中間水準符号化形態ＡＳＮ．１定義を高水準テキスト形
   態ＡＳＮ．１定義へ変換するステップと、を含むことを
   特徴とする変換方法。
6. 【請求項６】 高水準テキスト形態ＡＳＮ．１定義及び
   中間水準符号化形態ＡＳＮ．１定義との間で抽象構文表
   記法１（ＡＳＮ．１）を変換するための方法において、 高水準テキスト形態ＡＳＮ．１定義を受信するステップ
   と、 受信した高水準テキスト形態ＡＳＮ．１定義を第１メモ
   リ内へ記憶するステップと、 高水準テキスト形態ＡＳＮ．１定義を中間水準符号化形
   態ＡＳＮ．１定義へ変換するステップと、 中間水準符号化ＡＳＮ．１定義を受信するステップと、 受信した中間水準符号化形態ＡＳＮ．１定義を第２メモ
   リ内に記憶するステップと、 中間水準符号化ＡＳＮ．１定義を高水準テキスト形態Ａ
   ＳＮ．１定義へ変換するステップと、を含むことを特徴
   とする変換方法。
7. 【請求項７】 請求項６に記載の方法において、更に前
   記変換ステップの完了後、第１メモリから高水準テキス
   ト形態ＡＳＮ．１定義を削除するステップを含むことを
   特徴とする変換方法。
8. 【請求項８】 対話型実行時間適用プログラム上へのユ
   ーザ要求に応答して、高水準テキスト形態と中間水準符
   号化形態との間で抽象構文表記法１（ＡＳＮ．１）定義
   を変換する方法において、 高水準テキスト形態ＡＳＮ．１定義を受信するステップ
   と、 受信した高水準テキスト形態ＡＳＮ．１定義を第１メモ
   リ内に記憶するステップと、 高水準テキスト形態ＡＳＮ．１定義を中間水準符号化形
   態ＡＳＮ．１定義へ変換するユーザ要求を受信するステ
   ップと、 高水準テキスト形態ＡＳＮ．１定義を中間水準符号化形
   態ＡＳＮ．１定義へ変換するステップと、 中間水準符号化形態ＡＳＮ．１定義を受信するステップ
   と、 受信した中間水準符号化形態ＡＳＮ．１定義を第２メモ
   リ内へ記憶するステップと、 中間水準符号化形態ＡＳＮ．１定義を高水準テキスト形
   態ＡＳＮ．１定義へ変換するユーザ要求を受信するステ
   ップと、 中間水準符号化形態ＡＳＮ．１定義を高水準テキスト形
   態ＡＳＮ．１定義へ変換するステップと、を含むことを
   特徴とする変換方法。
9. 【請求項９】 抽象構文表記法１（ＡＳＮ．１）定義の
   表現形態を対話型実行時間プログラム上へのユーザ要求
   に応答して変換する変換方法において、 中間水準符号化形態ＡＳＮ．１定義を受信するステップ
   と、 受信した中間水準符号化形態ＡＳＮ．１定義をメモリ中
   に記憶するステップと、 中間水準符号化形態ＡＳＮ．１定義を高水準テキスト形
   態ＡＳＮ．１定義へ変換するユーザ要求を受信するステ
   ップと、 中間水準符号化形態ＡＳＮ．１定義を高水準テキスト形
   態ＡＳＮ．１定義へ変換するステップと、を含むことを
   特徴とする変換方法。