JPS62106542A

JPS62106542A - 制御フロ−作成方式

Info

Publication number: JPS62106542A
Application number: JP24605185A
Authority: JP
Inventors: Yoshiaki Nagai; 義明永井; Hideki Chigira; 千吉良　英毅; Noriko Otaki; 大滝　紀子
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1985-11-01
Filing date: 1985-11-01
Publication date: 1987-05-18

Abstract

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

Description

【発明の詳細な説明】〔発明の利用分野〕本発明は、制御フロー作成方式に関し、特にプログラム
開発のため、プログラムの要求仕様とデータフローから
計算機処理手順を表現するための制御フローを作成する
方式に関するものである。

〔発明の背景〕

既存のソフトウェアを蓄積し、部品ごとに整理して、新
しいソフトウェアの開発のために、これを再利用するソ
フトウェアの再利用システ１１が、研究開発されている
。再利用システムによりソフトウェアを開発する場合、
どのプログラム部品をどのような順序で利用するかを決
定することが重要である。従来、自然語解析によるプロ
グラミング方式については、電子通信学会論文誌′８４
／３、Ｖｏｌ、Ｊ６７−Ｄ　　Ｎｏ、３　ｒ杉山他著；
対話型自然言語プログラミングシステムの試作」におい
て述べられている。この文献においては、文解釈、仕様
獲得、ユーザ、ユーザインタフェースの４つのモジュー
ルから構成されるプログラミングシステムについて述べ
ており、それぞれ日本語文からの情報抽出、断片的情報
をまとめ上げる情報獲得処理、自動プログラミング、マ
ンマシンインタフェースの機能を実現している。入力文
として、ファイルレベルの処理記述文を対象にしている
が、データ定義文や項目レベルの処理記述文、プログラ
ムを修正する文も入力できることが望ましい。また、多
くの断片的な文が入力されると、ユーザの意識する文脈
とずれることがある。さらに、条件のａｎｄやｏｒが明
示されていない場合には、構文情報をもとにして解釈し
ているが、複雑なときには誤ってしまう。

〔発明の目的〕

本発明の目的は、このような従来の問題を改善し、プロ
グラムを開発する場合に、推論のためのルールデータベ
ースを参照して、データベースから制御フローを選択し
、修正を行って制御ブローを完成させ、また制御フロー
の代替案を作成し、さらにルールデータベースにより解
析が容易なデータフローに変換することができる制御フ
ロー作成方式を提供することにある。

〔発明の概要〕

上記目的を達成するため、本発明の制御フロー作成方式
は、ソフトウェアモジュールを結合して新しいソフトウ
ェアを開発するために、プロゲラ１１の要求仕様と、該
プログラム中のデータに対する手続き等を表現したデー
タフローから計′ｎｖ＆の処理手順を導く制御フローを
作成するシステムにおいて、既存の制御フローのパター
ンと上記データフロー解析のためのルールを蓄積したフ
ァイル、および該ファイルからのデータを検索・編集処
理する手段を有し、上記要求仕様を解析して取り出した
キーワードにより上記ファイルから制御フローを検索し
、データフローを解析しながら上記制御フローと比絞し
て、不一致の部分に対して上記ルールによる推論または
対話により修正を行い、目的に合致した制御フローを作
成することに特徴がある。また、データフローの情報を
フレーム型で表現し、ルールを参照しながらデータフロ
ーをたどり、連接だけでなく、反復・選択分岐手続きに
ついても対応する処理に展開しながら、順次制御フロー
への変換を行い、その過程で、プログラムの性能・保守
性等の評価基準のうち何を重視するかに応じて、考えら
れるいくつかの制御フローのパターンから１代替案を選
択して作成することに特徴がある。さらに、データフロ
ー情報をフレーム型に表現し、ルールを参照して、一度
の入出力操作で満足される複数ノードを単一ノードに統
合化し、また内部手続きについても、同一の操作やＡ　
Ｎ　Ｄで結ばれる条件文等で、ルールを参照して、まと
めることができると判断できるものを、まとめた手続き
にして、効率的な計算機処理手順に展開し易い形のデー
タフローに変換し、制御フローの作成を容易にすること
に特徴がある。

