JPH04168525A - プログラム部品生成システム - Google Patents

Abstract

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

Description

【発明の詳細な説明】 Ａ、産業上の利用分野 この発明は、メインプログラム（最上位モジュール）中
で利用される複数個のサブプログラム（下位モジュール
）を、その仕様書内容を分析して自動的に生成し、最終
的にこれらのモジュールを結合してプログラム部品を生
成するプログラム部品生成システムに係り、特に、前記
各モジュールの仕様書内容を検証する技術に関する。

Ｂ、従来技術 最上位モジュールは、複数個の下位モジュールを呼び出
し、これにデータを渡して処理結果のデータを受は取り
、自身の処理を進めていくように構成されている。この
とき、最上位モジュールが呼び出す下位モジュール間で
もデータの受は渡しが行われる。この最上位モジュール
と下位モジュールを結合したものをプログラム部品と称
する。

このような、プログラム部品を自動的に生成するシステ
ムは、まず、個々のモジュールの仕様が記述されたモジ
ュール仕様書の内容を分析して、モジュールのソースコ
ードを生成し、次に、各モジュールを結合してプログラ
ム部品を生成するように構成されている。

モジュール仕様書は、例えば、モジュールの入出力デー
タ名、データ型などを定義するデータ定義項目や、定義
されたデータの処理内容を処理手順にしたがって記載す
る処理手順項目などの複数の項目から構成されており、
通常、オペレータ自身の手作業によって作成されている
。

Ｃ０発明が解決しようとする課題 上述のように、モジュール仕様書からモジュールを生成
し、これらを結合してプログラム部品を生成するシステ
ムでは、最上位モジュールと下位モジュールとの間ある
いは下位モジュール同士の間で受は渡されるデータ（入
出力データ）の定義がこれらの間で統一されている必要
がある。

例えば、最上位モジュールＡがあり、そのソースコード
中で、下位モジュールａを呼び出しているとする。最上
位モジュールＡが、下位モジュールａにデータＤＩを渡
して、係る処理を実行する場合、下位モジュールａには
入力データとしてデータＤ１が定義されていなければな
らない。そうでなければ、モジュールａを利用すること
ができず、最終的に生成されたプログラム部品Ａが正常
に動作しなくなる、という不都合が生じる。

したがって、最上位モジュールＡの仕様書内で定義され
ているデータと、下位モジュールａの仕様書内で定義さ
れているデータとが、その名称。

型で一致している必要がある。

しかし、モジュール仕様書はオペレータの手作業で作成
されるものであるから、最上位モジュール仕様書内で定
義するデータ名と下位モジュール仕様書内で定義するデ
ータ名とが異なったものになる可能性がある。上記例の
ように簡単な構成の最上位モジュールＡならまだしも、
下位モジエールが複数個存在し、さらにそれらの下位に
モジュルが存在するような大きな部品になれば、複数の
オペレータが分担してモジュール仕様書を作成すること
になり、この場合、各オペレータがそれぞれ任意にデー
タ名を定義することから、各モジュール間でのデータ定
義の不一致の確率はさらに高くなる。

また、作成されたモジュール仕様書間でのデータ定義が
、統一されているか否かの検証を行うに際しても、各モ
ジュール仕様書同士を参照して比較するという操作が必
要で、手間と時間がかかるものであった。

この発明は、このような事情に鑑みてなされたものであ
って、複数のモジュール間でのデータ定義を一括して管
理することにより、各モジュール間でのデータ定義の検
証を迅速に行うことができるプログラム部品生成システ
ム提供することを目的としている。

０９課題を解決するための手段 この発明は、上記目的を達成するために次のような構成
を備えている。

すなわち、この発明に係るプログラム部品生成システム
は、プログラム部品を構成するメインプログラムおよび
サブプログラムの仕様書作成を支援するモジュール仕様
書作成支援部と、作成されたメインプログラムの仕様書
（最上位モジュール仕様書）内に記述されているデータ
名、型などのデータ定義および関数定義（利用するサブ
プログラムの名称、入出力データ名〕の情報を抽出する
定義情報抽出部と、抽出されたデータ定義情報を記憶す
るデータ定義記憶部と、抽出された関数定義を記憶する
関数定義記憶部と、サブプログラムの仕様書（下位モジ
ュール仕様書）内に記述されている入出力データが最上
位モジュール仕様書内で同じ名称、型で定義されている
かどうかを前記データ定義記憶部と関数定義記憶部内の
情報を用いて検証する検証部と、検証の結果、データ定
義が一致していると判断されたモジュール仕様書の内容
を解析してソースコードを生成するソースコード生成部
とを備えたことを特徴としている。

