JP3092563B2 - 状態遷移図変換装置 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明は状態遷移図変換装置
に関し、特に複数のメッセージシーケンス図から状態遷
移情報（状態遷移図の情報）を縮小した状態遷移図を生
成する状態遷移図変換装置に関する。

【０００２】

【従来の技術】従来、この種の状態遷移図変換装置は、
状態遷移情報の縮小が手作業で行われていたことの煩わ
しさを解消し、自動的に縮小するために使われている。
従来の状態遷移図変換装置の一例が、特開平５−６２７
２号公報に記載されている。この公報に記載された状態
遷移図変換装置は、状態遷移図上の遷移情報（（状態を
含む）ノードから別のノードまでの遷移（列）の情報）
の重複を自動的に削除する装置である。主に、重複して
いる遷移情報のある状態遷移図において、状態の遷移情
報の等価性を判定する部分に当たる等価状態判定部と、
等価な部分が存在した場合に等価であると判定された状
態の遷移情報を削除し、その状態のラベルを等価な状態
のラベルに付け替えする遷移情報縮小部とから構成され
ている。等価状態判定部は、各状態における遷移情報を
逐次比較して等価な状態を検出する。具体的には、ま
ず、ある１つの状態の遷移情報群と他の状態の遷移情報
群とを逐次比較して最初の状態と同じ遷移情報群を有す
る状態が他に存在するか否かにより行っている。

【０００３】

【発明が解決しようとする課題】第１の問題点は、従来
の技術では、状態遷移情報の縮小の過程で重複している
遷移情報を削除できない場合があることである。その理
由は、遷移情報の等価性の判定に状態のラベルを考慮し
ているためである。各状態からの遷移情報が同一の場合
にどちらの状態のラベルを付け替えするかで、後に別の
各状態の遷移情報の等価性の判定を行うときに状態のラ
ベルによって遷移情報の等価性が変わってきてしまうか
らである。なお、本発明の状態遷移図変換装置は、状態
のラベルに左右されずに遷移情報をマージするため、遷
移情報の等価性が変わることはない。

【０００４】第２の問題点は、従来の技術では、複数の
メッセージシーケンス図から状態遷移情報を縮小した状
態遷移図に自動的に変換できないことである。その理由
は、複数のメッセージシーケンス図から状態遷移情報を
縮小した状態遷移図への変換処理を扱っていない（従来
は人手で行われていた）からである。

【０００５】本発明の目的は、複数のメッセージシーケ
ンス図から重複している遷移情報のない状態遷移図を生
成できるようにした状態遷移図変換装置を提供すること
にある。

【０００６】

【課題を解決するための手段】本発明の状態遷移図変換
装置は、メッセージシーケンス図から状態遷移図を生成
する状態遷移図変換装置において、複数のメッセージシ
ーケンス図を入力しイベントノード間に状態ノードがな
ければ機械的に生成された任意の名前を付けた状態ノー
ドを挿入して状態遷移情報に変換する状態遷移情報変換
手段と、この状態遷移情報変換手段により変換された状
態遷移情報中のイベントノードについては名前が同一で
あれば重複している遷移情報を削除し、状態遷移情報中
の状態ノードについては名前の異同にかかわらず重複し
ている遷移情報を削除して状態遷移情報を縮小する状態
遷移情報縮小手段とを含むことを特徴とする。特に、前
記状態遷移情報縮小手段は、状態遷移情報中のイベント
ノードについては名前が同一であれば重複している遷移
情報があるかどうかを判定し、状態遷移情報中の状態ノ
ードについては名前の異同にかかわらず重複している遷
移情報があるかどうかを判定する従属関係判定処理と、
前記従属関係判定処理で重複していると判定された遷移
情報のマージを行うノードマージ処理とを含む。

【０００７】また、本発明の状態遷移図変換装置は、メ
ッセージシーケンス図を記憶するメッセージシーケンス
図記憶部と、このメッセージシーケンス図記憶部からメ
ッセージシーケンス図を入力しメッセージシーケンス図
上のイベント列を抽出してイベントノード間に状態ノー
ドがなければ機械的に生成された任意の名前を付けた状
態ノードを挿入して状態遷移情報に変換する状態遷移情
報変換手段と、この状態遷移情報変換手段により変換さ
れた状態遷移情報を格納する状態遷移図記憶部と、この
状態遷移図記憶部に格納されている状態遷移情報中のイ
ベントノードについては名前が同一であれば重複してい
る遷移情報を削除し、状態遷移情報中の状態ノードにつ
いては名前の異同にかかわらず重複している遷移情報を
削除して状態遷移情報を縮小する状態遷移情報縮小手段
とを有することを特徴する。

【０００８】さらに、本発明の状態遷移図変換装置は、
変換の対象となる全てのメッセージシーケンス図を記憶
するメッセージシーケンス図記憶部と、メッセージシー
ケンス図上の変換の対象となるプロセスを指定するプロ
セス指定手段と、前記メッセージシーケンス図記憶部に
格納されたメッセージシーケンス図から前記プロセス指
定手段で指定されたプロセスの全てのメッセージシーケ
ンス図上のイベント列を抽出してイベントノード間に状
態ノードがなければ機械的に生成された任意の名前を付
けた状態ノードを挿入して状態遷移情報に変換する状態
遷移情報変換手段と、この状態遷移情報変換手段により
変換された状態遷移情報を格納する状態遷移図記憶部
と、この状態遷移図記憶部に格納されている状態遷移情
報中のイベントノードについては名前が同一であれば重
複している遷移情報を削除し、状態遷移情報中の状態ノ
ードについては名前の異同にかかわらず重複している遷
移情報を削除して状態遷移情報を縮小する状態遷移情報
縮小手段とを有することを特徴する。

【０００９】一方、本発明の記録媒体は、コンピュータ
を、複数のメッセージシーケンス図を入力しイベントノ
ード間に状態ノードがなければ機械的に生成された任意
の名前を付けた状態ノードを挿入して状態遷移情報に変
換する状態遷移情報変換手段，およびこの状態遷移情報
変換手段により変換された状態遷移情報中のイベントノ
ードについては名前が同一であれば重複している遷移情
報を削除し、状態遷移情報中の状態ノードについては名
前の異同にかかわらず重複している遷移情報を削除して
状態遷移情報を縮小する状態遷移情報縮小手段として機
能させるためのプログラムを記録したことを特徴とす
る。

【００１０】また、本発明の記録媒体は、コンピュータ
を、メッセージシーケンス図を記憶するメッセージシー
ケンス図記憶部，このメッセージシーケンス図記憶部か
らメッセージシーケンス図を入力しメッセージシーケン
ス図上のイベント列を抽出してイベントノード間に状態
ノードがなければ機械的に生成された任意の名前を付け
た状態ノードを挿入して状態遷移情報に変換する状態遷
移情報変換手段，この状態遷移情報変換手段により変換
された状態遷移情報を格納する状態遷移図記憶部，およ
びこの状態遷移図記憶部に格納されている状態遷移情報
中のイベントノードについては名前が同一であれば重複
している遷移情報を削除し、状態遷移情報中の状態ノー
ドについては名前の異同にかかわらず重複している遷移
情報を削除して状態遷移情報を縮小する状態遷移情報縮
小手段として機能させるためのプログラムを記録したこ
とを特徴とする。