〔発明の実施例〕

以下１本発明の実施例を、図面により詳細に説明する。

第１図は、本発明の一実施例を示す制御フロー作成シス
テムの機能ブロック図である。

第１図において、Ｉはビデオ・データ・ターミナルであ
り、ディスプレイとキーボードを備えている。２は計算
機処理装置であり、３は推論用ルールと、既存制御パタ
ーンの蓄積ファイルである。

１１は制御フロー作成処理制御部、５は要求仕様解析部
、６はデータフロー解析部、７は制御パターン検索部、
８は制御フロー推論修正部、９は制御フロ一対話修正部
である。

第２図は、第１図の処理手順を示すブローチヤードであ
る。先ず、要求仕様から制御パターン検索用のキーワー
ドを読み込む（ステップ１ｏ１）。

これは、出力レポートの種類、フォーマット、入出力デ
ータの情報等である１次に、そのキーワードによりデー
タベースから適当な制御フローのパターンを検索する（
ステップ１０２）。適当なパターンがない場合や、条件
を満たすパターンが複数個ある場合には、対話によりど
のパターンを利用するか選択する。制御パターンは、処
理手順を示すＰＡＤ図に、その処理により作成されるレ
ポートの種類、フォーマット、入出力データ等の情報を
付は加えたものである。次に、データフローを読み込み
（ステップ１０３）、解析を行いながら、選択された制
御ブローとの比較、修正を行う。データフロー中のノー
ドは、プログラム中のデータに対する各手続きに相当し
、各ノードは下記のような構造体として表現される。

（（入出力データ型）（データフロー）（機能）・・・・・・・）　　・・・・・　（１）プログラム全
体のデータフローは、各手続きをノードとし、手続きへ
の入出力データをアークとするデータフロー図として書
き表わされる。

先ず、データフローの人出カデータと、制御パターンの
入出力データが一致しているが否かを調へる（ステップ
１０４）。一致していない場合、データ名やデータ型の
不一致等で、ルールによる推論により修正方法が決定で
きるものは修正を行い、わからないものは対話修正を行
う（ステップ１゜５）。次に、データフローの入力デー
タ部分からデータフローをたどる（ステップ１０６）、
ここで、１つの上流ノードに続く下流ノードが複数個あ
る場合に、どのデータフローを選択するが、という問題
が発生する。この間Ｗ１を解決するために、先ずデータ
フロー中の各ノードに対応する計算機の処理を、いくつ
かの計算機処理（手続き）の抽象区分（メソッド・カテ
ゴリ）に分類する。ここで、入力１．ｉｒ′Ｃ１，、編
集、出力という例について考えると。

メソッド・カテゴリは、次のようなデータ構造で表現さ
れる。

（メソッド（メソッド・カテゴリ（入力　計算　編集　出力）））・・　（２）このメソ
ッド・カテゴリを使うことによって。

設計者の持っている計算機処理の順序づけのためのノウ
ハウ′情報は、次のようなデータ構造で表現できる。

（メソッド・カテゴリ処理手順（第１処理（入力））（第２処理（計算））（第３処理（編集））（第４処理（出力）））　　　・・・・　（３）そして
、このデータ構造に記述された処理順序を用いて、デー
タフローのノード選択の順序決定を行う。このとき、次
のようなデータ構造により、データフロー中のノードの
計算機処理とメリット・カテゴリとの対応づけを行う（
ステップ１ｏ７）。

（人力（計算磯処理（入力する　インプットする・・・・））（計算（計算機処理（計算する　変換する　演算する・・・））・・・・・
・・・・・・）（編集（計算機処理（・・・・・・・　　　　　　　）））　。

（出力（計算機処理これで、複数個のノードがある場合にも、１個のデータ
フローを選択する方法が決定した。