Ｅ９作用 この発明による作用は以下のとおりである。

定義情報抽出部は最上位モジュール仕様書内に記述され
ているデータ定義と関数定義とを抽出して、これらをそ
れぞれデータ定義記憶部と関数定義記憶部内に格納する
。

検証部は、抽出された関数定義情報（サブプログラム名
および人出力データ名）と、下位モジュール仕様書内に
記述されている入出力データ名とが一致しているか、そ
して、その入出力データ名。

型が抽出されたデータ定義情報内に登録されているか、
を検証する。すなわち、最上位モジュールから下位モジ
ニールに受は渡されるデータが、下位モジュール仕様書
内に入出力データとして同じ名称、型で定義されている
かどうかを検証する。

検証の結果、最上位モジュール仕様書と下位モジュール
仕様書とのデータ定義が一致していると、ソースコード
生成部はそのモジュール仕様書内容を解析してソースコ
ードを生成する。

このように、最上位モジュール仕様書内のデータ定義、
関数定義を一括して記憶し、これを下位モジュール仕様
書との検証に利用することにより、モジュール仕様書同
士を参照して検証を行うよりも迅速な検証が行える。検
証の対象となる下位モジュール仕様書が多数存在する場
合は、特に、迅速な検証となるし、検証後にソースコー
ドを生成しているので、そこでのデータ定義の不一致に
よるエラーが発生することはない。

Ｆ、実施例 以下、この発明の一実施例を図面に基づいて説明する。

第１図は、プログラム部品生成ノステムの概略構成を示
したブロフク図である。

図中、符号ｌは、デイスプレィ２とキーボード３とを備
えて、オペレータによるモジュール仕様書の作成を支援
するモジュール仕様書作成支援部である。

ここで作成されるモジュール仕様書は、メインプログラ
ムおよび、これに呼び出されて利用されるサブプログラ
ムの仕様を記述したものである。

以下、メインプログラムの仕様を記述した仕様書を最上
位モジュール仕様書、サブプログラムの仕様を記述した
ものを下位モジュール仕様書上杵する。なお、前記メイ
ンプログラムとサブプログラムとを結合したものをプロ
グラム部品という。

最上位モジュール仕様書Ａの一例を第２図に、下位モジ
ュール仕様書ａの一例を第３図に示し、以下に説明する
。

すなわち、モジュール仕様書は、 ［１１モジュールの名称 ［２］機能概要 ［３１データ定義 ［４１関数定義 ［５１処理手順 などの項目で構成されている。

［１１はモジュールの名前やそのモジュールが格納され
ているファイル名などが記述される。

［２１の機能概要項目には、モジュールが果たす機能を
要約したものが記述される。

１３］　のデータ定義項目は、［３，１１の入出力デー
タ定義と、［３，２１の内部データ定義に分割され、［
３，１］　には、入出力データ名、型、単位が、［３，
２１には、プログラム部品の内部で新たに定義されるデ
ータの名、型、単位が記述される。なお、これらの各デ
ータには変数名（Ｘｉ、Ｘ２・・・など）が付加され、
これらの各変数に各入出力データが代入されるように構
成されており、複数のモジュール間でデータの受は渡し
を行う場合には、直接、データ名を記述するのではなく
、変数名で記述するようになっている。

［４］　の関数定義項目は、下位モジュールを有するモ
ジュールのみに記述されるもので、最上位モジュールは
もちろんのこと、その下位モジュールがさらに下位のモ
ジュールを有する場合には、下位モジュールにも記述さ
れる。

［５１の処理子ｊ頓項目は、処理の流れを図記号を使っ
て記述したもので、例えば、“◎′の記号は当該モジュ
ールの関数を表し、そのあとに記述されている文字列が
関数名を表し、“○”の記号は繰り返し処理を、“◇“
の記号は分岐処理を、“・°の記号は順次処理を、それ
ぞれ表している。

