JPH06324967A - メッセージシーケンス図生成方法 - Google Patents

Abstract

(57)【要約】 【構成】対話用端末に表示されたメッセージシーケンス
図の構成要素を指定してその要素に関する生成条件を変
更（ステップ１０７）させ、変更された生成条件を満足
するメッセージシーケンスを生成（ステップ１０５）
し、変更の履歴情報を基に変更元および変更先のメッセ
ージシーケンス図を呼び出せる（ステップ１０８）よう
にする。 【効果】内容把握の難しい状態遷移仕様に対して理解が
容易なメッセージシーケンス図を提示できるため、仕様
の検証，レビュー、および保守が容易になる。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、メッセージシーケンス
図の生成方法に係り、特に、設計仕様を状態遷移表で表
現した通信ソフトウェアに関するメッセージシーケンス
図を機械的に作成するメッセージシーケンス図生成方法
に関する。

【０００２】

【従来の技術】通信ソフトウェア仕様に関するメッセー
ジシーケンス図を機械的に作成するメッセージシーケン
ス図生成方法に関しては、従来、次に示すような方法が
知られている。

【０００３】（１）たとえば、伊藤篤ほか著，通信ソフ
トウェア仕様の設計と解析のためのシーケンスチャート
と状態遷移図の相互変換，電子情報通信学会技術研究報
告，第９１巻，第９３号（１９９１年６月２０日）第３
７頁から第４６頁までに述べられているように、複数の
状態遷移図仕様からプロセス対応最大到達遷移系列検証
法に基づき、自動的にメッセージシーケンスを生成する
方法。

【０００４】（２）たとえば、森保健治ほか著，通信プ
ロトコル設計におけるリバースエンジニアリング，１９
９１年電子情報通信学会春季大会講演論文集，第３分
冊，第９８頁に述べられているように、複数の状態遷移
図仕様から到達可能性解析に基づき、自動的にメッセー
ジシーケンスを生成する方法において、生成するメッセ
ージシーケンスを特徴付ける制約条件を各状態遷移図に
対応する部分メッセージシーケンスの積，和，補集合と
して与える方法。

【０００５】（３）たとえば、特願平4−322430 号に記
載のように、複数の状態遷移仕様に関し、状態およびイ
ベントに関する制約条件を対話用端末に表示された状態
遷移表から入力し、この制約条件を満足するメッセージ
シーケンスを指定された優先付けに従って自動的に生成
する方法。

【０００６】

【発明が解決しようとする課題】上記従来技術は、メッ
セージシーケンス図生成方法として次のような問題を抱
えている。まず、状態遷移表からメッセージシーケンス
図を生成するには生成したいメッセージシーケンス図を
特定するための生成条件を予め入力する必要がある。し
かし、ユーザが生成したいメッセージシーケンス図すべ
てについて完全な生成条件の組合せを入力することには
困難を伴う。通常は、最初に不完全ないくつかの条件を
満たすメッセージシーケンス図の集合を生成し、次に条
件を変更，追加していくことにより望みのメッセージシ
ーケンス図を得る方法がとられる。

【０００７】しかし、従来技術では、生成条件の変更，
追加を行いたい場合にも新規条件として入力し直さなけ
ればならない等、ユーザの使い勝手が考慮されていなか
った。さらに、従来技術では、最初に生成したメッセー
ジシーケンス図と条件を変更，追加して得られたメッセ
ージシーケンス図との関連性は考慮されておらず、生成
されたメッセージシーケンス図はシーケンシャルな順番
でしか保存されないため、利用者が確認等を行う場合に
目的とするメッセージシーケンスを検索することが容易
でない。

【０００８】本発明の第１の目的は、生成済みのメッセ
ージシーケンス図に関する生成条件の変更，追加が容易
に行えるメッセージシーケンス図生成方法を提供するこ
とである。

【０００９】本発明の第２の目的は、生成済みのメッセ
ージシーケンス図の保存および管理を効率的に行えるメ
ッセージシーケンス図生成方法を提供することにある。

【００１０】