【００１１】さらに、本発明の記録媒体は、コンピュー
タを、変換の対象となる全てのメッセージシーケンス図
を記憶するメッセージシーケンス図記憶部，メッセージ
シーケンス図上の変換の対象となるプロセスを指定する
プロセス指定手段，前記メッセージシーケンス図記憶部
に格納されたメッセージシーケンス図から前記プロセス
指定手段で指定されたプロセスの全てのメッセージシー
ケンス図上のイベント列を抽出してイベントノード間に
状態ノードがなければ機械的に生成された任意の名前を
付けた状態ノードを挿入して状態遷移情報に変換する状
態遷移情報変換手段，この状態遷移情報変換手段により
変換された状態遷移情報を格納する状態遷移図記憶部，
およびこの状態遷移図記憶部に格納されている状態遷移
情報中のイベントノードについては名前が同一であれば
重複している遷移情報を削除し、状態遷移情報中の状態
ノードについては名前の異同にかかわらず重複している
遷移情報を削除して状態遷移情報を縮小する状態遷移情
報縮小手段として機能させるためのプログラムを記録し
たことを特徴とする。

【００１２】本発明の第１の特徴は、状態遷移図上の重
複している遷移情報をマージするために、重複している
遷移情報があるかどうかの判定に状態からの遷移ではな
く状態からの遷移列を対象として行っていることであ
る。より具体的には、状態遷移情報中のイベントノード
については名前が同一であれば重複している遷移情報が
あるかどうかを判定し、状態遷移情報中の状態ノードに
ついては名前の異同にかかわらず重複している遷移情報
があるかどうかを判定する従属関係判定処理と、従属関
係判定処理で重複していると判定された遷移情報のマー
ジを行うノードマージ処理とを含む状態遷移情報縮小手
段（図１のＡ５）を有する。

【００１３】本発明の第２の特徴は、メッセージシーケ
ンス図から状態遷移情報を縮小した状態遷移図に変換す
るために、メッセージシーケンス図をその状態のまま状
態遷移情報に変換して格納することである。より具体的
には、複数のメッセージシーケンス図からプロセス指定
手段（図１のＡ２）で指定されたプロセスのメッセージ
シーケンス図を入力しイベントノード間に状態ノードが
なければ機械的に生成された任意の名前を付けた状態ノ
ードを挿入して状態遷移情報に変換する状態遷移情報変
換手段（図１のＡ３）と、変換されたときにその状態遷
移情報を格納し、状態遷移情報を縮小した状態遷移図を
も格納する状態遷移図記憶部（図１のＡ４）とを有す
る。

【００１４】状態遷移情報変換手段は、プロセス指定手
段で指定されたプロセスのメッセージシーケンス図を入
力しイベントノード間に状態ノードがなければ機械的に
生成された任意の名前を付けた状態ノードを挿入して状
態遷移情報に変換する。状態遷移図記憶部は、メッセー
ジシーケンス図から変換された状態遷移情報を格納し、
縮小処理を行った状態遷移図をも格納する。状態遷移情
報縮小手段は、状態遷移情報中のイベントノードについ
ては名前が同一であれば重複している遷移情報を削除
し、状態遷移情報中の状態ノードについては名前の異同
にかかわらず重複している遷移情報を削除して状態遷移
情報を縮小する。

【００１５】

【発明の実施の形態】以下、本発明の実施の形態につい
て図面を参照して詳細に説明する。

【００１６】図１は、本発明の第１の実施の形態に係る
状態遷移図変換装置の構成を示すブロック図である。本
実施の形態に係る状態遷移図変換装置は、複数のメッセ
ージシーケンス図を記憶するメッセージシーケンス図記
憶部Ａｌと、変換の際にどのプロセスのメッセージシー
ケンス図を状態遷移図に変換するかを指定するプロセス
指定手段Ａ２と、指定されたプロセスのメッセージシー
ケンス図を状態遷移情報に変換する状態遷移情報変換手
段Ａ３と、変換された状態遷移情報を格納する状態遷移
図記憶部Ａ４と、その状態遷移情報に重複している遷移
情報があるかどうかを判定し、ある場合にその遷移情報
のマージ処理を行って状態遷移情報を縮小する状態遷移
情報縮小手段Ａ５とから構成されている。

【００１７】メッセージシーケンス図記憶部Ａｌは、変
換の対象となる全てのメッセージシーケンス図を記憶す
る。

【００１８】プロセス指定手段Ａ２は、メッセージシー
ケンス図上の変換の対象となるプロセスを指定する。

【００１９】状態遷移情報変換手段Ａ３は、メッセージ
シーケンス図を入力として、プロセス指定手段Ａ２で指
定されたプロセスの全てのメッセージシーケンス図上の
イベント列を抽出して状態遷移情報に変換する。変換さ
れた状態遷移情報は、状態遷移図記憶部Ａ４に記憶され
る。

【００２０】状態遷移図記憶部Ａ４は、メッセージシー
ケンス図から変換された縮小処理を行っていない状態遷
移情報を格納する。

【００２１】状態遷移情報縮小手段Ａ５は、変換された
状態遷移情報に重複している遷移情報があるかどうかを
判定し、あれば、その遷移情報を削除して状態遷移情報
を縮小する。状態遷移情報を縮小した状態遷移図は、状
態遷移図記憶部Ａ４に記憶される。

【００２２】図２（ａ）および（ｂ）は、メッセージシ
ーケンス図記憶部Ａｌに格納されるメッセージシーケン
ス図のデータ構造と、状態遷移図記憶部Ａ４に格納され
る状態遷移図のデータ構造とをそれぞれ示す図である。

【００２３】図２（ａ）を参照すると、メッセージシー
ケンス図のデータ構造は、メッセージシーケンス図の識
別子を表すｍｓｃ ｉｄ，そのメッセージシーケンス図
のプロセスを表すｅｎｔｉｔｙ ｎａｍｅ，メッセージ
シーケンス図のシンボルのタイプおよび名前を表すｔｙ
ｐｅ・ｎａｍｅ，およびｓｉｇｎａｌシンボルの一情報
としてメッセージのやりとり先を示すプロセスを表すｅ
ｎｔｉｔｙ ｎａｍｅからなる。また、図２（ｂ）を参
照すると、状態遷移図のデータ構造は、ｎｏｄｅの集合
とａｒｃの集合とからなり、ｎｏｄｅの集合は、ｎｏｄ
ｅの識別子を表すｉｄ，タイプを表すｔｙｐｅ，および
名前を表すｎａｍｅから、ａｒｃの集合は、ａｒｃの識
別子を表すｉｄ，接続元ｎｏｄｅ ｉｄ，および接続先
ｎｏｄｏｉｄからなる。状態遷移情報変換手段Ａ３は、
この情報構造を基にメッセージシーケンス図を状態遷移
情報に変換する。

【００２４】図３は、状態遷移情報変換手段Ａ３の処理
手順の概要を示すフローチャートである。図３を参照す
ると、状態遷移情報変換手段Ａ３の処理手順は、シンボ
ル集合取り出しステップＢ１と、最初シンボル取り出し
ステップＢ２と、ノード情報への名前およびタイプの追
加ステップＢ３と、ノードタイプ入力イベント判定ステ
ップＢ４と、入力イベント直前状態判定ステップＢ５
と、直前ノード有無判定ステップＢ６と、ノード情報へ
の仮の名前（機械的に生成された任意の名前をいう）お
よびタイプ追加ステップＢ７と、ノード接続ステップＢ
８と、ノード接続ステップＢ９と、直前ノード記憶ステ
ップＢ１０と、次シンボル有無判定ステップＢ１１と、
最後状態判定ステップＢ１２と、状態ノード追加・接続
ステップＢ１３と、イベント列有無判定ステップＢ１４
とからなる。