各記号の後にはその記号の持つ意味を文字で表記してお
り、例えば、”Ｏ“の記号のあとには、ｒＦＯＲ，とい
う繰り返し処理を表す文字列が、“Φ“の記号のあとに
は、ｒｌＦＪという分岐処理を表す文字列が記述されて
いる。

また、＠は呼び出し関数を表す記号で、記号のあとに記
述されているのがその関数名、すなわち、当該モジュー
ルに利用される下位モジュールの名前である。その次の
“（・・・）“内には下位モジュールの入力データ名が
記述され、“−〉“の記号のあとの“（・・・）′内に
は出力データ名が記述される。なお、この入出力データ
名の記述方法は、◎“記号のあとに記述されている当該
モジュールの関数に対しても同様である。

上記のようなモジュール仕様書は、モジュール仕様書作
成支援部１を起動してオペレータ自身により作成される
。

第１図に戻って、符号４は上記のモジュール仕様書を格
納する仕様書記憶部、５は下位モジュールを有するモジ
ュール（この例では、説明の簡単化のため、これを最上
位モジュールとし、下位モジュールはさらに下位のモジ
ュールを持たないものとする）の仕様書から上記のデー
タ定義情報と、関数データ定義情報を抽出する定義情報
抽出部、６は抽出されたデータ定義を記憶しておくデー
タ定義記憶部、７は抽出された関数定義を記憶しておく
関数定義記憶部である。

符号８は、記憶された最上位モジュール仕様書のデータ
定義および関数定義と、下位モジュール仕様書の入出力
データとの定義が統一されているかどうかを検証する検
証部である。

９は、検証部８において、最上位モジュールとの間での
データ定義が統一されていると判断された下位モジュー
ル仕様書から、ソースコードを生成するソースコード生
成部である。モジュール仕様書の［５１の処理手順項目
に記述されている内容を解析し、その処理流れに沿った
構文を持つソースコードを生成するように構成されてい
る。

次に、上述した装置の動作を説明する。

まず、オペレータはモジュール仕様書作成支援部ｌを起
動して、モジュール仕様書を作成する。

ここで、作成されるモジュール仕様書が、第２図に示す
最上位モジュール仕様書Ａ、第３図に示す下位モジュー
ルａであったとする。これらのモジエール仕様書はモジ
１−ル仕様書記憶部４に格納される。

定義情報抽出部５は、モジュール仕様書記憶部４から最
上位モジュール仕様書Ａを読み出し、第４図のフローチ
ャートにしたがってデータ定義と関数定義とを抽出する
。

ステシブＳ１で、モジュール仕様書記憶部４から最上位
モジュール仕様書Ａを読み出す。

ステップＳ２で、項目番号［３１を検索用キーワードと
して、最上位モジュール仕様書Ａ内を検索し、そこに記
述されている入出力データ名、型および内部データ名、
型を抽出する。そして、抽出したこれらのデータ名と型
をデータ定義記憶部６に登録する（ステップＳ３）。

内部データ名、型は、前述のように最上位モジュール内
で新たに定義されるもので、最上位モジュールがそのソ
ースコード中で呼び出す下位モジュールは、少なくとも
この内部データを入出力データとしている。また、最上
位モジュールの入出力データをそのまま、入出力データ
とする下位モジュールもある。そこで、これらのデータ
名、型を一括して記憶しておくことにより、後述する検
証の操作で、各モジュール仕様書同士を参照して比較す
るという煩わしさがなくなる。データ定義記憶部６内に
登録されたデータ定義の一例を第５図に示す。

ステップＳ４で、項目番号［５１を検索用キーワードと
して処理手順項目をさがし、さらに、記号“◎゛と“＠
“とをキーワードにして処理手順項目内を検索していき
、これらの記号の後に記述されている最上位モジュール
仕様書Ａのメイン関数名、呼び出し関数名を抽出する。

ステシブＳ５で、抽出した各関数名のあとの”（・・・
）“内に記述されている入出力変数名に対応する入出力
データ名を抽出する。そして、抽出した関数名および入
出力データ名を関数定義記憶部７に登録する（ステシブ
Ｓ６）。