【課題を解決するための手段】上記第１の目的は、計算
機および対話用端末を有する情報処理装置において、対
話用端末に表示されたメッセージシーケンス図の構成要
素を指定し、条件の変更が可能な構成要素に関して、変
更可能な条件候補リストを表示して前記リストから選択
することにより前記構成要素に関する生成条件を変更す
る手段と、変更された生成条件に適合するメッセージシ
ーケンス図を生成する手段と、生成されたメッセージシ
ーケンスに基づくメッセージシーケンス図を対話用端末
に表示する手段とを持つことにより達成される。

【００１１】上記第２の目的は、生成条件を変更する前
のメッセージシーケンス図と変更した後のメッセージシ
ーケンス図との関係情報を記憶する手段と、記憶された
関係情報から双方のメッセージシーケンス図を呼び出し
て表示する手段とを持つことにより達成される。

【００１２】

【作用】対話用端末に表示されたメッセージシーケンス
図の構成要素を指定して構成要素に関する生成条件を変
更することにより、メッセージシーケンス図のカスタマ
イズを利用者が対話的に行うことができる。このとき、
条件の変更が可能な構成要素に関して、変更可能な条件
候補リストを表示して利用者がリストから選択すること
により生成条件の追加，変更が容易に行える。

【００１３】また、オリジナルのメッセージシーケンス
図と変更した後のメッセージシーケンス図との変更履歴
を関係情報として記憶することにより、多数のメッセー
ジシーケンス図を関連付けして保存および管理し、必要
に応じて検索して表示させることができる。

【００１４】

【実施例】図２は、本発明を適用するメッセージシーケ
ンス図生成装置のハードウェアの一例を示す図である。
利用者からのコマンド等を入力するキーボードとマウス
からなる入力装置２０１，計算機内部の処理を行う処理
装置２０２，データとプログラムを格納する記憶装置２
０３，コマンドの実行結果，記憶しているデータの内
容，利用者に対するメッセージ等を表示する表示装置２
０４からなる。

【００１５】図１は、本発明のメッセージシーケンス図
の生成方法を実現する装置の機能構成の一例を示す図で
ある。実行制御機能１０１は、入力装置２０１からのコ
マンドを受け付けて、各機能を実行する。

【００１６】状態遷移仕様編集機能１０２は、利用者が
状態遷移仕様を新規作成および修正することを支援し、
状態遷移情報１１１を生成，修正する。入出力関係情報
入力機能１０３は、モジュール毎に記述された状態遷移
仕様のメッセージの送受信関係情報を表示し、使用者に
関係情報の確認，修正，追加を入力させ、状態遷移情報
１１１を更新する。生成条件情報入力機能１０４は、使
用者がメッセージシーケンス図の生成のために条件を入
力することを状態遷移情報１１１を利用して支援し、生
成条件情報１１２を格納する。

【００１７】メッセージシーケンス生成機能１０５は、
状態遷移情報１１１から生成条件情報１１２を満足する
メッセージシーケンスを生成し、メッセージシーケンス
情報１１３を生成する。メッセージシーケンス図表示機
能１０６は、メッセージシーケンス情報１１３に基づく
メッセージシーケンス図を表示装置２０４に表示する。
メッセージシーケンスカスタマイズ機能１０７は、表示
されたメッセージシーケンス図の構成要素のうち条件の
追加，変更可能なものを提示し、利用者に追加，変更し
たい内容を入力させ、入力された内容を反映した生成条
件に基づくメッセージシーケンス生成、および生成され
たメッセージシーケンス図の表示を行う。メッセージシ
ーケンス関連付け機能１０８は、利用者の指定したメッ
セージシーケンス図に関して、関連付けされたメッセー
ジシーケンス図を検索し、これを表示する。

【００１８】以下、生成済みのメッセージシーケンス図
に対するカスタマイズを行う手順の詳細を説明する。但
し、実行制御機能１０１，状態遷移仕様編集機能１０
２，入出力関係情報入力機能１０３，生成条件情報入力
機能１０４，メッセージシーケンス生成機能１０５，メ
ッセージシーケンス図表示機能１０６を実現する詳細に
ついては、たとえば、特願平4−322430 号明細書におい
て述べられているので説明を省略する。

