JPH06215066A - 状態遷移図生成方法およびその装置 - Google Patents

Abstract

(57)【要約】 【目的】 本発明は、プログラム開発時の設計ドキュメ
ントとして用いられる状態遷移図の生成方法およびその
装置に関し、プログラムから状態遷移図を自動生成した
あと、使用者が図面の再配置やコメントの入力を行なっ
た場合に、再配置や入力を繰り返す必要のないようにす
ることを目的とする。 【構成】 プログラム１から状態遷移図を構成するシン
ボルおよびシンボル相互の接続関係を示すシンボル接続
情報を生成するとともに、シンボル接続情報を用いてシ
ンボル配置を決定したあと、シンボル接続情報，シンボ
ル位置情報および入力部を通じて入力されたコメント情
報を保存し、この保存情報を用いて、状態遷移図として
出力する状態遷移図生成するものにおいて、前回生成さ
れたシンボル接続情報と今回生成されたシンボル接続情
報との論理的な接続関係の差分を抽出し、この抽出分を
前回保存したシンボル接続情報，シンボル位置情報およ
びコメント情報に追加するように構成する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、プログラム開発時の設
計ドキュメントとして用いられる状態遷移図の生成方法
およびその装置に関する。

【０００２】

【従来の技術】例えば、電子交換サービスにおける、状
態遷移に基づいたプログラムの開発にあたっては、交換
機内で時系列上において順次に生起する状態遷移を図表
（状態遷移図）に表し、これを設計ドキュメントとして
用いることにより、プログラム開発の有用な指針として
いる。

【０００３】また、逆にプログラムから状態遷移図を生
成することによって仕様の誤りをチェックしたり、プロ
グラム保守時のドキュメントとして用いても有効であ
る。図３６は従来の状態遷移図の生成手段を示すブロッ
ク図であるが、この図３６において、１０１はプログラ
ムであり、このプログラム１０１は、例えば電子交換サ
ービスの状態遷移を生成するためのものである。

【０００４】また、１０２はシンボル接続情報生成部で
あるが、このシンボル接続情報生成部１０２は、プログ
ラム１０１から状態遷移図を構成するシンボル（図形要
素）及びシンボル相互の接続関係を示すシンボル接続情
報を生成するものである。１０３はシンボル接続情報記
憶部であり、このシンボル接続情報記憶部１０３は、シ
ンボル接続情報生成部１０２で生成されたシンボル接続
情報を記憶するものである。

【０００５】１０４はシンボル配置決定部であり、この
シンボル配置決定部１０４は、各シンボルを状態遷移図
の形にするための配置を決定するものである。１０５は
シンボル接続情報及び位置情報記憶部であり、このシン
ボル接続情報及び位置情報記憶部１０５は、シンボル接
続情報記憶部１０３に格納されていたシンボル接続情報
にシンボル配置決定部１０４で決定された位置情報や入
出力装置１０６−２から入力されたコメント情報等を加
えたものを、記憶するものである。

【０００６】また、１０６−１は編集処理部であり、こ
の編集処理部１０６−１は、シンボル接続情報及び位置
情報記憶部１０５に記憶されていた情報に関して、例え
ばディスプレイ，キーボード等で構成される入出力装置
１０６−２を介することにより、表示，入力，編集等を
行なうものである。なお、１０７−１は印刷処理部であ
り、この印刷処理部１０７−１は、シンボル接続情報及
び位置情報記憶部１０５に記憶されていた情報を出力す
ることにより、プリンタ１０７−２に状態遷移図を出力
させるものである。

【０００７】このような構成により、従来の状態遷移図
の生成方法では、プログラム１０１をもとにして、例え
ば図３７に示すような状態遷移図を自動的に作成するこ
とができる。また、使用者は、作成された状態遷移図
を、編集処理部１０６−１及び入出力装置１０６−２を
介することにより、図の配置を適切にしたり、例えばこ
の図３７における箇所（ａ）〜（ｅ）に示すように、関
連する情報やコメント等を盛り込んで、これを有用な設
計ドキュメントとすることができる。

【０００８】

【発明が解決しようとする課題】しかしながら、このよ
うな従来の状態遷移図の生成手段では、状態遷移図の基
礎となるプログラムに修正が加わると、状態遷移図もそ
れに応じた変更がされなければならず、従って、新たに
上述した方法により状態遷移図を作成しなおさなければ
ならないのである。