【００２５】図４は、状態遷移情報縮小手段Ａ５の処理
手順を示すフローチャートである。状態遷移情報縮小手
段Ａ５の処理手順は、遷移とは逆方向（ｂａｃｋｗａｒ
ｄ方向）の縮小処理Ｃｌと、遷移と同方向（ｆｏｒｗａ
ｒｄ方向）の縮小処理Ｃ２とを行うことによって達成さ
れる。

【００２６】図５は、状態遷移情報縮小手段Ａ５による
ｂａｃｋｗａｒｄ方向の縮小処理Ｃ１のより詳細な処理
手順を示すフローチャートである。図５を参照すると、
状態遷移情報縮小手段Ａ５によるｂａｃｋｗａｒｄ方向
の縮小処理Ｃ１の処理手順は、ノード集合取得ステップ
Ｄ１と、最初ノード設定ステップＤ２と、次ノード有無
判定ステップＤ３と、最初ノード設定ステップＤ４と、
次ノード有無判定ステップＤ５と、ｂａｃｋｗａｒｄ方
向従属関係判定処理Ｄ６と、次ノード設定ステップＤ７
と、結果判定ステップＤ８と、ｂａｃｋｗａｒｄ方向ノ
ードマージ処理Ｄ９と、次ノード設定ステップＤ１０と
からなる。

【００２７】図６は、状態遷移情報縮小手段Ａ５による
ｆｏｒｗａｒｄ方向の縮小処理Ｃ２のより詳細な処理手
順を示すフローチャートである。図６を参照すると、状
態遷移情報縮小手段Ａ５によるｆｏｒｗａｒｄ方向の縮
小処理Ｃ２の処理手順は、ノード集合取得ステップＥ１
と、最初ノード設定ステップＥ２と、次ノード有無判定
ステップＥ３と、最初ノード設定ステップＥ４と、次ノ
ード有無判定ステップＥ５と、ｆｏｒｗａｒｄ方向従属
関係判定処理Ｅ６と、次ノード設定ステップＥ７と、結
果判定ステップＥ８と、ｆｏｒｗａｒｄ方向ノードマー
ジ処理Ｅ９と、次ノード設定ステップＥ１０とからな
る。

【００２８】図７は、図６中のｆｏｒｗａｒｄ方向従属
関係判定処理Ｅ６のより詳細な処理手順を示すフローチ
ャートである。従属関係とはノードとノードとの関係を
表し、そのノードからの遷移列が全て別のノードからの
遷移列に含まれているとき、そのノードは別のノードに
従属しているという。図７を参照すると、ｆｏｒｗａｒ
ｄ方向従属関係判定処理Ｅ６の処理手順は、２ノード取
り出しステップＦ１と、ノード同一判定ステップＦ２
と、ノードタイプ取り出しステップＦ３と、真返却ステ
ップＦ４と、タイプ同一判定ステップＦ５と、状態タイ
プ判定ステップＦ６と、偽返却ステップＦ７と、名前同
一判定ステップＦ８と、偽返却ステップＦ９と、アーク
数取り出しステップＦ１０と、アーク出力判定ステップ
Ｆ１１と、状態タイプ判定ステップＦ１２と、アーク出
力判定ステップＦ１３と、アーク判定処理Ｆ１４と、偽
返却ステップＦ１５と、真返却ステップＦ１６とからな
る。

【００２９】図８は、図７中のアーク判定処理Ｆ１４の
より詳細な処理手順を示すフローチャートである。図８
を参照すると、アーク判定処理Ｆ１４の処理手順は、ア
ーク集合取り出しステップＧ１と、ｆｌａｇ偽設定ステ
ップＧ２と、最初アーク設定ステップＧ３と、最初アー
ク設定ステップＧ４と、ノード取り出しステップＧ５
と、ノード取り出しステップＧ６と、ノード同一判定ス
テップＧ７と、ｆｏｒｗａｒｄ方向従属関係判定処理Ｇ
８と、ｆｌａｇ真設定ステップＧ９と、結果判定ステッ
プＧ１０と、ｆｌａｇ真設定ステップＧ１１と、ｆｌａ
ｇ偽設定ステップＧ１２と、次アーク有無判定ステップ
Ｇ１３と、次アーク設定ステップＧ１４と、ｆｌａｇ偽
判定ステップＧ１５と、次アーク有無判定ステップＧ１
６と、次アーク設定ステップＧ１７と、ｆｌａｇ偽判定
ステップＧ１８と、真返却ステップＧ１９と、偽返却ス
テップＧ２０とからなる。

【００３０】図９は、図５および図６中のノードマージ
処理Ｄ９およびＥ９のより詳細な処理手順を示すフロー
チャートである。図９を参照すると、ノードマージ処理
Ｄ９およびＥ９の処理手順は、ノード取り出しステップ
Ｈ１と、アーク集合取り出しステップＨ２と、ノードに
入って来るアークのマージ処理Ｈ３と、ノードから出て
行くアークのマージ処理Ｈ４と、ノード消去ステップＨ
５とからなる。

【００３１】図１０は、図９中のノードに入って来るア
ークのマージ処理Ｈ３のより詳細な処理手順を示すフロ
ーチャートである。図１０を参照すると、ノードに入っ
て来るアークのマージ処理Ｈ３の処理手順は、入って来
るノード有無判定ステップＩ１と、最初アーク設定ステ
ップＩ２と、最初アーク設定ステップＩ３と、ｆｌａｇ
真初期設定ステップＩ４と、接続元ノード同一判定ステ
ップＩ５と、ｆｌａｇ偽設定ステップＩ６と、次アーク
有無判定ステップＩ７と、次アーク設定ステップＩ８
と、ｆｌａｇ判定ステップＩ９と、アーク接続ステップ
Ｉ１０と、アーク消去ステップＩ１１と、次アーク有無
判定ステップＩ１２と、次アーク設定ステップＩ１３と
からなる。

【００３２】図１１は、図９中のノードから出て行くア
ークのマージ処理Ｈ４のより詳細な処理手順を示すフロ
ーチャートである。図１１を参照すると、ノードから出
て行くアークのマージ処理Ｈ４の処理手順は、出て行く
ノード有無判定ステップＪ１と、最初アーク設定ステッ
プＪ２と、最初アーク設定ステップＪ３と、ｆｌａｇ真
初期設定ステップＪ４と、接続先ノード同一判定ステッ
プＪ５と、ｆｌａｇ偽判定ステップＪ６と、次アーク有
無判定ステップＪ７と、次アーク設定ステップＪ８と、
ｆｌａｇ判定ステップＪ９と、アーク接続ステップＪ１
０と、アーク消去ステップＪ１１と、次アーク有無判定
ステップＪ１２と、次アーク設定ステップＪ１３とから
なる。

【００３３】次に、このように構成された第１の実施の
形態に係る状態遷移図変換装置の動作について、図１な
いし図１１を参照して詳細に説明する。

