JPH02255914A - プログラム自動生成装置 - Google Patents

Abstract

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

Description

【発明の詳細な説明】 ［発明の目的］ （産業上の利用分野） この発明は、システム仕様が人力されると対象システム
に合ったプログラムを選択的に自動生成させる技術に関
し、プログラムの設計のみならずハードウェアの回路設
計等にも利用可能な、汎用性のあるプログラム自動生成
装置に関する。

（従来の技術） 近年、ソフトウェア設計の生産性向上を計るため、知識
工学を応用したプログラム自動生成システムの研究・開
発が活発化してきている。その中でも主流を占めるのは
、既存のプログラムをソフトウェア部品とみなしてソフ
トウェア部品間の接続やデータ構造を機能として表現し
、要求される機能を満足するソフトウェア部品をルール
により自動検索する方法を用いたソフトウェア部品検索
装置である。

第９図は、従来のソフトウェア部品検索装置の構成を表
した概略ブロック図である。従来のソフトウェア部品検
索装置８０は、部品検索を行うためのソフトウェア部品
検索推論処理系８１と、ソフトウェア部品検索ルール記
憶部３０と、ソフトウェア部品記憶部８５とを持つ。こ
の装置８０は、ソフトウェア部品の機能を定義した要求
機能８６を人力として、検索ルールにより検索されたプ
ログラム８７を出力することに特徴がある。

以下、第９図に従って同装置の内容を具体的に説明する
。

要求機能８６は、検索したいソフトウェア部品の機能を
定義したもので、キーボードや文字読み取り装置等から
入力される。入力された要求機能仕様は、要求機能内部
データ記憶部８３に格納される。

格納された内部データに基づき、ソフトウェア部品検索
推論処理系８１に内装されるソフトウェア部品検索手段
２１は、ソフトウェア部品検索ルール記憶部３０のルー
ルに適合するソフトウェア部品を、ソフトウェア部品記
憶部８５に内装されるプログラム記憶部４１のプログラ
ムから、検索する。こうして検索されたプログラムは、
内部部品プログラム記憶部８４に記憶される。ここに記
憶されたプログラムは、ソフトウェア部品検索装置８０
内部で使用される統一された言語（たとえばマシン語）
で表されている。このプログラムの内部使用言語は、プ
ログラム変換・出力処理系６２において、自動生成され
たソフトウェアにより対象プラントを運転するためのプ
ログラマブルコントローラやシーケンサ等の対象マシン
言語に変換される。

作業記憶部５０は、その内部に、ソフトウェア部品検索
時に使用されるデータを記憶するソフトウェア部品検索
特使用データ記憶部５１を持つ。

この記憶部５１を用いて、ソフトウェア部品検索手段２
１によりソフトウェア部品検索ルールが解釈・実行され
るときに、−時的に内部データの書き込み・読み出しが
行われる。

ターゲットプログラム８７は、入力された要求機能・に
応じて検索された部品プログラムで実際に使用する計算
機やプログラマブルコントローラ等の対象マシン言語の
プログラムに変換したものであり、ソフトウェア部品検
索装置の出力としてＣＲＴ表示装置やファイル装置等に
送られる。

（発明が解決しようとする課題） 従来のプログラム自動生成装置では、ソフトウェア部品
に対する機能、及びソフトウェア部品間の結合を定義し
た要求機能をプログラム自動生成装置に入力して、プロ
グラムを生成している。

しかし、たとえば一般のプラント設備においては、設備
機械をどの様に運転するか、またこの設備の駆動装置の
種類、検出器の種類、及びその使用目的はどんなものか
等を記述した、対象システム毎のシステム仕様書が存在
する。従って、このシステム仕様書を満足するプラント
システムのプログラムを生成するためには、そのシステ
ム仕様を基に、設計者がプログラム全体の構成を考慮し
、前記要求機能を別途作成しなければならなかった。

また前記ソフトウェア部品は、部品を構成する信号、デ
ータの意味、及びそれらの組合せが使用目的毎に具体的
に決められた専用部品であり、汎用性がない。従って、
前記要求機能とソフトウェア部品とを極カ一致させるた
めには、多種のソフトウェア部品を数多く用意しなけれ
ばならない。