【０００９】この際、作成しなおされた状態遷移図は、
プログラムの修正に該当する箇所のみが修正されるべき
である。しかし、この場合では新たに状態遷移図を書き
直しているため、以前使用者が行なった図の配置の改善
や、関連する情報やコメント等の盛り込み分が無くな
る。つまり、例えば、図３８は図３７の状態遷移図に基
づいたプログラムを修正することにより、新たに作成し
た状態遷移図であるが、この図３８で示すように、図３
７の状態遷移図にあった使用者の盛り込んだコメント記
載の箇所（ａ）〜（ｅ）が、空白になっている。

【００１０】従って、この無くなった関連する情報やコ
メント等の盛り込み分については、使用者が再び入力し
なければならず、使用者の手間を二重にしているという
課題がある。本発明は、このような課題に鑑み創案され
たもので、プログラムから状態遷移図を自動生成したあ
と、使用者が図面の再配置やコメントの入力を行なった
場合に、その情報が、再度同じプログラムから状態遷移
図を自動生成したときに引き継がれ、再配置や入力を繰
り返す必要のない状態遷移図生成方法およびその装置を
提供することを目的とする。

【００１１】

【課題を解決するための手段】図１は本発明の原理ブロ
ック図で、この図１において、１はプログラムであり、
このプログラム１に基づいて状態遷移図が生成されるよ
うになっている。また、２はシンボル接続情報生成部で
あり、このシンボル接続情報生成部２は、プログラム１
から状態遷移図を構成するシンボルおよびシンボル相互
の接続関係を示すシンボル接続情報を生成するものであ
る。

【００１２】３は第１記憶部であり、この第１記憶部３
は、シンボル接続情報生成部２で生成されたシンボル接
続情報を保存するものである。４はシンボル配置決定部
であり、このシンボル配置決定部４は、第１記憶部３か
らのシンボル接続情報を用いてシンボル配置を決定する
ものである。５は第２記憶部であり、この第２記憶部５
は、シンボル接続情報生成部２で生成されたシンボル接
続情報，シンボル配置決定部４で決定されたシンボル位
置情報および入力部６を通じて入力されたコメント情報
とを保存するものである。

【００１３】入力部６は、外部よりコメント情報等を入
力するものであり、このコメント情報等は作成された状
態遷移図に盛り込まれるようになっている。７は出力処
理部であり、この出力処理部７は、第２記憶部５からの
シンボル接続情報，シンボル位置情報およびコメント情
報を状態遷移図として出力するものである。

【００１４】８は差分抽出部であり、この差分抽出部８
は、第１記憶部３および第２記憶部５からの情報を受
け、前回生成されたシンボル接続情報と今回生成された
シンボル接続情報との論理的な接続関係の差分を抽出
し、この抽出分を前回保存したシンボル接続情報，シン
ボル位置情報およびコメント情報に追加するものであ
る。なお、シンボル配置決定部４は、差分抽出部８から
の差分抽出分についてのシンボル配置を決定し、この差
分抽出分についてのシンボル配置を前回保存したシンボ
ル配置に追加するように構成されている。

【００１５】

【作用】上述の本発明では、シンボル接続情報生成部２
において、プログラム１から状態遷移図を構成するシン
ボルおよびシンボル相互の接続関係を示すシンボル接続
情報を生成する。生成されたシンボル接続情報は、第１
記憶部３において保存される。

【００１６】その後、シンボル配置決定部４でシンボル
配置が決定する。また、第２記憶部では、シンボル配置
決定部で決定されたシンボル接続情報，シンボル位置情
報および入力部６を通じて入力されたコメント情報を保
存する。出力処理部７では、この保存情報を用いて、状
態遷移図として出力する。ここで、上記シンボル配置決
定部４におけるシンボル配置の決定にあたっては、ま
ず、第１記憶部３で保存されていた前回生成分のシンボ
ル接続情報と、第２記憶部５で保存されていた今回生成
分のシンボル接続情報との論理的な接続関係の差分を抽
出する。そして、この抽出分を前回保存したシンボル接
続情報，シンボル位置情報およびコメント情報に追加し
たものを、シンボル配置として決定する。

【００１７】なお、上記の抽出した差分情報に基づいて
新たなシンボル位置を決定するが、この新たなシンボル
位置情報を含んだ状態で、抽出分を、前回保存したシン
ボル接続情報，シンボル位置情報およびコメント情報に
追加することが好ましい。