【００１９】状態遷移仕様編集機能１０２および入出力
関係情報入力機能１０３からは、状態遷移情報１１１が
生成され図３から図９に示す形式で記憶される。

【００２０】図３に示す状態遷移表リストのエントリ３
００は状態遷移表対応に存在し、装置側で割り当てられ
る状態遷移表識別子３０１，利用者が入力する状態遷移
表名称３０２，状態リストへのポインタ３０３，イベン
トリストへのポインタ３０４，状態遷移リストへのポイ
ンタ３０５、次の状態遷移表エントリへのポインタ３０
６からなる。

【００２１】図４に示す状態リストのエントリ４００
は、装置側で割り当てる状態識別子４０１，利用者が入
力する状態名称４０２，次の状態エントリへのポインタ
403からなる。

【００２２】図５に示すイベントリストのエントリ５０
０は、装置側で割り当てるイベント識別子５０１，利用
者が入力するイベント名称５０２，イベントが他の状態
遷移表から受信したメッセージか否かを示すメッセージ
フラグ５０３，イベントが受信メッセージである場合の
送信元状態遷移表識別子５０４，次のイベントエントリ
へのポインタ５０５からなる。

【００２３】図６に示す状態遷移リストのエントリ６０
０は、装置側で割り当てる状態遷移識別子６０１，状態
遷移処理に対応する状態エントリ４００の識別子６０２
およびイベントエントリ５００の識別子６０３，状態遷
移処理の分岐条件を表す条件識別子６０４、および条件
名称６０５，条件毎の処理レコードへのポインタ606，
次の状態遷移エントリへのポインタ６０７からなる。

【００２４】図７に示す処理レコード７００は、処理終
了後の遷移先状態の識別子７０１，処理に含まれる動作
リストへのポインタ７０２からなる。

【００２５】図８に示す動作リストのエントリ８００は
動作対応に存在し、装置側で割り当てる動作識別子８０
１，利用者が入力する動作名称８０２，動作が他の状態
遷移表に送信するメッセージか否かを示すメッセージフ
ラグ８０３，動作が送信メッセージである場合の送信先
状態遷移表識別子８０４，送信先状態遷移表における送
信メッセージに対応するイベント識別子８０５，後述す
るチャネル識別子806，次の動作エントリへのポインタ
８０７からなる。

【００２６】図９に示すチャネルリストのエントリ９０
０は、装置側で割り当てるチャネル識別子９０１，送信
元状態遷移表識別子９０２，送信先状態遷移表識別子９
０３，次のチャネルエントリへのポインタ９０４からな
る。

【００２７】図１の生成条件情報入力機能１０４から
は、メッセージシーケンス図を生成するための生成条件
情報１１２が生成され、図１０から図１４に示す形式で
記憶される。

【００２８】図１０に示す生成条件リストのエントリ１
０００は状態遷移表対応に存在し、生成対象の状態遷移
表識別子１００１，初期状態識別子１００２，初期イベ
ント識別子１００３，終端状態識別子１００４，終端イ
ベント識別子１００５，通過状態リストへのポインタ１
００６，通過イベントリストへのポインタ１００７，非
通過状態リストへのポインタ１００８，非通過イベント
リストへのポインタ１００９，通過状態遷移リストへの
ポインタ１０１０，次の生成条件エントリへのポインタ
１０１１からなる。

【００２９】図１１に示す通過状態リストのエントリ１
１００は、通過状態識別子１１０１，次の通過状態リス
トへのポインタ１１０２からなる。

【００３０】図１２に示す通過イベントリストのエント
リ１２００は、通過イベント識別子１２０１，次の通過
イベントエントリへのポインタ１２０２からなる。

【００３１】図１３に示す非通過状態リストのエントリ
１３００は、非通過状態識別子1301，次の非通過状態エ
ントリへのポインタ１３０２からなる。

【００３２】図１４に示す非通過イベントリストのエン
トリ１４００は、非通過イベント識別子１４０１，次の
非通過イベントエントリへのポインタ１４０２からな
る。