【００３４】状態遷移情報変換手段Ａ３は、まず、メッ
セージシーケンス図記憶部Ａ１から入力として与えられ
たメッセージシーケンス図上の、プロセス指定手段Ａ２
で指定されたプロセスのシンボルの集合を取り出す（ス
テップＢｌ）。

【００３５】次に、状態遷移情報変換手段Ａ３は、状態
遷移図への変換を行うためにシンボルの集合から最初の
シンボルを取り出す（ステップＢ２）。

【００３６】続いて、状態遷移情報変換手段Ａ３は、そ
のシンボルから名前およびタイプを取り出し、状態遷移
図のノードの名前およびタイプとして追加する（ステッ
プＢ３）。

【００３７】次に、状態遷移情報変換手段Ａ３は、ノー
ドのタイプが入力イベントであるかどうかを調べ（ステ
ップＢ４）、入力イベントであれば、入力イベントの直
前のノードが状態であるかどうかを調べる（ステップＢ
５）。入力イベントの直前のノードが状態でなければ、
状態遷移情報変換手段Ａ３は、入力イベントの直前に新
たな状態ノードを追加して、そのノード情報に仮の名前
およびタイプを追加して（ステップＢ７）、直前ノード
と状態ノードとを接続し、状態ノードと入力イベントノ
ードとを接続して（ステップＢ８）、ステップＢ１０に
制御を移す。ステップＢ５で入力イベントの直前のノー
ドが状態であれば、状態遷移情報変換手段Ａ３は、直前
ノードと状態ノードとを接続し、状態ノードと入力イベ
ントノードとを接続して（ステップＢ８）、ステップＢ
１０に制御を移す。

【００３８】ステップＢ４でノードのタイプが入力イベ
ントでなければ、状態遷移情報変換手段Ａ３は、その直
前にノードがあるかどうかを調べ（ステップＢ６）、あ
れば直前のノードと情報を追加された状態ノードとを接
続し（ステップＢ９）、ステップＢ１０に制御を移し、
なければそのままステップＢ１０に制御を移す。

【００３９】ステップＢ１０では、状態遷移情報変換手
段Ａ３は、変換されたノードを直前のノードとして記憶
する。

【００４０】次に、状態遷移情報変換手段Ａ３は、シン
ボルの集合に次のシンボルがあるかどうかを調べ（ステ
ップＢ１１）、あれば、ステップＢ２に制御を戻し、な
ければ、ステップＢ１２に制御を移す。

【００４１】ステップＢ１２では、状態遷移情報変換手
段Ａ３は、メッセージシーケンス図の最後のシンボルが
状態であるかどうかを調べ、状態でない場合は、最後に
新たな状態ノードを追加して直前ノードと接続し、その
ノードに仮の名前およびタイプを追加して（ステップＢ
１３）、ステップＢ１４に制御を移す。状態である場合
は、状態遷移情報変換手段Ａ３は、何も行わずにステッ
プＢ１４に制御を移す。

【００４２】ステップＢ１４では、状態遷移情報変換手
段Ａ３は、同一のプロセスに他のイベント列があるかど
うかを調べ、あれば、ステップＢｌに制御を戻し、なけ
れば、処理を終了する。

【００４３】次に、状態遷移情報縮小手段Ａ５は、ｂａ
ｃｋｗａｒｄ方向縮小処理Ｃ１およびｆｏｒｗａｒｄ方
向の縮小処理Ｃ２を行い、変換された状態遷移情報に重
複している遷移情報があるかどうかを判定し、あれば、
その遷移情報を削除して状態遷移情報を縮小する。状態
遷移情報を縮小した状態遷移図は、状態遷移図記憶部Ａ
４に記憶される。

【００４４】詳しくは、状態遷移情報縮小手段Ａ５は、
まず、ｂａｃｋｗａｒｄ方向縮小処理Ｃ１において、状
態遷移図記憶部Ａ４から指定プロセスの縮小前の状態遷
移図のノードの集合を取り出す（ステップＤｌ）。

【００４５】次に、状態遷移情報縮小手段Ａ５は、その
ノードの集合から最初のノード（ｎｏｄｅｌ）を１つ取
り出し（ステップＤ２）、次のノードがあるかどうかを
調べる（ステップＤ３）。取り出すｎｏｄｅｌがなくな
った場合は、状態遷移情報縮小手段Ａ５は、処理を終了
し、そうでなければ、ノードの集合から最初のノード
（ｎｏｄｅ２）を１つ取り出す（ステップＤ４）。

【００４６】次に、状態遷移情報縮小手段Ａ５は、次の
ｎｏｄｅ２があるかどうかを判定し（ステップＤ５）、
取り出すｎｏｄｅ２がなくなった場合は、状態遷移情報
縮小手段Ａ５は、次のｎｏｄｅｌを取り出して（ステッ
プＤ７）、ステップＤ３に制御を戻す。そうでなけれ
ば、状態遷移情報縮小手段Ａ５は、ｂａｃｋｗａｒｄ方
向従属関係判定処理Ｄ６を呼び出し、ステップＤ８に制
御を移す。

【００４７】ステップＤ８でｂａｃｋｗａｒｄ方向従属
関係判定処理Ｄ６の判定の結果、ｎｏｄｅｌがｎｏｄｅ
２に従属していた場合は、状態遷移情報縮小手段Ａ５
は、ｂａｃｋｗａｒｄ方向ノードマージ処理Ｄ９を呼び
出して、ステップＤ１０に制御を移し、そうでなけれ
ば、何も行わずステップＤ１０に制御を移す。そして、
状態遷移情報縮小手段Ａ５は、次のｎｏｄｅ２を取り出
してステップＤ５に制御を戻す（ステップＤ１０）。

【００４８】次に、状態遷移情報縮小手段Ａ５は、ｆｏ
ｒｗａｒｄ方向縮小処理Ｃ２において、状態遷移図記憶
部Ａ４から指定プロセスの縮小前の状態遷移図のノード
の集合を取り出す（ステップＥｌ）。

【００４９】続いて、状態遷移情報縮小手段Ａ５は、そ
のノードの集合から最初のノード（ｎｏｄｅｌ）を１つ
取り出し（ステップＥ２）、次のノードがあるかどうか
を調べる（ステップＥ３）。取り出すｎｏｄｅｌがなく
なった場合は、状態遷移情報縮小手段Ａ５は、処理を終
了し、そうでなければ、ノードの集合から最初のノード
（ｎｏｄｅ２）を１つ取り出す（ステップＥ４）。

【００５０】次に、状態遷移情報縮小手段Ａ５は、次の
ｎｏｄｅ２があるかどうかを判定し（ステップＥ５）、
取り出すｎｏｄｅ２がなくなった場合は、状態遷移情報
縮小手段Ａ５は、次のｎｏｄｅｌを取り出して（ステッ
プＥ７）、ステップＥ３に制御を戻す。そうでなけれ
ば、状態遷移情報縮小手段Ａ５は、ｆｏｒｗａｒｄ方向
従属関係判定処理Ｅ６を呼び出し、ステップＥ８に制御
を移す。