【００１８】

【実施例】以下、図面を参照して本発明の実施例を説明
する。図２は本発明の一実施例を示すブロック図で、こ
の図２において、１１，１１′はプログラムであり、こ
のプログラム１１，１１′は、電子交換機のサービスを
制御するものであって、このプログラム１１，１１′か
ら状態遷移図が生成されるようになっている。

【００１９】ここで、プログラム１１は、図３に示すよ
うなタスクモジュール構成を有するものである。つま
り、１つのプログラムには、処理の要素としての３つの
タスク１１−１〜１１−３が含まれている。また、プロ
グラム１１′は、後述するように、図１６に示すような
タスクモジュール構成を有するものであって、プログラ
ム１１にタスク１１−４が付加されたものである。

【００２０】１２はシンボル接続情報生成部であり、こ
のシンボル接続情報生成部１２は、プログラム１１，１
１′から状態遷移図を構成するシンボルおよびシンボル
相互の接続関係を示すシンボル接続情報を生成するもの
である。また、このシンボル接続情報生成部１２は、例
えばプログラム１１を入力すると、例えば、図６〜１０
の上段部分（Ａ）に示すようなシンボル接続情報を生成
するものである。

【００２１】１３はシンボル接続情報記憶部（第１記憶
部）であり、このシンボル接続情報記憶部１３は、シン
ボル接続情報生成部１２で生成されたシンボル接続情報
を記憶するものである。１４はシンボル配置決定部であ
り、このシンボル配置決定部１４は、シンボル接続情報
記憶部１３からのシンボル接続情報を用いてシンボル配
置を決定するものである。

【００２２】１５はシンボル配置情報及びコメント情報
記憶部（第２記憶部）であり、このシンボル配置情報及
びコメント情報記憶部１５は、シンボル接続情報生成部
１２で生成されたシンボル接続情報，シンボル配置決定
部１４で決定されたシンボル位置情報および入出力装置
（入力部）１６−１を通じて入力されたコメント情報を
保存するものである。

【００２３】入出力装置１６−１は、ディスプレイやキ
ーボード等により構成され、外部よりコメント情報等を
入力するものであり、このコメント情報等は作成された
状態遷移図に盛り込まれるようになっている。１６−２
は編集部（入力部）であり、この編集部１６−２は、入
出力装置１６−１で入力されたコメント情報によって、
シンボル配置情報及びコメント情報記憶部１５において
保存されているシンボル配置情報（シンボル接続情報，
シンボル位置情報）へのコメント情報の付加や、もしく
は位置情報の修正等を行なうものである。

【００２４】１７−１は印刷処理部（出力処理部）であ
り、この印刷処理部１７−１は、シンボル配置情報及び
コメント情報記憶部１５からのシンボル配置情報および
コメント情報をプリンタ１７−２へ状態遷移図として出
力するものである。１８は差分追加部（差分抽出部）で
あり、この差分追加部１８は、新規に同じプログラムか
ら状態遷移図を生成するときに、シンボル接続情報記憶
部１３およびシンボル配置情報及びコメント情報記憶部
１５からの情報を受け、前回生成されたシンボル接続情
報と今回生成されたシンボル接続情報との論理的な接続
関係の差分を抽出し、この抽出分を前回保存したシンボ
ル接続情報，シンボル位置情報およびコメント情報に追
加するものである。

【００２５】また、シンボル配置決定部１４は、差分追
加部１８からの差分抽出分についてのシンボル配置を決
定し、この差分抽出分についてのシンボル配置を前回保
存したシンボル配置に追加するように構成されている。
上述の構成により、本発明の状態遷移図生成方法および
その装置の作用を以下に説明する。

【００２６】まず、図３に示すような、電子交換機のサ
ービスを制御するプログラム（タスクモジュール）１１
を新規に入力すると、次に示すような状態遷移図の自動
生成が行なわれる。つまり、プログラム１１の入力を受
けたシンボル接続情報生成部１２では、このプログラム
１１から状態遷移図を構成するシンボルおよびシンボル
相互の接続関係を示すシンボル接続情報を生成する。

【００２７】生成されたシンボル接続情報は、一旦シン
ボル接続情報記憶部１３に格納され、その後、シンボル
配置決定部１４に出力される。ところで、このシンボル
接続情報は、図６〜１０に示す上段（Ａ）に示すように
なっている。ここで、図６は状態を示すシンボルに関す
るシンボル接続情報であって、図７はタスクを示すシン
ボルに関するシンボル接続情報であって、図８はコネク
タを示すシンボルに関するシンボル接続情報であって、
図９はパスを示すシンボルに関するシンボル接続情報で
あって、図１０は内線，トーン及びリンガを示すシンボ
ルに関するシンボル接続情報である。

