JP3251382B2 - データフロー図作成方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、ソフトウェア開発や要
求分析などに用いられるデータフロー図の作成方法に関
し、詳しくは、入力データと出力データとの１組の対に
関して追加削除の指示を逐次的に与えることによってデ
ータフロー図を逐次的に自動作成することができるよう
にしたデータフロー図作成方法に関する。

【０００２】

【従来の技術】データフロー図はプロセスとその入出力
データの相関を流れ図で表記したものであり、ソフトウ
ェアの要求仕様等を記述するために用いられる。従来、
この種のデータフロー図の自動作成法としては、予め入
出力データ間の依存関係を一意に定義し、それに基づい
て一意的なデータフロー図を自動作成する方法が提案さ
れている（例えば、Ａdler Ｍ.,“Ａn Ａlgebra for Ｄ
ata Ｆlow ＤiagramＰrocess Ｄecomposition”ＩＥＥ
Ｅ trans．on ＳＥ，Ｖol.１４，Ｎo.２，pp．１６９−
１８３，１９８８）。

【０００３】

【発明が解決しようとする課題】上記従来のようなデー
タフロー図の自動作成技術は、入出力データの依存関係
の詳細が予め定義されていることを前提としているた
め、入出力データの依存関係の詳細が決められていない
場合や依存関係の一部を変更する場合など、試行錯誤的
な検討が必要な場合には、適用できないという問題があ
った。また、入出力データの依存関係の一部を変更する
場合でも、変更前の入出力関係に基づいて作成されたデ
ータフロー図の一部を修正するのでなく、変更後の入出
力関係に基づいてデータフロー図をすべて作成し直す必
要があった。

【０００４】本発明の目的は、このような従来の欠点を
解消し、入出力データ間の依存関係を逐次的に与えるこ
とを可能とし、データフロー図を逐次的に自動作成する
ことをできるようにすることにある。

【０００５】

【課題を解決するための手段】本発明は、すでに作成さ
れているデータフロー図上の各プロセスごとに、当該プ
ロセスが依存する入力データの集合と該入力データだけ
に依存する出力データの集合とをプロセス入出力集合と
して管理するとともに、１個の入力データと１個の出力
データの依存関係の組からなる入出力データ対の追加ま
たは削除を逐次的に入力し、該入力された入出力データ
対と前記すでに作成されているデータフロー図に対応す
る前記プロセス入出力集合に基づいて該データフロー図
を修正し、該修正結果に対応して前記プロセス入出力集
合を更新して、逐次的に与えられる入出力データの依存
関係に矛盾しないデータフロー図の逐次的作成・修正を
可能にしたことである。

【０００６】具体的には、例えば、１個の入力データと
１個の出力データの依存関係の組からなる入出力データ
対（ａ，ｚ）の追加または削除を入力すると、追加にお
いては、前記プロセス入出力集合より、外部からａだけ
を入力するプロセスを抽出し、外部へｚだけを出力する
プロセスを抽出し、該外部からａだけを入力するプロセ
スから、該外部へｚだけを出力するプロセスへのデータ
フローを追加した場合、互いに等価になるプロセスを統
合する操作を生成し、外部からａを入力するプロセスと
外部へｚを出力するプロセスに関するデータフローを修
正する操作を生成する手順を行い、削除においては、前
記プロセス入出力集合より、ａに依存しｚに影響するプ
ロセスを抽出し、該プロセスをａに依存するプロセスと
ｚに影響するプロセスに分割する操作を生成し、ａに依
存するプロセスとｚに影響するプロセスに関するデータ
フロー図を修正する操作を生成する手順を行い、該生成
された操作に従いデータフロー図を修正し、該修正結果
に対応して前記プロセス入出力集合を更新することを特
徴とする。

【０００７】また、１個の入力データと１個の出力デー
タの依存関係の組からなる入出力データ対（ａ，ｚ）の
追加において、データフロー図上の前記追加する入出力
デー タ対（ａ，ｚ）の入力ａ及び出力ｚが無い場合に
は、ａだけを入力しｚだけを出力するプロセスを追加す
る操作を生成し、入力ａもしくは出力ｂが無い場合に
は、それぞれ外部からａを入力するプロセスもしくはｚ
を出力するプロセスを追加する操作を生成することを特
徴とする。

