JPH0371335A - プログラム自動生成方式 - Google Patents

Abstract

(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。

Description

【発明の詳細な説明】 〔産業上の利用分野〕 この発明は、日本語で書かれたプログラム仕様文からプ
ログラムを生成するプログラム自動生成方式に関するも
のである。

〔従来の技術〕

第６図は例えば「自動プログラミングにおける自然言語
仕様からオペレーションを中心とした表現への変換」、
情報処理学会研究会、８９−３Ｗ−６４，１９８９年発
行に示された従来のプログラム自動生成方式の一例を示
す構成図である。図において、１は生成すべきプログラ
ムの機能が日本語を用いて示されたプログラム仕様文を
人力する端末装置、２は該プログラム仕様文を格納する
プログラム仕様文蓄積部、３は意味解析に用いる辞書蓄
積部、４は前記プログラム仕様文を単語、分節あるいは
文単位で意味解析する意味解析部、５は該意味解析結果
を格納する意味解析結果記憶部、６は形式的モデル作成
に用いる形式的モデル作成情報蓄積部、７は前記意味解
析結果に対して曖昧仕様を一意に決定し、省略仕様を推
論により補い、単語、分節あるいは文ごとの意味解析結
果を組立てることによりプログラム仕様の形式的モデル
を作成する形式的モデル作成部、８は該形式的モデル作
成結果を格納する形式的モデル記憶部、９はプログラム
生成に用いるプログラム情報蓄積部、１０は前記形式的
モデルよりプログラムを生成するプログラム生成部、１
１は該プログラム生成結果を格納する生成プログラム蓄
積部である。

次に動作について説明する。

端末装置１から入力された日本語で書かれたプログラム
仕様文をプログラム仕様文蓄積部２に蓄積し、このプロ
グラム仕様文に対して、単語、分節あるいは文に関する
情報を保持した辞書蓄積部３の情報を用いて意味解析部
４で意味解析する。

次に、形式的モデル作成情報蓄積部６の情報を用いて、
意味解析結果記憶部５の意味解析結果に対して、曖昧仕
様を一意に決定し、省略されている仕様を推論して袖い
、それらを組立てることにより形式的モデル作成部７で
プログラムの形式的モデルを作成する０次に、その作成
された形式的モデルを形式的モデル記憶部８に記憶し、
この記憶された形式的モデルから、生成するプログラン
ミング言語の情報をもつプログラム情ＩＩ蓄積部９の情
報を用いて、プログラムをプログラム生成部ｌＯで生成
し、生成プログラム情積部１１に蓄積する。

〔発明が解決しようとする課題〕

従来のプログラム自動生成方式は以上のように構成され
ているので、プログラム開発者は入力したプログラム仕
様文がどのように曖昧仕様が一意に決定され、どのよう
に仕様が補われ、どのように組立てられたかを知る手段
が無く、生成されたプログラムを調べないと、生成され
たプログラムが入力で与えたプログラム仕様文の仕様と
一致するのか判断が出来ないという問題点があった。

この発明は上記のような問題点を解消するためになされ
たもので、曖昧で仕様の省略を含むプログラム仕様文に
対して、曖昧仕様を一意に決定し、省略されている仕様
を補い、それらを組立てた標準的プログラム仕様文をプ
ログラムと同時に生成し表示することにより、入力され
たプログラム仕様文がどのように解釈されたかを、プロ
グラム開発者に知らせる機能を有するプログラム自動生
成方式を提供することを目的とする。

〔課題を解決するための手段〕

この発明に係るプログラム自動生成方式は、生成すべき
プログラムの機能が示されたプログラム仕様文を意味解
析する意味解析部４と、その意味解析結果よりプログラ
ム仕様の形式的モデルを作成する形式的モデル作成部７
と、その形式的モデルより対応するプログラムを生、戎
するプログラム生成部１０と、その形式的モデルより対
応する標準的プログラム仕様文を生成するプログラム仕
様文生成部１３とを備え、上記意味解析結果に対して曖
昧仕様を一意に決定し、かつ省略されている仕様を推論
して補い、このようにして得た仕様を組立てることによ
りプログラムの形式的モデルを作成し、作成された形式
的モデルからプログラムを生成するとともに、その形式
的モデルから標準的プログラム仕様文を生成して出力す
るものである。

〔作用〕

意味解析部４は、プログラム仕様文を、単語、分節ある
いは文単位で意味解析する。形式的モデル作成部７は、
その意味解析結果に対して曖昧仕様を一意に決定し、か
つ省略されている仕様を推論して補い、このようにして
得た仕様によりプログラムの形式的モデルを作成する。

プログラム生成部１０は、その作成された形式的モデル
からプログラムを生成する。プログラム仕様文生成部１
０は、その形式的モデルから日本語で書かれた標準的プ
ログラム仕様文を生成して出力する。

〔発明の実施例〕

以下、この発明の一実施例を図について説明する。第１
図はこの発明の一実施例に係るプログラム自動生成方式
の構成ブロック図である。

第１図において、ｌは生成すべきプログラムの機能が日
本語を用いて示されたプログラム仕様文・を入力する端
末装置、２は該プログラム仕様文を格納するプログラム
仕様文蓄積部、３は意味解析に用いる辞書蓄積部、４は
前記プログラム仕様文を単語、分節あるいは文単位で意
味解析する意味解析部、５は該意味解析結果を格納する
意味解析結果記憶部、６は形式的モデル作成部に用いる
形式的モデル作成情報蓄積部、７は前記意味解析結果に
対して曖昧情報を一意に決定し、省略情報を推論により
補い、単語、分節あるいは文ごとの意味解析結果を組み
立てることによりプログラムの形式的モデルを作成する
形式的モデル作成部、８は該形式的モデル作成結果を格
納する形式的モデル記憶部、９はプログラム生成に用い
るプログラム情報蓄積部、１０は前記形式的モデルより
プログラムを生成するプログラム生成部、１１は該プロ
グラム生成結果を格納する生成プログラム蓄積部、１２
はプログラム仕様文生成に用いるプログラム仕様文生成
情報蓄積部、１３は前記形式的モデルより標準的プログ
ラム仕様文を生成するプログラム仕様文生成部、１４は
該プログラム仕様文生成結果を格納する標準的プログラ
ム仕様文蓄積部、１５は生成された前記標準的プログラ
ム仕様文を表示するデイスプレィである。

次に、この発明の実施例の動作について説明する。

まず、プログラム開発者は端末装置ｌを用いて生成すべ
きプログラムの機能を示すプログラム仕様文を日本語で
入力し、プログラム仕様文蓄積部２に格納する。

なお、ここでは第２図に示すプログラム仕様文が入力さ
れたものとし、以下のプログラム生成動作例を第２図〜
第５図を参照して説明する。

意味解析部４は、単語、分節あるいは文に関す情報を保
持した辞書蓄積部３の情報を用いて、プログラム仕様文
蓄積部２に格納している第２図に示すプログラム仕様文
を意味解析し、第３図に示す如き意味解析結果を意味解
析結果記憶部５に格納する。形式的モデル作成部７は、
形式的モデル作成情報蓄積部６の情報を用いて、第３図
に示した意味解析結果より、第４図に示す如き形式的モ
デルを作威し、形式的モデル記憶部８に格納する。

本実施例では、第２図のプログラム仕様文３Ｉの「取引
ファイルから読込んだレコードに対して、金額検査を行
う。」は第４図の５１のＲＥＡＤと５７の「取引ファイ
ル」と５８の「取引ファイルレコード」及び５２のＣＨ
ＥＣＫの部分に組込まれている。第２図のプログラム仕
様文３２の「エラーがない場合、売上計算を行い、」は
第４図の５３のＥＤＩＴの部分に組込まれ、５２の「金
額検査」の結果、５８の「取引ファイルレコード」にエ
ラーがなかった場合、５８の「取引ファイルレコード」
に対して５３の「売上計算」を行い、５３の「売上計算
」の結果、５９の「売上ファイルレコード」を編集する
、として曖昧仕様の一意決定と省略仕様の補足及び組立
てが行われている。

第２図のプログラム仕様文３３の「売上ファイルに出力
する。」は第４図の５４のＷＲＩＴＥと６０の「売上フ
ァイル」の部分に組込まれ、５９の「売上ファイルレコ
ード」を６０の「売上ファイル」に出力すると解釈され
ている。第２図のプログラム仕様文３４の「エラーの場
合はレコードをエラーファイルに出力する。」は第４図
の５６のＷＲＩＴＥと６１の「レコード」と６２の「エ
ラーファイル」の部分に組込まれ、５２の「金額検査」
の結果、５８の「取引ファイルレコード」にエラーが存
在した場合、５５のＥＤＩＴが未定義なので、５５のＥ
Ｄ　ＩＴの人力となる５８の「取引ファイルレコード」
をそのまま６２の「エラーファイル」へ出力する、と解
釈されている。

プログラム生成部１０は、プログラム情報蓄積部９の情
報を用いて、その形式的モデルよりプログラムを生威し
、生成プログラム蓄積部１１に格納する。また、プログ
ラム仕様文生成部Ｉ３は、プログラム仕様文生成情報蓄
積部１２の情報を用いて前記形式的モデルより第５図に
示す標準的プログラム仕様文を生威し、標準的プログラ
ム仕様文Ｍ積部１４に格納する。

本実施例では、第４図の５１のＲＥＡＤと５７の「取引
ファイル」と５８の「取引ファイルレコード」とそれら
と他との位置関係より第５図の標準的プログラム仕様文
６１Ｓの「取引ファイルより取引ファイルレコードを入
力する。」を生威し、第４図の５２のＣ）ｆＥｃＫと５
８の「取引ファイレコード」とそれらと他との位置関係
より第５図の標準的プログラム仕様文６２Ｓの「取引フ
ァイルレコードに対して金額検査を行う、」を生成する
。

また、第４図の５３のＥＤＩＴと５８の「取引ファイル
レコード」とそれらと他との位置関係より第５図の標準
的プログラム仕様文６３Ｓの「金額検査の結果、取引フ
ァイルレコードにエラーがない場合、取引ファイルレコ
ードに対して売上計算を行い、」を生成し、第４図の５
４のＷＲＩＴＥと５９の「売上ファイルレコード」と６
０の「売上ファイル」とそれらと他との位置関係より第
５図の標準的プログラム仕様文６４Ｓの「売上計算の結
果を売上ファイルに出力する。」を生成する。更に第４
図の５５のＥＤＩＴと５８の「取引ファイルレコード」
６１の「レコード」と５６のＷＲＩＴＥと６２の「エラ
ーファイル」とそれらと他との位置関係より第５図の標
準的プログラム仕様文６５３の「金額検査の結果、取引
ファイルレコードにエラーがある場合、取引ファイルレ
コードをそのままエラーファイルに出力する。」を生成
する。前記生成された標準的プログラム仕様文はデイス
プレィ１５に表示される。本実施例では、プログラム開
発者が入力した第２図に示すプログラム仕様文は、第５
図に示す標準的プログラム仕様文の意味で解釈されたこ
とを提示している。

なお、上記実施例ではプログラム仕様文の人力装置とし
て端末装置ｌを用いるものを示したがＯＣＲ等の入力装
置でもよく、標準的プロゲラｌ、仕様文をデイスプレィ
１５に表示したがプリンタ等の出力装置でもよい。また
、仕様文の作成は日本語に限らない。

〔発明の効果〕

以上のように本発明によれば、入力されたプログラム仕
様文に対して曖昧仕様を一意に決定し、かつ省略仕様を
補い、このようにして得た仕様により形式的モデルを作
成し、これから標準的プロゲラ、ム仕様文を生成し、出
力するように構成したので、入力されたプログラム仕様
文がどのように解釈されたかを、プログラム開発者に分
り易く提示することかでき、プログラム作成を効率良く
行えるという効果が得られる。

【図面の簡単な説明】

第１図はこの発明の一実施例によるプログラム自動生成
方式の構成ブロック図、第２図はこの実施例において入
力されるプログラム仕様文の一例図、第３図は上記プロ
グラム仕様文より生成した意味解析結果の一例図、第４
図は上記意味解析結果より作成した形式的モデルの一例
図、第５図は上記形式的モデルより生成した標準的プロ
グラム仕様文の一例図、第６図は従来のプログラム自動
生成方式の構成ブロック図である。 ４・・・意味解析部、７・・・形式的モデル作成部、１
０・・・プログラム生成部、１３・・・プログラム仕様
文生成部。

Claims (1)

【特許請求の範囲】
1. 　生成すべきプログラムの機能が示されたプログラム仕
   様文を意味解析する意味解析部と、その意味解析結果よ
   りプログラム仕様の形式的モデルを作成する形式的モデ
   ル作成部と、その形式的モデルより対応するプログラム
   を生成するプログラム生成部と、その形式的モデルより
   対応する標準的プログラム仕様文を生成するプログラム
   仕様部生成部とを備え、上記プログラム仕様文における
   曖昧仕様を一意に決定しかつ省略されている仕様を推論
   して補い、このようにして得た仕様によりプログラムの
   形式的モデルを作成し、作成された形式的モデルからプ
   ログラムを生成するとともに、その形式的モデルから標
   準的プログラム仕様文を生成して出力することを特徴と
   するプログラム自動生成方式。