ソフトウェア部品の数が少ないと、要求機能にぴったり
の部品が見つからないことが起きる（検索失敗）。この
場合、要求機能に最も近いソフトウェア部品を検索した
後、検索されたソフトウェア部品を設計者が要求機能に
合うよう個別に修正する必要が生ずる。

このように、従来のプログラム自動生成装置を使うため
には、多くの人手と時間を要するか、さもなくば多くの
ソフトウェア部品を必要とする。

この発明の目的は、ソフトウェア部品に柔軟性を持たせ
、相対的に少ない人手と少ないソフトウェア部品数で、
所望のシステム仕様に合ったプログラムを自動生成でき
るプログラム自動生成装置を提供することである。

［発明の構成］ （課題を解決するための手段） この発明のプログラム自動生成装置では、システム仕様
が入力され、その仕様に合うソフトウェア部品が検索さ
れる。この検索により得られたソフトウェア部品中に納
められている基本プログラム展開知識に従って、システ
ム仕様を満足する機能が得られるように、検索されたソ
フトウェア部品が修正または変換される。

これを実現すべく、この発明のプログラム自動生成装置
は、システム仕様が要求する機能を細分化されかつ簡素
化した機能の集合として順序立てたプログラム生成ルー
ル、及び前記簡素化した機能を満足するソフトウェアの
部品を検索するソフトウェア部品検索ルールの記憶部を
含むソフトウェア部品検索ルール記憶部と、 前記機能の基本機能を実現する基本プログラム、前記基
本プログラムを前記システム仕様に合うように展開また
は変更するための基本プログラム展開知識、及び前記基
本プログラム中の変数の属性を決定する知識の記憶部を
含むところの前記ソフトウェア部品を格納するソフトウ
ェア部品記憶部と、 前記システム仕様から前記プログラム生成ルールを求め
、この求められたプログラム生成ルールからさらに前記
ソフトウェア部品検索ルールにより要求される機能をも
つソフトウェア部品を検索するソフトウェア部品検索手
段と、 前記プログラム中で使用する変数または定数の属性に応
じてその名称を生成する変数名称生成処理系、及び前記
変数または定数の変数名称とその属性を記憶する変数属
性記憶部を含む変数属性管理処理系と、 前記ソフトウェア部品検索手段により検索して得られた
前記ソフトウェア部品の中の変数属性決定知識に基づき
前記変数の属性を決定し、この決定した変数属性を前記
変数属性管理処理系に送って前記変数名称を得、この得
た変数名称と前記ソフトウェア部品中の前記プログラム
展開知識に従ってこのソフトウェア部品中の前記基本プ
ログラムを展開または変更するソフトウェア部品展開手
段とを持つことを特徴とする。

なお、この発明における変数は定数も含む。また変数の
内部表現型（ビット型、整数型、浮動小数点型）は問わ
ない。

（作用） この発明のプログラム自動・生成装置の基本構成は、例
えば第１図に示すようになっている。この発明の詳細な
説明する前に、ソフトウェア部品について述べる。

この発明で用いられるソフトウェア部品は、所定の機能
を実現するための基本的な手段が示された基本プログラ
ムと、この基本プログラムを利用するにあたりこの基本
プログラムを様々なシステム仕様で各々異なる機能に合
致させる基本プログラム展開知識と、この基本プログラ
ム中で用いられている変数に対して機能に合わせた意味
付けを行うための変数属性決定知識とが、一体となった
ものである。すなわち、対象システムが要求する機能に
合わせ、ソフトウェア部品展開手段および変数属性管理
処理系において、変数属性決定知識を用いて基本プログ
ラム中で用いられている変数の意味づけを行い、続いて
基本プログラム展開知識を用いて基本プログラムをシス
テム仕様に合わせて展開・変更する。これにより、基本
プログラムはシステム仕様に合致した機能を持つように
なる。

（実施例） この発明の実施例を第１図を参照して説明する。

なお以下の説明において、第９図を用いてすでに説明済
みの部分については、同一の参照符号を用いることで重
複説明を避けることにする。