【００２８】また、シンボル配置決定部１４では、シン
ボル接続情報を入力すると、このシンボル接続情報を用
いて、シンボル接続情報（図６〜１０に示す上段
（Ａ））とシンボル位置情報（図６〜１０に示す下段
（Ｂ））を含むシンボル配置情報を生成する。次に、生
成されたシンボル配置情報は、シンボル配置情報及びコ
メント情報記憶部１５に格納され、状態遷移図は、この
シンボル配置情報及びコメント情報記憶部１５に格納さ
れるシンボル配置情報を読み出し、これらの情報に基づ
いて、印刷処理部１７−１より出力される。

【００２９】図４は、プログラム１１の入力から、上記
のような過程を経て自動生成された、図６〜１０に示す
シンボル配置情報に基づいた状態遷移図を示す図であ
る。ここで、ユーザは入出力装置１６−１からの入力を
通じて、編集処理部１６−２を介することにより、図の
配置を変えたりコメント情報の入力を加えたりすること
ができる。

【００３０】つまり、図６〜１０に示したような、シン
ボル配置情報及びコメント情報記憶部１５に格納されて
いた情報について、例えば、それぞれ図１１〜１５に示
すように、各状態の状態名、イベントやコネクタに対す
るコメント等のコメント情報の入力をすることができる
のである。ここで、図６〜１０における情報に追加され
たコメント情報は、図１１〜１５においては、斜線で囲
った箇所である。

【００３１】このようなコメント情報の追加により、印
刷処理部１７−１では、再び状態遷移図を生成し、生成
された結果は、図５に示すようになっている。ここで、
状態遷移図中において、追加されたコメント情報は斜線
で囲った箇所である。ところが、図３に示したプログラ
ム１１に改正が施されることにより、図１６に示すよう
な、タスク１１−４の付加されたプログラム１１′が入
力された場合は、シンボル接続情報生成部１２では、新
たに、それぞれ図１７〜２１に示すようなシンボル接続
情報が生成される。

【００３２】そして、差分追加部１８により、この新た
なシンボル接続情報と前回のシンボル配置情報及びコメ
ント情報の生成時との差分が追加される。追加されたも
のは、それぞれ図２２〜２６に示すものであるが、追加
された差分は、この図２２〜２６において、斜線で囲っ
た箇所である。ここで、差分追加部１８での処理を詳述
すると、図３３，３４に示すフローチャートのようにな
る。このフローチャートは、あるシンボル種別ｘの、あ
るシンボルｙにおける処理について示してあるが、その
他の全ての種別のシンボル種別の、全てのシンボルにつ
いても同様の処理が行なわれる。

【００３３】まず、図３３のステップＡ１で、シンボル
配置情報及びコメント情報記憶部１５に格納された旧シ
ンボル接続情報のシンボル種別ｘ中から、新たにシンボ
ル接続情報生成部１２で生成したシンボル接続情報にお
けるシンボルｙと、等価のシンボルをサーチする。ここ
で、等価なシンボルとは、シンボルの種別が同じであっ
て、シンボルを確定するための属性（キー属性）が同じ
シンボルをいう。この場合では、キー属性は、図３５に
示すように、シンボル種別によって異なったキー属性を
有している。

【００３４】そして、ステップＡ２で、等価なシンボル
がある場合は、処理はステップＡ３に移行し、当該シン
ボルのシンボル名をｙ_old とする。ステップＡ３から終
了に至る処理の過程においては、１つのシンボルのうち
に複数の属性を有するものがあるため、全ての属性につ
いて同じ処理が施される必要がある。従って、ステップ
Ａ４で、シンボルｙの属性ｚは、複数の属性値が設定可
能かどうかを調べる。属性ｚが複数の属性値が設定可能
である場合は、処理はステップＡ５に移行する。

【００３５】このステップＡ５において、複数の属性値
のうちで、抽出した属性値ｖがシンボル名かどうかを判
断する。ここで、属性値ｖがシンボル名である場合は、
処理はステップＡ６に移行し、シンボルｙ_old の属性ｚ
にｖと等価なシンボル名があるかどうかを判断する。等
価なシンボルがある場合は、このシンボルの処理は終了
する。