【００５１】ステップＥ８でｆｏｒｗａｒｄ方向従属関
係判定処理Ｅ６の判定の結果、ｎｏｄｅｌがｎｏｄｅ２
に従属していた場合は、状態遷移情報縮小手段Ａ５は、
ｆｏｒｗａｒｄ方向ノードマージ処理Ｅ９を呼び出し
て、ステップＥ１０に制御を移し、そうでなければ、何
も行わずステップＥ１０に制御を移す。そして、状態遷
移情報縮小手段Ａ５は、次のｎｏｄｅ２を取り出してス
テップＥ５に制御を戻す（ステップＥ１０）。

【００５２】ｆｏｒｗａｒｄ方向従属関係判定処理Ｅ６
では、状態遷移情報縮小手段Ａ５は、まず、引数として
与えられた２つのノードを取り出して（ステップＦ
１）、その２つのノードが同一であれば（ステップＦ
２）、真を返して（ステップＦ４）、処理を終了する。
同一でなければ、状態遷移情報縮小手段Ａ５は、２つの
ノードのタイプを取り出し（ステップＦ３）、２つのノ
ードのタイプが同一であるかどうかを調べ（ステップＦ
５）、同一でなければ、偽を返して（ステップＦ７）、
処理を終了する。タイプが同一であれば（ステップＦ５
でイエス）、状態遷移情報縮小手段Ａ５は、ステップＦ
６に制御を移す。

【００５３】ステップＦ６では、状態遷移情報縮小手段
Ａ５は、ノードのタイプが状態かどうかを判定し、ノー
ドのタイプが状態でない場合は、名前が同一であるかど
うかを調べ（ステップＦ８）、同一でなければ、偽を返
して（ステップＦ９）、処理を終了する。名前が同一で
あれば、状態遷移情報縮小手段Ａ５は、ステップＦ１０
に制御を移す。また、ステップＦ６でノードのタイプが
状態であれば、状態遷移情報縮小手段Ａ５は、名前を調
べずに、ステップＦ１０に制御を移す。

【００５４】ステップＦ１０では、状態遷移情報縮小手
段Ａ５は、ノードから出て行くアークの数の値を取り出
し（ステップＦ１０）、２つのノードのどちらからもア
ークが出ているかどうかを調べる（ステップＦ１１）。
２つのノードのどちらからもアークが出ている場合は、
状態遷移情報縮小手段Ａ５は、アーク判定処理Ｆ１４を
呼び出す（ステップＦ１４）。そうでない場合は、状態
遷移情報縮小手段Ａ５は、ノードのタイプが状態である
かどうかを調べ（ステップＦ１２）、ノードのタイプが
状態でなければ、真を返して（ステップＦ１６）、処理
を終了する。ノードのタイプが状態であれば、状態遷移
情報縮小手段Ａ５は、どちらのノードからもアークがで
ていないかどうかを調べて（ステップＦ１３）、どちら
のノードからもアークが出ていなければ、真を返して
（ステップＦ１６）、処理を終了し、そうでなければ、
偽を返して（ステップＦ１５）、処理を終了する。

【００５５】なお、ｂａｃｋｗａｒｄ方向従属関係判定
処理Ｄ６でも、ｆｏｒｗａｒｄ方向従属関係判定処理Ｅ
６と同様の処理が行われる。

【００５６】アーク判定処理Ｆ１４では、状態遷移情報
縮小手段Ａ５は、まず、２つのノードから出て行くアー
クの集合を取り出す（ステップＧ１）。次に、状態遷移
情報縮小手段Ａ５は、真であるか偽であるかを記憶する
ｆｌａｇの初期値を偽に設定する（ステップＧ２）。

【００５７】次に、状態遷移情報縮小手段Ａ５は、２つ
のノードからでていくアーク集合から最初のアーク（ａ
ｒｃ１およびａｒｃ２）を１つずつ取り出す（ステップ
Ｇ３およびＧ４）。

【００５８】さらに、状態遷移情報縮小手段Ａ５は、２
つのアーク集合からａｒｃ１およびａｒｃ２に接続して
いるノード（ｎｏｄｅ１およびｎｏｄｅ２）を１つずつ
取り出す（ステップＧ５およびＧ６）。

【００５９】次に、状態遷移情報縮小手段Ａ５は、取り
出した２つのアークが入って行くノードが同一であるか
どうかを調べ（ステップＧ７）、同一であれば、ｆｌａ
ｇに真を代入して（ステップＧ９）、ステップＧ１３に
制御を移す。

【００６０】ステップＧ７で２つのアークが入って行く
ノードが同一でなければ、状態遷移情報縮小手段Ａ５
は、ｆｏｒｗａｒｄ方向従属関係判定処理Ｇ８（ｆｏｒ
ｗａｒｄ方向従属関係判定処理Ｅ６と同様）を呼び出し
て再帰処理を行う。

【００６１】ｆｏｒｗａｒｄ方向従属関係判定処理Ｇ８
の結果（ステップＧ１０）、従属している場合は、状態
遷移情報縮小手段Ａ５は、ｆｌａｇに真を代入し（ステ
ップＧ１１）、従属していない場合はｆｌａｇに偽を代
入して（ステップＧ１２）、ステップＧ１３に制御を移
す。

【００６２】ステップＧ１３では、状態遷移情報縮小手
段Ａ５は、次のａｒｃ２がないかどうかを調べ、取り出
すａｒｃ２がまだあれば、次のａｒｃ２を取り出して
（ステップＧ１４）、ステップＧ５に制御を戻す。取り
出すａｒｃ２がなければ、状態遷移情報縮小手段Ａ５
は、ｆｌａｇの値を調べ（ステップＧ１５）、偽であれ
ば偽を返して（ステップＧ２０）、処理を終了する。

【００６３】ステップＧ１５でｆｌａｇの値が偽でなけ
れば、状態遷移情報縮小手段Ａ５は、次のａｒｃｌがな
いかどうかを調べ（ステップＧ１６）、取り出すａｒｃ
ｌがまだあれば、次のａｒｃｌを取り出して（ステップ
Ｇ１７）、ステップＧ４に制御を戻す。取り出すａｒｃ
ｌがなければ、状態遷移情報縮小手段Ａ５は、ｆｌａｇ
の値を調べ（ステップＧ１８）、偽であれば偽を返し
（ステップＧ２０）、そうでなければ、真を返して（ス
テップＧ１９）、処理を終了する。

【００６４】ｂａｃｋｗａｒｄ方向のノードマージ処理
Ｄ９では、状態遷移情報縮小手段Ａ５は、まず、マージ
されるノードとマージするノードとを取り出す（ステッ
プＨ１）。次に、状態遷移情報縮小手段Ａ５は、２つの
ノードに接続しているアークの集合を取り出す（ステッ
プＨ２）。そして、状態遷移情報縮小手段Ａ５は、ノー
ドに入って来るアークのマージ処理Ｈ３を呼び出し、次
にノードから出て行くアークのマージ処理Ｈ４を呼び出
し、最後にマージされるノードを除去して（ステップＨ
５）、処理を終了する。

【００６５】なお、ｆｏｒｗａｒｄ方向のノードマージ
処理Ｅ９でも、ｂａｃｋｗａｒｄ方向のノードマージ処
理Ｄ９と同様の処理が行われる。