システム仕様１１は、キーボードや文字読み取り装置等
、何等かの人力手段により、プログラム自動生成装置１
０に入力される。

入力されたシステム仕様１１はプログラム自動生成装置
１０内で使用する形式の内部データに変換され、変換さ
れたデータはシステム仕様内部データ記憶部６３に格納
される。

記憶部６３に格納されたシステム仕様内部データを基に
、プログラム自動生成推論処理系２０のソフトウェア部
品検索手段２１は、ソフトウェア部品検索ルール記憶部
３・０内のプログラム生成ルール記憶部３１に納められ
たプログラム生成ルールを検索する。この検索によりソ
フトウェア部品検索手段２１は作成すべきプログラムを
決定する。ソフトウェア部品検索手段２１は次に、決定
されたプログラムに対応した部品検索ルールを、記憶部
３０内のソフトウェア部品検索ルール記憶部３２から、
同様に検索する。さらにソフトウェア部品検索手段２１
は、前記部品検索ルールを解釈し、解釈したルールに適
合したソフトウェア部品の番号とそのソフトウェア部品
を使ってどのようなプログラムを生成したいのかを示し
たゴールとを、ソフトウェア部品展開手段２２へ転送す
る。

ソフトウェア部品展開手段２２は、受は取ったソフトウ
ェア部品番号に従い、ソフトウェア部品をソフトウェア
部品記憶部４０より読み出す。このソフトウェア部品は
、対象とするシステム仕様１１が要求する機能の基本機
能を実現するための基本プログラム（４１）および基本
プログラム展開知識（４２）と、この基本プログラム（
４１）中で使用されている変数（あるいは定数）の属性
をシステム仕様に合うように特殊化するための変数属性
決定知識（４３）とからなる。続いて、ソフトウェア部
品検索手段２１により検索されたソフトウェア部品中の
変数属性決定知識（４３）を基に、変数属性定義・検索
条件が決定されると、決定された条件が変数属性管理処
理系７０に与えられる。変数名称生成処理系７２は、与
えられた変数属性の定義・検索条件に応じて、当該条件
が定義条件の場合には新たな変数名称を生成し、この新
変数名称とともに変数属性定義・検索条件の持つ意味を
変数属性記憶部７１に記憶させる。当該条件が検索条件
の場合には、処理系７２は変数属性定義・検索条件の持
つ意味に該当する変数あるいは定数の変数名称を変数属
性記憶部７１から検索し、前記新変数名称とともに検索
された変数名称をソフトウェア部品展開手段２２に返送
する。

このように生成されたプログラムは、内部プログラム記
憶部６４に記憶される。

なお、作業記憶部５０は、プログラム生成やソフト部品
検索を行うときに使用したデータを、時的に、ゴール記
憶部５１および展開部品記憶部５２に格納するためのも
のである。プログラム変換・出力処理系６２およびプロ
グラム８７は第９図のものと同じである。

このプログラム生成ルールとソフトウェア部品検索ルー
ルについて、第２図を用いて説明する。

あるシステム仕様を満足させるには、まづその仕様が要
求している機能を細分化する。第２図では、左列（メタ
ルール）に記載されている部分がプログラム生成ルール
を示す。通常は、プログラム生成ルールはシステムで実
行される推論のため一条件を示すのが、第２図の中左列
（ＲｕｌｅｓＯｃ）である。この中左列に示される条件
者々をさらに細分化したのが第２図の中有列（Ｒｕｌｅ
ｓ　Ｏｃ　１）である。この中有列に示された各機能を
実現するためのソフトウェア部品が最古列の部品群であ
る。

第２図の中左列および中有列の推論の順序を示したもの
が、ソフトウェア部品検索ルールである。

すなわち、システム仕様が要求する機能を最も大まかに
微小機能の集合として示したものがプログラム生成ルー
ルである。また、プログラム生成ルールで示された各機
能をさらに細分化した機能として示し、こうして細分化
された機能の１つをさらにまた段階的に細分化して行き
、ソフトウェア部品で実現可能な機能まで掘り下げて示
すものがソフトウェア部品検索ルールである。