【００３３】図１のメッセージシーケンス生成機能１０
５からは、メッセージシーケンス情報１１３が生成さ
れ、図１５から図２５に示す形式で記憶される。メッセ
ージシーケンス情報１１３のメッセージシーケンス対応
に図１５に示すシーケンスグループリストのエントリ１
５００を割り当てる。シーケンスグループリストのエン
トリ１５００は、装置側で割り当てるシーケンス識別子
１５０１（後述するシーケンス番号に対応する），後述
するシーケンスリストへのポインタ１５０２，生成条件
リスト１０００の該当するエントリへのポインタ１５０
３，変更元のシーケンス識別子１５０４，後述する変更
先シーケンス識別子リストへのポインタ１５０５，後述
する遷移列変更リストへのポインタ１５０６，次のシー
ケンスグループエントリへのポインタ１５０７からな
る。

【００３４】図１６に示すシーケンスリストのエントリ
１６００は、後述するグローバル状態識別子１６０１，
次のシーケンスエントリへのポインタ１６０２からな
る。

【００３５】図１９に示すグローバル状態リストのエン
トリ１９００は、装置側で割り当てるグローバル状態識
別子１９０１，対象とする状態遷移表に対応するローカ
ル状態リストへのポインタ１９０２，チャネルに対応す
るチャネル状態リストへのポインタ１９０３，グローバ
ル状態エントリごとに存在する生成条件の中の通過条件
をチェックするための通過条件レコードへのポインタ１
９０４，該当するグローバル状態に到達する前のグロー
バル状態を示す遷移元グローバル状態識別子１９０５，
該当するグローバル状態に到達する時に発生したイベン
トの所在を示すイベント発生状態遷移表識別子１９０
６，該当するグローバル状態に到達するときに実行され
た状態遷移エントリ６００の状態遷移識別子１９０７，
次のグローバル状態エントリへのポインタ１９０８から
なる。

【００３６】図２０に示すローカル状態リストのエント
リ２０００は、状態遷移表識別子２００１，装置側で割
り当てるローカル状態識別子２００２，次のローカル状
態エントリへのポインタ２００３からなる。

【００３７】図２１に示すチャネル状態リストのエント
リ２１００は、装置側で割り当てるチャネル識別子２１
０１，チャネル上のメッセージの有無を示すチャネル状
態２１０２，チャネル状態が「メッセージあり」の場合
のメッセージ識別子を示すメッセージリストへのポイン
タ２１０３，次のチャネル状態エントリへのポインタ２
１０４からなる。

【００３８】図２２に示すメッセージリストのエントリ
２２００は、メッセージの送信先におけるイベント識別
子を示す送信先イベント識別子２２０１，次のメッセー
ジエントリへのポインタ２２０２からなる。

【００３９】図２３に示す通過条件レコード２３００
は、通過状態チェックリストへのポインタ２３０１，通
過イベントチェックリストへのポインタ２３０２からな
る。

【００４０】図２４に示す通過状態チェックリストのエ
ントリ２４００は、通過状態エントリ１１００に対応
し、状態遷移表識別子２４０１，通過状態識別子２４０
２，通過フラグ２４０３，次の通過状態チェックエント
リへのポインタ２４０４からなる。

【００４１】図２５に示す通過イベントチェックリスト
のエントリ２５００は、通過イベントエントリ１２００
に対応し、状態遷移表識別子２５０１，通過イベント識
別子２５０２，通過フラグ２５０３，次の通過イベント
チェックエントリへのポインタ２５０４からなる。

【００４２】図１のメッセージシーケンス図表示機能１
０６は、メッセージシーケンス情報１１３に基づくメッ
セージシーケンス図を表示装置２０４に図２７に示す形
式で表示する。図２７は生成されたメッセージシーケン
ス対応に表示画面２７００が存在し、「前図」ボタン２
７０７および「次図」ボタン２７０８を操作することに
より同一の生成条件から生成された他のメッセージシー
ケンス図を表示させることができる。「カスタマイズ」
ボタン２７１０および「関連」ボタン２７０９はそれぞ
れ後述するメッセージシーケンスカスタマイズ機能１０
７およびメッセージシーケンス関連付け機能１０８にお
いて用いられる。さらに「終了」ボタン２７０６を操作
することにより画面表示を終了する。