たどったデータフローの下流ノードが、ＰＡＤ図の最初
の部分と対応しているか否かを調べる（ステップ１０７
）。対応していなければ、ルールを参照して修正を行う
（ステップ１０８）、この場合にも、推論修正できない
場合には、対話修正を行う。そして、メソッド・カテゴ
リに従って次のデータフローをたどり（ステップ１１０
）、その下流ノードがＰＡＤ図の次のボックスに対応し
ているか否かを調へる（ステップ１０７）。たどるべき
データフローがなくなるまで、同じような処理を行う、
ただし、入出力データの確認や内部手続きの比較におい
て修正されたデータは、制御フロー全体で、同じように
変化するものとする。

このようにして、制御フローが作成される。

本実施例では、推論用ルールと既存制御パターンをデー
タベースに蓄積しておき、要求仕様から取り出したキー
ワードで制御フローを選択し、それをデータフローと比
較しながら推論修正し、できないものは対話修正を行う
ことにより、制御フローを完成させることができる。従
って、何もない状態から制御フローを作成するよりも効
率がよく、また利用したいパターンがある場合には、そ
れに準じた制御フローを作成することもできる。

次に、第３図〜第６図により、既存の制御パターンから
制御フローを作成する手順を述へる。

第３図は、開発したいプログラムの要求仕様を自然語に
より表現したものである。また、第４図は、第３図の要
求仕様から作成されるデータフロー図であり、さらに第
５図はデータベースから選択された既存の制御パターン
の一例であり、第６図は第５図を修正して作成された制
御フローを表わすＰＡＤ図である。

第４図のデータフローにおける４−１は入力データ、４
−８は出力データ、４−２〜４−７はデータに対する手
続き、矢印がデータフローである。

先ず、第３図に示す要求仕様から制御パターン検索用キ
ーワードを取り出す。ここでは、４−１から「売上伝票
Ｊ、４−２から「出力データは４個Ｊ、ｒ出力レポート
は３行Ｊ、４−３から「入力データは２個」、等である
。これらのキーワードにより、制御パターン蓄積データ
ベースを検索し、第５図に示す制御パターンを選び出す
。

次に、第４図のデータフローを読み込み、解析しながら
第５図の制御フローと比較し、対応しない箇所を修正し
ていく。先ず、入出力データを比較すると、４−１のＡ
、Ｃに対して、５−２ではＡ、Ｂであるため、５−２の
ＢをＣにする。出力データは、４−８はＡ、Ｂ、Ｃ，Ｄ
であり、５−３もＡ、Ｂ、Ｃ，Ｄであるが、５−２のＢ
をＣに変えたので、最初Ｃであったデータを已にする６
つまり、第５図のＢとＣを入れ替える。そして、各デー
タ型を比較すると、４−１のＡは文字列型で、５−２の
Ａは実数型であるため、５−２のＡを文字列型にする。

これで、入出力データが一致した。次に、データフロー
をたどり、４−２を読み込む。５−４で、ＢはＣに変わ
っているため、このボックスは修正なしである０次に、
このＡ。

Ｃが３回ずつ入力される、ということが５−５に対応し
ているので、５−５もそのままである。次に、４−２か
らメソッド・カテゴリに従ってデータフローをたどり、
４−３を読み込む。これは、５−６に対応しているので
、５−６も修正なしである。次に、４−３８を読み込み
、５−７と比較する。５−７のＣは已になっているので
、５−７も修正なしである。同じように、４−４と５−
８も対応する。次に、４−４からのデータフローは、４
−６で、Ｂを利用しているので、４−６がｙｅ５の場合
、４−５がｎｏの場合であることを推論し、４−５と５
−１０．４−６と５−９をそれぞれ比較する。５−１０
のＣはＢになっているので、１１−５と対応し、修正な
しである。５−９は、Ｄ：＝Ｃ＋Ｂとなっているが、こ
れは４−６とは対応しない。そこで、５−９をＤ：＝Ｂ
＊Ｃと修正する。最後に、４−７と５−１１を比較し、
修正なしであるため、終了する。その結果が、第６図で
ある。すなわち、６−２．６−３．６−８はそのままで
あり、入出力データを修正したことにより、６−］、］
６−４．６−５．６−が作成され、６−６は４−６に合
せて修正された。ここで、データ、へは文字列型、Ｂ、
Ｃ，Ｄは実数型である。

これで、第６図のＰＡＤ図が完成された。