第３図はプログラム自動生成推論処理系２０で行われる
処理の概要を示すフローチャートである。

プログラム自動生成の処理が開始されると、ステップＰ
１にて、ソフトウェア部品検索ルール記憶部３０からプ
ログラム生成ルールが読み出され、このルールに従って
プログラム生成のためのゴールが生成される。つぎにソ
フトウェア部品検索ルールが読み出される。読み出され
たルールに従って、ゴールの内容に適合したソフトウェ
ア部品の検索が行われる。ステップＣ１では、ゴールに
適合したソフトウェア部品がステップＰ１において検索
されたか否かの判断が行われる。

ステップＣ１でソフトウェア部品が検索されたと判断さ
れると、ソフトウェア部品展開手段２２と変数属性管理
処理系７０において、以下の処理が行なわれる。ステッ
プＰ２では、ステップＰＩで生成されたゴールに基づき
、ソフトウェア部品検索手段２１から受は取ったソフト
ウェア部品の中の変数属性決定知識（４３）に従って、
このソフトウェア部品で使用する変数属性の定義条件・
検索条件が生成される。

ステップＣ２では、ステップＰ２で生成された条件が定
義条件なのか検索条件なのかの判断がなされる。生成さ
れた条件が定義条件であれば、ステップＰ３において、
この定義条件に従い新しい変数名称が生成され、生成さ
れた新変数名称は定義条件とともに変数属性記憶部７１
に格納される。

格納後、新変数名称（定義変数）はプログラム自動生成
推論処理系２０に返される。

一方、生成された条件が検索条件であれば、ステップＰ
４において、この検索条件に該当する変数名称が変数属
性記憶部７１から検索され、その信号名称（参照変数）
が取り出される。

ステップＣ３では、基本プログラム中で使用しているす
べての変数名称が決定されたか否かが判断される。すべ
ての変数名称が決定されていないときは、ステップＰ２
．Ｃ２，Ｐ３．Ｐ４．Ｃ３の手順が再実行される。

すなわち、ステップＰ２．Ｃ２，Ｐ３．Ｐ４゜Ｃ３は変
数属性管理処理系７０の処理を表したものである。これ
らのステップにおいて、ステップＰ２で展開された変数
属性決定知識（４３）に従って、基本プログラム内で使
用される変数の名称すべてが、ステップＰ３．Ｐ４にて
決定される。

ステップＣ３にてすべての変数名称が決定されたと判定
されると、ステップＰ５では、ソフトウェア部品中の基
本プログラムが、ステップＰ３およびＰ４で決定された
定義変数および参照変数をもとに展開される。すなわち
、ステップＰ５において、ソフトウェア部品で使用され
ている仮の変数名称が、ステップＰ３で生成された変数
名称、またはステップＰ４で検索された変数名称と置換
される。

ステップＣ４では、システム仕様内部データ記憶部６３
に格納されたシステム仕様に対応するプログラムが可能
な限りすべて生成されたか否かが、判断される。システ
ム仕様対応プログラムがすべて生成されていないときは
、ステップＰ１に戻り、第牛図の手順が初めから実行さ
れる。システム仕様対応プログラムがすべて生成された
と判断されると、第３図の処理は終了する。

第４図、第５図、および第６図は、この発明により給油
ポンプシーケンスのソフトウェア部品検索を行う場合に
於ける、各種データの内容およびそのデータの流れの具
体例を示す。

第４図は第３図の処理ステップＰ１に対応する。

第４図において、ソフトウェア部品検索手段２１は、シ
ステム仕様内部データ記憶部６３内のシステム仕様内部
データを解釈する。そしてソフトウェア部品検索ルール
記憶部３０に記憶されたソフトウェア部品検索ルールに
従って、ソフトウェア部品の検索を行う。この検索実行
時、使用されたデータがゴール記憶部５１　（５１−１
〜５ｌ−ｎ）に随時格納されていく過程は、たとえば次
のようになる。