【００４３】表示画面は表示されているメッセージシー
ケンス図の生成されたメッセージシーケンス全体におけ
る識別子であるシーケンス番号２７０１，メッセージシ
ーケンス図２７０３，現在画面上に表示されている部分
の相対的位置を示す縦横のスクロールバー２７０４と２
７０５からなる。

【００４４】メッセージシーケンス図は状態遷移表名称
２７０２，状態記号および名称2711，状態遷移処理の実
行される時間軸を状態遷移表に対応させて示したライン
記号２７１２，受信メッセージもしくは内部で発生した
イベントに対応するイベント記号および名称２７１３，
分岐条件記号および名称２７１４，内部での特定動作に
対応する動作記号および名称２７１５，送信メッセージ
に対応する動作記号および名称２７１６からなる。

【００４５】図１のメッセージシーケンスカスタマイズ
機能１０７は、図２７の「カスタマイズ」ボタン２７１
０が選択されると起動される。その後の手順については
図３１から図３３に示すフローチャートおよび図２８か
ら図３０を用いて説明する。

【００４６】まず、図３１の変更条件入力ブロック３１
０１を実行する。詳細は図３２に示す。ブロック３２０
１において、図２８に示す変更種別選択画面２８００を
対話用端末に表示して、利用者が分岐条件の変更２８０
１，メッセージの変更2802，メッセージ追加２８０３の
いずれかのボタンを選択する。利用者による選択は、た
とえば入力装置に接続されたポインティングデバイスを
用いて行う（以下、同様）。ブロック３２０２におい
て、画面より変更種別を取得する。

【００４７】ブロック３２０３において、分岐条件の変
更が選択された場合は、メッセージシーケンス図２７０
３上で分岐条件を表す記号２９０１を選択可能にし、利
用者の指定した記号に対し図２９に示す変更可能な分岐
条件の候補リスト２９０２を分岐条件を表す記号２９０
１の脇に表示する（ブロック３２０４）。

【００４８】ブロック３２０３において、メッセージの
変更が選択された場合は、メッセージシーケンス図２７
０３上でメッセージを表す記号２７１４を選択可能に
し、利用者の指定した記号に対し図３０に示す変更可能
なメッセージの候補リスト3003をメッセージを表す記号
３００１の脇に表示する（ブロック３２０５）。

【００４９】ブロック３２０３において、メッセージ追
加が選択された場合、メッセージシーケンス図２７０３
上でライン記号２７１２上の位置を指定可能なように
し、利用者の指定した位置に対し図３０に示す追加可能
なメッセージの候補リスト3003をライン記号３００２脇
に表示する（ブロック３２０６）。

【００５０】ブロック３２０７において、利用者により
表示リストから変更内容が選択されたならば、変更内容
を取得する。

【００５１】さらに図１８に示す遷移列変更リストのエ
ントリ１８００を作成して、取得したデータを格納す
る。遷移列変更リストのエントリ１８００は、変更個所
に対応するグローバル状態識別子１８０１，分岐条件の
変更，メッセージの変更，メッセージの追加のいずれか
を示す変更種別フラグ１８０２，変更後の内容を表す識
別子（条件識別子もしくはイベント識別子）１８０３，
次の遷移列変更エントリへのポインタ１８０４からな
る。最後にシーケンスグループエントリ１５００に生成
した遷移列変更エントリを登録する。

【００５２】続いて、図３１のカスタマイズ初期化ブロ
ック３１０２を実行する。詳細は図３３に示す。ブロッ
ク３３０１では、変更対象であるシーケンスリストから
変更個所に対応するエントリを含めてそれ以降のエント
リを全て除いたシーケンスリストのエントリ１６００を
生成し、シーケンスグループエントリ１５００に登録す
る。ブロック３３０２では、変更個所に対応するグロー
バル状態リストのエントリ１９００の複製を作成し、遷
移列変更リスト１８００から実行すべきグローバル遷移
を求め、前述のグローバル状態に適用し、遷移後のグロ
ーバル状態をシーケンス探索の開始状態に設定する。