本実施例では、推論により全部修正することができたが
、修正方法がわからない場合、修正することにより他の
部分に矛盾が生じる場合等については、対話人力により
修正を行う。

このようにして、本実施例においては、要求仕様とデー
タフローから既存制御パターンの選択・修正を行い、制
御フローを完成させることができるので、効率よく制御
フローを作成でき、また既存のパターンで利用したいも
のがあれば、それを選択することにより、そのパターン
に準じた制御フローを作成することができる。

次に、推論のためのルールを参照しながらデータフロー
の解析を行い、プログラム中の処理手続きの順序を決定
し、手続きの意味に応じて、反復。

選択処理等も表現する制御フローを作成し、さらに性能
・保守性等の目的に合せた制御フローの代替案を作成す
る方法について述べる。

第７図は、本発明の第２の実施例を示す制御フロー作成
システムの機能ブロック図である。

第７図は、第１図と殆んど同じ構成であり、異なる点は
制御フロー作成処理制御部４の中に、データフロー読み
込み部５ａ、ルールによる推論部５ａ、ＰＡＤ図作成部
７ａ、代替案作成・評価部８ａを内蔵している。

本実施例では、データフローをフレーム型に表現し、推
論のためのルールを蓄積したデータベースを参照しなが
ら解析することにより１反復・選択機能を含む制御フロ
ーを作成することができ、その作成過程において、いく
つかのパターンの制御フローに対して評価基準を選択す
ることにより、目的に応じた代替案を作成することが可
能である。

第８図は、第７図の手順を示すフローチャートである。

先ず、データフローを読み込む（ステップ２０１）。デ
ータフロー中のノードは、プロゲラ１１中のデータに対
する各手続きに相当し、各ノーｌζは前記（１）に示す
ような（１η造体として表現される。

プログラム全体のデータフローは、各手続きをノードと
し、手続きへの入出力データをアークとするデータフロ
ー図として書き表わすことができる。

次に、読み込んだデータフローの入力データ部分からデ
ータフローをたどる（ステップ２０２）。

ここで、１つの上流ノードに続く下流ノードが複数個あ
る場合に、次にどのデータフローを選択するかという問
題が生じる。

この問題を解決するため、先ずデータフロー中の各ノー
ドに対応する計算機の処理を、いくつかの計算機処理（
手続き）の抽象区分（メソッド・カテゴリ）に分類する
。ここで、入力、計算、編集、出力という例について考
えると、メソッド・カテゴリは、前記（２）に示すよう
なデータ構造で表現される。

このメソッド・カテゴリを使うことにより、設計者のも
つ計算機処理の順序づけのためのノウハウ情報は、前記
（３）に示すようなデータ構造で表現できる。

そして、このデータ構造に記述された処理順序を用いて
、データフローのノード選択の順序決定を行う。このと
き、前記（４）に示すようなデータ構造により、データ
フロー中のノードの計算機処理と、メソッド・カテゴリ
との対応づけを行う。

これで、複数個ノードがある場合にも、１個のデータフ
ローを選択する方法が決定した。

次に、たどったデータフローの先のノードの入力データ
が全部揃っていなければ、同じようにメソッド・カテゴ
リに従って別のデータフローをたどる（ステップ２０３
，２０４）。全データが揃っている場合には、そのノー
ドが出力データ部であれば、処理は終了、手続きのノー
ドであれば、その機能に対応する形のボックスに機能を
沓き込み、そのボックスをＰＡＤ図に書き加えた後、メ
ソッド・カテゴリに従って別のデータフローをたどる（
ステップ２０５，２０６）。

この途中で、メソッド・カテゴリにより次のデータフロ
ーを選択しようとした時、以下同じような処理を行う複
数個のノードへのデータフローがあった場合、性能・保
守性等の評価基準から、何を重視するかを選択すること
により、データごとに処理をまとめたもの、同一の手続
きごとに処理をまとめたもの、等の代替案を用意するこ
とができる。

ここで、推論のために参照するルールは、ＩＦ・ＴＨＥ
Ｎの形でファイルに蓄積されている。