第１図の構成において、ソフトウェア部品検索ルール記
憶部３０に、 「（制御がＭＣＣ，ＮＲのモータ ？ＭＯＴがある ならば 部品ＰＫＯＯＩを用いて ？ＭＯＴを制御するプログラムを作る。）」というルー
ルがあるとする。ここでシステム仕様内部データ記憶部
６３を参照すると、所定のモータ定格リストより、たと
えば ｒＭＯＯｌ　　アプリケーション：給油ポンプ制御：　
Ｍ　ＣＣ，Ｎ　Ｒ−−−−−−Ｊが検索ルールの？ＭＯ
Ｔに該当するモータであると判定される。するとゴール
記憶部５１（−５１−１）に、たとえば ｒＧＯＡＬ　１０１ アプリケーション：給油ポンプ、 デバイス番号：ＭＯＯｌ、 部品番号：ＰＫＯＯＩＪ が格納される。この後、ソフトウェア部品ＰＫＯ０１の
展開が開始される。

第５図は、第４図に示したゴールＧＯＡＬＩＯ１を基に
、ソフトウェア部品ＰＫＯＯＩの中の変数属性決定知識
に従って変数の検索条件および定義条件を生成する過程
の例を示す。第５図は、第３図の処理ステップＰ２に相
当する。

第５図において、ソフトウェア部品展開手段２２は、ソ
フトウェア部品記憶部４０から読み出されたソフトウェ
ア部品（ここではＰＫＯＯＩという識別名をもつソフト
ウェア部品）と、ゴール記憶部５１　（−５１−１）の
内容とを参照しながら、変数属性決定知識記憶部４３に
格納された知識を展開して展開部品を作成し、作成され
た展開部品を展開部品記憶部５２に格納して行く。

第５図の例では、基本プログラム（４１）の中で使用さ
れている記号Ａ、Ｂ、Ｃ，Ｄ、Ｅは、当該ソフトウェア
部品から他のソフトウェア部品を参照する際の変数であ
り、記号Ｆは当該ソフトウェア部品により定義される変
数である。変数属性決定知識（４３）には、前記記号Ａ
、Ｂ、Ｃ。

−−Ｆという仮の名称を持つ変数の意味付けの方法、つ
まり正式な変数名称の決定方法が示されている。

例えば変数属性決定知識（４３）の中に、知識「Ａ　検
索条件 機械名称がゴールの機械名称と等しく、意味が運転指令
である信号」 があり、参照しているゴールの内容が、「機械名称：給
油ポンプ デバイス番号：ＭＯＯｌ 部品番号：ＰＫＯＯＩＪ であるときは、Ａの条件として、 ［Ａ　検索条件 機械名称が給油ポンプ、 意味が運転指令である信号」 が生成される。

同様の手法により、例えば変数Ｆの定義条件として、 「Ｆ　定義条件 機械名称が給油ポンプ、 意味が運転出力となる信号」 が生成される。

第６図は、第３図に示すステップＰ３ないしステップＰ
５の処理内容を例示するものである。

第６図において、決定しようとする変数の定義条件が与
えられた場合、変数属性管理処理系７０は、ソフトウェ
ア部品展開手段２２から受は取った変数Ｆの定義条件に
従い、まづ、この定義条件を変数名称生成処理系７２（
第１図）に転送する。変数名称生成処理系７２は、受は
取った定義条件を基に変数名称を生成する。ここでは、
処理系７２は、ＭＯＯＩ−Ｆという変数名称を生成して
いる。

変数属性管理処理系７０は、変数Ｆの正式な変数名称Ｍ
ＯＯＩ−Ｆを受は取ると、変数Ｆの定義条件の内容と併
せてこの正式変数名称ＭＯＯＩ−Ｆを変数属性記憶部７
１に登録し、その後、変数名称ＭＯＯＩ−Ｆをソフトウ
ェア部品展開手段２２に返す。

決定しようとしている変数の検索条件が与えられた場合
、変数属性管理処理系７０は、ソフトウェア部品展開手
段２２から受は取った変数の検索条件に示されている条
件に合致する変数の変数名称を、変数属性記憶部７１か
ら検索する。これを第６図の場合で説明する。