呼び出し関数は、下位モジュールのメイン関数に相当す
るもので、呼び出し関数名とその入出力変数名とを一括
して記憶しておくことにより、最上位モジュール仕様書
Ａがどのような下位モジュールを利用しているか、そし
て、各下位モジュールがどのような入出力データ名を有
しているかを即座に検索することができ、先のデータ定
義の記憶と合わせて検証時間の短縮化に寄与している。

関数定義記憶部７に登録された関数定義の一例を第６図
に示す。

次に、最上位モジュール仕様書Ａと下位モジュール仕様
書ａとの間での入出力データ定義が一致しているかどう
かの検証処理について、第７図のフローチャートを参照
して説明する。なお、この検証処理は第１図示の検証部
８によって実行される処理である。

ステップＴ１で、モジュール仕様書記憶部４から下位モ
ジュール仕様書ａを読み出す。

ステップＴ２で、項目番号［３１を検索用キーワードに
して下位モジュール仕様書ａ内を検索し、そこで定義さ
れている入出力データ名１型を抽出する０次に、記号“
◎“を検索用キーワードとして項目番号［５］　内を検
索し、その記号の後に記述されている関数名、すなわち
、下位モジュールのメイン関数名と、そのあとの“（・
・・）“内に記述されている入出力変数名に対応する入
出力データ名とを抽出する。

ステップＴ３：抽出した関数名で関数定義記憶部７内を
検索して、その関数名で登録されている入出力データ名
を読み出す。そして、読み出した入出力データ名とステ
ップＴ２で抽出した入出力データ名とを比較し、これら
が一致しているかどうかを判断する（ステップＴ４）。

すなわち、このステップＴ４では、最上位モジュールＡ
が下位モジュールａに受は渡す入出力データ名と、下位
モジュール仕様書ａ内で記述されている入出力データ名
が一致しているかどうかの判断を行う。一致していなけ
れば、ステップＴ７に進んでモジュール仕様書作成支援
部１を介し、モニタデイスプレィ２にエラー表示を行う
。一致していれば次のステップＴ５に進む。

ステップＴ５ニステップＴ２で抽出した入出力データ名
、型で、データ定義記憶部６内を検索していき、そこで
登録されているかどうを判断する。

すなわち、このステップでは、最上位モジュール仕様書
Ａで定義されている入出力データ名、型が、下位モジュ
ール仕様書ａでも同じ名称、型で記述されているかの検
証を行う。同じ名称、型のデータが、データ定義記憶部
６内に登録されていなければ、異なった名称、型で記述
されているとして先と同様にステップＴ７に進んでエラ
ー表示を行う、登録されていればステップＴ６に進み、
下位モジュール仕様書ａをソースコード生成部９に送出
する。なお、上記エラー表示の結果、オペレータはモジ
ュール仕様書作成支援部１を起動してモジュール仕様書
の修正を行う。

このように、データ定義記憶部６と関数定義記憶部７と
に格納されている情報と、下位モジュール仕様書内の情
報との間で検証を行うから、検証時間が短縮化される。

仮に、これらの記憶部６゜７がないと、モジュール仕様
書同士を参照して比較検証を行うことになる。上記例の
ように最上位モジュール仕様書Ａと下位モジュール仕様
書ａだけならまだしも、下位モジュール仕様書が複数個
存在する場合には、最上位モジュール仕様書と下位モジ
ュール仕様書間および下位モジュール仕様書同士の間で
も検証を行わなければならず、多大の時間を要する。本
実施例によれば、たとえ下位モジュール仕様書が複数個
存在していたとしてもデータ定義記憶部６および関数定
義記憶部７内にそれらのモジュール仕様書内で定義され
る全ての入出力データおよび関数が一括して記憶される
ので、各下位モジュール仕様書と記憶部６．７との間で
検証を行うだけでよく、かなりの時間短縮化につながる
。

ソースコード生成部９は、送出されたモジュール仕様書
の項目番号［５］　に記述されている処理手順の内容（
前述の記号等）を解析して、ソースコドを生成する。こ
のとき、データ定義記憶部６内に記憶されている各デー
タに対して、適宜に変数型名を決定し、変数宣言文を生
成する。変数型名は、例えば、ＤＡＴＡ−１という名称
のデータに対してソースコード生成部９が独自に生成す
る“記号″で、モジュール仕様書内で定義されている変
数名（Ｘｌ、Ｘ２・・・１などオペレータが作成した名
称）の代わりのものである。コンピュータ内では、処理
を簡単化するためにこのような名称は全て記号化される
。その−貫である。

