抽象的順序機械型代数的仕様からのドキュメント生成システム

概要

論文の詳細を見る
本論文では, 代数的仕様の部分クラスである抽象的順序機械型代数的仕様から, 縮退遷移グラフおよび仕様の公理の説明文から成るドキュメントを生成するシステムについて述べる. 縮退遷移グラフとは, 抽象的順序機械の全状態空間を分割することにより得られた各部分状態空間と, それらの間の状態遷移を示す有向グラフである. 縮退遷移グラフは順序機械の大局的な状態遷移を示しており, 仕様の理解しやすさを向上させると考えられる. 本システムは, 利用者による状態空間分割を支援する機能や, 順序機械の動作の様子を縮退遷移グラフ上に表示する機能を持つ. また, 本システムは, 仕様で記述された公理を入力とし, 各部分状態空間からの状態遷移を説明する日本語文を生成する. 説明文の生成においては, 状態遷移モデルに基づく表現を用いることにより, もとの抽象的順序機械型代数的仕様の意味を説明文に正確に反映させる. また, 生成された説明文を利用者に提示した後, 関数名, タイプ名などに対して, 利用者が"別名"を指定できるようにしており, より理解しやすい説明文を生成することが可能である. 本論文では, OSIセションプロトコルの仕様の一部を入力としてドキュメントを生成した結果についても述べる.
社団法人情報処理学会の論文
1997-07-15

抽象的順序機械型代数的仕様からのドキュメント生成システム

スポンサーリンク

概要

著者

関連論文

スポンサーリンク