【００６６】ノードに入って来るアークのマージ処理Ｈ
３では、状態遷移情報縮小手段Ａ５は、まず、マージさ
れるノードに入って来るアークがあるかどうかを調べ
（ステップＩ１）、なければ処理を終了し、あればマー
ジされるノードに入ってくるアーク集合から最初のアー
ク（ａｒｃｌ）を１つ取り出す（ステップＩ２）。次
に、状態遷移情報縮小手段Ａ５は、マージするノードに
入って来るアーク集合から最初のアーク（ａｒｃ２）を
１つ取り出す（ステップＩ３）。また、状態遷移情報縮
小手段Ａ５は、アークを付け替えるのか除去するのかを
記憶するｆｌａｇの初期値ＴＲＵＥを設定する（ステッ
プＩ４）。

【００６７】次に、状態遷移情報縮小手段Ａ５は、２つ
のアークの接続元であるアークが同一であるかどうかを
調べ（ステップＩ５）、同一であればｆｌａｇにＦＡＬ
ＳＥを代入し（ステップＩ６）、ステップＩ９に制御を
移す。同一でなければ、状態遷移情報縮小手段Ａ５は、
取り出すａｒｃ２があるかどうかを調べ（ステップＩ
７）、あれば次のａｒｃ２を取り出して（ステップＩ
８）、ステップＩ５に制御を戻す。取り出すａｒｃ２が
なければ、状態遷移情報縮小手段Ａ５は、ステップＩ９
に制御を移す。

【００６８】ステップＩ９では、状態遷移情報縮小手段
Ａ５は、ｆｌａｇを調べて、ＴＲＵＥであれば、ａｒｃ
１の接続元のノードとマージするノードにアークを接続
して（ステップＩ１０）、マージされるノードに接続し
ているａｒｃ１を除去し（ステップＩ１１）、ＦＡＬＳ
Ｅであれば、そのままａｒｃ１を除去する（ステップＩ
１１）。次に、状態遷移情報縮小手段Ａ５は、取り出す
ａｒｃ１があるかどうかを調べ（ステップＩ１２）、あ
れば次の次のａｒｃ１を取り出して（ステップＩ１
３）、ステップＩ３に制御を戻す。ステップＩ１２で取
り出すａｒｃ１がなければ、状態遷移情報縮小手段Ａ５
は、処理を終了する。

【００６９】ノードから出て行くアークのマージ処理Ｈ
４では、状態遷移情報縮小手段Ａ５は、まず、マージさ
れるノードに出て行くアークがあるかどうかを調べ（ス
テップＪ１）、なければ処理を終了し、あればマージさ
れるノードから出て行くアーク集合から最初のアーク
（ａｒｃｌ）を１つ取り出す（ステップＪ２）。次に、
状態遷移情報縮小手段Ａ５は、マージするノードから出
て行くアーク集合から最初のアーク（ａｒｃ２）を１つ
取り出す（ステップＪ３）。また、状態遷移情報縮小手
段Ａ５は、アークを付け替えるのか除去するのかを記憶
するｆｌａｇの初期値ＴＲＵＥを設定する（ステップＪ
４）。

【００７０】次に、状態遷移情報縮小手段Ａ５は、２つ
のアークの接続元であるアークが同一であるかどうかを
調べ（ステップＪ５）、同一であればｆｌａｇにＦＡＬ
ＳＥを代入し（ステップＪ６）、ステップＪ９に制御を
移す。同一でなければ、状態遷移情報縮小手段Ａ５は、
取り出すａｒｃ２があるかどうかを調べ（ステップＪ
７）、あれば次のａｒｃ２を取り出して（ステップＪ
８）、ステップＩ５に制御を戻す。取り出すａｒｃ２が
なければ、状態遷移情報縮小手段Ａ５は、ステップＪ９
に制御を移す。

【００７１】ステップＪ９では、状態遷移情報縮小手段
Ａ５は、ｆｌａｇを調べて、ＴＲＵＥであれば、ａｒｃ
１の接続元のノードとマージするノードにアークを接続
して（ステップＪ１０）、マージされるノードに接続し
ているａｒｃ１を除去し（ステップＪ１１）、ＦＡＬＳ
Ｅであれば、そのままａｒｃ１を除去する（ステップＪ
１１）。次に、状態遷移情報縮小手段Ａ５は、取り出す
ａｒｃ１があるかどうかを調べ（ステップＪ１２）、あ
れば次の次のａｒｃ１を取り出して（ステップＪ１
３）、ステップＪ３に制御を戻す。ステップＪ１２で取
り出すａｒｃ１がなければ、状態遷移情報縮小手段Ａ５
は、処理を終了する。

【００７２】以上のようにして、複数のメッセージシー
ケンス図から状態遷移情報を縮小した状態遷移図が生成
される。

【００７３】次に、本発明の第２の実施の形態について
図面を参照して詳細に説明する。

【００７４】図２２を参照すると、本発明の第２の実施
の形態は、キーボード，マウス等の入力装置１と、デー
タ処理装置２と、記憶装置３と、ディスプレイ，プリン
タ等の出力装置４と、状態遷移図変換プログラムを記録
した記録媒体５とから構成されている。記録媒体５は、
磁気ディスク，半導体メモリ，その他の記録媒体であっ
てもよい。

【００７５】状態遷移図変換プログラムは、記録媒体５
からデータ処理装置２に読み込まれ、プロセス指定手段
Ａ２，状態遷移情報変換手段Ａ３および状態遷移情報縮
小手段Ａ５としてデータ処理装置２の動作を制御し、記
憶装置３にメッセージシーケンス図記憶部Ａ１および状
態遷移図記憶部Ａ４を作成する。データ処理装置２の状
態遷移図変換プログラムの制御による動作は、第１の実
施の形態の場合と全く同様になるので、その詳しい説明
を割愛する。

【００７６】

【実施例】次に、第１の実施の形態に係る状態遷移図変
換装置の一実施例について図面を参照して詳細に説明す
る。

【００７７】図１２〜図１４は、メッセージシーケンス
図をそれぞれ表している。

【００７８】図１５は、図１２〜図１４のメッセージシ
ーケンス図を変換した状態遷移情報の縮小前の状態遷移
図を表している。

【００７９】図１６および図１７は、ｂａｃｋｗａｒｄ
方向にマージした状態遷移図およびｆｏｒｗａｒｄ方向
に１つ遷移列をマージした状態遷移図を表している。

【００８０】図１８は、状態遷移情報の縮小後の状態遷
移図を表している。

【００８１】図１９は、図１２〜図１４のメッセージシ
ーケンス図のデータ構造を表している。

【００８２】図２０は、メッセージシーケンス図から変
換された状態遷移情報の縮小前の状態遷移図のデータ構
造を表している。

【００８３】図２１は、状態遷移情報の縮小後の状態遷
移図のデータ構造を表している。

【００８４】図１２〜図２１を参照すると、入力となる
メッセージシーケンス図（図１２〜図１４）において、
Ｐｌ，Ｐ２はプロセスを表しており、矢印は矢印の向き
にイベントが入ってくることを示している。例えば、図
１２では、ＰｌはイベントＥｌを入力イベントとして受
け取っていることを意味している。逆に、Ｐ２はイベン
トＥｌを出力イベントとして送っていることを意味して
いる。

【００８５】図１２〜１４をまとめた図１９のメッセー
ジシーケンス図のデータ構造においては、シンボルのタ
イプのｓｔａｔｅは状態を、ｉｎｐｕｔは入力イベント
を、ｏｕｔｐｕｔは出力イベントを表している。