次に、第９図〜第１１図により、例を挙げてデータフロ
ーから制御ブローの代替案を作成する手順を述べる。

第９図は、入力されるデータフローの全体を図に書き表
わしたものである。各ボックスは、それぞれ上記の型の
構造体に情報を格納しているものとする。第９図におい
て、１３−１は入力データ、１３−１６は出力データ、
１３−２〜１３−１５はデータに対する手続き、矢印は
データの流れである。

第１０図および第１１図は、第９図のデータフローから
作成される制御フローの例を示し、第１０図は保守性を
重視した制御フローの例、第１１図は性能を重視した制
御フローの例である。

先ず、１３−１の入力データからデータフローをたどる
。１３−２は入力データが１個しかないので、ＰＡＤ図
に書き込む。１３−２は、入力処理であるため、１４−
１．１５−１のようになる。

ここで、読み込んだＢが、３個のレコード型であるとす
る。それにより、その各々のＢに対して同じような処理
を行うということを推論し１反復機能を持つ１４−２．
１５−２をＰＡＤ図に書き込む０次に、メソッド・カテ
ゴリにより、１３−３へのデータフローをたどる。１３
−３は、１人力の代入処理であるため、１４−３．１５
−３となる。次の１３−４についても、１人力の読み込
みであるため、１４−４．１５−４となる０次の１３−
５は、Ｃ，Ｄの存在判定部で、存在するか否かにより処
理が分かれるので、１４−５．１４−６のように、選択
分岐を示す形のボックスをＰＡＤ図にｉぎ込む、ここで
、１３−７はＣ，Ｄを使用しているので、存在する場合
には１３−７．Ｌない場合には１３−９であることがわ
かる。ここで、次にたどるデータフローをメソッド・カ
テゴリによって見つけようとすると、全データフローの
先のノードが計算処理であり、以下１編集、出力となっ
ている。そこで、この先、性能重視、保守性重視の２つ
のパターンの制御フローのいずれを選ぶか問合せを行う
。

ここで、保守性を重視する場合を考える。そのためには
、処理ごとにモジュールをまとめる方がよい、というこ
とを推論し、計算処理と編集処理を分割することにする
。１３−６はＣ，Ｄの存在には関係ないが、正常処理の
場合であると判断して、１６−６とする。１３−７を１
４−７．１４−８とし、１３−８を１４−９とする。異
常処理の場合の１３−９を１４−１０とする。これで、
各データの計算処理だけを３回分まとめて行う。

次に、編集処理を行うために、１４−２と同じように、
１４−１１を作成し、１４−５と同じように１４−１２
を作成する。そして、既に計算が終った各データについ
て、編集を行う。正常処理の１３−１０．１３−１１．
１３−１２．１３−１３を、１４−１３．１４−１４．
１４−１５．１４−１６に変換し、異常処理の１３−１
４を、１４−１７にする。これで、データの編集は全て
終了したので、１３−１５を１４−１８に変換する。

１３−＝１５の次は１３−１６であり、これは出力デー
タ部であって、全データが揃っているので、第１０図の
制御フローは完成である・また、１３−５の部分で、性能重視を選択した場合を考
える。そのためには、各データに対しての処理をまとめ
て行った方が効率がよい、ということを推論して、計算
・Ｗ束処理をデータごとに行うことにする。第１０図と
同じように、１３−６．１３−７．１３−８を１５−６
．１５−７゜１５−８．１５−９に変換し、それに続い
て各々のデータを編集するために、１３−１０．１３−
１１．１３−１２．１３−１３を、１５−１０゜１５−
１１．１５−１２．４５−１３に変換する。

異常処理の場合も同じようにして、エラー処理とその編
集を続けて行う。そして１次の１３−Ｉｓを１５−１６
にして、第１１図が完成する。

このようにして、第１０図のように、３回分の計算を全
部実行した後、３回分の編集を行うというモジュール性
に富んだ制御ブローの例と、第１１図のように、各デー
タの計算・編集というまとまった処理を３回繰り返す処
理効率のよい制御フローの例の、２つの代替案が作成さ
れた。