【０００８】

【作用】データフロー図上のプロセスＰに到る外部から
の入力の集合αとプロセスＰから外部へ到る出力の集合
θからなる集合（α、θ）を、プロセスＰに対するプロ
セス入出力集合という。データフロー図上のすべてのプ
ロセスについて、このプロセス入出力集合を管理する。

【０００９】データフロー図へ依存関係を追加する場合
の編集操作手順は以下の如くである。

【００１０】 （１） 外部からａだけを入力するプロセスを以下のよ
うにして抽出する。 （１−１） 次の判定条件１を満足するプロセスＰを、
外部からａを入力するプロセスとして抽出する。 ＜判定条件１＞ プロセスＰの入力集合が、すべてのプ
ロセスの入力集合の内でａを要素とする最小の入力集合
であること （１−２） 外部からａを入力するプロセスの入力集合
がａ以外の入力を外部から入力するかどうかを調べる。
すなわち、次の判定条件２が成立するとき、ａ以外の入
力を外部から入力すると判定する。そうでないとき、ａ
以外の入力を外部から入力しないと判断する。 ＜判定条件２＞ プロセスＰの入力集合が、すべてのプ
ロセスの入力集合の内でａ以外の任意の入力ｂについ
て、ｂを要素とする最小の入力集合でないこともし、外
部からａを入力するプロセスが、ａ以外の入力を外部か
ら入力するとき、外部からａだけを入力するプロセスと
ａ以外を入力するプロセスに、次のようにして分割す
る。すなわち、Ｐの入出力集合を（α∪｛ａ｝，θ）と
するとき、入出力集合（｛ａ｝，θ）を持つ外部からａ
だけを入力するプロセスと、入出力集合（α，θ）を持
つａ以外の入力を外部から入力するプロセスを生成す
る。また、プロセスＰを削除する。もし、ａ以外を外部
から入力しなければ、プロセスを分割しない。

【００１１】 （２） 外部へｚだけを出力するプロセスを以下のよう
にして抽出する。 （２−１） 次の判定条件３を満足するプロセスＰを、
外部へｚを出力するプロセスとして抽出する。 ＜判定条件３＞ プロセスＰの入力集合が、すべてのプ
ロセスの出力集合の内で要素とする最小の出力集合であ
ること （２−２） 外部へｚを出力するプロセスの出力集合が
ｚ以外の出力を外部へ出力するかどうか調べる。すなわ
ち、次の判定条件４が成立するとき、ｚ以外の出力を外
部へ出力すると判定する。そうでないとき、ｚ以外の出
力を外部へ出力しないと判定する。 ＜判定条件４＞ プロセスＰの出力集合が、すべてのプ
ロセスの出力集合の内でｚ以外の任意の出力ｙについ
て、ｙを要素とする最小の出力集合でないこともし、外
部へｚを出力するプロセスがｚ以外の出力を外部へ出力
するとき、外部へｚだけを出力するプロセスとｚ以外を
出力するプロセスに、次のようにして分割する。すなわ
ち、Ｐの入出力集合を（α，θ∪｛ｚ｝）とするとき、
入出力集合（α，｛ｚ｝）を持つ外部へｚだけを出力す
るプロセスと、入出力集合（α，θ）を持つｚ以外の出
力を外部へ出力するプロセスを生成する。また、プロセ
スＰを削除する。もし、ｚ以外を外部に出力しなけれ
ば、プロセスを分割しない。

【００１２】 （３） 外部からａだけを入力するプロセスから、外部
へｚだけを出力するプロセスへのデータフローを追加し
た場合、もしあれば互いに等価になるプロセスを以下の
ようにして統合する。 （３−１） まず、次のようにして外部からａだけを入
力するプロセスと外部へｚだけを出力するプロセスの入
出力集合を修正する。すなわち、外部へｚだけを出力す
るプロセスの入力集合にａを追加し、外部からａだけを
入力するプロセスの出力集合にｚを追加する。 （３−２） 互いに等価なプロセスを次のようにして抽
出する。すなわち、プロセスＰ、Ｑについて、次の判定
条件５が成立するとき、Ｐ，Ｑを互いに等価なプロセス
であると判断する。 ＜判定条件５＞ プロセスＰの入出力集合の組を（α，
θ），Ｑの入出力集合の組を（β，ζ）とするとき、α
＝βまたはθ＝ζであること もし、プロセスＰとＱが互いに等価なプロセスであると
き、それぞれの入力集合と出力集合の和を統合した入出
力集合（α∪β，θ∪ζ）を統合したプロセスの入出力
集合とする。このとき、プロセスＰおよびＱを削除し、
統合プロセスを追加する。