【００５３】ブロック３３０３では、変更元シーケンス
グループエントリ１５００の生成条件エントリ１０００
の複製を作成し、変更先シーケンスグループエントリに
登録後、遷移列変更リスト１８００に対応する状態遷移
エントリを通過状態遷移リスト１０１０に登録し、変更
種別がメッセージ変更であり変更前メッセージが初期，
通過，終端イベントリストに含まれる場合はこのイベン
トを削除する。さらに生成条件エントリの内容を生成条
件情報１１２に格納する。

【００５４】ブロック３３０４では、シーケンス探索を
開始するグローバル状態の複製エントリを生成し、新た
なグローバル状態識別子を割り当て、遷移元グローバル
状態識別子にもとのグローバル状態識別子を設定したも
のを図２６に示すシーケンス生成候補リストに加える。
図２６のシーケンス生成候補リストのエントリ2600は、
シーケンス探索の候補となるグローバル状態識別子２６
０１，次のシーケンス生成候補エントリへのポインタ２
６０２からなる。

【００５５】続いて、図３１のシーケンス探索ブロック
３１０３において、メッセージシーケンス生成機能１０
５を利用し、遷移列変更後の生成条件に適合するメッセ
ージシーケンスを生成する。

【００５６】続いて、図３１のブロック３１０４で、シ
ーケンスが生成された場合には、ブロック３１０５に進
む。シーケンス関連付けブロック３１０５において、新
たに生成されたシーケンスグループリスト１５００の変
更元シーケンス識別子1504を設定し、変更対象であるシ
ーケンスグループリスト１５００に変更先シーケンス識
別子エントリ１７００を作成し、変更先シーケンス識別
子１７０１を設定してから登録する。

【００５７】図１７に示す変更先シーケンス識別子エン
トリ１７００は、変更先シーケンス識別子１７０１，次
の変更先シーケンス識別子エントリへのポインタ１７０
２からなる。最後に、図３１のシーケンス図表示更新ブ
ロック３１０６において、メッセージシーケンス図表示
機能１０６を利用し、変更後のメッセージシーケンス図
を表示して終了する。図３１のブロック３１０４におい
て、シーケンスが生成されなかった場合には、シーケン
スグループエントリ１５００を破棄して終了する。

【００５８】図１のメッセージシーケンス関連付け機能
１０８は、図２７の「関連」ボタン２７０９が選択され
ると起動される。その後の手順については図３５に示す
フローチャートおよび図３４を用いて説明する。

【００５９】まず、図３５のブロック３５０１におい
て、表示されたメッセージシーケンス図に対応するシー
ケンスグループエントリ１５００を検索して、変更元シ
ーケンス番号（シーケンス識別子に対応）および変更先
シーケンス番号のリストを得る。ブロック３５０２にお
いて、図３４に示す呼び出しシーケンス選択画面3400を
表示する。表示画面３４００は、変更元シーケンス番号
のラベル３４０１，変更先シーケンス番号のリスト３４
０２，選択処理を実行する「実行」ボタン3403，選択処
理を取り消す「取消」ボタン３４０４からなる。ブロッ
ク３５０３において、呼び出すシーケンス番号を表示画
面３４００から取得する。最後にブロック３５０４にお
いて、メッセージシーケンス図表示機能１０６を利用
し、呼び出したメッセージシーケンス図２７０３を表示
して終了する。

【００６０】

【発明の効果】本発明によれば、次に示すことが可能に
なる。すなわち、 （１）既に生成済みのメッセージシーケンス図をカスタ
マイズして、派生シーケンスや例外シーケンスを自動的
に生成できる。

【００６１】（２）生成条件の追加，変更が表示端末上
で容易に行える。

【００６２】（３）生成条件をキーにして類似のメッセ
ージシーケンス図を保存および管理できる。

【００６３】したがって、内容把握の難しい状態遷移表
に対して理解の容易なメッセージシーケンス図の中で設
計者の必要とするものを迅速に提示できるため、仕様の
検証，レビューおよび保守が容易になる。

【図面の簡単な説明】

【図１】本発明のメッセージシーケンス図生成方法を実
現する装置の一例を示すブロック図。