【００８６】これらのメッセージシーケンス図をプロセ
ス指定手段Ａ２でプロセスＰｌに指定して状態遷移図へ
の変換を行う場合、まず、メッセージシーケンス図のデ
ータ構造において、ｍｓｃ ｉｄが１番目（図１２に相
当）のメッセージシーケンス図のプロセスＰｌのＳｔａ
ｔｅｌからＥ４までのイベント列のデータを状態遷移図
のノードのデータに変換していくと、状態遷移図のデー
タ構造は、図２０のｎｏｄｅの集合のｉｄ１〜９までの
ノードに変換されて、図１５の状態遷移図の左側の遷移
列に変換される。

【００８７】図１５の状態遷移図では、名前の先頭にＥ
がつくノードが入力イベントノードを表し、Ｓがつくノ
ードが状態ノードを表している。また、状態遷移は意味
的に入力イベントの直前がなんらかの状態になるので、
メッセージシーケンス図で入力イベントシンボルの直前
に状態シンボルがない場合は状態遷移情報に変換したと
きに入力イベントノードの直前に仮の名前を付けた状態
ノードを挿入している。

【００８８】さらに、２番目以降のｍｓｃ ｉｄについ
ても同様に同一のプロセス（Ｐｌ）のイベント列を変換
して行くと、状態遷移図のデータ構造は図２０のｎｏｄ
ｅの集合のｉｄ１０〜２７に変換されて、図１５の状態
遷移図の中央および右側の遷移列に変換される。

【００８９】次に、図１５の状態遷移図上でｂａｃｋｗ
ａｒｄ方向（つまり下から上方向）へ状態遷移情報の縮
小処理を行う場合、名前がＳｔａｔｅｌである状態ノー
ドのいずれもｂａｃｋｗａｒｄ方向にアークが出ていな
いため、それぞれのノードがそれぞれのノードに含まれ
て従属関係になっていると判定され、最初に任意の２つ
のＳｔａｔｅｌの状態ノードを１つにマージし、そのマ
ージした状態ノードと残ったＳｔａｔｅｌの状態ノード
とを１つにマージして、図１６の状態遷移図のように１
つにまとめられる。

【００９０】次に、ｆｏｒｗａｒｄ方向の状態遷移情報
の縮小処理を行っていく場合、図１６の状態遷移図上の
状態ノードＳｔａｔｅ２とＳ５とに注目すると、Ｓ５か
らの遷移列（Ｓ５，Ｅ３，Ｓｔａｔｅ３，Ｅ４，Ｓ６）
は全てＳｔａｔｅ２からの遷移列（Ｓｔａｔｅ２，Ｅ
３，Ｓ２，Ｅ４，Ｓ３）に含まれるので、Ｓ５はＳｔａ
ｔｅ２に従属していると判定される（この場合は逆も成
り立つ）。したがって、Ｓ５はＳｔａｔｅ２にマージさ
れて、Ｓ５は削除される。

【００９１】また、Ｅ３以下の遷移列に対しても同様な
処理を行って行き、１つの遷移列を全てマージすると、
図１７の状態遷移図を得る。

【００９２】さらに、状態ノードＳ２とＳ９とに注目す
ると、Ｓ９からの遷移列（Ｓ９，Ｅ４，Ｓｔａｔｅ４）
はＳ２からの遷移列（Ｓ２，Ｅ４，Ｓ３）に全て含まれ
るので、Ｓ９はＳ２に従属していると判定され、Ｓ９は
Ｓ２にマージされる。Ｅ４やＳｔａｔｅ４といったノー
ドに対しても同様な判定処理とマージ処理とを行い、最
終的に従属関係になりえるノードが存在しなくなったと
きに状態遷移情報の縮小処理を終了し、図１８の状態遷
移図を得る。

【００９３】

【発明の効果】第１の効果は、メッセージシーケンス図
から重複している遷移情報を排除した状態遷移図を効率
良く作成することができることにある。これにより、高
品質な状態遷移プログラムを効率良く設計することが可
能になる。その理由は、複数のメッセージシーケンス図
を入力しイベントノード間に状態ノードがなければ機械
的に生成された任意の名前を付けた状態ノードを挿入し
て状態遷移情報に変換する状態遷移情報変換手段、およ
び状態遷移情報変換手段により変換された状態遷移情報
中のイベントノードについては名前が同一であれば重複
している遷移情報を削除し、状態遷移情報中の状態ノー
ドについては名前の異同にかかわらず重複している遷移
情報を削除して状態遷移情報を縮小する状態遷移情報縮
小手段により、人手を介さずに自動的に重複している遷
移情報を排除した状態遷移図へ変換できるためである。

【図面の簡単な説明】

【図１】本発明の第１の実施の形態に係る状態遷移図変
換装置の構成を示すブロック図である。

【図２】（ａ）は図１中のメッセージシーケンス図記憶
部に格納されるメッセージシーケンス図のデータ構造を
示す図であり、（ｂ）は図１中の状態遷移図記憶部に格
納される状態遷移図のデータ構造を示す図である。

【図３】図１中の状態遷移情報変換手段の処理手順の概
要を示すフローチャートである。

【図４】図１中の状態遷移情報縮小手段の処理手順の概
要を示すフローチャートである。

【図５】図４中のｂａｃｋｗａｒｄ方向縮小処理の詳細
な処理手順を示すフローチャートである。

【図６】図４中のｆｏｒｗａｒｄ方向縮小処理の詳細な
処理手順を示すフローチャートである。

【図７】図６中のｆｏｒｗａｒｄ方向従属関係判定処理
の詳細な処理手順を示すフローチャートである。

【図８】図７中のアーク判定処理の詳細な処理手順を示
すフローチャートである。

【図９】図５中のノードマージ処理の詳細な処理手順を
示すフローチャートである。

【図１０】図９中のノードに入って来るアークのマージ
処理の詳細な処理手順を示すフローチャートである。

【図１１】図９中のノードから出て行くアークのマージ
処理の詳細な処理手順を示すフローチャートである。

【図１２】第１の実施の形態に係る状態遷移図変換装置
の一実施例で使用するメッセージシーケンス図である。

【図１３】第１の実施の形態に係る状態遷移図変換装置
の一実施例で使用するメッセージシーケンス図である。

【図１４】第１の実施の形態に係る状態遷移図変換装置
の一実施例で使用するメッセージシーケンス図である。

【図１５】図１２〜図１４のメッセージシーケンス図を
変換した状態遷移情報の縮小前の状態遷移図を表す図で
ある。

【図１６】図１２〜図１４のメッセージシーケンス図を
変換した状態遷移情報の縮小過程の状態遷移図を表す図
である。

【図１７】図１２〜図１４のメッセージシーケンス図を
変換した状態遷移情報の縮小過程の状態遷移図を表す図
である。

【図１８】図１２〜図１４のメッセージシーケンス図を
変換した状態遷移情報の縮小後の状態遷移図を表す図で
ある。

【図１９】図１２〜図１４のメッセージシーケンス図の
データ構造を表す図である。

【図２０】図１２〜図１４のメッセージシーケンス図を
変換した状態遷移情報の縮小前の状態遷移図のデータ構
造を表す図である。

【図２１】図１２〜図１４のメッセージシーケンス図を
変換した状態遷移情報の縮小後の状態遷移図のデータ構
造を表している。

