通信プロトコルの自然語仕様から代数的仕様への変換における文章間の依存関係の解析

概要

論文の詳細を見る
筆者らは,通信プロトコル仕様のような動的な自然語仕様を代数的仕様に変換する手法の考察を行なっている.'動的'な仕様とは,定義しようとする機械(プログラム)への外部からの入力によって,内部変数の値の更新やデータ出力などの動作がどのように起こるかを記述した仕様をさす.一般に,このような自然語仕様では,入力に対する出力などの個々の動作が記述されているだけで,その動作の前提となる機械の状態については陽に表現されていないことが多い.本手法では,各自然語文を,その構文木と,局所的な構文によって定まる情報とから,中間表現と呼ばれる形式に変換する.各文に対する中間表現は,その文が記述している動作の前提となる機械の状態を値としてとるような属性をもつ.そして,文章間の依存関係を解析することにより,その属性値を具体的に決定する.本稿では,まず,各自然語文に記述されている動作の前提となる機械の状態を形式的に表現する手段として,状況という概念を導入する.そして,状況という概念によって,文章間の依存関係の解析法を簡潔に定義できることを示す.
一般社団法人情報処理学会の論文
1990-09-04