【００１３】 （４） 外部からａを入力するプロセスと外部へｚを出
力するプロセスに関するデータフローを次のようにして
修正する。 （４−１） 外部からａを入力するプロセスならびに、
外部へｚを出力するプロセスについて、次の判定条件６
が成立するとき、プロセス間のデータフローを追加す
る。 ＜判定条件６＞ プロセスＰの入出力集合の組を（α，
θ），Ｑの入出力集合の組を（β，ζ）とするとき、次
の各条件が成立すること １）α⊆βかつθ⊇ζであること ２）α⊆γ⊆βかつθ⊇δ⊇ζとなる入出力集合（γ，
δ）を持つプロセスがないこと 判定条件６が成立することをＦＬＯＷ（Ｐ，Ｑ）で表
す。 （４−２） 外部からａを入力するプロセスならびに、
外部へｚを出力するプロセスについて、外部とのデータ
フローを次のようにして修正する。（１−２）および
（２−２）で作成したプロセスについて外部からの入力
データフローを生成する。すなわち、作成したプロセス
の入力集合が、その要素ｅについて、その要素ｅを含む
最小な入力集合であれば、その要素ｅを外部から入力す
るデータフローを作成する。また、（１−２）および
（２−２）で作成したプロセスについて外部への出力デ
ータフローを生成する。すなわち、作成したプロセスの
出力集合が、その要素ｘについて、その要素ｘを含む最
小な出力集合であれば、その要素ｘを外部へ出力するデ
ータフローを作成する。

【００１４】データフロー図から依存関係を削除する場
合の編集操作手順は以下の如くである。ここでは、デー
タフロー図からシステム入出力関係（ａ，ｚ）を削除す
るとする。

【００１５】 （１） ａに依存し、ｚに影響するプロセスを抽出す
る。すなわち、各プロセスの入力集合がａを含み、出力
集合がｚを含むプロセスを、ａに依存し、ｚに影響する
プロセスとして抽出する。

【００１６】 （２） ａに依存するプロセスと、ｚに影響するプロセ
スに分割する。すなわち、ａに依存し、ｚに影響するプ
ロセスの入出力集合が（α∪｛ａ｝，θ∪｛ｚ｝）であ
るとき、（｛ａ｝，θ）を入出力集合とするプロセスと
（α，｛ｚ｝）を入出力集合とする２つのプロセスに分
割する。

【００１７】 （３） ａに依存するプロセスと、ｚに影響するプロセ
スに関するデータフローを次のようにして生成する。 （３−１） ａに依存するプロセスＰならびに、ｚに影
響するプロセスＱについて、ＦＬＯＷ（Ｐ，Ｑ）が成立
するとき、プロセスＰからＱへのデータフローを作成す
る。 （３−２） ａに依存するプロセスならびに、ｚに影響
するプロセスについて外部とのデータフローを次のよう
にして修正する。（２）で作成したプロセスについて外
部からの入力データフローを生成する。すなわち、作成
したプロセスの入力集合が、その要素ｅについて、その
要素ｅを含む最小な入力集合であれば、その要素ｅを外
部から入力するデータフローを作成する。また、（２）
で作成したプロセスについて外部への出力データフロー
を生成する。すなわち、作成したプロセスの出力集合
が、その要素ｘについて、その要素ｘを含む最小な出力
集合であれば、その要素ｘを外部へ出力するデータフロ
ーを作成する。

【００１８】

【実施例】以下、本発明の一実施例について図面により
説明する。