このように、本実施例においては、データフローからル
ールを参照して推論を行い、目的に合った性質の制御フ
ローを作成することができる。

次に、プログラムを開発する場合に、ルールを参照しな
がらデータフローを検索・精練し、制御フロー作成時の
解析が容易な処理のまとまったデータフローに変換する
方法を説明する。

第１２図は１本発明の第３の実施例を示す制御フロー作
成システムの機能ブロック図である。第１２図において
、第１図と構成は殆んど同じであって、異なる点は計算
機処理装置２の中にはデータフロー変換処理制御部４．
データフロー読み込み部５ａ、ルールによる推論部ｆ３
ａ、およびデータフロー作成部７ｂを備えている。第１
２図では。

要求仕様から作成されたデータフローを、プログラムの
意味はそのままで、同−処理等をまとめて。

手続きの個数を少なくして、計算機処理手順に近い形の
データフローに変換できることにより、制御フローの作
成を容易にする。

第１３図は、第１２図の動作フローチャートである。先
ず、データフローを読み込む（ステップ３０Ｉ）。デー
タフロー中のノードは、プログラム中のデータに対する
各手続きに相当し、各ノードは前記（１）に示すような
構造体として表現される。

プログラム全体のデータフローは、各手続きをノードと
し、手続きへの入出力デ〜りをアークとするデータフロ
ー図として書き表わされる。次に。

読み込んだデータフローの入力データ部分からデータフ
ローをたどる（ステップ３０２）。ここで。

１つの上流ノードに続く下流ノードが複数個ある場合に
は、どのデータフローを選択するかという問題が生じる
。

この問題の解決のために、先ずデータフロー中の各ノー
ドに対応する計算機の処理を、いくつかの計算機処理（
手続き）の抽象区分（メソッド・カテゴリ）に分類する
。ここで５人力、計算、編集、出力という例について考
えると、メソッド・カテゴリは、前記（２）に示したよ
うなデータ構造として表現される。このメソッド・カテ
ゴリを使用することにより、設計者の持っている計算機
処理の順序づけのためのノウハウ情報は、前記（３）に
示したようなデータ構造で表現される。そして、このデ
ータ構造に記述された処理手順を用いてデータフローの
ノード選択の順序決定を行う。このとき、前記（４）に
示したようなデータ構造により。

データフロー中のノードの計算機処理と、メソッド・カ
テゴリとの対応づけを行う。

これで、複数個ノードがある場合にも、１個のデータフ
ローを選択する方法が決定された。

ここで、たどったデータフローの先のノードが出力デー
タ部であるとき、他にまだたどっていないデータフロー
があれば、メソッド・カテゴリに従って別のデータフロ
ーをたどり、もはやデータフローがなければ、処理を終
了する（ステップ３０３．３０７）、また０次のノード
が出力データ部分でない場合には、ノードがまとめられ
るか否かを評価しくステップ３０４〕、まとめられるも
のがあれば、１つのボックスに直して新しいデータフロ
ー図に書き込み（ステップ３０５）、まとめられないも
のはそのまま書き込む（ステップ３０６）。

そして、他のデータフローがなくなるまで、メソッド・
カテゴリに従って別のデータフローをたどる（ステップ
３０７）。

データフローのノードをたどりながら、効率的な計算機
処理ができるような制御フローを簡単に作成できるよう
に、データフローを簡易化する。

データフローの簡約化は、ルールデータベース中に蓄積
されたルール、例えば次のような種類のルールを用いて
行われる。

（ａ）異なるデータフローノードが、同一の入出力媒体
に対して入出力操作を行う場合、１度の入出力操作で目
的とする事項が達成するならば、これらのノードを統合
化し、１つのノードとする。

（ｂ）ノード間の論理的な演算規則に基づいてノードを
統合化する。

例えば、上流ノードの複数個の条件分岐を、下流ノード
がＡＮＤ条件として使用する場合には、上流ノードの条
件文を１つにまとめる。また、同一ファイルからの読み
込み、同一ファイルへの書き出し等もまとめることがで
きる。メソッド・カテゴリによって、次にたどるデータ
フローを決定するときに、同じレベルのものが複数個あ
る場合、まとめられるか否かの評価を行う。