【図２２】本発明の第２の実施の形態に係る状態遷移図
変換装置の構成を示すブロック図である。

【符号の簡単な説明】

１ 入力装置 ２ データ処理装置 ３ 記憶装置 ４ 出力装置 ５ 記録媒体 Ａ１ メッセージシーケンス図記憶部 Ａ２ プロセス指定手段 Ａ３ 状態遷移情報変換手段 Ａ４ 状態遷移図記憶部 Ａ５ 状態遷移情報縮小手段

───────────────────────────────────────────────────── フロントページの続き (56)参考文献 特開 平４−182875（ＪＰ，Ａ) 小山田 他，”ソフトウエア動作仕様 の段階的設計技法とその支援系”，情報 処理学会研究報告（90−ＳＥ−71）, 1990年２月８日，Ｖｏｌ．90，Ｎｏ. 10，ｐｐ．１−８ ”ＳＤＬ（通信ソフトウエア機能仕様 記述言語）支援システム”，情報処理学 会第28回（昭和59年前期）全国大会講演 論文集（１），ｐｐ．561−570 (58)調査した分野(Int.Cl.⁷，ＤＢ名) G06F 9/06 - 9/44 H04Q 3/545 G06F 17/50

Claims (7)

(57)【特許請求の範囲】
1. 【請求項１】 メッセージシーケンス図から状態遷移図
   を生成する状態遷移図変換装置において、 複数のメッセージシーケンス図を入力しイベントノード
   間に状態ノードがなければ機械的に生成された任意の名
   前を付けた状態ノードを挿入して状態遷移情報に変換す
   る状態遷移情報変換手段と、 この状態遷移情報変換手段により変換された状態遷移情
   報中のイベントノードについては名前が同一であれば重
   複している遷移情報を削除し、状態遷移情報中の状態ノ
   ードについては名前の異同にかかわらず重複している遷
   移情報を削除して状態遷移情報を縮小する状態遷移情報
   縮小手段とを含むことを特徴とする状態遷移図変換装
   置。
2. 【請求項２】 メッセージシーケンス図を記憶するメッ
   セージシーケンス図記憶部と、 このメッセージシーケンス図記憶部からメッセージシー
   ケンス図を入力しメッセージシーケンス図上のイベント
   列を抽出してイベントノード間に状態ノードがなければ
   機械的に生成された任意の名前を付けた状態ノードを挿
   入して状態遷移情報に変換する状態遷移情報変換手段
   と、 この状態遷移情報変換手段により変換された状態遷移情
   報を格納する状態遷移図記憶部と、 この状態遷移図記憶部に格納されている状態遷移情報中
   のイベントノードについては名前が同一であれば重複し
   ている遷移情報を削除し、状態遷移情報中の状態ノード
   については名前の異同にかかわらず重複している遷移情
   報を削除して状態遷移情報を縮小する状態遷移情報縮小
   手段とを有することを特徴する状態遷移図変換装置。
3. 【請求項３】 変換の対象となる全てのメッセージシー
   ケンス図を記憶するメッセージシーケンス図記憶部と、 メッセージシーケンス図上の変換の対象となるプロセス
   を指定するプロセス指定手段と、 前記メッセージシーケンス図記憶部に格納されたメッセ
   ージシーケンス図から前記プロセス指定手段で指定され
   たプロセスの全てのメッセージシーケンス図上のイベン
   ト列を抽出してイベントノード間に状態ノードがなけれ
   ば機械的に生成された任意の名前を付けた状態ノードを
   挿入して状態遷移情報に変換する状態遷移情報変換手段
   と、 この状態遷移情報変換手段により変換された状態遷移情
   報を格納する状態遷移図記憶部と、 この状態遷移図記憶部に格納されている状態遷移情報中
   のイベントノードについては名前が同一であれば重複し
   ている遷移情報を削除し、状態遷移情報中の状態ノード
   については名前の異同にかかわらず重複している遷移情
   報を削除して状態遷移情報を縮小する状態遷移情報縮小
   手段とを有することを特徴する状態遷移図変換装置。
4. 【請求項４】 前記状態遷移情報縮小手段が、状態遷移
   情報中のイベントノードについては名前が同一であれば
   重複している遷移情報があるかどうかを判定し、状態遷
   移情報中の状態ノードについては名前の異同にかかわら
   ず重複している遷移情報があるかどうかを判定する従属
   関係判定処理と、前記従属関係判定処理で重複している
   と判定された遷移情報のマージを行うノードマージ処理
   とを含む請求項１，２または３記載の状態遷移図変換装
   置。
5. 【請求項５】 コンピュータを、複数のメッセージシー
   ケンス図を入力しイベントノード間に状態ノードがなけ
   れば機械的に生成された任意の名前を付けた状態ノード
   を挿入して状態遷移情報に変換する状態遷移情報変換手
   段，およびこの状態遷移情報変換手段により変換された
   状態遷移情報中のイベントノードについては名前が同一
   であれば重複している遷移情報を削除し、状態遷移情報
   中の状態ノードについては名前の異同にかかわらず重複
   している遷移情報を削除して状態遷移情報を縮小する状
   態遷移情報縮小手段として機能させるためのプログラム
   を記録したことを特徴とする記録媒体。
6. 【請求項６】 コンピュータを、メッセージシーケンス
   図を記憶するメッセージシーケンス図記憶部，このメッ
   セージシーケンス図記憶部からメッセージシーケンス図
   を入力しメッセージシーケンス図上のイベント列を抽出
   してイベントノード間に状態ノードがなければ機械的に
   生成された任意の名前を付けた状態ノード を挿入して状
   態遷移情報に変換する状態遷移情報変換手段，この状態
   遷移情報変換手段により変換された状態遷移情報を格納
   する状態遷移図記憶部，およびこの状態遷移図記憶部に
   格納されている状態遷移情報中のイベントノードについ
   ては名前が同一であれば重複している遷移情報を削除
   し、状態遷移情報中の状態ノードについては名前の異同
   にかかわらず重複している遷移情報を削除して状態遷移
   情報を縮小する状態遷移情報縮小手段として機能させる
   ためのプログラムを記録したことを特徴とする記録媒
   体。
7. 【請求項７】 コンピュータを、変換の対象となる全て
   のメッセージシーケンス図を記憶するメッセージシーケ
   ンス図記憶部，メッセージシーケンス図上の変換の対象
   となるプロセスを指定するプロセス指定手段，前記メッ
   セージシーケンス図記憶部に格納されたメッセージシー
   ケンス図から前記プロセス指定手段で指定されたプロセ
   スの全てのメッセージシーケンス図上のイベント列を抽
   出してイベントノード間に状態ノードがなければ機械的
   に生成された任意の名前を付けた状態ノードを挿入して
   状態遷移情報に変換する状態遷移情報変換手段，この状
   態遷移情報変換手段により変換された状態遷移情報を格
   納する状態遷移図記憶部，およびこの状態遷移図記憶部
   に格納されている状態遷移情報中のイベントノードにつ
   いては名前が同一であれば重複している遷移情報を削除
   し、状態遷移情報中の状態ノードについては名前の異同
   にかかわらず重複している遷移情報を削除して状態遷移
   情報を縮小する状態遷移情報縮小手段として機能させる
   ためのプログラムを記録したことを特徴とする記録媒
   体。