当初、展開部品記憶部５２には、変数Ａの検索条件とし
て、 「Ａ　検索条件 機械名称が給油ポンプ、 意味が運転指令である信号」 と記述されている。そこで、この条件にあう変数が変数
属性記憶部７１に既に定義されているか否かを検索する
。この検索により、 ｒＰＬＯｌ−ＯＮ：機械名称が給油ポンプ、意味が運転
指令、 モードが手動である信号」 という記述と、 ｒｃＰＵＩＦ−１：機械名称が給油ポンプ、意味が運転
指令、 モードがＣＰＵである信号」 という記述が見つかる。この場合、変数名称ＰＬ０１−
ＯＮおよびＣＰＵＩＦ−１を検索した変数属性管理処理
系７０は、この変数名称をソフトウェア部品展開手段２
２に返す。同様なやり方で、変数Ｂ、Ｃ，・・Ｆの変数
名称の検索が行われる。

以上のような手法を用いて検索または定義された変数名
称に従い、プログラム展開機構２２において、基本プロ
グラム記憶部４１に記憶された基本プログラムの中の変
数Ａ、Ｂ、　　・・・Ｆを正式な変数名称に変更し、出
来上がったプログラムを内部プログラム記憶部６４に転
送し、そこに格納する。

このとき、１つの検索変数に対し複数の変数が返された
り、逆に１つも変数が返されなかったりした場合は、基
本プログラム展開知識（４２）に従って、変数の組合せ
、削除、選択等を行う。

第６図の場合は、基本プログラム（４１）の内容 ｒ　　（−Ｆ　　（ａｎｄ　　（ｏ　　ｒ　　（ａｎｄ
　　　Ａ　　　Ｂ）（ａｎｄ　　　Ｅ　　　Ｆ）） ＣＤ））Ｊ を、 ｒ　　（−ＭＯＯＩ−Ｆ　　（ａｎｄ　　（ｏ　　ｒＰ
ＬＯＩ−ＯＮ ＣＰＵ　　Ｉ　　Ｆ−１ （ａｎｄ　　　ＭＯＯＩ−Ｆ　　　ＭＯＯＩ−８８）Ｐ
ＬＯ２−ＯＦＦ （ｎｏｔ　　　ＣＰＵＩＦ−２ ＭＯＯＩ−３）　　）Ｊ と置き換えて、内部プログラム記憶部６４に格納する。

（第６図の記憶部６４のブロックは上記置き換えられた
プログラムの構成を図式化して示している。）このよう
にして、順次ゴールに対するプログラムが生成されてい
く。

一旦変数属性記憶部７１に格納された変数名称とその属
性は、どのソフトウェア部品からも参照（アクセス）可
能になる。このようにある変数名称・変数属性が複数の
ソフトウェア部品から共通参照可能となることで、異な
るソフトウェア部品同士がその意味レベルで結合されて
いくことになる。

例えば、第４図のゴール記憶部５１−ｎに格納されたゴ
ールＧＯＡＬ２０（１）を基にソフトウェア部品ＰＫＯ
Ｏ５を展開するとき、ＰＫＯＯ５から検索する変数の一
つとして、 「Ｘ　検索条件 機械名称が給油ポンプ、 意味が運転出力である信号」 という変数があったとする。この場合、上記変数の条件
Ｘにより、変数属性管理処理系７０は変数名称ＭＯＯＩ
−Ｆを返すことになる。

逆に、ゴールの内容は異なるがソフトウェア部品番号が
同じだった場合、例えば、ゴールが、「機械名称：換気
ファン、 デバイス番号：ＭＯＯ９、 部品番号：ＰＫＯＯＩＪ という内容であったときは、変数Ａの検索条件は、「Ａ
　検索条件 機械名称が換気ファン、 意味が運転指令である信号ｊ となる。この場合、第６図で示した変数名称ＰＬ０１−
ＯＮ、ＣＰＵＩＦ−１とは異なる変数名称が検索されて
くることになり、同様に変数Ｆに対しても異なる変数名
称が定義されることになる。

第７図は、第３図のステップＰ３の処理に対応する。第
７図において、変数属性管理手段７１は、ソフトウェア
部品展開手段２２から受は取った信号Ｅの定義条件に従
い、まづこの定義条件を変数名称生成手段７２に転送す
る。変数名称生成手段７２は、受は取った定義条件中の
言葉の意味を基に変数名称７３−１を生成する。