【００３６】しかし、等価なシンボルがない場合は、そ
の属性ｖは、プログラム１１′に改正されたことで新規
に加わったものであるため、ステップＡ７で、シンボル
ｖを旧シンボル接続情報に新規追加する。つまり、ｙ
_old の属性ｚに新規追加したシンボル名ｖを追加する。
また、ステップＡ５において、抽出した属性値ｖがシン
ボル名でない場合は、ステップＡ８で、ｙ_old の属性ｚ
にｖがあるかどうかを調べる。ｙ_old の属性ｚにｖがあ
る場合は、このシンボルの処理は終了する。

【００３７】しかし、ｙ_old の属性ｚにｖがない場合
は、その属性ｖは、プログラム１１′に改正されたこと
で新規に加わったものであるため、ステップＡ９で、ｙ
_old の属性ｚにｖを追加する。ところで、ステップＡ４
で、シンボルｙの属性ｚは、複数の属性値が設定が可能
でない場合は、処理はステップＡ１０に移行し、シンボ
ルｙの属性ｚの属性値ｖはシンボル名かどうかを調べ
る。

【００３８】ここで、属性値ｖはシンボル名である場合
は、処理はステップＡ１１に移行し、ｙ_old の属性ｚの
属性値はｖと等価なシンボルかどうかを判断する。等価
なシンボルである場合は、このシンボルの処理は終了す
る。しかし、等価なシンボルでない場合は、その属性ｖ
は、プログラム１１′の改正にともなって変更されたも
のであるため、ステップＡ１２で、シンボルｖを旧シン
ボル接続情報に追加する。つまり、ｙ_old の属性ｚの属
性値を新規追加したシンボル名に変更する。

【００３９】また、ステップＡ１０において、抽出した
属性値ｖがシンボル名でない場合は、ステップＡ１３
で、ｙ_old の属性ｚにｖがあるかどうかを調べる。ｙ
_old の属性ｚにｖがある場合は、このシンボルの処理は
終了する。しかし、ｙ_old の属性ｚにｖがない場合は、
その属性ｖは、プログラム１１′に改正されたことで新
規に加わったものであるため、ステップＡ１４で、ｙ
_oldの属性ｚの属性値をｖに変更する。

【００４０】ところで、ステップＡ２で、旧シンボル接
続情報のシンボル種別ｘ中に、シンボルｙと等価なシン
ボルがない場合は、処理はステップＡ１５に移行し、シ
ンボルｙを旧シンボル接続情報に追加する。この処理を
詳述したものが図３４のフローチャートである。つま
り、図３４のステップＢ１で、旧シンボル接続情報のシ
ンボル種別ｘの項目を１つ追加する。そして、ステップ
Ｂ２で、旧シンボル接続情報内でユニークなシンボル名
を追加項目のシンボル名に設定し、ｙ_old と設定する。

【００４１】なお、ステップＢ３から終了に至る処理の
過程においては、１つのシンボルのうちに複数の属性、
および属性値を有するものがあるため、全ての属性およ
び属性値について、同じ処理が施される。ここで、ステ
ップＢ３で、属性値ｖがシンボル名かどうかを判断す
る。属性値ｖがシンボル名である場合は、処理はステッ
プＢ４に移行し、旧シンボル接続情報内にｖと等価なシ
ンボルがあるかどうかを調べる。ここで、ｖと等価なシ
ンボルがある場合は、ステップＢ５で、ｙ_old の属性ｚ
にｖと等価なシンボルのシンボル名を追加する。

【００４２】また、ステップＢ４で、ｖと等価なシンボ
ルがない場合は、ステップＢ６で、シンボルｖを旧シン
ボル接続情報に新規追加する。なお、ステップＢ３で、
属性値ｖがシンボル名でない場合は、ステップＢ７で、
ｙ_old の属性ｚにｖを追加する。こうして、図２２〜図
２６に示すような、新規のシンボル接続情報と前回生成
したシンボル配置情報とコメント情報の差分を加えたも
のが得られるが、更にシンボル配置決定部１４では位置
情報の設定されていないシンボルに対して位置情報を設
定することにより、それぞれ図２７〜３１に示すような
新しいシンボル配置情報及びコメント情報としてシンボ
ル配置情報及びコメント情報記憶部１５に格納する。勿
論、前回ユーザが入力したコメント情報や、再配置の情
報はそのまま保存されることはいうまでもない。