そして、生成した変数型名を用いて、関数定義記憶部７
内に記憶されている関数の呼び出し文を生成することに
より、下位モジュールを利用する最上位モジュールを生
成し、同じく生成した変数型名を用いて下位モジュール
のソースコードを生成する。これで、最上位モジュール
と下位モジュールが結合されたプログラム部品が生成さ
れる。

なお、上述した実施例では、プログラム部品を構成する
最上位モジュールと下位モジュールとの間での入出力デ
ータの統一化を図るものであったが、複数のプログラム
部品から構成されるシステムがあれば、各プログラム部
品間やシステムとの間でのデータの統一化を図るように
拡張することは可能である。

Ｇ９発明の効果 以上の説明から明らかなように、この発明に係るプログ
ラム部品生成システムは、最上位モジュール仕様書内に
記述されているデータ定義と関数定義とを抽出して、−
括して記憶しておき、それを用いて最上位モジュールか
ら下位モジュールに受は渡されるデータが、下位モジュ
ール仕様書内に人出力データとして同じ名称、型で定義
されているかどうかを検証するように構成したので、モ
ジュール仕様書同士を参照して検証を行うよりも迅速な
検証が行うことができる。

このような、検証を行った後にモジュールのソースコー
ドを生成しているので、生成された最上位モジュールと
下位モジュールとを結合してプログラム部品とした場合
、各モジュール間で受は渡されるデータの不整合が発生
することなく、正確で迅速なプログラム部品の生成に寄
与することができる。

また、最上位モジュール仕様書のデータ定義を一括して
記憶することにより、下位モジュール仕様書に記述する
データ型を省略することもできる。

すなわち、上述の検証で同じデータ名をもつものは、同
じデータ型を有していると判断するように構成すれば、
個々の下位モジュール仕様書にデータ型を記述する必要
はなくなり、仕様書作成の省力化を図ることできる。仮
に、データ定義記憶部がない状態で、データ型を省略す
ると、データ型を判断するムこ際して最上位モジュール
仕様書内の定義項目を検索するという操作が必要になる
ため、データ型の省略化は実現的でなくなる。

【図面の簡単な説明】

第１図ないし第７図は、この発明の一実施例に係り、第
１図はプログラム部品生成システムの概略構成を示した
ブロフク図、第２図は最上位モジュール仕様書Ａの概略
図、第３図は下位モジュール仕様書ａの概略図、第４図
は最上位モジュール仕様書のデータ定義および関数定義
の登録手順を示したフローチャート、第５図はデータ定
義記憶部に登録されるデータ定義の一例を示した図、第
６図は関数定義記憶部に登録される関数定義の一例を示
した図、第７図は検証のフローチャートである。 １・・・モジュール仕様書作成支援部 ５・・・定義情報抽出部 ６・・・データ定義記憶部 ７・・・関数定義記憶部　　　８・・検証部９・・・ソ
ースコード生成部 特許出願人　株式会社　島津製作所

Claims (1)

【特許請求の範囲】
1. （１）プログラム部品を構成するメインプログラムおよ
   びサブプログラムの仕様書作成を支援するモジュール仕
   様書作成支援部と、作成されたメインプログラムの仕様
   書（最上位モジュール仕様書）内に記述されているデー
   タ名、型などのデータ定義および関数定義（利用するサ
   ブプログラムの名称、入出力データ名）の情報を抽出す
   る定義情報抽出部と、抽出されたデータ定義情報を記憶
   するデータ定義記憶部と、抽出された関数定義を記憶す
   る関数定義記憶部と、サブプログラムの仕様書（下位モ
   ジュール仕様書）内に記述されている入出力データが最
   上位モジュール仕様書内で同じ名称、型で定義されてい
   るかどうかを前記データ定義記憶部と関数定義記憶部内
   の情報を用いて検証する検証部と、検証の結果、データ
   定義が一致していると判断されたモジュール仕様書の内
   容を解析してソースコードを生成するソースコード生成
   部とを備えたことを特徴とするプログラム部品生成シス
   テム。