【００１９】図１は本発明の一実施例のデータフロー図
作成装置を示す機能ブロック図である。本データフロー
図作成装置は、キーボード等の入力装置１、ＣＲＴディ
スプレイ等の表示装置２、処理装置３、及びメモリ装置
４からなる。ここで、処理装置３は依存関係入力部３
１、修正操作生成部３２、データフロー図編集部３３、
プロセス入出力集合管理部３４で構成される。メモリ装
置４には、すでに生成されたデータフロー図４１、該デ
ータフロー図上の各プロセスのプロセス入出力集合を記
述したプロセス入出力集合テーブル４２が格納されてい
る。

【００２０】依存関係入力部３１は、入力装置１から１
個の入力データと１個の出力データの依存関係の組から
なる入出力データ対の追加または削除を逐次的に入力す
る。修正操作生成部３２は、入力された入出力データ対
とプロセス入出力集合管理部３４からのデータフロー図
に対するプロセス入出力集合に基づいて、依存関係の追
加や削除で必要となるデータフロー図の修正操作を生成
する。この生成手順については後述する。データフロー
編集部３は、生成された修正操作に基づいてデータフロ
ー図４１を修正し、さらに該データフロー図を表示装置
２に表示する。プロセス入出力集合管理部３４では、デ
ータフロー図のプロセスごとに必要な入力データの集合
と影響を与える出力データの集合を、メモリ装置４上に
プロセス入出力集合テーブル４２として管理し、修正操
作生成部３２の指示に基づいて該プロセス入出力集合テ
ーブル４２を参照・更新し、また必要に応じて表示装置
２に表示する。

【００２１】図２はデータフロー図の一例を示したもの
で、（ａ）は入出力依存関係（ａ，ｚ）がないデータフ
ロー図、（ｂ）は入出力依存関係（ａ，ｚ）があるデー
タフロー図である。ここで、（ａ）のデータフロー図で
依存関係（ａ，ｚ）を追加すると（ｂ）のデータフロー
図に一致する。逆に、（ｂ）のデータフロー図から依存
関係（ａ，ｚ）を削除すると（ａ）のデータフロー図に
一致する。

【００２２】次に、図２のデータフロー図を例にして、
図１の修正操作生成部３２でのデータフロー図の修正操
作生成手順を詳述する。

【００２３】図３は、図２（ａ）のデータフロー図で依
存関係（ａ，ｚ）を追加して図２（ｂ）のデータフロー
図に修正する場合の修正操作生成部３２における修正操
作生成手順を示したものである。前提として、修正操作
生成部３２へは、依存関係入力部３１から依存関係対
（ａ，ｚ）が追加として与えられ、プロセス入出力集合
管理部３４からは図２（ａ）のデータフロー図の各プロ
セスの入出力集合が与えられているとする。

【００２４】 （１） 外部からａだけを入力するプロセスを抽出 プロセス入出力集合管理部３４から与えられた各プロセ
スの入出力集合を参照すると、以下のようである。 Ｐ１：（｛ｂ｝，｛ｘ，ｙ，ｚ，ｗ｝） Ｐ２：（｛ａ，ｂ｝，｛ｙ，ｗ｝） Ｐ３１：（｛ａ，ｂ，ｃ｝，｛ｙ｝） Ｐ３２：（｛ｂ，ｃ｝，｛ｚ，ｙ｝） Ｐ４：（｛ａ，ｂ，ｄ｝，｛ｗ｝） （１−１） 外部からａを入力するプロセスを抽出す
る。各プロセスの入出力集合のうちで、ａを要素とする
入力集合でＰ２の入力集合が最も小さいから、外部から
ａを入力するプロセスとしてＰ２を抽出する。 （１−２） 外部からａだけを入力するプロセスと、ａ
以外を入力するプロセスに分割する。 Ｐ２は、ａ以外を外部から入力しないから分割する必要
がない。ただし、ｂを外部から入力するＰ１からのＰ２
へのデータフローがあるので、Ｐ２の入力集合は｛ａ、
ｂ｝となることを注意しておく。