このようにして、計算機処理手順に近い形のデータフロ
ーが作成できる。

次に、第１４図と第１５図により１例を挙げてデータフ
ローを変換する手順を述べる。第１４図は、変換前のデ
ータフロー、第１５図は変換後のデータフローである。

第１４図および第１５図において、２３−１゜２４−１
は入力データ部、２３−１７．２４−９は出力データ部
、２３−２〜２３−１６．２４−２〜２４−８はデータ
に対する手続きである。

先ず、第１４図のデータフローを読み込む。そして、２
３−１と同じものを２４−１に作り、データフローをた
どる。２３−１からはデータフローが１個しか出ていな
いので、２３−２もそのまま２４−２に書き込む。次に
、２３−２からはデータフローが２個出ているが、メソ
ッド・カテゴリに従って２３−３を選択し、２４−３に
書き込む。次に、２３−３からは２個のデータフローが
出ているが、２３−４も２３−５もファイルからのデー
タの読み込みであり、推論によりＢ、Ｃとも同一のファ
イルからＡを検索キーとして入力するので、１個のボッ
クスにまとめられる。ということを判断し、２４−４と
いう１個のボックスにまとめる。次に、２３−４から２
３−６．２３−５から２３−７の２個のデータフローに
ついて考えると、各々Ｂ、Ｃの存在判定を行い。両方存
在する場合のみ２３−８が実行されることがわかる。

つまり、２３−８は２３−６．２３−７をＡＮＤ条件と
して使っているので、条件文を１個にまとめてもよい、
ということが推論により判断され、２４−５のように１
個のボックスに書き込まれる。

次は、２３−８へのデータフローをたどり、２４−６と
する０次に、２３−６から２３−９．２３−７から２３
−１０については、２３−６．２３−７が１個にまとめ
られており、２３−９．２３−１０は、Ｂ、Ｃのどちら
かが存在しない場合に実行される手続きであるため、こ
れもまとめて２４−７にすることができる。ここで、残
っているデータフローは、全部データ出力であり、出力
光は同一ファイルである、ということを推論により判断
し、２３−１１”〜２３−１６を１つにまとめて２４−
８とする。これで、内部の手続きについては、全部書き
込んだので、最後に２３−１７を２４−９として終了す
る。

ここでは、データフロー図の書き替えにより、説明した
が、実際にはフレーム型ｆａｔ造体が作成される。本実
施例では、入出力データ部を除いて、第１４図で１５個
あった手続きのボックスが、第１５図では７個になって
いる。また、ファイルからの入力、ファイルへの出力も
、各々１度の操作になっており、処理効率が向上する。

このように、本実施例においては、要求仕様から作成さ
れたデータフローを、ルールを利用して推論を行い、可
能な手続きをまとめることにより１手続き数が少なくな
り、冗長な処理の繰り返しがなくなるので、制御フロー
への開展を容易にすることができる。

〔発明の効果〕

以上説明したように、本発明によれば、プログラノ、を
開発する場合に、要求仕様とデータフローを与え、既存
制御フロー蓄積データベースを用意することにより、ル
ールを参照して推論を行い、適当な制御フローの例をデ
ータベースから選択し、修正することにより、制御フロ
ーを作成することができるので、人手により制御フロー
を作成する場合に比べて大幅に手数が減小し、プログラ
ムの開発効率は向上し、手続きは簡略化される。また、
上記制御フローへの変換の過程で、性能・保守性等の評
価ＪＪ準のうち重視する方を選択して、制御フローの代
替案を用意することができるので、目的に合ったプログ
ラムの処理手順を示す制御フローを作成することができ
る。また、ルールを利用しての推論により、可能である
と判断された手続きをまとめることにより、手続き数を
少なくし、同し処理の繰り返し等を取り除いたデータフ
ローを作成することができるので、制御フローへの展開
が容易となり、また冗長な処理がなくなり、効率のよい
制御ブローを作成できる。

【図面の簡単な説明】