この実施例では、変数名称生成手段７２中に、そこで扱
われる言葉の略語を定義した辞書が用意されており、こ
れらの略語の組合せから変数名称が生成される。ここで
は、変数名称生成手段７２は、ＰＭＰＲＵＮという変数
名称７３−１を生成して、この変数名称を変数属性管理
手段７ｏに返している。

変数属性管理手段７０は、信号Ｅの正式な変数名称７３
−１　（ＰＭＰＲＵＮ）を受は取ると、信号Ｅの定義条
件の内容と合わせて、受は取った正式変数名称ＰＭＰＲ
ＵＮを、ソフトウェア部品展開手段２２に返送する。

第８図は、第３図のステップＰ４の処理に対応する。第
８図において、変数属性管理手段７ｏは、ソフトウェア
部品展開手段２２がら受は取った信号Ａの検索条件５２
−１に示されている条件に合致する変数の変数名称を変
数属性記憶手段７１がら検索する。第８図の例では、変
数名称ＰＬＯ２ＩＮが検索される。変数属性管理手段７
ｏは、検索された変数名称７３−２　（ＰＬＯ２ＩＮ）
　を７フトウ工ア部品展開手段２２に返送する。

同様の方法で、信号Ｂ、Ｃ，Ｄ各々の変数名称７３〜２
の検索も行われる。

第７図および第８図にて説明した方法で検索または定義
された変数名称７３−１．７３−２に従い、ソフトウェ
ア部品展開手段２２は、基本プログラム記憶部４１に格
納されている基本プログラム中の信号Ａ、Ｂ、−・・Ｅ
それぞれを、正式な変数名称に変更する。こうして出来
上がったプログラムは、プログラム記憶手段６４に転送
され、そこに格納される。

このようにして順次ゴールに対するプログラムが生成さ
れて行く。こうして−旦変数属性記憶手段７１に格納さ
れた変数名称とその属性は、どのソフトウェア部品から
も参照可能になる。このため互いに異なるソフトウェア
部品同士が意味レベルで結合されて行くことになる。

第５図に例示した変数属性決定知識記憶手段４３の内容
と、変数属性定義・検索条件記憶手段５２の内容とを比
較すると分かるように、この実施例では、変数属性決定
知識（４３）内では一般的な記述がなされ、変数属性定
義・検索条件（５２）内ではゴールに基づいて特殊化さ
れた記述がなされている。すなわち、この特殊化された
記述が、変数の特殊化された意味を表現するものとなる
。

つまり、一般的な意味を特殊な意味に変更する操作によ
って１つのソフトウェア部品の適用可能範囲が広がる。

と同時に、１つのシステムを設計する時に同じソフトウ
ェア部品を何度使用しても、生成しようとするプログラ
ムのゴールが異なれば、確実に違う意味を持ったプログ
ラムが生成される。

さらに、１つの汎用プログラム部品が目的に応じて細か
く修正されるので、システム仕様により忠実なプログラ
ムを自動生成することができる。

［発明の効果］ 以上述べたように、この発明によれば、システム仕様の
人力に応じて所望のプログラムが自動生成できる。この
ため、プログラム開発の人手、時間が大幅に節減できる
。また、ソフ）・ウェア部品自身が基本プログラムを展
開・変更するための知識を具備しているのでソフトウェ
ア部品に柔軟性があり、全体として見た場合ソフトウェ
ア部品の数、ソフトウェア部品検索ルールの数が少なく
て済む。従って検索ルールの複雑さを回避することがで
きる。さらに、ソフトウェア部品の中に基本プログラム
展開知識が含まれているため、この発明のプログラム自
動生成装置は、基本プログラムの修正・変更に対しても
柔軟に対応できる。加えて、１つのソフトウェア部品を
採用するに当たっての拘束条件が従来よりも少ない、つ
まり検索ルールとソフトウェア部品が粗結合である。こ
のため、ソフトウェア部品が修正・変更されても、ソフ
トウェア部品検索ルールは、必ずしも修正・変更する必
要はない。逆に、ソフトウェア部品検索ルールが変更に
なった場合、必ずしもソフトウェア部品を変更する必要
はない。