【００２５】 （２） 外部へｚだけを出力するプロセスを抽出 （２−１） 外部へｚを出力するプロセスを抽出する。
各プロセスの入出力集合のうちで、ｚを要素とする出力
集合でＰ３２の出力集合が最も小さいから、Ｐ３２を外
部へｚを出力するプロセスとして抽出する。 （２−２） 外部へｚだけを出力するプロセスとｚ以外
を出力するプロセスに分割する。 Ｐ３２は、ｚ以外を外部に出力しないから分割する必要
がない。ただし、ｙを出力するＰ３１へのＰ３２からの
データフローがあるので、Ｐ３２の出力集合は｛ｚ，
ｙ｝となることを注意しておく。

【００２６】 （３） 外部からａだけを入力するプロセスから、外部
へｚだけを出力するプロセスへのデータフローを追加し
た場合、互いに等価になるプロセスを統合 （３−１） 外部へｚだけ出力するプロセスの入力集合
にａを追加し、外部からａだけを入力するプロセスの出
力集合にｚを追加する。Ｐ２の出力集合にｚを追加する
と、Ｐ２の入出力集合は、（｛ａ，ｂ｝，｛ｙ，ｗ，
ｚ｝）となる。Ｐ３２の入力集合にｚを追加すると、Ｐ
３２の入出力集合は、（｛ｂ，ｃ，ａ｝，｛ｚ，ｙ｝）
となる。 （３−２） 互いに等価なプロセスを抽出し、それぞれ
の入力集合と出力集合の和を統合したプロセスの入出力
集合とする。Ｐ３１の入力集合が｛ａ，ｂ，ｃ｝だか
ら、Ｐ３２の入力集合と一致する。したがって、それぞ
れの入力集合と出力集合の和を統合したプロセスの入出
力集合（｛ａ，ｂ，ｃ｝，｛ｚ，ｙ｝）を作成し、統合
したプロセスＰ３の入出力集合とする。また、Ｐ３１と
Ｐ３２に対する入出力集合を削除する。このとき、Ｐ３
を追加し、Ｐ３１とＰ３２を削除する編集操作を生成す
る。

【００２７】 （４） 外部からａを入力するプロセスと外部へｚを出
力するプロセスに関するデータフローを修正 （４−１） 外部からａを入力するプロセスならびに、
外部へｚを出力するプロセスについて、プロセス間のデ
ータフローを修正する。外部からａを入力するプロセス
はＰ２である。また、外部へｚを出力するプロセスはＰ
３である。このとき、Ｐ２の入出力集合が（｛ａ，
ｂ｝，｛ｙ，ｗ，ｚ｝）で、Ｐ３の入出力集合が
（｛ａ，ｂ，ｃ｝，｛ｚ，ｙ｝）である。これらの入出
力集合は、データフローの存在条件ＦＬＯＷ（Ｐ２，Ｐ
３）を満たすので、Ｐ２からＰ３へのデータフローを作
成するための編集操作を生成する。 （４−２） 外部からａを入力するプロセスならびに、
外部へｚを出力するプロセスについて、プロセス間のデ
ータフローを修正する。Ｐ２の入力集合｛ａ，ｂ｝がａ
を含む最小な入出力集合だから、Ｐ２へ外部からａを入
力するための編集操作を生成する。Ｐ３の出力集合
｛ｚ，ｙ｝がｚを含む最小な出力集合だから、Ｐ３から
ｚを外部へ出力するための編集操作を生成する。Ｐ３の
入力集合｛ａ，ｂ，ｃ｝がｃを含む最小な入力集合だか
ら、Ｐ３へ外部からｃを入力するための編集操作を生成
する。Ｐ３の出力集合｛ｚ，ｙ｝がｙを含む最小な出力
集合だから、Ｐ３からｙを外部へ出力するための編集操
作を生成する。

【００２８】データフロー図編集部３３では、上記修正
操作生成部３２で生成された修正操作指示にしたがって
図２（ａ）のデータフロー図を図２（ｂ）のように修正
する。同様に、プロセス入出力集合管理部３４では修正
操作生成部３２の指示に基づいてプロセス入出力集合を
更新する。