【００４３】図３２は、図２７〜３１に示す新しいシン
ボル配置情報及びコメント情報に基づいて新たに生成さ
れた状態遷移図を示す図である。この図３２に示すよう
に、新たな状態遷移図は、前回ユーザが入力されたコメ
ント情報，再配置の情報はそのまま引き継がれて生成さ
れている。このように、シンボル接続情報生成部１２と
シンボル接続情報記憶部１３とシンボル配置決定部１４
とシンボル配置情報及びコメント情報記憶部１５と入出
力装置１６−１と編集処理部１６−２と印刷処理部１７
−１と差分追加部１８とをそなえることにより、例え
ば、プログラム１１から状態遷移図を自動生成したあ
と、人間が図面の再配置や、コメントの入力を行なった
あと、プログラム１１を改正してプログラム１１′とし
たものから、再度状態遷移図を生成する場合は、その情
報がプログラム１１′から状態遷移図を自動生成したき
に引き継がれるため、再配置や入力を繰り返す必要がな
い。

【００４４】また、コメント等の情報が次第に蓄積され
るので、状態遷移図を有用なドキュメントとすることが
できる利点がある。なお、図６，１１，１７，２２，２
７は状態を示すシンボルに関するシンボル接続情報であ
って、図７，１２，１８，２３，２８はタスクを示すシ
ンボルに関するシンボル接続情報であって、図８，１
３，１９，２４，２９はコネクタを示すシンボルに関す
るシンボル接続情報であって、図９，１４，２０，２
５，３０はパスを示すシンボルに関するシンボル接続情
報であって、図１０，１５，２１，２６，３１は内線，
トーン及びリンガを示すシンボルに関するシンボル接続
情報である。

【００４５】

【発明の効果】以上詳述したように、本発明によれば、
プログラムから状態遷移図を構成するシンボルおよび該
シンボル相互の接続関係を示すシンボル接続情報を生成
するとともに、該シンボル接続情報を用いてシンボル配
置を決定したあと、該シンボル接続情報，該シンボル位
置情報および入力部を通じて入力されたコメント情報を
保存し、この保存情報を用いて、状態遷移図として出力
する状態遷移図生成方法において、前回生成されたシン
ボル接続情報と今回生成されたシンボル接続情報との論
理的な接続関係の差分を抽出し、この抽出分を前回保存
したシンボル接続情報，シンボル位置情報およびコメン
ト情報に追加することにより、プログラムから状態遷移
図を自動生成したあと、使用者が図面の再配置やコメン
トの入力を行なった場合に、その情報が、再度同じプロ
グラムから状態遷移図を自動生成したときに引き継が
れ、再配置や入力を繰り返す必要がなく、ユーザの便宜
に資することができ、かつ生成された状態遷移図を有用
なドキュメントとすることがでりる利点がある。

【図面の簡単な説明】

【図１】本発明の原理ブロック図である。

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

【図３】本発明の一実施例におけるプログラムを示す図
である。

【図４】本発明の一実施例の作用を説明する図である。

【図５】本発明の一実施例の作用を説明する図である。

【図６】本発明の一実施例の作用を説明する図である。

【図７】本発明の一実施例の作用を説明する図である。

【図８】本発明の一実施例の作用を説明する図である。

【図９】本発明の一実施例の作用を説明する図である。

【図１０】本発明の一実施例の作用を説明する図であ
る。

【図１１】本発明の一実施例の作用を説明する図であ
る。

【図１２】本発明の一実施例の作用を説明する図であ
る。

【図１３】本発明の一実施例の作用を説明する図であ
る。

【図１４】本発明の一実施例の作用を説明する図であ
る。

【図１５】本発明の一実施例の作用を説明する図であ
る。

【図１６】本発明の一実施例におけるプログラムを示す
図である。

【図１７】本発明の一実施例の作用を説明する図であ
る。

【図１８】本発明の一実施例の作用を説明する図であ
る。

【図１９】本発明の一実施例の作用を説明する図であ
る。

【図２０】本発明の一実施例の作用を説明する図であ
る。

【図２１】本発明の一実施例の作用を説明する図であ
る。

【図２２】本発明の一実施例の作用を説明する図であ
る。

【図２３】本発明の一実施例の作用を説明する図であ
る。

【図２４】本発明の一実施例の作用を説明する図であ
る。