【図面の簡単な説明】

第１図はこの発明の一実施例に係るプログラム自動生成
装置の構成を示すブロック図；第２図はソフトウェア部
品を検索する際のルールを説明するルール展開図；第３
図はこの発明の一実施例に係るプログラム自動生成装置
における処理の流れを説明するフローチャート；第４図
は第３図のフローチャート中のステップＰ１の処理にお
けるプログラム生成過程を示す図；第５図は第４図のゴ
ールＧＯＡＬ　１０１を基にソフトウェア部品Ｐ　Ｋ２
Ｏ２内の変数属性知識に従って変数検索条件および定義
条件が生成される過程を示す図；第６図は第３図のフロ
ーチャート中のステップＰ３゜Ｐ４．Ｐ５の処理の具体
例を説明する図；第７図および第８図はそれぞれ第３図
のステップＰ３およびＰ４に対応し、変数名称決定から
プログラム生成までの過程を説明する図；第９図はこの
発明が適用されないプログラム自動生成装置の問題点を
説明するためのブロック図である。 １０・・・プログラム自動生成装置；１１・・・システ
ム仕様；２０・・・プログラム自動生成推論処理系；２
１・・・ソフトウェア部品検索手段；２２・・・ソフト
ウェア部品展開手段；３０・・・ソフトウェア部品検索
ルール記憶部；３１・・・プログラム生成ルール記憶部
；３２・・・ソフトウェア部品検索ルール記憶部４０・
・・ソフトウェア部品記憶手段；４１・・・基本プログ
ラム記憶部；４２・・・基本プログラム展開知識記憶部
；４３・・・変数属性決定知識記憶部；５０・・・作業
記憶部；５１・・・ゴール記憶部；５２・・・展開部品
記憶部；６２・・・プログラム変換・出力処理系；６３
・・・システム仕様内部データ記憶部；６４・・・内部
プログラム記憶部；７０・・・変数属性管理手段；７１
・・・変数属性記憶部；７２・・・変数名称生成処理系
；８７・・・ターゲットプログラム 出願人代理人　弁理士　鈴江武彦 第 図

Claims (1)

1. 【特許請求の範囲】 対象とするシステムの要求に合致するプログラムを生成
   するものにおいて、 前記システムのシステム仕様が要求する機能を、細分化
   されかつ簡素化した機能の集合として順序立てたプログ
   ラム生成ルール、及び前記簡素化した機能を満足するソ
   フトウェアの部品を検索するソフトウェア部品検索ルー
   ルの記憶部を含むソフトウェア部品検索ルール記憶部と
   、 前記機能の基本機能を実現する基本プログラム、前記基
   本プログラムを前記システム仕様に合うように展開また
   は変更するための基本プログラム展開知識、及び前記基
   本プログラム中の変数の属性を決定する知識の記憶部を
   含むところの前記ソフトウェア部品を格納するソフトウ
   ェア部品記憶部と、 前記システム仕様から前記プログラム生成ルールを求め
   、この求められたプログラム生成ルールからさらに前記
   ソフトウェア部品検索ルールにより要求される機能をも
   つソフトウェア部品を検索するソフトウェア部品検索手
   段と、 前記プログラム中で使用する変数または定数の属性に応
   じてその名称を生成する変数名称生成処理系、及び前記
   変数または定数の変数名称とその属性を記憶する変数属
   性記憶部を含む変数属性管理処理系と、 前記ソフトウェア部品検索手段により検索して得られた
   前記ソフトウェア部品の中の変数属性決定知識に基づき
   前記変数の属性を決定し、この決定した変数属性を前記
   変数属性管理処理系に送って前記変数名称を得、この得
   た変数名称と前記ソフトウェア部品中の前記プログラム
   展開知識に従ってこのソフトウェア部品中の前記基本プ
   ログラムを展開または変更するソフトウェア部品展開手
   段とを具備したことを特徴とするプログラム自動生成装
   置。