【００２９】図４は、図２（ｂ）のデータフロー図で依
存関係（ａ，ｚ）を削除して図２（ａ）のデータフロー
図に修正する場合の修正操作生成部３２における修正操
作生成手順を示したものである。ここでも、前提とし
て、修正操作生成部３２へは、依存関係入力部３１から
依存関係対（ａ，ｚ）が削除として与えられ、プロセス
入出力集合管理部３４からは図２（ｂ）のデータフロー
図の各プロセスの入出力集合が与えられているとする。

【００３０】 （１） ａに依存し、zに影響するプロセスを抽出 プロセス入出力集合管理部３４から与えられた各プロセ
スの入出力集合を参照とすると、以下のようである。 Ｐ１：（｛ｂ｝，｛ｘ，ｙ，ｚ，ｗ｝） Ｐ２：（｛ａ，ｂ｝，｛ｙ，ｗ，ｚ｝） Ｐ３：（｛ａ，ｂ，ｃ｝，｛ｚ，ｙ｝） Ｐ４：（｛ａ，ｂ，ｄ｝，｛ｗ｝） 外部からａを入力するプロセスは、ａを含む最小な入力
集合を持つのがＰ２だから、Ｐ２である。Ｐ２の入出力
集合は、（｛ａ，ｂ｝，｛ｙ，ｚ，ｗ｝）である。外部
へｚを出力するプロセスは、ｚを含む最小な出力集合を
持つのがＰＳだから、Ｐ３である。なお、Ｐ３の場合、
ｚを外部に出力するだけでなく、ｙも外部へ出力してい
る。

【００３１】 （２） ａに依存するプロセスと、ｚに影響するプロセ
スに分割 Ｐ２は、ａ以外を外部から入力しないから、プロセスを
分割する必要はない。この場合、外部からａだけを入力
するプロセスＰ２の出力集合からｚを削除する。すなわ
ち、Ｐ２の入出力集合は（｛ａ，ｂ｝，｛ｙ，ｗ｝）と
なる。これは、他のプロセスの入出力集合と異なる。Ｐ
３は、ｚ以外にｙを外部に出力しているので、次の２つ
に分割する必要がある。まず、ａに依存するプロセスの
出力集合がｚを含まないように、Ｐ３の出力集合からｚ
を削除した入出力集合を持つプロセスをＰ３１とする。
すなわち、Ｐ３１の入出力集合は（｛ａ，ｂ，ｃ｝，
ｙ｝）である。次に、ｚに影響するプロセスの入力集合
がａを含まないように、Ｐ３の入力集合からａを削除し
た入出力集合を持つプロセスをＰ３２とする。すなわ
ち、Ｐ３２の入出力集合は（｛ｂ，ｃ｝，｛ｚ，ｙ｝）
である。このとき、Ｐ３を削除し、Ｐ３１とＰ３２を追
加する編集操作を生成する。

【００３２】 （３） ａに依存するプロセスと、ｚに影響するプロセ
スに関するデータフローを修正 （３−１） ａに依存するプロセスならびに、ｚに影響
するプロセスについて、プロセス間のデータフローを修
正する。外部からａを入力するプロセスはＰ２である。
また、ｚに影響するプロセスはＰ３１とＰ３２である。
このとき、Ｐ２の入出力集合が（｛ａ，ｂ｝，｛ｙ，
ｗ｝）で、Ｐ３１の入出力集合が（｛ａ，ｂ，ｃ｝，
｛ｙ，｝）、Ｐ３２の入出力集合が（｛ｂ，ｃ｝，
｛ｚ，ｙ｝）である。まず、Ｐ３２とＰ３１の入出力集
合が、データフローの存在条件ＦＬＯＷ（Ｐ３２，Ｐ３
１）を満たすので、Ｐ３２からＰ３１へのデータフロー
を作成するための編集操作を生成する。次に、Ｐ２とＰ
３１の入出力集合が、データフローの存在条件ＦＬＯＷ
（Ｐ２，Ｐ３１）を満たすので、Ｐ２からＰ３１へのデ
ータフローを作成するための編集操作を生成する。最後
に、ｚに影響するプロセスＰ１とＰ３２の入出力集合
が、データフローの存在条件ＦＬＯＷ（Ｐ１，Ｐ３２）
を満たすので、Ｐ１からＰ３２へのデータフローを作成
するための編集操作を生成する。 （３−２） ａに依存するプロセスならびに、ｚに影響
するプロセスについて外部とのデータフローを修正す
る。Ｐ３１の出力集合｛ｙ｝がを含む最小な出力集合だ
から、Ｐ３１から外部へｙを出力するための編集操作を
生成する。Ｐ３２の出力集合｛ｚ，ｙ｝がｙを含む最小
な出力集合だから、Ｐ３１から外部へｙを出力するため
の編集操作を生成する。Ｐ３２の入力集合｛ｂ，ｃ｝が
ｃを含む最小な出力集合だから、Ｐ３２へ外部からｃを
入力するための編集操作を生成する。

