自然語仕様から代数的仕様への変換における表現式の構文規則の生成

スポンサーリンク

概要

論文の詳細を見る
筆者らは,自然語で記述されたプログラム仕様(自然語仕様と呼ぶ)から代数的仕様への変換法の研究を行っている.この変換法では,自然語仕様から代数的公理への変換を行うのみであり,公理で用いられるデータタイプの宣言や表現式の構文があらかじめ辞書項目として与えられていることを前提としている.本稿で述べる手法では,入力となる自然語仕様を,自然語の構文情報(文型などを指定した構文規則と,品詞・人称などを指定した辞書)をもとに解析することにより,公理に現れる表現式の構文規則を機械的に生成する.さらに,適切な部分データタイプの導入や,構文規則の簡単化を,変換システムのユーザと対話的に行なう.また,本稿では,この生成法に基づいて作成したシステムに,OSIセションプロトコル仕様中の48文を入力として与えた時の結果についても述べる.
一般社団法人情報処理学会の論文
1994-01-20

著者

関連論文

もっと見る

スポンサーリンク