【図２】本発明を適用するメッセージシーケンス図生成
装置のハードウェアの一例を示すブロック図。

【図３】状態遷移表リストの一例を示す説明図。

【図４】状態リストの一例を示す説明図。

【図５】イベントリストの一例を示す説明図。

【図６】状態遷移リストの一例を示す説明図。

【図７】処理レコードの一例を示す説明図。

【図８】動作リストの一例を示す説明図。

【図９】チャネルリストの一例を示す説明図。

【図１０】生成条件リストの一例を示す説明図。

【図１１】通過状態リストの一例を示す説明図。

【図１２】通過イベントリストの一例を示す説明図。

【図１３】非通過状態リストの一例を示す説明図。

【図１４】非通過イベントリストの一例を示す説明図。

【図１５】シーケンスグループリストの一例を示す説明
図。

【図１６】シーケンスリストの一例を示す説明図。

【図１７】変更先シーケンス識別子リストの一例を示す
説明図。

【図１８】遷移列変更リストの一例を示す説明図。

【図１９】グローバル状態リストの一例を示す説明図。

【図２０】ローカル状態リストの一例を示す説明図。

【図２１】チャネル状態リストの一例を示す説明図。

【図２２】メッセージリストの一例を示す説明図。

【図２３】通過条件レコードの一例を示す説明図。

【図２４】通過状態チェックリストの一例を示す説明
図。

【図２５】通過イベントチェックリストの一例を示す説
明図。

【図２６】シーケンス生成候補リストの一例を示す説明
図。

【図２７】シーケンス図表示画面の一例を示すブロック
図。

【図２８】変更種別選択画面の一例を示す説明図。

【図２９】分岐条件変更候補リストの表示の一例を示す
説明図。

【図３０】メッセージ変更，追加候補リストの一例を示
す説明図。

【図３１】メッセージシーケンスカスタマイズ機能の概
要のフローチャート。

【図３２】メッセージシーケンスカスタマイズ機能の変
更条件入力処理のフローチャート。

【図３３】メッセージシーケンスカスタマイズ機能のカ
スタマイズ初期化処理のフローチャート。

【図３４】呼び出しシーケンス選択画面の一例を示す説
明図。

【図３５】メッセージシーケンス関連付け機能の概要の
フローチャート。

【符号の説明】

１０１…実行制御、２０１…入力装置、２０４…表示装
置。

───────────────────────────────────────────────────── フロントページの続き (72)発明者 桜井 春雄 神奈川県横浜市戸塚区戸塚町5030番地 株 式会社日立製作所ソフトウェア開発本部内 (72)発明者 谷田 耕救 神奈川県横浜市戸塚区戸塚町5030番地 株 式会社日立製作所ソフトウェア開発本部内 (72)発明者 藤波 武起 神奈川県横浜市戸塚区戸塚町5030番地 株 式会社日立製作所ソフトウェア開発本部内

Claims (2)

【特許請求の範囲】
1. 【請求項１】計算機および対話用端末を有する情報処理
   装置を用いて、ソフトウェアの制御構造を記述した状態
   遷移表からソフトウェアの時系列的な振る舞いを表現し
   たメッセージシーケンス図を生成する方法であって、対
   話用端末に表示された前記メッセージシーケンス図の構
   成要素を指定して、生成条件の変更が可能な構成要素に
   関して、変更可能な生成条件候補リストを表示して前記
   生成条件候補リストから選択することにより前記構成要
   素に関する生成条件を変更し、変更された生成条件に適
   合するメッセージシーケンスを生成し、生成された前記
   メッセージシーケンスに基づくメッセージシーケンス図
   を対話用端末に表示することを特徴とするメッセージシ
   ーケンス図生成方法。
2. 【請求項２】請求項１において、前記変更された生成条
   件に適合するメッセージシーケンス図を対話用端末に表
   示し、変更する前のメッセージシーケンス図と変更した
   後のメッセージシーケンス図との関係情報を記憶し、記
   憶された関係情報から双方のメッセージシーケンス図を
   呼び出して表示するメッセージシーケンス図生成方法。