第１図は本発明の第１の実施例を示す制御フロー作成シ
ステムのブロック図、第２図は第１図の動作フローチャ
ート、第３図は本発明による要求仕様の図、第４図は第
３図の要求仕様から作成されたデータフロー図、第５図
はデータベースから選択された制御パターンの一例を示
す図、第６図は第５図を修正して作成された制御ブロー
の図、第７図は本発明の第２の実施例を示す制御フロー
作成システムのブロック図、第８図は第７図の動作フロ
ーチャート、第９図は本発明によるデータフロー図、第
１０図は第９図により作成される制御フローの例を示す
図、第１１図は第９図により作成される制御）ローの他
の例を示す図、第１２図は本発明の第３の実施例を示す
制御フロー作成システムのブロック図、第１３図は第１
２図の動作フローチャート、第１４図は本発明による実
行前のデータフロー図、第１５図は本発明による実行後
のデータフロー図である。】：ビデオ・データ・ターミナル、２：計算機処理装置
、３：推論ルール・既存制御パターン蓄積データベース
、４：制御フロー作成処理制御部、５：要求仕様解析部
、６：データフロー解析部、７：制御パターン検索部、
８：制御ブロー推論修正部、９：制御フロ一対話修正部
、５ａ：データフロー読み込み部、６ａ：ルールによる
推論部、７ａ：ｒ’ＡＤ図作成部、８ａ：代替案作成部
、７ｂ：データフロー作成部。＼ｊ−ψ 第　　　　　１　　　　　図第　　　　　２　　　　　図第３図第４図第５図第６図第７図第８図第　　　１０　　　図第　　　１１　　　図 −へ　　　　　　　　　　　　［Ｆ］１１　　　　　　　　　　　　　　　　　　　ｌｔ′）
→　Ｄ　トの

Claims

【特許請求の範囲】

（１）ソフトウェアモジュールを結合して新しいソフト
ウェアを開発するために、プログラムの要求仕様と、該
プログラム中のデータに対する手続き等を表現したデー
タフローから計算機の処理手順を導く制御フローを作成
するシステムにおいて、既存の制御フローのパターンと
上記データフロー解析のためのルールを蓄積したファイ
ル、および該ファイルからのデータを検索・編集処理す
る手段を有し、上記要求仕様を解析して取り出したキー
ワードにより上記ファイルから制御フローを検索し、デ
ータフローを解析しながら上記制御フローと比較して、
不一致の部分に対して上記ルールによる推論または対話
により修正を行い、目的に合致した制御フローを作成す
ることを特徴とする制御フロー作成方式。
（２）ソフトウェアモジュールを結合して新しいソフト
ウェアを開発するために、プログラムの要求仕様と、該
プログラム中のデータに対する手続き等を表現したデー
タフローから計算機の処理手順を導く制御フローを作成
するシステムにおいて、既存の制御フローのパターンと
上記データフロー解析のためのルールを蓄積したファイ
ル、および該ファイルからのデータを検索・編集処理す
る手段を有し、上記データフローの情報をフレーム型で
表現し、上記ルールを参照しながら該データフローをた
どり、連接、反復・選択分岐手続きについて展開して、
順次制御フローへ変換し、該変換過程で、プログラムの
性能、保守性等の評価基準のうちの重視項目に応じて、
複数の制御フローのパターンから代替案を選択して、制
御フローを作成することを特徴とする制御フロー作成方
式。
（３）ソフトウェアモジュールを結合して新しいソフト
ウェアを開発するために、プログラムの要求仕様と、該
プログラム中のデータに対する手続き等を表現したデー
タフローから計算機の処理手順を導く制御フローを作成
するシステムにおいて、既存の制御フローのパターンと
上記データフロー解析のためのルールを蓄積したファイ
ル、および該ファイルからのデータを検索・編集処理す
る手段を有し、上記データフローの情報をフレーム型で
表現し、上記ルールを参照して一度の入出力操作で満足
される複数ノードを単一ノードに統合化し、また内部手
続きについても、上記ルールを参照して同一の操作やＡ
ＮＤによる条件文等に対してまとめることができると判
断することにより、１つにまとめた手続きにして、制御
フローに展開し易い形のデータフローに変換することを
特徴とする制御フロー作成方式。