【図２５】本発明の一実施例の作用を説明する図であ
る。

【図２６】本発明の一実施例の作用を説明する図であ
る。

【図２７】本発明の一実施例の作用を説明する図であ
る。

【図２８】本発明の一実施例の作用を説明する図であ
る。

【図２９】本発明の一実施例の作用を説明する図であ
る。

【図３０】本発明の一実施例の作用を説明する図であ
る。

【図３１】本発明の一実施例の作用を説明する図であ
る。

【図３２】本発明の一実施例の作用を説明する図であ
る。

【図３３】本発明の一実施例における差分追加部の処理
を説明するためのフローチャートである。

【図３４】本発明の一実施例における差分追加部の処理
を説明するフローチャートである。

【図３５】キー属性を説明する図である。

【図３６】従来例を示すブロック図である。

【図３７】従来例の作用を説明する図である。

【図３８】従来例の作用を説明する図である。

【符号の説明】

１，１１，１１′ プログラム ２，１２ シンボル接続情報生成部 ３ 第１記憶部 ４，１４ シンボル配置決定部 ５ 第２記憶部 ６ 入力部 ７ 出力処理部 ８ 差分抽出部 １１−１〜１１−４ タスク １３ シンボル接続情報記憶部（第１記憶部） １５ シンボル配置情報及びコメント情報記憶部（第２
記憶部） １６−１ 入出力装置（入力部） １６−２ 編集処理部（入力部） １７−１ 印刷処理部（出力処理部） １７−２ プリンタ １８ 差分追加部（差分抽出部） １０１ プログラム １０２ シンボル接続情報生成部 １０３ シンボル接続情報記憶部 １０４ シンボル配置決定部 １０５ シンボル接続情報及び位置情報記憶部 １０６−１ 編集処理部 １０６−２ 入出力装置 １０７−１ 印刷処理部 １０７−２ プリンタ

Claims (3)

【特許請求の範囲】
1. 【請求項１】 プログラム（１）から状態遷移図を構成
   するシンボルおよび該シンボル相互の接続関係を示すシ
   ンボル接続情報を生成するとともに、該シンボル接続情
   報を用いてシンボル配置を決定したあと、該シンボル接
   続情報，該シンボル位置情報および入力部を通じて入力
   されたコメント情報を保存し、この保存情報を用いて、
   状態遷移図として出力する状態遷移図生成方法におい
   て、 前回生成されたシンボル接続情報と今回生成されたシン
   ボル接続情報との論理的な接続関係の差分を抽出し、こ
   の抽出分を前回保存したシンボル接続情報，シンボル位
   置情報およびコメント情報に追加することを特徴とす
   る、状態遷移図生成方法。
2. 【請求項２】 抽出した差分情報に基づいて新たなシン
   ボル位置を決定し、この新たなシンボル位置情報を含ん
   だ状態で、該抽出分を前回保存したシンボル接続情報，
   シンボル位置情報およびコメント情報に追加することを
   特徴とする請求項１記載の状態遷移図生成方法。
3. 【請求項３】 プログラム（１）から状態遷移図を構成
   するシンボルおよび該シンボル相互の接続関係を示すシ
   ンボル接続情報を生成するシンボル接続情報生成部
   （２）と、 該シンボル接続情報生成部（２）で生成されたシンボル
   接続情報を保存する第１記憶部（３）と、 該第１記憶部（３）からのシンボル接続情報を用いてシ
   ンボル配置を決定するシンボル配置決定部（４）と、 該シンボル接続情報生成部（２）で生成されたシンボル
   接続情報，該シンボル配置決定部（４）で決定されたシ
   ンボル位置情報および入力部（６）を通じて入力された
   コメント情報とを保存する第２記憶部（５）と、 該第２記憶部（５）からのシンボル接続情報，シンボル
   位置情報およびコメント情報を状態遷移図として出力す
   る出力処理部（７）とをそなえ、 前回生成されたシンボル接続情報と今回生成されたシン
   ボル接続情報との論理的な接続関係の差分を抽出し、こ
   の抽出分を該シンボル配置決定部へ出力する差分抽出部
   （８）が設けられて、 該シンボル配置決定部（４）が、該差分抽出部（８）か
   らの差分抽出分についてのシンボル配置を決定し、この
   差分抽出分についてのシンボル配置を前回保存したシン
   ボル配置に追加するように構成されていることを特徴と
   する、状態遷移図生成装置。