【００３３】データフロー図編集部３３では、上記修正
操作生成部３２で生成された修正操作指示にしたがって
図２（ｂ）のデータフロー図を図２（ａ）のように修正
する。同様に、プロセス入出力集合管理部３４では修正
操作生成部３２の指示に基づいてプロセス入出力集合を
更新する。

【００３４】

【発明の効果】以上説明したように、本発明によれば、
逐次的に与えられる入出力データの依存関係に矛盾しな
い正しいデータフロー図を自動生成できるので、入出力
データの依存関係を予め完全に定義する必要がなくな
り、データフロー図の試行錯誤的な作成作業の効率を大
幅に改為できる利点がある。

【図面の簡単な説明】

【図１】本発明の一実施例を示す機能ブロック図であ
る。

【図２】本発明を説明するためのデータフロー図の一例
である。

【図３】データフロー図に入力された依存関係を追加す
るための編集操作生成手順の一例を示す図である。

【図４】データフロー図から入力された依存関係を削除
するための編集操作生成手順の一例を示す図である。

【符号の説明】

１ 入力装置 ２ 表示装置 ３ 処理装置 ３１ 依存関係入力部 ３２ 修正操作生成部 ３３ データフロー図編集部 ３４ プロセス入出力集合管理部 ４メモリ装置 ４１ データフロー図 ４２ プロセス入出力集合テーブル

Claims (2)

(57)【特許請求の範囲】
1. 【請求項１】 プロセスとその入出力データの相関を流
   れ図で表記したデータフロー図を自動作成する方法にお
   いて、 すでに作成されているデータフロー図上の各プロセスご
   とに、当該プロセスが依存する入力データの集合と該入
   力データだけに依存する出力データの集合とをプロセス
   入出力集合として管理するとともに、 １個の入力データと１個の出力データの依存関係の組か
   らなる入出力データ対（以下、（ａ，ｚ）とする）の追
   加または削除を逐次的に入力し、追加においては、前記プロセス入出力集合より、外部か
   らａだけを入力するプロセスを抽出し、外部へｚだけを
   出力するプロセスを抽出し、該外部からａだけを入力す
   るプロセスから、該外部へｚだけを出力するプロセスへ
   のデータフローを追加した場合、互いに等価になるプロ
   セスを統合する操作を生成し、外部からａを入力するプ
   ロセスと外部へｚを出力するプロセスに関するデータフ
   ローを修正する操作を生成する手順を行い、 削除においては、前記プロセス入出力集合より、ａに依
   存しｚに影響するプロセスを抽出し、該プロセスをａに
   依存するプロセスとｚに影響するプロセスに分割する操
   作を生成し、ａに依存するプロセスとｚに影響するプロ
   セスに関するデータフロー図を修正する操作を生成する
   手順を行い、 該生成された操作に 従いデータフロー図を修正し、該修
   正結果に対応して前記プロセス入出力集合を更新する、 ことを特徴とするデータフロー図作成方法。
2. 【請求項２】 １個の入力データと１個の出力データの
   依存関係の組からなる入出力データ対（ａ，ｚ）の追加
   において、データフロー図上の前記追加する入出力デー
   タ対（ａ，ｚ）の入力ａ及び出力ｚが無い場合には、ａ
   だけを入力しｚだけを出力するプロセスを追加する操作
   を生成し、入力ａもしくは出力ｂが無い場合には、それ
   ぞれ外部からａを入力するプロセスもしくはｚを出力す
   るプロセスを追加する操作を生成することを特徴とする
   請求項１に記載のデータフロー 図作成方法。