メッセージシーケンス生成方法および装置
【目的】状態およびイベントに関する制約条件を容易に入力し、その制約条件を満足するメッセージシーケンスを生成するメッセージシーケンス生成方法および装置を提供することを目的とする。
【構成】通信ソフトウェアに関する状態遷移仕様を入力（１０２）させ、その状態遷移仕様に基づいて状態遷移表を生成して表示し、その状態遷移表の中の各状態遷移に対してメッセージシーケンスを生成する際の生成条件を入力（１０４）させ、前記状態遷移仕様から前記生成条件を満足するメッセージシーケンスを生成（１０５）するようにする。
【効果】内容把握の難しい状態遷移仕様に対して理解が容易なメッセージシーケンス図を提示できるため、仕様の検証、レビュー、および保守が容易になる。
【構成】通信ソフトウェアに関する状態遷移仕様を入力（１０２）させ、その状態遷移仕様に基づいて状態遷移表を生成して表示し、その状態遷移表の中の各状態遷移に対してメッセージシーケンスを生成する際の生成条件を入力（１０４）させ、前記状態遷移仕様から前記生成条件を満足するメッセージシーケンスを生成（１０５）するようにする。
【効果】内容把握の難しい状態遷移仕様に対して理解が容易なメッセージシーケンス図を提示できるため、仕様の検証、レビュー、および保守が容易になる。
【発明の詳細な説明】
【０００１】
【産業上の利用分野】本発明は、メッセージシーケンスを生成する方法および装置に関し、詳しくは、状態遷移仕様で表現した通信ソフトウェアに関するメッセージシーケンスを自動的に作成するメッセージシーケンス生成方法および装置に関する。
【０００２】
【従来の技術】従来、通信ソフトウェア仕様に関するメッセージシーケンス図を自動的に作成するメッセージシーケンス図生成方法に関しては、次に示すような三つの方法が知られている。
【０００３】（１）第１の方法として、例えば、特開平３−９１８５５号に記載の方法がある。これは、人間との会話形式により入力装置から初期の自局の状態および相手局からの受信メッセージを初期値として入力して、単一の状態遷移表仕様を解析し、初期値から自局が行う処理と相手局への送信メッセージおよび次に遷移する自局の状態を決定し、さらに相手局からの受信メッセージが入力されると次の動作を決定する、というような動作を行なってメッセージシーケンス図を生成する方法である。すなわち、人間との会話形式により、手作業で受信メッセージや送信メッセージを入力し、順次メッセージシーケンスを生成する方法である。
【０００４】（２）第２の方法として、例えば、伊藤篤ほか著、通信ソフトウェア仕様の設計と解析のためのシーケンスチャートと状態遷移図の相互変換、電子情報通信学会技術研究報告、第９１巻、第９３号（１９９１年６月２０日）第３７頁から第４６頁に記載の方法がある。これは、複数の状態遷移図仕様からプロセス対応最大到達遷移系列検証法に基づき、自動的にメッセージシーケンスを生成する方法である。
【０００５】（３）さらに第３の方法として、例えば、森保健治ほか著、通信プロトコル設計におけるリバースエンジニアリング，１９９１年電子情報通信学会春季大会講演論文集、第３分冊、第９８頁に記載の方法がある。これは、複数の状態遷移図仕様から到達可能解析に基づき、自動的にメッセージシーケンスを生成する方法であって、生成するメッセージシーケンスを特徴付ける制約条件を与えることによって、効率的にメッセージシーケンスを生成する方法である。その制約条件は、各状態遷移図に対応する部分メッセージシーケンスの積、和、補集合により定義している。
【０００６】
【発明が解決しようとする課題】ところが、上記従来技術は、メッセージシーケンス生成方法および装置としては使い易いとはいえず、次に示すような問題があった。
【０００７】まず従来方法（１）では、メッセージシーケンス毎に相手局からの受信メッセージをすべて手作業で入力する必要がある。したがって、入力に手間がかかり効率的でないという問題があった。
【０００８】従来方法（２）は、メッセージシーケンスを自動的に生成する。しかし、可能性のあるすべてのメッセージシーケンスを生成するために多大な時間がかかるという問題がある。また、生成された多数のメッセージシーケンスの中から必要なメッセージシーケンスを選択することが容易でない。
【０００９】従来方法（３）は、制約条件を入力して、その制約条件を満足するメッセージシーケンスを自動生成するようにしている。しかし、制約条件を数式で記述するため、その入力は容易でない。また、入力できる制約条件はイベントに関するものであり、状態に関する制約条件を与えることはできない。さらに、制約条件が緩い場合に従来方法（２）と同様に多数のメッセージシーケンスを生成する可能性があるという問題がある。
【００１０】また、上述の従来方法すべてに共通する問題として、利用目的に合わせて表示するメッセージシーケンス図の詳細度を変更することができないという問題がある。すなわち、送受信メッセージや各種の動作などをすべて網羅したメッセージシーケンスが欲しい場合もあるし、逆に、送受信メッセージだけ表されていれば詳細な内部処理は不要の場合もある。従来方法では、このような利用目的に応じてメッセージシーケンス図の詳細度を変更することはできない。
【００１１】さらに、状態遷移仕様の開発を複数の人間が異なる部署で行う場合、同一のメッセージに対して送信側と受信側で異なる名称を与える可能性がある。上述の従来方法ではこのような可能性は考慮されていないため、メッセージシーケンスを作成するときには、人手で同一のメッセージで異なる名称になっているものを探し、同一メッセージにするという作業を行なう必要がある。
【００１２】本発明の第１の目的は、状態遷移仕様からメッセージシーケンスを生成する場合に、イベントに関する制約条件以外に、状態に関する制約条件をも指定可能であり、かつ制約条件の入力が容易なメッセージシーケンス生成方法および装置を提供することにある。
【００１３】本発明の第２の目的は、利用目的に合わせて表示するメッセージシーケンス図の詳細度を変更することが可能なメッセージシーケンス生成方法および装置を提供することにある。
【００１４】本発明の第３の目的は、設計者のチェック可能な限度を越える多数のメッセージシーケンスを生成しないようにすることのできるメッセージシーケンス生成方法および装置を提供することにある。
【００１５】本発明の第４の目的は、同一のメッセージに対して送信側と受信側で異なる名称を与えられた状態遷移仕様に対しても処理が可能なメッセージシーケンス生成方法および装置を提供することにある。
【００１６】
【課題を解決するための手段】上記の目的を達成するため、本発明に係るメッセージシーケンス生成方法および装置は、通信ソフトウェアに関する状態遷移仕様を入力させ、その状態遷移仕様に基づいて状態遷移表を生成して表示し、その状態遷移表の中の各状態遷移に対してメッセージシーケンスを生成する際の生成条件を入力させ、前記状態遷移仕様から前記生成条件を満足するメッセージシーケンスを生成することを特徴とする。
【００１７】生成したメッセージシーケンスは、メッセージシーケンス図として対話用端末に表示するようにするとよい。また、メッセージシーケンス図の表示は、送受信されるメッセージ、メッセージの送受信により変化する状態、分岐条件、および内部処理の中から任意に組合せて指定された構成要素からなるメッセージシーケンス図を表示するようにするとよい。
【００１８】状態遷移表は、例えば、遷移前の各状態と発生する各イベントとに応じてどのように状態が遷移するかを一覧表形式で表したものである。生成条件の入力では、状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンスの開始点となる初期状態および初期イベントの指定、並びに(ii)生成するメッセージシーケンスの終了点となる終端状態および／または終端イベントの指定を行なうようにする。さらに、状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンス中に必ず含まれる状態の指定、(ii)生成するメッセージシーケンス中に必ず含まれるイベントの指定、(iii) 生成するメッセージシーケンス中には必ず含まれない状態の指定、および／または、(iv)生成するメッセージシーケンス中には必ず含まれないイベントの指定を行なうようにしてもよい。
【００１９】メッセージシーケンスの生成においては、既に生成したメッセージシーケンスとの状態遷移の重複が少ないメッセージシーケンスを優先的に生成するようにするとよい。また、生成されるメッセージシーケンスの最大個数を指定させるようにし、生成メッセージシーケンス数が指定された最大個数に達した場合に生成を終了するようにしてもよい。
【００２０】メッセージシーケンスの生成は、(i) 前記生成条件を満足するすべてのメッセージシーケンスを生成するか、(ii)前記生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成するか、または、(iii) 指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成するかを、指定することができ、指定された方法に従ってメッセージシーケンスを生成するようにしてもよい。
【００２１】さらに、入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで付した名称を表示して利用者に確認させるようにしてもよい。また、同一のメッセージに対して送信側と受信側とで異なる名称が付与されている場合には、送信側名称と受信側名称とを関連付けるための対応関係情報を入力させるようにしてもよい。
【００２２】
【作用】状態遷移仕様に基づき発生する可能性のあるすべてのメッセージシーケンスの中で、与えられた生成条件を満足するメッセージシーケンスを生成することができる。このとき、メッセージシーケンスを生成する場合のイベントおよび状態に関する制約条件として、表示された状態遷移表の中の各状態および各イベントに対して独立に初期条件、終端条件、通過条件、あるいは非通過条件などの区別を指定可能とすることにより、状態とイベントの組合せである特定の状態遷移に対する制約条件の指定を容易に行なうことができる。
【００２３】また、メッセージシーケンスを構成する要素毎に表示の要否を指定させることにより、表示構成要素の任意の組合せを指定することができる。
【００２４】さらに、生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成することもできる。これは、既に生成したメッセージシーケンスとの状態遷移の重複が少ないメッセージシーケンスを優先的に生成することにより実現できる。指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成することもできる。これは、生成メッセージシーケンス数が指定された最大個数に達した場合に生成を終了することにより実現できる。
【００２５】また、入力された状態遷移仕様に対して送信メッセージに対応する送信先が存在しない場合には送信先と送信先におけるメッセージ名称の入力を要求することにより、送信側メッセージ名称と受信側メッセージ名称が異なる場合の対応関係情報を入力させることができる。
【００２６】
【実施例】以下、本発明の一実施例を、図面を用いて説明する。
【００２７】図２に、本発明の一実施例に係るメッセージシーケンス生成方法を適用したメッセージシーケンス生成装置のハードウェア構成の一例を示す。このメッセージシーケンス生成装置は、利用者からのコマンド等を入力するキーボードおよびマウスからなる入力装置２０１、計算機内部の処理を行う処理装置２０２、データおよびプログラムを格納する記憶装置２０３、並びに、コマンドの実行結果、記憶しているデータの内容、および利用者に対するメッセージ等を表示する表示装置２０４を備えている。
【００２８】図１に、本実施例のメッセージシーケンス生成方法を実現する装置の機能構成の一例を示す。この図は、図２の装置で、メッセージシーケンスを生成する際に実行される機能に着目したブロック図である。
【００２９】実行制御機能１０１は、入力装置２０１からのコマンドを受け付けて、各機能を実行制御する。状態遷移仕様編集機能１０２は、利用者が状態遷移仕様を新規作成および修正することを支援し、状態遷移情報１１１を生成および修正する。入出力関係情報入力機能１０３は、モジュール毎に記述された状態遷移仕様のメッセージの送受信関係を表示し、利用者にそれらの関係を確認させ、あるいは利用者が修正や追加を行なうことを支援する。そして、修正や追加があった場合は、記憶装置２０３に記憶されている状態遷移情報１１１を更新する。
【００３０】生成条件情報入力機能１０４は、利用者がメッセージシーケンス図生成のための条件を入力することを状態遷移情報１１１を利用して支援し、生成条件情報１１２を生成し記憶装置２０３に格納する。メッセージシーケンス生成機能１０５は、状態遷移情報１１１から生成条件情報１１２を満足するメッセージシーケンスを生成し、メッセージシーケンス情報１１３を生成する。メッセージシーケンス図表示機能１０６は、メッセージシーケンス情報１１３に基づくメッセージシーケンス図を表示装置２０４に表示する。
【００３１】メッセージシーケンスの生成は、上記の各機能を順次実行することにより行なわれる。すなわち、まず状態遷移仕様編集機能１０２で、メッセージシーケンスを生成しようとする各モジュールの状態遷移仕様を入力する。そして、入出力関係情報入力機能１０３で状態遷移仕様のメッセージの送受信関係を修正確認する。次に、生成条件情報入力機能１０４でメッセージシーケンスを生成する際の条件を入力する。そして、その条件にしたがって、メッセージシーケンス生成機能１０５でメッセージシーケンスを生成し、メッセージシーケンス図表示機能１０６で表示する。
【００３２】以下、状態遷移仕様が状態遷移表によって記述される場合の図１における手順の詳細を説明する。
【００３３】図３は、１つのモジュールの状態遷移表の一例を示す。図３において、上端横列の各枠３０１、３０２はモジュールの取りうる状態を表し、左端縦列の各枠３０３、３０４は他のモジュールからのメッセージ受信を含む発生イベントを表す。状態とイベントの交差する枠には、その枠に対応する状態（Ｓ０〜Ｓｎ）においてその枠に対応するイベント（Ｅ１〜Ｅｎ）が発生した場合の処理が定義される。
【００３４】例えば、枠３０５では、状態Ｓ０においてイベントＥｎが発生した場合の処理が定義される。各枠の処理として、該当処理を実行する条件、メッセージ送信を含む動作、および動作処理終了後の遷移先状態が記述される。例えば、図３の枠３０５では、条件１が成立する場合に実行する動作１ａ，１ｂ，…とそれらの動作終了後の遷移先状態１などが記述されている。条件や条件に対する動作は０個または複数個でもよい。
【００３５】本実施例の装置が起動されると、図１の実行制御機能１０１は、表示装置２０４に図４の起動初期画面を表示する。図４の画面において利用者がファイルメニュー４０１を選択すると、実行制御機能１０１は図５R>５に示すプルダウンメニュー５０１を表示する。
【００３６】図５において、利用者が状態遷移表編集メニュー５０２を選択すると、実行制御機能１０１は図１の状態遷移仕様編集機能１０２を起動する。これにより、状態遷移仕様編集機能１０２を実行して、図３の状態遷移図のような状態遷移仕様の入力や編集を行なうことができる。
【００３７】図５において、入出力関係情報入力メニュー５０３が選択されると、実行制御機能１０１は図１の入出力関係情報入力機能１０３を起動する。これにより、入出力関係情報入力機能１０３を実行して、各モジュール間のメッセージ送受信関係の確認、修正、あるいは追加を行なうことができる。
【００３８】図５において、終了メニュー５０４が選択されると、実行制御機能１０１は起動初期画面の表示を取消し、すべての処理を終了する。
【００３９】図４において、利用者が生成メニュー４０２を選択すると、実行制御機能１０１は図６に示すプルダウンメニュー６０１を表示する。図６において、利用者が生成条件情報入力メニュー６０２を選択すると、実行制御機能１０１は図１の生成条件情報入力機能１０４を起動する。これにより、生成条件情報入力機能１０４を実行して、メッセージシーケンス生成の際の条件を入力することができる。
【００４０】図６において、シーケンス生成メニュー６０３が選択されると、実行制御機能１０１は図１のメッセージシーケンス生成機能１０５を起動する。これにより、メッセージシーケンス生成機能１０５を実行して、メッセージシーケンスを生成する処理を行なうことができる。
【００４１】図４において、利用者が表示メニュー４０３を選択すると、実行制御機能１０１は図７に示すプルダウンメニュー７０１を表示する。図７において、利用者がシーケンス図メニュー７０２を選択すると、実行制御機能１０１は図１のメッセージシーケンス図表示機能１０６を起動する。これにより、メッセージシーケンス図表示機能１０６が実行され、生成されたメッセージシーケンス図が表示装置２０４に表示される。
【００４２】図４において、利用者がオプションメニュー４０４を選択すると、実行制御機能１０１は図８に示すプルダウンメニュー８０１を表示する。図８において、利用者が表示形式メニュー８０２を選択すると、実行制御機能１０１は、後述するメッセージシーケンス図表示形式選択画面（図４０）を表示する。図８において、利用者が解析条件メニュー８０３を選択すると、実行制御機能１０１は、後述する解析条件設定画面（図４１R>１）を表示する。
【００４３】なお、図４から図８あるいは後述する画面表示およびそのような画面表示の元での入力を実現する方式は、どのようなものでもよい。例えば、木下凌一著、Ｘ−Ｗｉｎｄｏｗ Ｖｅｒ．１１プログラミング、日刊工業新聞社（１９８９年）などにおいて述べられている従来より用いられている方式を用いればよい。
【００４４】以下、図１の各機能１０２〜１０６について詳しく説明する。
【００４５】図１の状態遷移仕様編集機能１０２には、図３のような状態遷移表の作成を直接支援する機能や状態遷移図から状態遷移表への変換を支援する機能等が含まれる。これらの機能については、例えば、特開平１−１５２５７６号、または特開平２−１００４４４号において述べられているので、説明を省略する。
【００４６】状態遷移仕様編集機能１０２によって生成される状態遷移情報１１１は、概念的には図３のような状態遷移表を表す情報ととらえてよいが、実際に装置内部では図９から図１４に示す形式で記憶されている。
【００４７】図９に示す状態遷移表リストのエントリ（以下、状態遷移表エントリと呼ぶ）９００は、図３の状態遷移表対応に存在する。状態遷移表エントリ９００は、装置側で割り当てる状態遷移表識別子９０１、利用者が入力する状態遷移表名称９０２、状態リスト（図１０R>０）の記憶場所を示す状態リストポインタ９０３、イベントリスト（図１１）の記憶場所を示すイベントリストポインタ９０４、処理が記述された枠３０５に対応する状態遷移リスト（図１２）の記憶場所を示す状態遷移リストポインタ９０５、および次の状態遷移表エントリの記憶場所を示す次エントリポインタ９０６からなる。
【００４８】図１０に示す状態リストのエントリ（以下、状態エントリと呼ぶ）１０００は、図３の状態遷移表の上端横列の状態３０１、３０２対応に存在する。状態エントリ１０００は、装置側で割り当てる状態識別子１００１、利用者が入力する状態名称１００２、後述する最小遷移数１００３、および次の状態エントリの記憶場所を示す次エントリポインタ１００４からなる。
【００４９】図１１に示すイベントリストのエントリ（以下、イベントエントリと呼ぶ）１１００は、図３の状態遷移表の左端縦列のイベント３０３、３０４対応に存在する。イベントエントリ１１００は、装置側で割り当てるイベント識別子１１０１、利用者が入力するイベント名称１１０２、イベントが他の状態遷移表から受信したメッセージか否かを示すメッセージフラグ１１０３、イベントが受信メッセージである場合の送信元状態遷移表識別子１１０４、および次のイベントエントリの記憶場所を示す次エントリポインタ１１０５からなる。メッセージフラグ１１０３の初期値はオフとする。
【００５０】図１２に示す状態遷移リストのエントリ（以下、状態遷移エントリと呼ぶ）１２００は、図３の状態遷移表において処理が記述された各枠３０５対応に存在する。状態遷移エントリ１２００は、装置側で割り当てる状態遷移識別子１２０１、状態遷移処理に対応する状態エントリ１０００の識別子１２０２、状態遷移処理に対応するイベントエントリ１１００の識別子１２０３、状態遷移の処理に含まれる条件に対応する処理リスト（図１３）の記憶場所を示す処理リストポインタ１２０４、後述する非通過フラグ１２０５と遷移実行カウンタ１２０６、および次の状態遷移エントリの記憶場所を示す次エントリポインタ１２０７からなる。
【００５１】図１３に示す処理リストのエントリ（以下、処理エントリと呼ぶ）１３００は、図３の状態遷移表の枠３０５に含まれる各条件対応に存在する。処理エントリ１３００は、装置側で割り当てる条件識別子１３０１、利用者が入力する条件名称１３０２、処理終了後の遷移先状態の識別子１３０３、処理に含まれる動作リスト（図１４）の記憶場所を示す動作リストポインタ１３０４、および次の処理エントリの記憶場所を示す次エントリポインタ１３０５からなる。
【００５２】図１４に示す動作リストのエントリ（以下、動作エントリと呼ぶ）１４００は、図３の状態遷移表の枠３０５に含まれる各動作対応に存在する。動作エントリ１４００は、装置側で割り当てる動作識別子１４０１、利用者が入力する動作名称１４０２、動作が他の状態遷移表へのメッセージ送信か否かを示すメッセージフラグ１４０３、動作がメッセージ送信である場合の送信先状態遷移表識別子１４０４、送信先状態遷移表における送信メッセージに対応するイベント識別子１４０５、後述するチャネル識別子１４０６、および次の動作エントリの記憶場所を示す次エントリポインタ１４０７からなる。メッセージフラグの初期値はオフとする。
【００５３】以上のように、図１の状態遷移仕様編集機能１０２によって、図９〜図１４に示すような形式で状態遷移情報１１１が定義される。言い替えれば、モジュール毎の状態遷移表（図３）が入力されたこととなる。なお、上述の各リストにおいて、リストの最後のエントリの次エントリポインタの値は０とする。
【００５４】次に、図１の入出力関係情報入力機能１０３について説明する。入出力関係情報入力機能１０３は、図５の入出力関係情報入力メニュー５０３が選択されると起動される。本機能は、動作とイベントの対応関係を推定する機能、および利用者に推定した関係を表示し、確認、修正させる機能からなる。
【００５５】対応関係を推定する機能は、同一名称を持つ動作名称１４０２とイベント名称１１０２とを対応させる機能である。すなわち、動作名称１４０２とイベント名称１１０２とが同一である場合はこれらを送受信関係にあるメッセージとみなし、対応するイベントエントリ１１００のメッセージフラグ１１０３と動作エントリ１４００のメッセージフラグ１４０３とをオンにセットし、動作エントリ１４００の送信先状態遷移表識別子１４０４と送信先イベント識別子１４０５を設定する。
【００５６】推定した関係を表示して確認修正させる機能では、まず図１６に示すような画面を表示する。図１６R>６は、状態遷移表対応に画面が存在し、前表ボタン１６０１、次表ボタン１６０２を操作することにより他の状態遷移表の情報を表示させることができる。画面には、表示されている状態遷移表の名称１６０３、その状態遷移表のイベント名称１６０４、１６０５、および動作名称１６０６、１６０７が表示される。
【００５７】利用者は、イベント名称１６０４、１６０５のイベントに対応する送信元状態遷移表名称を１６０８、１６０９のフィールドに、送信元状態遷移表における動作名称を１６１０、１６１１のフィールドに入力することができる。例えば、状態遷移表名称１６０８の状態遷移表の動作名称１６１０の動作が、現在着目している状態遷移表名称Ｍ１（フィールド１６０３）の状態遷移表のイベントＥ１（フィールド１６０４）に相当するということである。
【００５８】また利用者は、動作名称１６０６、１６０７の動作に対応する送信先状態遷移表名称を１６１２、１６１３９のフィールドに、送信先状態遷移表におけるイベント名称を１６１４、１６１５のフィールドに入力することができる。例えば、現在着目している状態遷移表名称Ｍ１の状態遷移表の動作Ａ１（フィールド１６０６）が、状態遷移表名称１６１２の状態遷移表のイベント名称１６１４のイベントに相当するということである。
【００５９】ただし、対応関係を推定する機能により関連付けられた動作とイベントについては推定結果を該当欄（フィールド１６０８〜１６１５）に表示する。したがって、対応する動作とイベントに関して同一の名称を使用している場合には利用者は表示を確認するだけでよく、これらのフィールドに名称を入力する必要はない。
【００６０】イベントと動作数が多く１画面に表示できない場合には複数画面に分けて表示し、前頁ボタン１６１６および次頁ボタン１６１７等を設けて、これらのボタンにより画面を切り替えるようにする。利用者は、確認や修正が終わると終了ボタン１６１８により終了を指示する。これにより図１６の画面表示が終了する。また、利用者による修正個所に対応するイベントエントリ１１００のメッセージフラグ１１０３、並びに動作エントリ１４００のメッセージフラグ１４０３、送信先状態遷移表識別子１４０４、および送信先イベント識別子１４０５が更新される。さらに、送受信関係のある状態遷移表間に単方向のチャネルが設定される。
【００６１】図１５は、設定されたチャネルを表すチャネルリストのエントリ（以下、チャネルエントリと呼ぶ）１５００を示す。チャネルエントリ１５００は、装置側で割り当てるチャネル識別子１５０１、送信元状態遷移表識別子１５０２、送信先状態遷移表識別子１５０３、および次のチャネルエントリの記憶場所を示す次エントリポインタ１５０４からなる。
【００６２】チャネルエントリ１５００は、メッセージフラグ１４０３がオンである動作エントリ１４００を持つ状態遷移表エントリ９００の識別子９０１と送信先状態遷移表識別子１４０４との組合せに対応する。すなわち、動作エントリ１４００のメッセージフラグ１４０３がオンのときは、その動作エントリ１４００を持つ状態遷移表エントリ９００の識別子９０１が、チャネルエントリ１５００の送信元状態遷移表識別子１５０２に設定される。また、その動作エントリ１４００の送信先状態遷移表識別子１４０４が、チャネルエントリ１５００の送信先状態遷移表識別子１５０３に設定される。動作エントリ１４００のチャネル識別子１４０６には、対応するチャネルエントリ１５００の識別子１５０１が設定される。
【００６３】なお、図１６において、イベントに対応する送信元状態遷移表１６０８、１６０９が空欄の場合には、該当イベントを内部発生イベントとみなす。内部発生イベントとは、当該モジュール（現在着目している状態遷移表のモジュール）の内部で生じるイベントのことである。同様に、図１６において、動作に対応する送信先状態遷移表１６１２、１６１３が空欄の場合には、該当動作を当該モジュール内で実行される内部動作とみなす。
【００６４】さらに、送信元および送信先状態遷移表欄１６０８、１６０９、１６１２、１６１３には、状態遷移表が定義されていないモジュール名称を入力することもできるようになっている。この場合、動作名称１６１０、１６１１およびイベント名称１６１３、１６１４は空欄とする。そして、状態遷移表が定義されていないモジュールに対応する状態遷移表エントリ９００を作成し、状態リストポインタ９０３、イベントリストポインタ９０４、状態遷移リストポインタ９０５は０とする。また、対応するイベントエントリ１１００のメッセージフラグ１１０３はオフとし、送信元状態遷移表識別子１１０４に該当状態遷移表の識別子を設定する。対応する動作エントリ１４００のメッセージフラグ１４０３もオフとし、送信先状態遷移表識別子１４０４に該当する状態遷移表の識別子９０１を設定する。
【００６５】以上のようにして、状態遷移仕様編集機能１０２と入出力関係情報入力機能１０３とによって、各モジュールの状態遷移表と各状態遷移間のメッセージ送受信関係とが、図９〜図１５の形式で定義されたこととなる。
【００６６】次に、図１の生成条件情報入力機能１０４について説明する。生成条件情報入力機能１０４は、図６R>６の生成条件情報入力メニュー６０２が選択されると起動される。本機能は、利用者によるメッセージシーケンス生成のための条件の入力を支援する。利用者によって入力された条件は、生成条件情報１１２として記憶装置２０３に格納する。
【００６７】図１７は、本機能における表示画面を示す。利用者は、この図に示す画面から生成条件を入力する。この画面は状態遷移表対応に存在し、前表ボタン１７０１、次表ボタン１７０２を操作することにより他の状態遷移表の情報を表示させることができる。１７０３は表示されている状態遷移表の名称、１７０４は状態遷移表、１７０５と１７０６は現在画面上に表示されている部分の状態遷移表全体における位置を示す縦と横のスクロールバーを示す。
【００６８】利用者が状態遷移表１７０４中の状態名称（図中の「ＣＬＯＳＥＤ」「ＷＦＮＣ」など）またはイベント名称（図中の「Ｔ−ＣＯＮ ＲＥＱ」「Ｔ−ＣＯＮＲＳＰ」など）を直接指定すると、その部分にポップアップメニューが表示される。１７０７は表示されたポップアップメニューを示す。このポップアップメニューを用いて、指定された状態またはイベントに対する生成条件を選択する。
【００６９】ポップアップメニュー１７０７のうち、初期設定メニュー１７０８は、生成されるメッセージシーケンスの初期状態または初期イベントであることを指定する。終端設定メニュー１７０９は、生成されるメッセージシーケンスの終端状態またはイベントであることを指定する。通過設定メニュー１７１０は、生成されるメッセージシーケンスに必ず含まれる状態またはイベントであることを指定する。非通過設定メニュー１７１１は、生成されるメッセージシーケンスに決して含まれない状態またはイベントであることを指定する。設定解除メニュー１７１２は、指定された状態またはイベントを指定なしの状態にリセットする。
【００７０】初期状態は、各状態遷移表に対して必ず１個指定しなければならない。初期イベントは、状態遷移仕様全体で１個必ず指定しなければならない。一方、終端状態の指定は終端イベントの指定がある場合には省略可能である。終端イベントの指定も終端状態の指定がある場合には省略可能である。通過設定および非通過設定は複数の状態またはイベントに対して指定できる。
【００７１】なお、指定内容は状態遷移表の上端および左端に表示するようにしている。また、非通過指定に対応する状態の列およびイベントの行にある枠は白色で表示し、その他の枠は着色表示することにより、利用者が生成条件の指定内容を容易に確認できるようにしている。図では、網かけしていない部分（例えば状態「ＷＦＮＣ」）が白色表示された非通過指定されている状態を示し、その他の網かけしてある部分が着色表示されたその他の状態を示す。生成条件の入力が終わると、利用者は終了ボタン１７１３を指定する。これにより図１７の画面表示が終了する。
【００７２】上記のようにして入力された生成条件は、生成条件情報１１２（図１）として図１８から図２２に示す形式で記憶される。以下、これらの形式を説明する。
【００７３】図１８に示す生成条件リストのエントリ（以下、生成条件エントリと呼ぶ）１８００は、図３の状態遷移表対応に存在する。すなわち、１つの状態遷移表に関する生成条件を図１７の画面で作成すると、その状態遷移表に対応する生成条件エントリ１８００が作成されることになる。生成条件エントリ１８００は、状態遷移表識別子１８０１、初期状態識別子１８０２、初期イベント識別子１８０３、終端状態識別子１８０４、終端イベント識別子１８０５、通過状態リストポインタ１８０６、通過イベントリストポインタ１８０７、非通過状態リストポインタ１８０８、非通過イベントリストポインタ１８０９、次の生成条件エントリの記憶場所を示す次エントリポインタ１８１０からなる。
【００７４】状態遷移表識別子１８０１は、当該生成条件エントリ１８００に対応する状態遷移表の識別子である。初期状態識別子１８０２、初期イベント識別子１８０３、終端状態識別子１８０４、および終端イベント識別子１８０５は、それぞれ、図１７で入力した初期状態、初期イベント、終端状態、および終端イベントの識別子である。終端状態や終端イベントが省略されている場合、対応する識別子１８０４、１８０５は０とする。
【００７５】通過状態リストポインタ１８０６、通過イベントリストポインタ１８０７、非通過状態リストポインタ１８０８、および非通過イベントリストポインタ１８０９は、それぞれ、図１９の通過状態リスト１９００、図２０の通過イベントリスト２０００、図２１の非通過状態リスト２１００、および図２２の非通過イベントリスト２２００の記憶場所を示すポインタである。
【００７６】図１９に示す通過状態リストのエントリ（以下、通過状態エントリと呼ぶ）１９００は、通過状態識別子１９０１、および次の通過状態エントリの記憶場所を示す次エントリポインタ１９０２からなる。図１７R>７の画面において利用者が通過状態の指定をすると、その状態の識別子を通過状態識別子１９０１とする通過状態エントリが生成される。
【００７７】図２０に示す通過イベントリストのエントリ（以下、通過イベントエントリと呼ぶ）２０００は、通過イベント識別子２００１、および次の通過イベントエントリの記憶場所を示す次エントリポインタ２００２からなる。図１７の画面において利用者が通過イベントの指定をすると、そのイベントの識別子を通過イベント識別子２００１とする通過イベントエントリが生成される。
【００７８】図２１に示す非通過状態リストのエントリ（以下、非通過状態エントリと呼ぶ）２１００は、非通過状態識別子２１０１、および次の非通過状態エントリの記憶場所を示す次エントリポインタ２１０２からなる。図１７の画面において利用者が非通過状態の指定をすると、その状態の識別子を非通過状態識別子２１０１とする非通過状態エントリが生成される。
【００７９】図２２に示す非通過イベントリストのエントリ（以下、非通過イベントエントリと呼ぶ）２２００は、非通過イベント識別子２２０１、および次の非通過イベントエントリの記憶場所を示す次エントリポインタ２２０２からなる。図１７の画面において利用者が非通過イベントの指定をすると、そのイベントの識別子を非通過イベント識別子２２０１とする非通過イベントエントリが生成される。
【００８０】次に、図１のメッセージシーケンス生成機能１０５について説明する。メッセージシーケンス生成機能１０５は、図６のシーケンス生成メニュー６０３が選択されると起動される。本機能は、状態遷移情報１１１（図９〜１５）に基づいて、生成条件情報１１２（図１８１８〜２２））を満足するメッセージシーケンスを生成する。具体的には、メッセージシーケンス情報１１３を生成する。
【００８１】図２３は、本機能が起動されたとき表示される画面を示す。利用者は、この図に示す画面からメッセージシーケンスの生成方法を選択する。
【００８２】ボタン２３０１を選択すると、生成条件を満足するすべてのメッセージシーケンスを生成する。ボタン２３０２を選択すると、生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成する。ボタン２３０３を選択すると、フィールド２３０４に指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成する。
【００８３】実行ボタン２３０５を選択することにより、選択された方法によるメッセージシーケンスの生成が開始され、図２４に示すメッセージシーケンス生成中画面が表示される。取消ボタン２３０６を選択することにより、メッセージシーケンス生成を行うことなく、図４R>４の起動初期画面に戻ることができる。
【００８４】図２４のメッセージシーケンス生成中画面では、生成されたメッセージシーケンスの個数をフィールド２４０１に更新表示する。メッセージシーケンスの生成が終了すると、図４の起動初期画面に戻る。生成数フィールド２４０１の初期値は０である。なお、取消ボタン２４０２を選択することによりメッセージシーケンス生成を中止して図４の起動初期画面に戻ることができる。
【００８５】以下では、生成条件を満足するすべてのメッセージシーケンスを生成する手順（図２３でボタン２３０１を選択した場合）について図２５から図２８に示すフローチャートを用いて説明する。
【００８６】図２５は、メッセージシーケンス生成処理の流れを示すフローチャートである。まず、初期化ブロック２５０１において各種の初期化を行なう。次に、終了条件チェックブロック２５０２で、シーケンス生成処理を終了するかどうか判別し、終了してもよい場合は処理を終了し、図２４のメッセージシーケンス生成中表示画面の表示を取り消す。非終了の場合はシーケンス探索処理ブロック２５０３を実行し、ブロック２５０２に戻る。
【００８７】ブロック２５０２の終了または非終了の判別は、具体的には、シーケンス生成候補リスト（図３６R>６）が空か否かをチェックすることにより行なう。シーケンス生成候補リストおよびブロック２５０２の判別については、後述する。
【００８８】図２６は、図２５の初期化ブロック２５０１の詳細な流れを示すフローチャートである。
【００８９】初期化ブロック２５０１では、まず非通過フラグ設定ブロック２６０１により、生成条件エントリ１８００（図１８）が示す非通過状態または非通過イベントを含む状態遷移エントリ１２００（図１２）の非通過フラグ１２０５をオンに、非通過状態および非通過イベントを含まない状態遷移エントリ１２００の非通過フラグ１２０５をオフに、それぞれ設定する。
【００９０】次に、最小遷移数計算ブロック２６０２においては、各状態遷移表における状態をノード、非通過フラグがオフである状態遷移を距離１の有向枝とみなし、生成条件エントリ１８００（図１８）の初期状態１８０２から各状態への最短距離を計算する。計算結果は、最小遷移数として状態エントリ１０００の最小遷移数１００３に設定する。なお、初期状態から到達できない状態の最小遷移数は０とする。
【００９１】生成シーケンス数初期設定ブロック２６０３においては、生成シーケンス数を０（初期値）に設定する。
【００９２】次に、グローバル初期状態設定ブロック２６０４においては、図２９に示すグローバル状態リストのエントリ（以下、グローバル状態エントリと呼ぶ）２９００を生成し、初期値を設定する。
【００９３】グローバル状態とは、チャネルを含めて各モジュールの状態を全体としてとらえた状態をいう。各モジュールの取り得る状態は、そのモジュールに対応する状態遷移表に表されているが、状態遷移表はモジュールに対応して複数あるので、１つの状態遷移表に着目して同じ状態であったとしても、他の状態遷移表の状態が異なるときは全体としては別の状態にあるといえる。メッセージシーケンスを生成する際には、複数の状態遷移表を考慮した全体としての状態を把握する必要があるため、図２９〜図３５のようにグローバル状態に関するリストを作成し、それらを用いてメッセージシーケンス生成を行なうようにしている。
【００９４】図２９を参照して、グローバル状態エントリ２９００について説明する。グローバル状態エントリ２９００は、グローバル状態識別子２９０１、ローカル状態リストポインタ２９０２、チャネル状態リストポインタ２９０３、通過条件レコードポインタ２９０４、最小遷移数２乗和２９０５、遷移元グローバル状態識別子２９０６、イベント発生状態遷移表識別子２９０７、イベント識別子２９０８、条件識別子２９０９、および次のグローバル状態エントリの記憶場所を示す次エントリポインタ２９１０からなる。
【００９５】グローバル状態識別子２９０１は、装置側で割り当てるグローバル状態の識別子である。上述したように、まずグローバル初期状態設定ブロック２６０４においてグローバル状態エントリ２９００が１つ生成される。
【００９６】ローカル状態リストポインタ２９０２は、対象とする状態遷移表に対応するローカル状態リスト（図３０）の記憶場所を示すポインタである。ローカル状態とは、各状態遷移表に示されている１つ１つの状態（例えば、図３の状態遷移表の状態Ｓ０，…，Ｓｎ）をいう。チャネル状態リストポインタ２９０３は、チャネルに対応するチャネル状態リスト（図３１）の記憶場所を示すポインタである。
【００９７】図３０に、ローカル状態リストのエントリ（以下、ローカル状態エントリと呼ぶ）３０００の内容を示す。ローカル状態エントリ３０００は、状態遷移表識別子３００１、ローカル状態識別子３００２、および次のローカル状態エントリの記憶場所を示す次エントリポインタ３００３からなる。図２６のグローバル初期状態設定ブロック２６０４において、ローカル状態識別子３００２には、初期値として生成条件リストの初期状態識別子１８０２が設定される。すなわち、すべての状態遷移表でそれぞれ設定された初期状態の組が、グローバル初期状態となる。
【００９８】図３１に、チャネル状態リストのエントリ（以下、チャネル状態エントリと呼ぶ）３１００の内容を示す。チャネル状態エントリ３１００は、チャネル識別子３１０１、チャネル上のメッセージの有無を示すチャネル状態３１０２、後述するメッセージリスト（図３２R>２）の記憶場所を示すメッセージリストポインタ３１０３、および次のチャネル状態エントリの記憶場所を示す次エントリポインタ３１０４からなる。図２６のグローバル初期状態設定ブロック２６０４においては、チャネル状態３１０２を「メッセージ無」に初期設定する。メッセージリストポインタ３１０３の初期値は０とする。
【００９９】図３２に、メッセージリストのエントリ（以下、メッセージエントリと呼ぶ）３２００の内容を示す。メッセージエントリ３２００は、送信先イベント識別子３２０１、および次のメッセージエントリの記憶場所を示す次エントリポインタ３２０２からなる。
【０１００】再び図２９を参照して、通過条件レコードポインタ２９０４は、グローバル状態エントリ２９００毎に存在する生成条件の中の通過条件をチェックするための通過条件レコード（図３３）の記憶場所を示すポインタである。通過条件に関する情報については図３３から図３５を参照して後述する。
【０１０１】最小遷移数２乗和２９０５は、当該グローバル状態を構成する各ローカル状態の最小遷移数１００３の２乗和を記憶する領域である。ローカル状態間の最短経路はブロック２６０２で計算した最小遷移数が目安となるが、グローバル状態は複数のローカル状態の組み合わせであるため、何をもってグローバル状態間の最短経路を求めるかは適宜定義する必要がある。この実施例では、上記の最小遷移数２乗和２９０５により初期グローバル状態から当該グローバル状態への距離を表すようにしている。
【０１０２】遷移元グローバル状態識別子２９０６は、当該グローバル状態に到達する前のグローバル状態を示す識別子である。イベント発生状態遷移表識別子２９０７は、当該グローバル状態に到達するときに発生したイベントがどの状態遷移表からのものか、その状態遷移表の識別子を示す。イベント識別子２９０８は、当該グローバル状態に到達するときに発生したイベント発生状態遷移表識別子２９０７の状態遷移表のイベントを示すイベント識別子である。条件識別子２９０９は、当該グローバル状態に到達するときに発生したイベント中の条件（図３の枠３０５中の条件）を特定する。
【０１０３】言い替えると、遷移元グローバル状態識別子２９０６のグローバル状態において、イベント発生状態遷移表識別子２９０７の状態遷移表でイベント識別子２９０８のイベントが発生し、そのときに条件識別子２９０９の条件が成立している場合に、遷移元グローバル状態から当該グローバル状態に至るということになる。
【０１０４】図２６のグローバル初期状態設定ブロック２６０４において、上述の最小遷移数２乗和２９０５は０に初期設定される。また、初期状態であるため、遷移元グローバル状態識別子２９０６、イベント発生状態遷移表識別子２９０７、イベント識別子２９０８、および条件識別子２９０９は、すべて０に初期設定される。
【０１０５】上記のようにグローバル初期状態設定を行なった後、通過条件レコード初期化ブロック２６０５において通過条件レコードなどの初期化を行なう。
【０１０６】図３３は、通過条件レコード３３００の内容を示す。通過条件レコード３３００は、図２９のグローバル状態エントリ２９００の通過条件レコードポインタ２９０４で指し示されるレコードである。通過条件レコード３３００は、通過状態チェックリスト（図３４）の記憶場所を示す通過状態チェックリストポインタ３３０１、および通過イベントチェックリスト（図３５）の記憶場所を示す通過イベントチェックリストポインタ３３０２からなる。
【０１０７】図３４に、通過状態チェックリストのエントリ（以下、通過状態チェックエントリと呼ぶ）３４００の内容を示す。通過状態チェックエントリ３４００は、図１９の通過状態エントリ１９００に対応し、状態遷移表識別子３４０１、通過状態識別子３４０２、通過フラグ３４０３、および次の通過状態チェックエントリの記憶場所を示す次エントリポインタ３４０４からなる。
【０１０８】図３５に、通過イベントチェックリストのエントリ（以下、通過イベントチェックエントリと呼ぶ）３５００の内容を示す。通過イベントチェックエントリ３５００は、図２０の通過イベントエントリ２０００に対応し、状態遷移表識別子３５０１、通過イベント識別子３５０２、通過フラグ３５０３、および次の通過イベントチェックエントリの記憶場所を示す次エントリポインタ３５０４からなる。
【０１０９】図２６の通過条件レコード初期化ブロック２６０５においては、通過状態チェックエントリ３４００および通過イベントチェックエントリ３４００における通過フラグ３４０３および３５０３をオフに設定する。遷移実行カウンタ初期化ブロック２６０６においては、すべての状態遷移エントリ１２００の遷移実行カウンタ１２０６を０に設定する。
【０１１０】次に、シーケンス生成候補リスト初期化ブロック２６０７について説明する。シーケンス生成候補リスト初期化ブロック２６０７では、シーケンス生成候補リストを生成する。
【０１１１】図３６は、シーケンス生成候補リストのエントリ（以下、シーケンス生成候補エントリと呼ぶ）３６００の内容を示す。シーケンス生成候補エントリ３６００は、候補となるグローバル状態識別子３６０１、および次のシーケンス生成候補エントリの記憶場所を示す次エントリポインタ３６０２からなる。リストの最後のエントリにおける次エントリポインタは０とする。
【０１１２】図２６のシーケンス生成候補リスト初期化ブロック２６０７においては、まずグローバル初期状態設定ブロック２６０４において生成したグローバル状態エントリ２９００の複製を作成し、新たにグローバル状態識別子２９０１を割当てる。ここで、グローバル初期状態設定ブロック２６０４において生成したグローバル状態エントリ２９００を第１番目のグローバル状態エントリと呼び、新たに作成した複製を第２番目のグローバル状態エントリと呼ぶものとする。第２番目のグローバル状態エントリ２９００の遷移元グローバル状態識別子２９０６には、元のグローバル状態エントリ２９００のグローバル状態識別子２９０１を設定する。また、初期イベント識別子１８０３が０でない生成条件エントリ１８００に対応するイベント発生状態遷移表識別子２９０７およびイベント識別子２９０８を設定する。
【０１１３】そして、そのイベントに対応する状態遷移エントリ１２００の非通過フラグ１２０５を参照する。非通過フラグ１２０５がオンならば、その状態遷移エントリ１２００は非通過とするということであるから、生成したグローバル状態エントリ２９００を廃棄し、初期化処理２６０７を終了する。
【０１１４】非通過フラグ１２０５がオフならば、生成したグローバル状態エントリの複製をさらに（（条件数）−１）個作成し、それぞれに新たにグローバル状態識別子を割当てる。条件数とは、当該状態遷移エントリ１２００の処理リストポインタ１２０４から辿ることのできる処理エントリ１３００の数であり、言い替えれば、当該状態遷移エントリ１２００に対応する図３の枠（例えば３０５）内に定義されている条件の数である。
【０１１５】（（条件数）−１）個の複製は、第３番目〜第（（条件数）＋１）番目のグローバル状態エントリと呼ぶものとする。第２番目〜第（（条件数）＋１）番目の各グローバル状態エントリ２９００（エントリ数は条件数）の条件識別子２９０９には、それぞれ、対応する処理エントリ１３００の条件識別子１３０１を設定する。さらに、第２番目〜第（（条件数）＋１）番目の各グローバル状態エントリ２９００のローカル状態リストポインタ２９０２が指し示すローカル状態エントリ３０００のローカル状態識別子３００２に、それぞれ、対応する処理エントリ１３００の遷移先状態識別子１３０３を設定する。
【０１１６】次に、処理エントリ１３００に対応する動作エントリ１４００の中でメッセージフラグ１４０３がオンであるものについて、チャネル識別子１４０６と同じチャネル識別子３１０１を持つチャネル状態エントリ３１００のチャネル状態３１０２を「メッセージ有」に設定する。また、図３２に示すメッセージエントリ３２００の送信先イベント識別子３２０１に送信先イベント識別子１４０５を設定し、メッセージエントリ３２００のアドレスをメッセージリストポインタ３１０３に設定する。さらに最小遷移数２乗和２９０５を更新する。
【０１１７】次に、図３６に示すシーケンス生成候補リストに初期グローバル状態を除く生成したグローバル状態をすべて加える。ブロック２６０７が終了すると初期化ブロック２５０１は終了する。
【０１１８】その後、図２５の終了条件チェックブロック２５０２では図３６のシーケンス生成候補リストが空か否かをチェックする。空ならばメッセージシーケンス生成処理を終了し、図２４のメッセージシーケンス生成中表示画面の表示を取り消す。空でないならばシーケンス探索処理ブロック２５０３を実行し、ブロック２５０２に戻る。
【０１１９】シーケンス探索処理は、図３６のシーケンス生成候補エントリ３６００を１つずつ取出し、そのグローバル状態から遷移していくグローバル状態を順次探索し、遷移先のグローバル状態エントリ２９００を生成していく。これは、生成条件として指定されている終端条件に至るまで行なわれる。結果は、図３８のシーケンスリストに格納される。シーケンス探索処理の後は、図３８３８のシーケンスリストにエントリされているグローバル状態から遡って（遷移元グローバル状態識別子２９０６を用いる）、初期グローバル状態まで辿ることにより、１つのメッセージシーケンスが得られることとなる。
【０１２０】図２７を参照して、シーケンス探索処理ブロック２５０３を詳細に説明する。まず、シーケンス生成候補選択ブロック２７０１では、シーケンス生成候補エントリ３６００の中で最小遷移数２乗和２９０５が最も小さいものを選択する。以後、選択したシーケンス生成候補エントリ３６００が示すグローバル状態からメッセージシーケンスを探索していく。選択したシーケンス生成候補エントリ３６００は、シーケンス生成候補リストから取り除いておく。
【０１２１】最小遷移数２乗和２９０５が最も小さいものから選択するのは、重複の少ないメッセージシーケンスを優先的に生成するためにできるだけメッセージシーケンスの最初の方からシーケンスの探索を開始することを意図している。したがって、すべてのメッセージシーケンスを生成する場合には任意の候補を選択してもよい。
【０１２２】遷移候補リスト初期化ブロック２７０２では、図３７に示す遷移候補リストを空にする。通過条件レコード更新ブロック２７０３では、選択されたグローバル状態の通過状態チェックリスト（図３４）を更新する。すなわち、当該グローバル状態エントリ２９００のイベント発生状態遷移表識別子２９０７、イベント識別子２９０８、および条件識別子２９０９から特定される遷移先状態識別子１３０３と一致する通過状態識別子３４０２を持つ通過状態チェックエントリ３４００が存在すれば通過フラグ３４０３をオンに設定し、イベント発生状態遷移表識別子２９０７およびイベント識別子２９０８と一致する状態遷移表識別子３５０１および通過イベント識別子３５０２を持つ通過イベントチェックエントリが存在すれば通過フラグ３５０３をオンに設定する。
【０１２３】チャネル容量チェックブロック２７０４では、選択されたグローバル状態が、後述する解析条件設定画面（図４１）により設定されたチャネル容量を越えていないかどうかをチェックする。すなわち、各チャネル状態エントリ３１００に対応するメッセージリスト長がチャネル容量を越えるかどうかをチェックする。越える場合には、後述する遷移候補リストチェックブロック２７０９へ進む。越えない場合には、終端条件チェックブロック２７０５へ進む。
【０１２４】終端条件チェックブロック２７０５では、選択されたグローバル状態が生成条件の中の終端条件を満足するかどうかを調べる。終端条件を満足するのは、次の２つの場合である。まず第１は、選択されたグローバル状態に対応するすべてのローカル状態エントリ３０００のローカル状態識別子３００２が、それらのローカル状態エントリ３０００に対応する生成条件エントリ１８００の終端状態識別子１８０４に一致する場合である。第２は、イベント発生状態遷移表識別子２９０７およびイベント識別子２９０８に一致する状態遷移表識別子１８０１および終端イベント識別子１８０５を持つ生成条件エントリ１８００が存在する場合である。
【０１２５】終端条件を満足する場合には、後述する通過条件チェックブロック２７０６へ進む。満足しない場合には、遷移候補リスト更新ブロック２７０８へ進む。
【０１２６】遷移候補リスト更新ブロック２７０８では、選択されたグローバル状態の次に起こり得るすべての遷移に対応するグローバル状態を求め、図３７の遷移候補リストに追加する。次に起こり得る遷移には、チャネル上のメッセージの受信と内部発生イベントがある。
【０１２７】以下、遷移候補リスト更新ブロック２７０８における処理について説明する。
【０１２８】まず、選択されたグローバル状態エントリ２９００に属し、チャネル状態３１０２が「メッセージ有」であるチャネル状態エントリ３１００に対応して選択されたグローバル状態エントリの複製を作成し、新たにグローバル状態識別子を割当てる。そして、新たに作成したグローバル状態エントリの遷移元グローバル状態識別子２９０６に元のグローバル状態エントリのグローバル状態識別子を設定する。
【０１２９】また、チャネル状態３１０２が「メッセージ有」であるチャネル状態エントリ３１００のチャネル識別子３１０１と一致するチャネル識別子１５０１を持つチャネルエントリ１５００の送信先状態遷移表識別子１５０３をイベント発生状態遷移表識別子２９０７に設定し、チャネル状態エントリ３１００に属するメッセージリスト３２００の先頭エントリの送信先イベント識別子３２０１をイベント識別子２９０８に設定する。
【０１３０】さらに、メッセージリスト３２００の先頭エントリを削除し、メッセージリスト３２００が空になるならば、チャネル状態エントリ３１００のチャネル状態３１０２を「メッセージ無」とする。イベント識別子２９０８に対応する状態遷移エントリ１２００の非通過フラグ１２０５がオンならば、生成したグローバル状態エントリ２９００を廃棄する。非通過フラグ１２０５がオフならば、さらに生成したグローバル状態エントリの複製を（（条件数）−１）個作成し、それぞれに新たにグローバル状態識別子を割当てる。条件数とは、対応する状態遷移エントリ１２００が含む処理エントリ数、すなわち当該状態遷移が含む条件の数（例えば図３の枠３０５内の条件数）である。これにより、条件数分のグローバル状態エントリが生成された。
【０１３１】次に、これら条件数分のグローバル状態エントリの各条件識別子２９０９に、状態遷移処理におけるそれぞれの条件に対応する処理エントリ１３００の条件識別子１３０１を設定する。そして、処理エントリ１３００の遷移先状態識別子１３０３を、対応するローカル状態エントリ３０００のローカル状態識別子３００２に設定する。
【０１３２】また、処理エントリ１３００に対応する動作エントリ１４００の中でメッセージフラグ１４０３がオンであるものについて、チャネル識別子１４０６と同じチャネル識別子３１０１を持つチャネル状態エントリ３１００を探索し、そのチャネル状態３１０２が「メッセージ無」ならば「メッセージ有」に設定する。そして、送信先イベント識別子１４０５をメッセージエントリ３２００の送信先イベント識別子３２０１に設定し、メッセージエントリ３２００のアドレスをメッセージリストポインタ３１０３に設定する。チャネル状態３１０２が「メッセージ有」ならば、新たに、送信先イベント識別子１４０５を送信先イベント識別子３２０１に設定したメッセージエントリ３２００を図３２のメッセージリストに追加する。さらに、最小遷移数２乗和２９０５を更新する。
【０１３３】メッセージフラグ１１０３がオフであるイベントエントリ１１００のイベント識別子１１０１と選択されたグローバル状態に属するローカル状態エントリ３０００のローカル状態識別子３００２とに対応する状態遷移エントリ１２００が存在し、その非通過フラグ１２０５がオフであるならば、選択されたグローバル状態エントリの複製を作成し、新たにグローバル状態識別子を割当てる。そして、新たに生成したグローバル状態エントリの遷移元グローバル状態識別子２９０６に元のグローバル状態エントリのグローバル状態識別子を設定する。
【０１３４】そして、新たに生成したグローバル状態エントリのイベント発生状態遷移表識別子２９０７に、メッセージフラグ１１０３がオフであるイベントエントリ１１００が属する状態遷移表エントリ９００の状態遷移表識別子９０１を設定し、イベント識別子２９０８に、メッセージフラグ１１０３がオフであるイベントエントリのイベント識別子１１０１を設定する。
【０１３５】さらに、生成したグローバル状態エントリの複製を（（条件数）−１）個作成し、それぞれに新たにグローバル状態識別子を割当てる。条件数とは、対応する状態遷移エントリ１２００が含む処理エントリ数である。これにより、条件数分のグローバル状態エントリが生成された。
【０１３６】次に、これら条件数分のグローバル状態エントリの各条件識別子２９０９に、状態遷移処理におけるそれぞれの条件に対応する処理エントリ１３００の条件識別子１３０１を設定する。そして、処理エントリ１３００の遷移先状態識別子１３０３を、対応するローカル状態エントリ３０００のローカル状態識別子３００２に設定する。
【０１３７】また、処理エントリ１３００に対応する動作エントリ１４００の中でメッセージフラグ１４０３がオンであるものについて、チャネル識別子１４０６と同じチャネル識別子３１０１を持つチャネル状態エントリ３１００を探索し、そのチャネル状態３１０２が「メッセージ無」ならば「メッセージ有」に設定する。そして、送信先イベント識別子１４０５をメッセージエントリ３２００の送信先イベント識別子３２０１に設定し、メッセージエントリ３２００のアドレスをメッセージリストポインタ３１０３に設定する。チャネル状態３１０２が「メッセージ有」ならば、新たに、送信先イベント識別子１４０５を送信先イベント識別子３２０１に設定したメッセージエントリ３２００を図３２のメッセージリストに追加する。さらに、最小遷移数２乗和２９０５を更新する。
【０１３８】次に、図３７に示す遷移候補リストに、生成したグローバル状態を加える。ただし、グローバル状態リストの中のエントリ２９００にローカル状態、メッセージリストを含むチャネル状態およびイベント識別子が一致するものがある生成したグローバル状態は廃棄する。
【０１３９】以上で、遷移候補リスト更新ブロック２７０８の処理が終了した。
【０１４０】ブロック２７０８の後、遷移候補リストチェックブロック２７０９へ進む。ブロック２７０９では、図３７の遷移候補リストが空かどうかをチェックする。空ならば、シーケンス探索ブロック２５０３を終了する。空でないならば、遷移候補選択ブロック２７１０へ進む。
【０１４１】遷移候補選択ブロック２７１０では、図３７R>７の遷移候補エントリ３７００の中で、そのグローバル状態に対応する状態遷移エントリ１２００の遷移実行カウンタ１２０６が最小のものを選択し、遷移候補リストから取り除く。その後、ブロック２７０３へ進む。ブロック２７１０は、重複の少ないメッセージシーケンスを優先的に生成するために未探索の状態遷移を先に探索することを意図している。したがって、すべてのメッセージシーケンスを生成する場合には任意の候補を選択してもよい。
【０１４２】通過条件チェックブロック２７０６では、選択されたグローバル状態に属する通過状態チェックリスト３４００および通過イベントチェックリスト３５００のすべての通過フラグ３４０３および３５０３がオンであるかどうかをチェックする。オンでないものがあれば、ブロック２７０９へ進む。オンであれば、シーケンス更新ブロック２７０７へ進む。
【０１４３】図２８は、シーケンス更新ブロック２７０７の詳細な流れを示す。まず、生成シーケンス数更新ブロック２８０１では、生成シーケンス数を１増加させ、図２４に示すシーケンス生成画面の生成数２４０１を更新する。シーケンス登録ブロック２８０２では、選択されたグローバル状態のグローバル状態識別子２９０１を図３８に示すシーケンスリストに追加する。
【０１４４】遷移実行カウンタ更新ブロック２８０３では、選択されたグローバル状態から初期グローバル状態までの各グローバル状態に対応する状態遷移エントリ１２００の遷移実行カウンタ１２０６を１増加させる。シーケンス生成候補リスト更新ブロック２８０４では、図３６３６のシーケンス生成候補リストに遷移候補リストを加える。
【０１４５】以上で、シーケンス更新ブロック２７０７が終了し、シーケンス探索ブロック２５０３が終了したことになる。
【０１４６】なお、生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成する方法は、ブロック２５０２において状態遷移リストの中の非通過フラグ１２０５がオフであるすべてのエントリについて遷移実行カウンタが非ゼロであるならば終了するという処理を追加することにより実現される。
【０１４７】また、指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成する方法は、ブロック２５０２において生成シーケンス数が指定された最大個数ならば終了するという処理を追加することにより実現される。
【０１４８】これらの方法はブロック２７０１および２７１９において、重複の少ないメッセージシーケンスを優先的に生成することを意図した処理が含まれているために実現可能となっている。
【０１４９】次に、図１のメッセージシーケンス図表示機能１０６について説明する。メッセージシーケンス図表示機能１０６は、図７のシーケンス図メニュー７０２が選択されると起動される。本機能は、メッセージシーケンス情報１１３に基づくメッセージシーケンス図を表示装置２０４に表示する。メッセージシーケンス情報１１３は、図３８、および図２９から図３２に示す形式、並びに状態遷移情報１１１からなる。
【０１５０】図３９は、本機能により表示装置２０４に画面表示されるメッセージシーケンス図の例を示す。この画面は、生成されたメッセージシーケンス対応に存在する。画面上には、前シーケンスボタン３９０１、および次シーケンスボタン３９０２が設けられており、これらを操作することにより他のメッセージシーケンス図を表示させることができる。また、画面表示を終了させるための終了ボタン３９１３が設けられている。
【０１５１】図において、３９０３はシーケンス番号、３９０４はメッセージシーケンス図、３９０５と３９０６はスクロールバーを示す。シーケンス番号３９０３は、表示されているメッセージシーケンス図の、生成されたメッセージシーケンス全体における相対的位置を示す。スクロールバー３９０５と３９０６は、現在画面上に表示されている部分のメッセージシーケンス図全体における位置を示す縦と横のスクロールバーである。
【０１５２】メッセージシーケンス図３９０４は、状態遷移表名称３９０７、状態名称３９０８、受信メッセージまたは内部発生イベントに対応するイベント名称３９０９、条件名称３９１０、内部動作に対応する動作名称３９１１、および送信メッセージに対応する動作名称３９１２からなる。なお、後述する表示形式選択画面（図４０４０）により状態名称、条件名称、および内部動作名称についての表示または不表示を選択できる。
【０１５３】メッセージシーケンスは、図３８のシーケンスリストのエントリ３８００に対応するグローバル状態を出発点として遷移元グローバル状態識別子２９０６を用いて順々に初期グローバル状態に到達するまで戻ることにより得られるグローバル状態の順序列で与えられる。
【０１５４】図８の表示形式メニュー８０２が選択されると、図４０に示すメッセージシーケンス図表示形式選択画面を表示する。ボタン４００１の選択は状態名称の表示を意味する。ボタン４００２の選択は条件名称の表示を意味する。ボタン４００３の選択は内部動作名称の表示を意味する。これらのボタンは任意の組合せで選択できる。ボタンによる選択がない場合には、送受信メッセージのみを表示する。なお、終了ボタン４００４により画面表示を終了する。
【０１５５】図８の解析条件メニュー８０３が選択されると、図４１に示す解析条件設定画面を表示する。フィールド４１０１には前述のチャネル容量チェックブロック２７０４におけるチャネル容量最大値を設定する。なお、終了ボタン４１０２により画面表示を終了する。
【０１５６】以上で説明した実施例では状態遷移仕様として状態遷移表が与えられる場合を仮定したが、状態遷移仕様として状態遷移図が与えられる場合でも、図１７の表示画面を除いて本発明は適用可能である。
【０１５７】
【発明の効果】本発明によれば、次に示すような効果がある。
（１）状態遷移仕様からメッセージシーケンスを生成する場合の受信メッセージを含むイベントの制約条件以外に状態に関する制約条件も指定することができる。
（２）状態遷移表により制約条件を入力するので、制約条件の入力は非常に容易である。
（３）利用目的に合わせて表示するメッセージシーケンス図の詳細度を変更することが可能である。
（４）設計者のチェック可能な限度を越える多数のメッセージシーケンスを生成しないようにできる。
（５）同一のメッセージに対して送信側と受信側で異なる名称を与えられた状態遷移仕様に対しても処理することができる。
【０１５８】したがって、内容把握の難しい状態遷移仕様に対して理解が容易なメッセージシーケンス図の中で設計者が必要とするものだけを提示できるため、仕様の検証、レビュー、および保守が容易になるという効果がある。
【図面の簡単な説明】
【図１】図１は、本発明のメッセージシーケンス生成方法を実現する装置の機能構成の一例を示す図である。
【図２】図２は、本発明を適用したメッセージシーケンス生成装置のハードウェア構成の一例を示す図である。
【図３】図３は、状態遷移表の一例を示す図である。
【図４】図４は、起動初期画面の一例を示す図である。
【図５】図５は、ファイルメニューの一例を示す図である。
【図６】図６は、生成メニューの一例を示す図である。
【図７】図７は、表示メニューの一例を示す図である。
【図８】図８は、オプションメニューの一例を示す図である。
【図９】図９は、状態遷移表リストの一例を示す図である。
【図１０】図１０は、状態リストの一例を示す図である。
【図１１】図１１は、イベントリストの一例を示す図である。
【図１２】図１２は、状態遷移リストの一例を示す図である。
【図１３】図１３は、処理リストの一例を示す図である。
【図１４】図１４は、動作リストの一例を示す図である。
【図１５】図１５は、チャネルリストの一例を示す図である。
【図１６】図１６は、入出力関係情報表示画面の一例を示す図である。
【図１７】図１７は、生成条件入力画面の一例を示す図である。
【図１８】図１８は、生成条件リストの一例を示す図である。
【図１９】図１９は、通過状態リストの一例を示す図である。
【図２０】図２０は、通過イベントリストの一例を示す図である。
【図２１】図２１は、非通過状態リストの一例を示す図である。
【図２２】図２２は、非通過イベントリストの一例を示す図である。
【図２３】図２３は、メッセージシーケンス生成方法選択表示画面の一例を示す図である。
【図２４】図２４は、メッセージシーケンス生成中表示画面の一例を示す図である。
【図２５】図２５は、メッセージシーケンス生成方法の概要のフローチャートの一例を示す図である。
【図２６】図２６は、メッセージシーケンス生成方法の中の初期化処理のフローチャートの一例を示す図である。
【図２７】図２７は、メッセージシーケンス生成方法の中のシーケンス探索処理のフローチャートの一例を示す図である。
【図２８】図２８は、メッセージシーケンス生成方法の中のシーケンス更新処理のフローチャートの一例を示す図である。
【図２９】図２９は、グローバル状態リストの一例を示す図である。
【図３０】図３０は、ローカル状態リストの一例を示す図である。
【図３１】図３１は、チャネル状態リストの一例を示す図である。
【図３２】図３２は、メッセージリストの一例を示す図である。
【図３３】図３３は、通過条件レコードの一例を示す図である。
【図３４】図３４は、通過状態チェックリストの一例を示す図である。
【図３５】図３５は、通過イベントチェックリストの一例を示す図である。
【図３６】図３６は、シーケンス生成候補リストの一例を示す図である。
【図３７】図３７は、遷移候補リストの一例を示す図である。
【図３８】図３８は、シーケンスリストの一例を示す図である。
【図３９】図３９は、メッセージシーケンス図表示画面の一例を示す図である。
【図４０】図４０は、メッセージシーケンス図表示形式選択画面の一例を示す図である。
【図４１】図４１は、解析条件設定画面の一例を示す図である。
【符号の説明】
１０１…実行制御機能、１０２…状態遷移仕様編集機能、１１１…状態遷移情報、１０３…入出力関係情報入力機能、１０４…生成条件情報入力機能、１１２…生成条件情報、１０５…メッセージシーケンス生成機能、１１３…メッセージシーケンス情報、１０６…メッセージシーケンス図表示機能、２０１…入力装置、２０２…処理装置、２０３…記憶装置、２０４…表示装置。
【０００１】
【産業上の利用分野】本発明は、メッセージシーケンスを生成する方法および装置に関し、詳しくは、状態遷移仕様で表現した通信ソフトウェアに関するメッセージシーケンスを自動的に作成するメッセージシーケンス生成方法および装置に関する。
【０００２】
【従来の技術】従来、通信ソフトウェア仕様に関するメッセージシーケンス図を自動的に作成するメッセージシーケンス図生成方法に関しては、次に示すような三つの方法が知られている。
【０００３】（１）第１の方法として、例えば、特開平３−９１８５５号に記載の方法がある。これは、人間との会話形式により入力装置から初期の自局の状態および相手局からの受信メッセージを初期値として入力して、単一の状態遷移表仕様を解析し、初期値から自局が行う処理と相手局への送信メッセージおよび次に遷移する自局の状態を決定し、さらに相手局からの受信メッセージが入力されると次の動作を決定する、というような動作を行なってメッセージシーケンス図を生成する方法である。すなわち、人間との会話形式により、手作業で受信メッセージや送信メッセージを入力し、順次メッセージシーケンスを生成する方法である。
【０００４】（２）第２の方法として、例えば、伊藤篤ほか著、通信ソフトウェア仕様の設計と解析のためのシーケンスチャートと状態遷移図の相互変換、電子情報通信学会技術研究報告、第９１巻、第９３号（１９９１年６月２０日）第３７頁から第４６頁に記載の方法がある。これは、複数の状態遷移図仕様からプロセス対応最大到達遷移系列検証法に基づき、自動的にメッセージシーケンスを生成する方法である。
【０００５】（３）さらに第３の方法として、例えば、森保健治ほか著、通信プロトコル設計におけるリバースエンジニアリング，１９９１年電子情報通信学会春季大会講演論文集、第３分冊、第９８頁に記載の方法がある。これは、複数の状態遷移図仕様から到達可能解析に基づき、自動的にメッセージシーケンスを生成する方法であって、生成するメッセージシーケンスを特徴付ける制約条件を与えることによって、効率的にメッセージシーケンスを生成する方法である。その制約条件は、各状態遷移図に対応する部分メッセージシーケンスの積、和、補集合により定義している。
【０００６】
【発明が解決しようとする課題】ところが、上記従来技術は、メッセージシーケンス生成方法および装置としては使い易いとはいえず、次に示すような問題があった。
【０００７】まず従来方法（１）では、メッセージシーケンス毎に相手局からの受信メッセージをすべて手作業で入力する必要がある。したがって、入力に手間がかかり効率的でないという問題があった。
【０００８】従来方法（２）は、メッセージシーケンスを自動的に生成する。しかし、可能性のあるすべてのメッセージシーケンスを生成するために多大な時間がかかるという問題がある。また、生成された多数のメッセージシーケンスの中から必要なメッセージシーケンスを選択することが容易でない。
【０００９】従来方法（３）は、制約条件を入力して、その制約条件を満足するメッセージシーケンスを自動生成するようにしている。しかし、制約条件を数式で記述するため、その入力は容易でない。また、入力できる制約条件はイベントに関するものであり、状態に関する制約条件を与えることはできない。さらに、制約条件が緩い場合に従来方法（２）と同様に多数のメッセージシーケンスを生成する可能性があるという問題がある。
【００１０】また、上述の従来方法すべてに共通する問題として、利用目的に合わせて表示するメッセージシーケンス図の詳細度を変更することができないという問題がある。すなわち、送受信メッセージや各種の動作などをすべて網羅したメッセージシーケンスが欲しい場合もあるし、逆に、送受信メッセージだけ表されていれば詳細な内部処理は不要の場合もある。従来方法では、このような利用目的に応じてメッセージシーケンス図の詳細度を変更することはできない。
【００１１】さらに、状態遷移仕様の開発を複数の人間が異なる部署で行う場合、同一のメッセージに対して送信側と受信側で異なる名称を与える可能性がある。上述の従来方法ではこのような可能性は考慮されていないため、メッセージシーケンスを作成するときには、人手で同一のメッセージで異なる名称になっているものを探し、同一メッセージにするという作業を行なう必要がある。
【００１２】本発明の第１の目的は、状態遷移仕様からメッセージシーケンスを生成する場合に、イベントに関する制約条件以外に、状態に関する制約条件をも指定可能であり、かつ制約条件の入力が容易なメッセージシーケンス生成方法および装置を提供することにある。
【００１３】本発明の第２の目的は、利用目的に合わせて表示するメッセージシーケンス図の詳細度を変更することが可能なメッセージシーケンス生成方法および装置を提供することにある。
【００１４】本発明の第３の目的は、設計者のチェック可能な限度を越える多数のメッセージシーケンスを生成しないようにすることのできるメッセージシーケンス生成方法および装置を提供することにある。
【００１５】本発明の第４の目的は、同一のメッセージに対して送信側と受信側で異なる名称を与えられた状態遷移仕様に対しても処理が可能なメッセージシーケンス生成方法および装置を提供することにある。
【００１６】
【課題を解決するための手段】上記の目的を達成するため、本発明に係るメッセージシーケンス生成方法および装置は、通信ソフトウェアに関する状態遷移仕様を入力させ、その状態遷移仕様に基づいて状態遷移表を生成して表示し、その状態遷移表の中の各状態遷移に対してメッセージシーケンスを生成する際の生成条件を入力させ、前記状態遷移仕様から前記生成条件を満足するメッセージシーケンスを生成することを特徴とする。
【００１７】生成したメッセージシーケンスは、メッセージシーケンス図として対話用端末に表示するようにするとよい。また、メッセージシーケンス図の表示は、送受信されるメッセージ、メッセージの送受信により変化する状態、分岐条件、および内部処理の中から任意に組合せて指定された構成要素からなるメッセージシーケンス図を表示するようにするとよい。
【００１８】状態遷移表は、例えば、遷移前の各状態と発生する各イベントとに応じてどのように状態が遷移するかを一覧表形式で表したものである。生成条件の入力では、状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンスの開始点となる初期状態および初期イベントの指定、並びに(ii)生成するメッセージシーケンスの終了点となる終端状態および／または終端イベントの指定を行なうようにする。さらに、状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンス中に必ず含まれる状態の指定、(ii)生成するメッセージシーケンス中に必ず含まれるイベントの指定、(iii) 生成するメッセージシーケンス中には必ず含まれない状態の指定、および／または、(iv)生成するメッセージシーケンス中には必ず含まれないイベントの指定を行なうようにしてもよい。
【００１９】メッセージシーケンスの生成においては、既に生成したメッセージシーケンスとの状態遷移の重複が少ないメッセージシーケンスを優先的に生成するようにするとよい。また、生成されるメッセージシーケンスの最大個数を指定させるようにし、生成メッセージシーケンス数が指定された最大個数に達した場合に生成を終了するようにしてもよい。
【００２０】メッセージシーケンスの生成は、(i) 前記生成条件を満足するすべてのメッセージシーケンスを生成するか、(ii)前記生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成するか、または、(iii) 指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成するかを、指定することができ、指定された方法に従ってメッセージシーケンスを生成するようにしてもよい。
【００２１】さらに、入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで付した名称を表示して利用者に確認させるようにしてもよい。また、同一のメッセージに対して送信側と受信側とで異なる名称が付与されている場合には、送信側名称と受信側名称とを関連付けるための対応関係情報を入力させるようにしてもよい。
【００２２】
【作用】状態遷移仕様に基づき発生する可能性のあるすべてのメッセージシーケンスの中で、与えられた生成条件を満足するメッセージシーケンスを生成することができる。このとき、メッセージシーケンスを生成する場合のイベントおよび状態に関する制約条件として、表示された状態遷移表の中の各状態および各イベントに対して独立に初期条件、終端条件、通過条件、あるいは非通過条件などの区別を指定可能とすることにより、状態とイベントの組合せである特定の状態遷移に対する制約条件の指定を容易に行なうことができる。
【００２３】また、メッセージシーケンスを構成する要素毎に表示の要否を指定させることにより、表示構成要素の任意の組合せを指定することができる。
【００２４】さらに、生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成することもできる。これは、既に生成したメッセージシーケンスとの状態遷移の重複が少ないメッセージシーケンスを優先的に生成することにより実現できる。指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成することもできる。これは、生成メッセージシーケンス数が指定された最大個数に達した場合に生成を終了することにより実現できる。
【００２５】また、入力された状態遷移仕様に対して送信メッセージに対応する送信先が存在しない場合には送信先と送信先におけるメッセージ名称の入力を要求することにより、送信側メッセージ名称と受信側メッセージ名称が異なる場合の対応関係情報を入力させることができる。
【００２６】
【実施例】以下、本発明の一実施例を、図面を用いて説明する。
【００２７】図２に、本発明の一実施例に係るメッセージシーケンス生成方法を適用したメッセージシーケンス生成装置のハードウェア構成の一例を示す。このメッセージシーケンス生成装置は、利用者からのコマンド等を入力するキーボードおよびマウスからなる入力装置２０１、計算機内部の処理を行う処理装置２０２、データおよびプログラムを格納する記憶装置２０３、並びに、コマンドの実行結果、記憶しているデータの内容、および利用者に対するメッセージ等を表示する表示装置２０４を備えている。
【００２８】図１に、本実施例のメッセージシーケンス生成方法を実現する装置の機能構成の一例を示す。この図は、図２の装置で、メッセージシーケンスを生成する際に実行される機能に着目したブロック図である。
【００２９】実行制御機能１０１は、入力装置２０１からのコマンドを受け付けて、各機能を実行制御する。状態遷移仕様編集機能１０２は、利用者が状態遷移仕様を新規作成および修正することを支援し、状態遷移情報１１１を生成および修正する。入出力関係情報入力機能１０３は、モジュール毎に記述された状態遷移仕様のメッセージの送受信関係を表示し、利用者にそれらの関係を確認させ、あるいは利用者が修正や追加を行なうことを支援する。そして、修正や追加があった場合は、記憶装置２０３に記憶されている状態遷移情報１１１を更新する。
【００３０】生成条件情報入力機能１０４は、利用者がメッセージシーケンス図生成のための条件を入力することを状態遷移情報１１１を利用して支援し、生成条件情報１１２を生成し記憶装置２０３に格納する。メッセージシーケンス生成機能１０５は、状態遷移情報１１１から生成条件情報１１２を満足するメッセージシーケンスを生成し、メッセージシーケンス情報１１３を生成する。メッセージシーケンス図表示機能１０６は、メッセージシーケンス情報１１３に基づくメッセージシーケンス図を表示装置２０４に表示する。
【００３１】メッセージシーケンスの生成は、上記の各機能を順次実行することにより行なわれる。すなわち、まず状態遷移仕様編集機能１０２で、メッセージシーケンスを生成しようとする各モジュールの状態遷移仕様を入力する。そして、入出力関係情報入力機能１０３で状態遷移仕様のメッセージの送受信関係を修正確認する。次に、生成条件情報入力機能１０４でメッセージシーケンスを生成する際の条件を入力する。そして、その条件にしたがって、メッセージシーケンス生成機能１０５でメッセージシーケンスを生成し、メッセージシーケンス図表示機能１０６で表示する。
【００３２】以下、状態遷移仕様が状態遷移表によって記述される場合の図１における手順の詳細を説明する。
【００３３】図３は、１つのモジュールの状態遷移表の一例を示す。図３において、上端横列の各枠３０１、３０２はモジュールの取りうる状態を表し、左端縦列の各枠３０３、３０４は他のモジュールからのメッセージ受信を含む発生イベントを表す。状態とイベントの交差する枠には、その枠に対応する状態（Ｓ０〜Ｓｎ）においてその枠に対応するイベント（Ｅ１〜Ｅｎ）が発生した場合の処理が定義される。
【００３４】例えば、枠３０５では、状態Ｓ０においてイベントＥｎが発生した場合の処理が定義される。各枠の処理として、該当処理を実行する条件、メッセージ送信を含む動作、および動作処理終了後の遷移先状態が記述される。例えば、図３の枠３０５では、条件１が成立する場合に実行する動作１ａ，１ｂ，…とそれらの動作終了後の遷移先状態１などが記述されている。条件や条件に対する動作は０個または複数個でもよい。
【００３５】本実施例の装置が起動されると、図１の実行制御機能１０１は、表示装置２０４に図４の起動初期画面を表示する。図４の画面において利用者がファイルメニュー４０１を選択すると、実行制御機能１０１は図５R>５に示すプルダウンメニュー５０１を表示する。
【００３６】図５において、利用者が状態遷移表編集メニュー５０２を選択すると、実行制御機能１０１は図１の状態遷移仕様編集機能１０２を起動する。これにより、状態遷移仕様編集機能１０２を実行して、図３の状態遷移図のような状態遷移仕様の入力や編集を行なうことができる。
【００３７】図５において、入出力関係情報入力メニュー５０３が選択されると、実行制御機能１０１は図１の入出力関係情報入力機能１０３を起動する。これにより、入出力関係情報入力機能１０３を実行して、各モジュール間のメッセージ送受信関係の確認、修正、あるいは追加を行なうことができる。
【００３８】図５において、終了メニュー５０４が選択されると、実行制御機能１０１は起動初期画面の表示を取消し、すべての処理を終了する。
【００３９】図４において、利用者が生成メニュー４０２を選択すると、実行制御機能１０１は図６に示すプルダウンメニュー６０１を表示する。図６において、利用者が生成条件情報入力メニュー６０２を選択すると、実行制御機能１０１は図１の生成条件情報入力機能１０４を起動する。これにより、生成条件情報入力機能１０４を実行して、メッセージシーケンス生成の際の条件を入力することができる。
【００４０】図６において、シーケンス生成メニュー６０３が選択されると、実行制御機能１０１は図１のメッセージシーケンス生成機能１０５を起動する。これにより、メッセージシーケンス生成機能１０５を実行して、メッセージシーケンスを生成する処理を行なうことができる。
【００４１】図４において、利用者が表示メニュー４０３を選択すると、実行制御機能１０１は図７に示すプルダウンメニュー７０１を表示する。図７において、利用者がシーケンス図メニュー７０２を選択すると、実行制御機能１０１は図１のメッセージシーケンス図表示機能１０６を起動する。これにより、メッセージシーケンス図表示機能１０６が実行され、生成されたメッセージシーケンス図が表示装置２０４に表示される。
【００４２】図４において、利用者がオプションメニュー４０４を選択すると、実行制御機能１０１は図８に示すプルダウンメニュー８０１を表示する。図８において、利用者が表示形式メニュー８０２を選択すると、実行制御機能１０１は、後述するメッセージシーケンス図表示形式選択画面（図４０）を表示する。図８において、利用者が解析条件メニュー８０３を選択すると、実行制御機能１０１は、後述する解析条件設定画面（図４１R>１）を表示する。
【００４３】なお、図４から図８あるいは後述する画面表示およびそのような画面表示の元での入力を実現する方式は、どのようなものでもよい。例えば、木下凌一著、Ｘ−Ｗｉｎｄｏｗ Ｖｅｒ．１１プログラミング、日刊工業新聞社（１９８９年）などにおいて述べられている従来より用いられている方式を用いればよい。
【００４４】以下、図１の各機能１０２〜１０６について詳しく説明する。
【００４５】図１の状態遷移仕様編集機能１０２には、図３のような状態遷移表の作成を直接支援する機能や状態遷移図から状態遷移表への変換を支援する機能等が含まれる。これらの機能については、例えば、特開平１−１５２５７６号、または特開平２−１００４４４号において述べられているので、説明を省略する。
【００４６】状態遷移仕様編集機能１０２によって生成される状態遷移情報１１１は、概念的には図３のような状態遷移表を表す情報ととらえてよいが、実際に装置内部では図９から図１４に示す形式で記憶されている。
【００４７】図９に示す状態遷移表リストのエントリ（以下、状態遷移表エントリと呼ぶ）９００は、図３の状態遷移表対応に存在する。状態遷移表エントリ９００は、装置側で割り当てる状態遷移表識別子９０１、利用者が入力する状態遷移表名称９０２、状態リスト（図１０R>０）の記憶場所を示す状態リストポインタ９０３、イベントリスト（図１１）の記憶場所を示すイベントリストポインタ９０４、処理が記述された枠３０５に対応する状態遷移リスト（図１２）の記憶場所を示す状態遷移リストポインタ９０５、および次の状態遷移表エントリの記憶場所を示す次エントリポインタ９０６からなる。
【００４８】図１０に示す状態リストのエントリ（以下、状態エントリと呼ぶ）１０００は、図３の状態遷移表の上端横列の状態３０１、３０２対応に存在する。状態エントリ１０００は、装置側で割り当てる状態識別子１００１、利用者が入力する状態名称１００２、後述する最小遷移数１００３、および次の状態エントリの記憶場所を示す次エントリポインタ１００４からなる。
【００４９】図１１に示すイベントリストのエントリ（以下、イベントエントリと呼ぶ）１１００は、図３の状態遷移表の左端縦列のイベント３０３、３０４対応に存在する。イベントエントリ１１００は、装置側で割り当てるイベント識別子１１０１、利用者が入力するイベント名称１１０２、イベントが他の状態遷移表から受信したメッセージか否かを示すメッセージフラグ１１０３、イベントが受信メッセージである場合の送信元状態遷移表識別子１１０４、および次のイベントエントリの記憶場所を示す次エントリポインタ１１０５からなる。メッセージフラグ１１０３の初期値はオフとする。
【００５０】図１２に示す状態遷移リストのエントリ（以下、状態遷移エントリと呼ぶ）１２００は、図３の状態遷移表において処理が記述された各枠３０５対応に存在する。状態遷移エントリ１２００は、装置側で割り当てる状態遷移識別子１２０１、状態遷移処理に対応する状態エントリ１０００の識別子１２０２、状態遷移処理に対応するイベントエントリ１１００の識別子１２０３、状態遷移の処理に含まれる条件に対応する処理リスト（図１３）の記憶場所を示す処理リストポインタ１２０４、後述する非通過フラグ１２０５と遷移実行カウンタ１２０６、および次の状態遷移エントリの記憶場所を示す次エントリポインタ１２０７からなる。
【００５１】図１３に示す処理リストのエントリ（以下、処理エントリと呼ぶ）１３００は、図３の状態遷移表の枠３０５に含まれる各条件対応に存在する。処理エントリ１３００は、装置側で割り当てる条件識別子１３０１、利用者が入力する条件名称１３０２、処理終了後の遷移先状態の識別子１３０３、処理に含まれる動作リスト（図１４）の記憶場所を示す動作リストポインタ１３０４、および次の処理エントリの記憶場所を示す次エントリポインタ１３０５からなる。
【００５２】図１４に示す動作リストのエントリ（以下、動作エントリと呼ぶ）１４００は、図３の状態遷移表の枠３０５に含まれる各動作対応に存在する。動作エントリ１４００は、装置側で割り当てる動作識別子１４０１、利用者が入力する動作名称１４０２、動作が他の状態遷移表へのメッセージ送信か否かを示すメッセージフラグ１４０３、動作がメッセージ送信である場合の送信先状態遷移表識別子１４０４、送信先状態遷移表における送信メッセージに対応するイベント識別子１４０５、後述するチャネル識別子１４０６、および次の動作エントリの記憶場所を示す次エントリポインタ１４０７からなる。メッセージフラグの初期値はオフとする。
【００５３】以上のように、図１の状態遷移仕様編集機能１０２によって、図９〜図１４に示すような形式で状態遷移情報１１１が定義される。言い替えれば、モジュール毎の状態遷移表（図３）が入力されたこととなる。なお、上述の各リストにおいて、リストの最後のエントリの次エントリポインタの値は０とする。
【００５４】次に、図１の入出力関係情報入力機能１０３について説明する。入出力関係情報入力機能１０３は、図５の入出力関係情報入力メニュー５０３が選択されると起動される。本機能は、動作とイベントの対応関係を推定する機能、および利用者に推定した関係を表示し、確認、修正させる機能からなる。
【００５５】対応関係を推定する機能は、同一名称を持つ動作名称１４０２とイベント名称１１０２とを対応させる機能である。すなわち、動作名称１４０２とイベント名称１１０２とが同一である場合はこれらを送受信関係にあるメッセージとみなし、対応するイベントエントリ１１００のメッセージフラグ１１０３と動作エントリ１４００のメッセージフラグ１４０３とをオンにセットし、動作エントリ１４００の送信先状態遷移表識別子１４０４と送信先イベント識別子１４０５を設定する。
【００５６】推定した関係を表示して確認修正させる機能では、まず図１６に示すような画面を表示する。図１６R>６は、状態遷移表対応に画面が存在し、前表ボタン１６０１、次表ボタン１６０２を操作することにより他の状態遷移表の情報を表示させることができる。画面には、表示されている状態遷移表の名称１６０３、その状態遷移表のイベント名称１６０４、１６０５、および動作名称１６０６、１６０７が表示される。
【００５７】利用者は、イベント名称１６０４、１６０５のイベントに対応する送信元状態遷移表名称を１６０８、１６０９のフィールドに、送信元状態遷移表における動作名称を１６１０、１６１１のフィールドに入力することができる。例えば、状態遷移表名称１６０８の状態遷移表の動作名称１６１０の動作が、現在着目している状態遷移表名称Ｍ１（フィールド１６０３）の状態遷移表のイベントＥ１（フィールド１６０４）に相当するということである。
【００５８】また利用者は、動作名称１６０６、１６０７の動作に対応する送信先状態遷移表名称を１６１２、１６１３９のフィールドに、送信先状態遷移表におけるイベント名称を１６１４、１６１５のフィールドに入力することができる。例えば、現在着目している状態遷移表名称Ｍ１の状態遷移表の動作Ａ１（フィールド１６０６）が、状態遷移表名称１６１２の状態遷移表のイベント名称１６１４のイベントに相当するということである。
【００５９】ただし、対応関係を推定する機能により関連付けられた動作とイベントについては推定結果を該当欄（フィールド１６０８〜１６１５）に表示する。したがって、対応する動作とイベントに関して同一の名称を使用している場合には利用者は表示を確認するだけでよく、これらのフィールドに名称を入力する必要はない。
【００６０】イベントと動作数が多く１画面に表示できない場合には複数画面に分けて表示し、前頁ボタン１６１６および次頁ボタン１６１７等を設けて、これらのボタンにより画面を切り替えるようにする。利用者は、確認や修正が終わると終了ボタン１６１８により終了を指示する。これにより図１６の画面表示が終了する。また、利用者による修正個所に対応するイベントエントリ１１００のメッセージフラグ１１０３、並びに動作エントリ１４００のメッセージフラグ１４０３、送信先状態遷移表識別子１４０４、および送信先イベント識別子１４０５が更新される。さらに、送受信関係のある状態遷移表間に単方向のチャネルが設定される。
【００６１】図１５は、設定されたチャネルを表すチャネルリストのエントリ（以下、チャネルエントリと呼ぶ）１５００を示す。チャネルエントリ１５００は、装置側で割り当てるチャネル識別子１５０１、送信元状態遷移表識別子１５０２、送信先状態遷移表識別子１５０３、および次のチャネルエントリの記憶場所を示す次エントリポインタ１５０４からなる。
【００６２】チャネルエントリ１５００は、メッセージフラグ１４０３がオンである動作エントリ１４００を持つ状態遷移表エントリ９００の識別子９０１と送信先状態遷移表識別子１４０４との組合せに対応する。すなわち、動作エントリ１４００のメッセージフラグ１４０３がオンのときは、その動作エントリ１４００を持つ状態遷移表エントリ９００の識別子９０１が、チャネルエントリ１５００の送信元状態遷移表識別子１５０２に設定される。また、その動作エントリ１４００の送信先状態遷移表識別子１４０４が、チャネルエントリ１５００の送信先状態遷移表識別子１５０３に設定される。動作エントリ１４００のチャネル識別子１４０６には、対応するチャネルエントリ１５００の識別子１５０１が設定される。
【００６３】なお、図１６において、イベントに対応する送信元状態遷移表１６０８、１６０９が空欄の場合には、該当イベントを内部発生イベントとみなす。内部発生イベントとは、当該モジュール（現在着目している状態遷移表のモジュール）の内部で生じるイベントのことである。同様に、図１６において、動作に対応する送信先状態遷移表１６１２、１６１３が空欄の場合には、該当動作を当該モジュール内で実行される内部動作とみなす。
【００６４】さらに、送信元および送信先状態遷移表欄１６０８、１６０９、１６１２、１６１３には、状態遷移表が定義されていないモジュール名称を入力することもできるようになっている。この場合、動作名称１６１０、１６１１およびイベント名称１６１３、１６１４は空欄とする。そして、状態遷移表が定義されていないモジュールに対応する状態遷移表エントリ９００を作成し、状態リストポインタ９０３、イベントリストポインタ９０４、状態遷移リストポインタ９０５は０とする。また、対応するイベントエントリ１１００のメッセージフラグ１１０３はオフとし、送信元状態遷移表識別子１１０４に該当状態遷移表の識別子を設定する。対応する動作エントリ１４００のメッセージフラグ１４０３もオフとし、送信先状態遷移表識別子１４０４に該当する状態遷移表の識別子９０１を設定する。
【００６５】以上のようにして、状態遷移仕様編集機能１０２と入出力関係情報入力機能１０３とによって、各モジュールの状態遷移表と各状態遷移間のメッセージ送受信関係とが、図９〜図１５の形式で定義されたこととなる。
【００６６】次に、図１の生成条件情報入力機能１０４について説明する。生成条件情報入力機能１０４は、図６R>６の生成条件情報入力メニュー６０２が選択されると起動される。本機能は、利用者によるメッセージシーケンス生成のための条件の入力を支援する。利用者によって入力された条件は、生成条件情報１１２として記憶装置２０３に格納する。
【００６７】図１７は、本機能における表示画面を示す。利用者は、この図に示す画面から生成条件を入力する。この画面は状態遷移表対応に存在し、前表ボタン１７０１、次表ボタン１７０２を操作することにより他の状態遷移表の情報を表示させることができる。１７０３は表示されている状態遷移表の名称、１７０４は状態遷移表、１７０５と１７０６は現在画面上に表示されている部分の状態遷移表全体における位置を示す縦と横のスクロールバーを示す。
【００６８】利用者が状態遷移表１７０４中の状態名称（図中の「ＣＬＯＳＥＤ」「ＷＦＮＣ」など）またはイベント名称（図中の「Ｔ−ＣＯＮ ＲＥＱ」「Ｔ−ＣＯＮＲＳＰ」など）を直接指定すると、その部分にポップアップメニューが表示される。１７０７は表示されたポップアップメニューを示す。このポップアップメニューを用いて、指定された状態またはイベントに対する生成条件を選択する。
【００６９】ポップアップメニュー１７０７のうち、初期設定メニュー１７０８は、生成されるメッセージシーケンスの初期状態または初期イベントであることを指定する。終端設定メニュー１７０９は、生成されるメッセージシーケンスの終端状態またはイベントであることを指定する。通過設定メニュー１７１０は、生成されるメッセージシーケンスに必ず含まれる状態またはイベントであることを指定する。非通過設定メニュー１７１１は、生成されるメッセージシーケンスに決して含まれない状態またはイベントであることを指定する。設定解除メニュー１７１２は、指定された状態またはイベントを指定なしの状態にリセットする。
【００７０】初期状態は、各状態遷移表に対して必ず１個指定しなければならない。初期イベントは、状態遷移仕様全体で１個必ず指定しなければならない。一方、終端状態の指定は終端イベントの指定がある場合には省略可能である。終端イベントの指定も終端状態の指定がある場合には省略可能である。通過設定および非通過設定は複数の状態またはイベントに対して指定できる。
【００７１】なお、指定内容は状態遷移表の上端および左端に表示するようにしている。また、非通過指定に対応する状態の列およびイベントの行にある枠は白色で表示し、その他の枠は着色表示することにより、利用者が生成条件の指定内容を容易に確認できるようにしている。図では、網かけしていない部分（例えば状態「ＷＦＮＣ」）が白色表示された非通過指定されている状態を示し、その他の網かけしてある部分が着色表示されたその他の状態を示す。生成条件の入力が終わると、利用者は終了ボタン１７１３を指定する。これにより図１７の画面表示が終了する。
【００７２】上記のようにして入力された生成条件は、生成条件情報１１２（図１）として図１８から図２２に示す形式で記憶される。以下、これらの形式を説明する。
【００７３】図１８に示す生成条件リストのエントリ（以下、生成条件エントリと呼ぶ）１８００は、図３の状態遷移表対応に存在する。すなわち、１つの状態遷移表に関する生成条件を図１７の画面で作成すると、その状態遷移表に対応する生成条件エントリ１８００が作成されることになる。生成条件エントリ１８００は、状態遷移表識別子１８０１、初期状態識別子１８０２、初期イベント識別子１８０３、終端状態識別子１８０４、終端イベント識別子１８０５、通過状態リストポインタ１８０６、通過イベントリストポインタ１８０７、非通過状態リストポインタ１８０８、非通過イベントリストポインタ１８０９、次の生成条件エントリの記憶場所を示す次エントリポインタ１８１０からなる。
【００７４】状態遷移表識別子１８０１は、当該生成条件エントリ１８００に対応する状態遷移表の識別子である。初期状態識別子１８０２、初期イベント識別子１８０３、終端状態識別子１８０４、および終端イベント識別子１８０５は、それぞれ、図１７で入力した初期状態、初期イベント、終端状態、および終端イベントの識別子である。終端状態や終端イベントが省略されている場合、対応する識別子１８０４、１８０５は０とする。
【００７５】通過状態リストポインタ１８０６、通過イベントリストポインタ１８０７、非通過状態リストポインタ１８０８、および非通過イベントリストポインタ１８０９は、それぞれ、図１９の通過状態リスト１９００、図２０の通過イベントリスト２０００、図２１の非通過状態リスト２１００、および図２２の非通過イベントリスト２２００の記憶場所を示すポインタである。
【００７６】図１９に示す通過状態リストのエントリ（以下、通過状態エントリと呼ぶ）１９００は、通過状態識別子１９０１、および次の通過状態エントリの記憶場所を示す次エントリポインタ１９０２からなる。図１７R>７の画面において利用者が通過状態の指定をすると、その状態の識別子を通過状態識別子１９０１とする通過状態エントリが生成される。
【００７７】図２０に示す通過イベントリストのエントリ（以下、通過イベントエントリと呼ぶ）２０００は、通過イベント識別子２００１、および次の通過イベントエントリの記憶場所を示す次エントリポインタ２００２からなる。図１７の画面において利用者が通過イベントの指定をすると、そのイベントの識別子を通過イベント識別子２００１とする通過イベントエントリが生成される。
【００７８】図２１に示す非通過状態リストのエントリ（以下、非通過状態エントリと呼ぶ）２１００は、非通過状態識別子２１０１、および次の非通過状態エントリの記憶場所を示す次エントリポインタ２１０２からなる。図１７の画面において利用者が非通過状態の指定をすると、その状態の識別子を非通過状態識別子２１０１とする非通過状態エントリが生成される。
【００７９】図２２に示す非通過イベントリストのエントリ（以下、非通過イベントエントリと呼ぶ）２２００は、非通過イベント識別子２２０１、および次の非通過イベントエントリの記憶場所を示す次エントリポインタ２２０２からなる。図１７の画面において利用者が非通過イベントの指定をすると、そのイベントの識別子を非通過イベント識別子２２０１とする非通過イベントエントリが生成される。
【００８０】次に、図１のメッセージシーケンス生成機能１０５について説明する。メッセージシーケンス生成機能１０５は、図６のシーケンス生成メニュー６０３が選択されると起動される。本機能は、状態遷移情報１１１（図９〜１５）に基づいて、生成条件情報１１２（図１８１８〜２２））を満足するメッセージシーケンスを生成する。具体的には、メッセージシーケンス情報１１３を生成する。
【００８１】図２３は、本機能が起動されたとき表示される画面を示す。利用者は、この図に示す画面からメッセージシーケンスの生成方法を選択する。
【００８２】ボタン２３０１を選択すると、生成条件を満足するすべてのメッセージシーケンスを生成する。ボタン２３０２を選択すると、生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成する。ボタン２３０３を選択すると、フィールド２３０４に指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成する。
【００８３】実行ボタン２３０５を選択することにより、選択された方法によるメッセージシーケンスの生成が開始され、図２４に示すメッセージシーケンス生成中画面が表示される。取消ボタン２３０６を選択することにより、メッセージシーケンス生成を行うことなく、図４R>４の起動初期画面に戻ることができる。
【００８４】図２４のメッセージシーケンス生成中画面では、生成されたメッセージシーケンスの個数をフィールド２４０１に更新表示する。メッセージシーケンスの生成が終了すると、図４の起動初期画面に戻る。生成数フィールド２４０１の初期値は０である。なお、取消ボタン２４０２を選択することによりメッセージシーケンス生成を中止して図４の起動初期画面に戻ることができる。
【００８５】以下では、生成条件を満足するすべてのメッセージシーケンスを生成する手順（図２３でボタン２３０１を選択した場合）について図２５から図２８に示すフローチャートを用いて説明する。
【００８６】図２５は、メッセージシーケンス生成処理の流れを示すフローチャートである。まず、初期化ブロック２５０１において各種の初期化を行なう。次に、終了条件チェックブロック２５０２で、シーケンス生成処理を終了するかどうか判別し、終了してもよい場合は処理を終了し、図２４のメッセージシーケンス生成中表示画面の表示を取り消す。非終了の場合はシーケンス探索処理ブロック２５０３を実行し、ブロック２５０２に戻る。
【００８７】ブロック２５０２の終了または非終了の判別は、具体的には、シーケンス生成候補リスト（図３６R>６）が空か否かをチェックすることにより行なう。シーケンス生成候補リストおよびブロック２５０２の判別については、後述する。
【００８８】図２６は、図２５の初期化ブロック２５０１の詳細な流れを示すフローチャートである。
【００８９】初期化ブロック２５０１では、まず非通過フラグ設定ブロック２６０１により、生成条件エントリ１８００（図１８）が示す非通過状態または非通過イベントを含む状態遷移エントリ１２００（図１２）の非通過フラグ１２０５をオンに、非通過状態および非通過イベントを含まない状態遷移エントリ１２００の非通過フラグ１２０５をオフに、それぞれ設定する。
【００９０】次に、最小遷移数計算ブロック２６０２においては、各状態遷移表における状態をノード、非通過フラグがオフである状態遷移を距離１の有向枝とみなし、生成条件エントリ１８００（図１８）の初期状態１８０２から各状態への最短距離を計算する。計算結果は、最小遷移数として状態エントリ１０００の最小遷移数１００３に設定する。なお、初期状態から到達できない状態の最小遷移数は０とする。
【００９１】生成シーケンス数初期設定ブロック２６０３においては、生成シーケンス数を０（初期値）に設定する。
【００９２】次に、グローバル初期状態設定ブロック２６０４においては、図２９に示すグローバル状態リストのエントリ（以下、グローバル状態エントリと呼ぶ）２９００を生成し、初期値を設定する。
【００９３】グローバル状態とは、チャネルを含めて各モジュールの状態を全体としてとらえた状態をいう。各モジュールの取り得る状態は、そのモジュールに対応する状態遷移表に表されているが、状態遷移表はモジュールに対応して複数あるので、１つの状態遷移表に着目して同じ状態であったとしても、他の状態遷移表の状態が異なるときは全体としては別の状態にあるといえる。メッセージシーケンスを生成する際には、複数の状態遷移表を考慮した全体としての状態を把握する必要があるため、図２９〜図３５のようにグローバル状態に関するリストを作成し、それらを用いてメッセージシーケンス生成を行なうようにしている。
【００９４】図２９を参照して、グローバル状態エントリ２９００について説明する。グローバル状態エントリ２９００は、グローバル状態識別子２９０１、ローカル状態リストポインタ２９０２、チャネル状態リストポインタ２９０３、通過条件レコードポインタ２９０４、最小遷移数２乗和２９０５、遷移元グローバル状態識別子２９０６、イベント発生状態遷移表識別子２９０７、イベント識別子２９０８、条件識別子２９０９、および次のグローバル状態エントリの記憶場所を示す次エントリポインタ２９１０からなる。
【００９５】グローバル状態識別子２９０１は、装置側で割り当てるグローバル状態の識別子である。上述したように、まずグローバル初期状態設定ブロック２６０４においてグローバル状態エントリ２９００が１つ生成される。
【００９６】ローカル状態リストポインタ２９０２は、対象とする状態遷移表に対応するローカル状態リスト（図３０）の記憶場所を示すポインタである。ローカル状態とは、各状態遷移表に示されている１つ１つの状態（例えば、図３の状態遷移表の状態Ｓ０，…，Ｓｎ）をいう。チャネル状態リストポインタ２９０３は、チャネルに対応するチャネル状態リスト（図３１）の記憶場所を示すポインタである。
【００９７】図３０に、ローカル状態リストのエントリ（以下、ローカル状態エントリと呼ぶ）３０００の内容を示す。ローカル状態エントリ３０００は、状態遷移表識別子３００１、ローカル状態識別子３００２、および次のローカル状態エントリの記憶場所を示す次エントリポインタ３００３からなる。図２６のグローバル初期状態設定ブロック２６０４において、ローカル状態識別子３００２には、初期値として生成条件リストの初期状態識別子１８０２が設定される。すなわち、すべての状態遷移表でそれぞれ設定された初期状態の組が、グローバル初期状態となる。
【００９８】図３１に、チャネル状態リストのエントリ（以下、チャネル状態エントリと呼ぶ）３１００の内容を示す。チャネル状態エントリ３１００は、チャネル識別子３１０１、チャネル上のメッセージの有無を示すチャネル状態３１０２、後述するメッセージリスト（図３２R>２）の記憶場所を示すメッセージリストポインタ３１０３、および次のチャネル状態エントリの記憶場所を示す次エントリポインタ３１０４からなる。図２６のグローバル初期状態設定ブロック２６０４においては、チャネル状態３１０２を「メッセージ無」に初期設定する。メッセージリストポインタ３１０３の初期値は０とする。
【００９９】図３２に、メッセージリストのエントリ（以下、メッセージエントリと呼ぶ）３２００の内容を示す。メッセージエントリ３２００は、送信先イベント識別子３２０１、および次のメッセージエントリの記憶場所を示す次エントリポインタ３２０２からなる。
【０１００】再び図２９を参照して、通過条件レコードポインタ２９０４は、グローバル状態エントリ２９００毎に存在する生成条件の中の通過条件をチェックするための通過条件レコード（図３３）の記憶場所を示すポインタである。通過条件に関する情報については図３３から図３５を参照して後述する。
【０１０１】最小遷移数２乗和２９０５は、当該グローバル状態を構成する各ローカル状態の最小遷移数１００３の２乗和を記憶する領域である。ローカル状態間の最短経路はブロック２６０２で計算した最小遷移数が目安となるが、グローバル状態は複数のローカル状態の組み合わせであるため、何をもってグローバル状態間の最短経路を求めるかは適宜定義する必要がある。この実施例では、上記の最小遷移数２乗和２９０５により初期グローバル状態から当該グローバル状態への距離を表すようにしている。
【０１０２】遷移元グローバル状態識別子２９０６は、当該グローバル状態に到達する前のグローバル状態を示す識別子である。イベント発生状態遷移表識別子２９０７は、当該グローバル状態に到達するときに発生したイベントがどの状態遷移表からのものか、その状態遷移表の識別子を示す。イベント識別子２９０８は、当該グローバル状態に到達するときに発生したイベント発生状態遷移表識別子２９０７の状態遷移表のイベントを示すイベント識別子である。条件識別子２９０９は、当該グローバル状態に到達するときに発生したイベント中の条件（図３の枠３０５中の条件）を特定する。
【０１０３】言い替えると、遷移元グローバル状態識別子２９０６のグローバル状態において、イベント発生状態遷移表識別子２９０７の状態遷移表でイベント識別子２９０８のイベントが発生し、そのときに条件識別子２９０９の条件が成立している場合に、遷移元グローバル状態から当該グローバル状態に至るということになる。
【０１０４】図２６のグローバル初期状態設定ブロック２６０４において、上述の最小遷移数２乗和２９０５は０に初期設定される。また、初期状態であるため、遷移元グローバル状態識別子２９０６、イベント発生状態遷移表識別子２９０７、イベント識別子２９０８、および条件識別子２９０９は、すべて０に初期設定される。
【０１０５】上記のようにグローバル初期状態設定を行なった後、通過条件レコード初期化ブロック２６０５において通過条件レコードなどの初期化を行なう。
【０１０６】図３３は、通過条件レコード３３００の内容を示す。通過条件レコード３３００は、図２９のグローバル状態エントリ２９００の通過条件レコードポインタ２９０４で指し示されるレコードである。通過条件レコード３３００は、通過状態チェックリスト（図３４）の記憶場所を示す通過状態チェックリストポインタ３３０１、および通過イベントチェックリスト（図３５）の記憶場所を示す通過イベントチェックリストポインタ３３０２からなる。
【０１０７】図３４に、通過状態チェックリストのエントリ（以下、通過状態チェックエントリと呼ぶ）３４００の内容を示す。通過状態チェックエントリ３４００は、図１９の通過状態エントリ１９００に対応し、状態遷移表識別子３４０１、通過状態識別子３４０２、通過フラグ３４０３、および次の通過状態チェックエントリの記憶場所を示す次エントリポインタ３４０４からなる。
【０１０８】図３５に、通過イベントチェックリストのエントリ（以下、通過イベントチェックエントリと呼ぶ）３５００の内容を示す。通過イベントチェックエントリ３５００は、図２０の通過イベントエントリ２０００に対応し、状態遷移表識別子３５０１、通過イベント識別子３５０２、通過フラグ３５０３、および次の通過イベントチェックエントリの記憶場所を示す次エントリポインタ３５０４からなる。
【０１０９】図２６の通過条件レコード初期化ブロック２６０５においては、通過状態チェックエントリ３４００および通過イベントチェックエントリ３４００における通過フラグ３４０３および３５０３をオフに設定する。遷移実行カウンタ初期化ブロック２６０６においては、すべての状態遷移エントリ１２００の遷移実行カウンタ１２０６を０に設定する。
【０１１０】次に、シーケンス生成候補リスト初期化ブロック２６０７について説明する。シーケンス生成候補リスト初期化ブロック２６０７では、シーケンス生成候補リストを生成する。
【０１１１】図３６は、シーケンス生成候補リストのエントリ（以下、シーケンス生成候補エントリと呼ぶ）３６００の内容を示す。シーケンス生成候補エントリ３６００は、候補となるグローバル状態識別子３６０１、および次のシーケンス生成候補エントリの記憶場所を示す次エントリポインタ３６０２からなる。リストの最後のエントリにおける次エントリポインタは０とする。
【０１１２】図２６のシーケンス生成候補リスト初期化ブロック２６０７においては、まずグローバル初期状態設定ブロック２６０４において生成したグローバル状態エントリ２９００の複製を作成し、新たにグローバル状態識別子２９０１を割当てる。ここで、グローバル初期状態設定ブロック２６０４において生成したグローバル状態エントリ２９００を第１番目のグローバル状態エントリと呼び、新たに作成した複製を第２番目のグローバル状態エントリと呼ぶものとする。第２番目のグローバル状態エントリ２９００の遷移元グローバル状態識別子２９０６には、元のグローバル状態エントリ２９００のグローバル状態識別子２９０１を設定する。また、初期イベント識別子１８０３が０でない生成条件エントリ１８００に対応するイベント発生状態遷移表識別子２９０７およびイベント識別子２９０８を設定する。
【０１１３】そして、そのイベントに対応する状態遷移エントリ１２００の非通過フラグ１２０５を参照する。非通過フラグ１２０５がオンならば、その状態遷移エントリ１２００は非通過とするということであるから、生成したグローバル状態エントリ２９００を廃棄し、初期化処理２６０７を終了する。
【０１１４】非通過フラグ１２０５がオフならば、生成したグローバル状態エントリの複製をさらに（（条件数）−１）個作成し、それぞれに新たにグローバル状態識別子を割当てる。条件数とは、当該状態遷移エントリ１２００の処理リストポインタ１２０４から辿ることのできる処理エントリ１３００の数であり、言い替えれば、当該状態遷移エントリ１２００に対応する図３の枠（例えば３０５）内に定義されている条件の数である。
【０１１５】（（条件数）−１）個の複製は、第３番目〜第（（条件数）＋１）番目のグローバル状態エントリと呼ぶものとする。第２番目〜第（（条件数）＋１）番目の各グローバル状態エントリ２９００（エントリ数は条件数）の条件識別子２９０９には、それぞれ、対応する処理エントリ１３００の条件識別子１３０１を設定する。さらに、第２番目〜第（（条件数）＋１）番目の各グローバル状態エントリ２９００のローカル状態リストポインタ２９０２が指し示すローカル状態エントリ３０００のローカル状態識別子３００２に、それぞれ、対応する処理エントリ１３００の遷移先状態識別子１３０３を設定する。
【０１１６】次に、処理エントリ１３００に対応する動作エントリ１４００の中でメッセージフラグ１４０３がオンであるものについて、チャネル識別子１４０６と同じチャネル識別子３１０１を持つチャネル状態エントリ３１００のチャネル状態３１０２を「メッセージ有」に設定する。また、図３２に示すメッセージエントリ３２００の送信先イベント識別子３２０１に送信先イベント識別子１４０５を設定し、メッセージエントリ３２００のアドレスをメッセージリストポインタ３１０３に設定する。さらに最小遷移数２乗和２９０５を更新する。
【０１１７】次に、図３６に示すシーケンス生成候補リストに初期グローバル状態を除く生成したグローバル状態をすべて加える。ブロック２６０７が終了すると初期化ブロック２５０１は終了する。
【０１１８】その後、図２５の終了条件チェックブロック２５０２では図３６のシーケンス生成候補リストが空か否かをチェックする。空ならばメッセージシーケンス生成処理を終了し、図２４のメッセージシーケンス生成中表示画面の表示を取り消す。空でないならばシーケンス探索処理ブロック２５０３を実行し、ブロック２５０２に戻る。
【０１１９】シーケンス探索処理は、図３６のシーケンス生成候補エントリ３６００を１つずつ取出し、そのグローバル状態から遷移していくグローバル状態を順次探索し、遷移先のグローバル状態エントリ２９００を生成していく。これは、生成条件として指定されている終端条件に至るまで行なわれる。結果は、図３８のシーケンスリストに格納される。シーケンス探索処理の後は、図３８３８のシーケンスリストにエントリされているグローバル状態から遡って（遷移元グローバル状態識別子２９０６を用いる）、初期グローバル状態まで辿ることにより、１つのメッセージシーケンスが得られることとなる。
【０１２０】図２７を参照して、シーケンス探索処理ブロック２５０３を詳細に説明する。まず、シーケンス生成候補選択ブロック２７０１では、シーケンス生成候補エントリ３６００の中で最小遷移数２乗和２９０５が最も小さいものを選択する。以後、選択したシーケンス生成候補エントリ３６００が示すグローバル状態からメッセージシーケンスを探索していく。選択したシーケンス生成候補エントリ３６００は、シーケンス生成候補リストから取り除いておく。
【０１２１】最小遷移数２乗和２９０５が最も小さいものから選択するのは、重複の少ないメッセージシーケンスを優先的に生成するためにできるだけメッセージシーケンスの最初の方からシーケンスの探索を開始することを意図している。したがって、すべてのメッセージシーケンスを生成する場合には任意の候補を選択してもよい。
【０１２２】遷移候補リスト初期化ブロック２７０２では、図３７に示す遷移候補リストを空にする。通過条件レコード更新ブロック２７０３では、選択されたグローバル状態の通過状態チェックリスト（図３４）を更新する。すなわち、当該グローバル状態エントリ２９００のイベント発生状態遷移表識別子２９０７、イベント識別子２９０８、および条件識別子２９０９から特定される遷移先状態識別子１３０３と一致する通過状態識別子３４０２を持つ通過状態チェックエントリ３４００が存在すれば通過フラグ３４０３をオンに設定し、イベント発生状態遷移表識別子２９０７およびイベント識別子２９０８と一致する状態遷移表識別子３５０１および通過イベント識別子３５０２を持つ通過イベントチェックエントリが存在すれば通過フラグ３５０３をオンに設定する。
【０１２３】チャネル容量チェックブロック２７０４では、選択されたグローバル状態が、後述する解析条件設定画面（図４１）により設定されたチャネル容量を越えていないかどうかをチェックする。すなわち、各チャネル状態エントリ３１００に対応するメッセージリスト長がチャネル容量を越えるかどうかをチェックする。越える場合には、後述する遷移候補リストチェックブロック２７０９へ進む。越えない場合には、終端条件チェックブロック２７０５へ進む。
【０１２４】終端条件チェックブロック２７０５では、選択されたグローバル状態が生成条件の中の終端条件を満足するかどうかを調べる。終端条件を満足するのは、次の２つの場合である。まず第１は、選択されたグローバル状態に対応するすべてのローカル状態エントリ３０００のローカル状態識別子３００２が、それらのローカル状態エントリ３０００に対応する生成条件エントリ１８００の終端状態識別子１８０４に一致する場合である。第２は、イベント発生状態遷移表識別子２９０７およびイベント識別子２９０８に一致する状態遷移表識別子１８０１および終端イベント識別子１８０５を持つ生成条件エントリ１８００が存在する場合である。
【０１２５】終端条件を満足する場合には、後述する通過条件チェックブロック２７０６へ進む。満足しない場合には、遷移候補リスト更新ブロック２７０８へ進む。
【０１２６】遷移候補リスト更新ブロック２７０８では、選択されたグローバル状態の次に起こり得るすべての遷移に対応するグローバル状態を求め、図３７の遷移候補リストに追加する。次に起こり得る遷移には、チャネル上のメッセージの受信と内部発生イベントがある。
【０１２７】以下、遷移候補リスト更新ブロック２７０８における処理について説明する。
【０１２８】まず、選択されたグローバル状態エントリ２９００に属し、チャネル状態３１０２が「メッセージ有」であるチャネル状態エントリ３１００に対応して選択されたグローバル状態エントリの複製を作成し、新たにグローバル状態識別子を割当てる。そして、新たに作成したグローバル状態エントリの遷移元グローバル状態識別子２９０６に元のグローバル状態エントリのグローバル状態識別子を設定する。
【０１２９】また、チャネル状態３１０２が「メッセージ有」であるチャネル状態エントリ３１００のチャネル識別子３１０１と一致するチャネル識別子１５０１を持つチャネルエントリ１５００の送信先状態遷移表識別子１５０３をイベント発生状態遷移表識別子２９０７に設定し、チャネル状態エントリ３１００に属するメッセージリスト３２００の先頭エントリの送信先イベント識別子３２０１をイベント識別子２９０８に設定する。
【０１３０】さらに、メッセージリスト３２００の先頭エントリを削除し、メッセージリスト３２００が空になるならば、チャネル状態エントリ３１００のチャネル状態３１０２を「メッセージ無」とする。イベント識別子２９０８に対応する状態遷移エントリ１２００の非通過フラグ１２０５がオンならば、生成したグローバル状態エントリ２９００を廃棄する。非通過フラグ１２０５がオフならば、さらに生成したグローバル状態エントリの複製を（（条件数）−１）個作成し、それぞれに新たにグローバル状態識別子を割当てる。条件数とは、対応する状態遷移エントリ１２００が含む処理エントリ数、すなわち当該状態遷移が含む条件の数（例えば図３の枠３０５内の条件数）である。これにより、条件数分のグローバル状態エントリが生成された。
【０１３１】次に、これら条件数分のグローバル状態エントリの各条件識別子２９０９に、状態遷移処理におけるそれぞれの条件に対応する処理エントリ１３００の条件識別子１３０１を設定する。そして、処理エントリ１３００の遷移先状態識別子１３０３を、対応するローカル状態エントリ３０００のローカル状態識別子３００２に設定する。
【０１３２】また、処理エントリ１３００に対応する動作エントリ１４００の中でメッセージフラグ１４０３がオンであるものについて、チャネル識別子１４０６と同じチャネル識別子３１０１を持つチャネル状態エントリ３１００を探索し、そのチャネル状態３１０２が「メッセージ無」ならば「メッセージ有」に設定する。そして、送信先イベント識別子１４０５をメッセージエントリ３２００の送信先イベント識別子３２０１に設定し、メッセージエントリ３２００のアドレスをメッセージリストポインタ３１０３に設定する。チャネル状態３１０２が「メッセージ有」ならば、新たに、送信先イベント識別子１４０５を送信先イベント識別子３２０１に設定したメッセージエントリ３２００を図３２のメッセージリストに追加する。さらに、最小遷移数２乗和２９０５を更新する。
【０１３３】メッセージフラグ１１０３がオフであるイベントエントリ１１００のイベント識別子１１０１と選択されたグローバル状態に属するローカル状態エントリ３０００のローカル状態識別子３００２とに対応する状態遷移エントリ１２００が存在し、その非通過フラグ１２０５がオフであるならば、選択されたグローバル状態エントリの複製を作成し、新たにグローバル状態識別子を割当てる。そして、新たに生成したグローバル状態エントリの遷移元グローバル状態識別子２９０６に元のグローバル状態エントリのグローバル状態識別子を設定する。
【０１３４】そして、新たに生成したグローバル状態エントリのイベント発生状態遷移表識別子２９０７に、メッセージフラグ１１０３がオフであるイベントエントリ１１００が属する状態遷移表エントリ９００の状態遷移表識別子９０１を設定し、イベント識別子２９０８に、メッセージフラグ１１０３がオフであるイベントエントリのイベント識別子１１０１を設定する。
【０１３５】さらに、生成したグローバル状態エントリの複製を（（条件数）−１）個作成し、それぞれに新たにグローバル状態識別子を割当てる。条件数とは、対応する状態遷移エントリ１２００が含む処理エントリ数である。これにより、条件数分のグローバル状態エントリが生成された。
【０１３６】次に、これら条件数分のグローバル状態エントリの各条件識別子２９０９に、状態遷移処理におけるそれぞれの条件に対応する処理エントリ１３００の条件識別子１３０１を設定する。そして、処理エントリ１３００の遷移先状態識別子１３０３を、対応するローカル状態エントリ３０００のローカル状態識別子３００２に設定する。
【０１３７】また、処理エントリ１３００に対応する動作エントリ１４００の中でメッセージフラグ１４０３がオンであるものについて、チャネル識別子１４０６と同じチャネル識別子３１０１を持つチャネル状態エントリ３１００を探索し、そのチャネル状態３１０２が「メッセージ無」ならば「メッセージ有」に設定する。そして、送信先イベント識別子１４０５をメッセージエントリ３２００の送信先イベント識別子３２０１に設定し、メッセージエントリ３２００のアドレスをメッセージリストポインタ３１０３に設定する。チャネル状態３１０２が「メッセージ有」ならば、新たに、送信先イベント識別子１４０５を送信先イベント識別子３２０１に設定したメッセージエントリ３２００を図３２のメッセージリストに追加する。さらに、最小遷移数２乗和２９０５を更新する。
【０１３８】次に、図３７に示す遷移候補リストに、生成したグローバル状態を加える。ただし、グローバル状態リストの中のエントリ２９００にローカル状態、メッセージリストを含むチャネル状態およびイベント識別子が一致するものがある生成したグローバル状態は廃棄する。
【０１３９】以上で、遷移候補リスト更新ブロック２７０８の処理が終了した。
【０１４０】ブロック２７０８の後、遷移候補リストチェックブロック２７０９へ進む。ブロック２７０９では、図３７の遷移候補リストが空かどうかをチェックする。空ならば、シーケンス探索ブロック２５０３を終了する。空でないならば、遷移候補選択ブロック２７１０へ進む。
【０１４１】遷移候補選択ブロック２７１０では、図３７R>７の遷移候補エントリ３７００の中で、そのグローバル状態に対応する状態遷移エントリ１２００の遷移実行カウンタ１２０６が最小のものを選択し、遷移候補リストから取り除く。その後、ブロック２７０３へ進む。ブロック２７１０は、重複の少ないメッセージシーケンスを優先的に生成するために未探索の状態遷移を先に探索することを意図している。したがって、すべてのメッセージシーケンスを生成する場合には任意の候補を選択してもよい。
【０１４２】通過条件チェックブロック２７０６では、選択されたグローバル状態に属する通過状態チェックリスト３４００および通過イベントチェックリスト３５００のすべての通過フラグ３４０３および３５０３がオンであるかどうかをチェックする。オンでないものがあれば、ブロック２７０９へ進む。オンであれば、シーケンス更新ブロック２７０７へ進む。
【０１４３】図２８は、シーケンス更新ブロック２７０７の詳細な流れを示す。まず、生成シーケンス数更新ブロック２８０１では、生成シーケンス数を１増加させ、図２４に示すシーケンス生成画面の生成数２４０１を更新する。シーケンス登録ブロック２８０２では、選択されたグローバル状態のグローバル状態識別子２９０１を図３８に示すシーケンスリストに追加する。
【０１４４】遷移実行カウンタ更新ブロック２８０３では、選択されたグローバル状態から初期グローバル状態までの各グローバル状態に対応する状態遷移エントリ１２００の遷移実行カウンタ１２０６を１増加させる。シーケンス生成候補リスト更新ブロック２８０４では、図３６３６のシーケンス生成候補リストに遷移候補リストを加える。
【０１４５】以上で、シーケンス更新ブロック２７０７が終了し、シーケンス探索ブロック２５０３が終了したことになる。
【０１４６】なお、生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成する方法は、ブロック２５０２において状態遷移リストの中の非通過フラグ１２０５がオフであるすべてのエントリについて遷移実行カウンタが非ゼロであるならば終了するという処理を追加することにより実現される。
【０１４７】また、指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成する方法は、ブロック２５０２において生成シーケンス数が指定された最大個数ならば終了するという処理を追加することにより実現される。
【０１４８】これらの方法はブロック２７０１および２７１９において、重複の少ないメッセージシーケンスを優先的に生成することを意図した処理が含まれているために実現可能となっている。
【０１４９】次に、図１のメッセージシーケンス図表示機能１０６について説明する。メッセージシーケンス図表示機能１０６は、図７のシーケンス図メニュー７０２が選択されると起動される。本機能は、メッセージシーケンス情報１１３に基づくメッセージシーケンス図を表示装置２０４に表示する。メッセージシーケンス情報１１３は、図３８、および図２９から図３２に示す形式、並びに状態遷移情報１１１からなる。
【０１５０】図３９は、本機能により表示装置２０４に画面表示されるメッセージシーケンス図の例を示す。この画面は、生成されたメッセージシーケンス対応に存在する。画面上には、前シーケンスボタン３９０１、および次シーケンスボタン３９０２が設けられており、これらを操作することにより他のメッセージシーケンス図を表示させることができる。また、画面表示を終了させるための終了ボタン３９１３が設けられている。
【０１５１】図において、３９０３はシーケンス番号、３９０４はメッセージシーケンス図、３９０５と３９０６はスクロールバーを示す。シーケンス番号３９０３は、表示されているメッセージシーケンス図の、生成されたメッセージシーケンス全体における相対的位置を示す。スクロールバー３９０５と３９０６は、現在画面上に表示されている部分のメッセージシーケンス図全体における位置を示す縦と横のスクロールバーである。
【０１５２】メッセージシーケンス図３９０４は、状態遷移表名称３９０７、状態名称３９０８、受信メッセージまたは内部発生イベントに対応するイベント名称３９０９、条件名称３９１０、内部動作に対応する動作名称３９１１、および送信メッセージに対応する動作名称３９１２からなる。なお、後述する表示形式選択画面（図４０４０）により状態名称、条件名称、および内部動作名称についての表示または不表示を選択できる。
【０１５３】メッセージシーケンスは、図３８のシーケンスリストのエントリ３８００に対応するグローバル状態を出発点として遷移元グローバル状態識別子２９０６を用いて順々に初期グローバル状態に到達するまで戻ることにより得られるグローバル状態の順序列で与えられる。
【０１５４】図８の表示形式メニュー８０２が選択されると、図４０に示すメッセージシーケンス図表示形式選択画面を表示する。ボタン４００１の選択は状態名称の表示を意味する。ボタン４００２の選択は条件名称の表示を意味する。ボタン４００３の選択は内部動作名称の表示を意味する。これらのボタンは任意の組合せで選択できる。ボタンによる選択がない場合には、送受信メッセージのみを表示する。なお、終了ボタン４００４により画面表示を終了する。
【０１５５】図８の解析条件メニュー８０３が選択されると、図４１に示す解析条件設定画面を表示する。フィールド４１０１には前述のチャネル容量チェックブロック２７０４におけるチャネル容量最大値を設定する。なお、終了ボタン４１０２により画面表示を終了する。
【０１５６】以上で説明した実施例では状態遷移仕様として状態遷移表が与えられる場合を仮定したが、状態遷移仕様として状態遷移図が与えられる場合でも、図１７の表示画面を除いて本発明は適用可能である。
【０１５７】
【発明の効果】本発明によれば、次に示すような効果がある。
（１）状態遷移仕様からメッセージシーケンスを生成する場合の受信メッセージを含むイベントの制約条件以外に状態に関する制約条件も指定することができる。
（２）状態遷移表により制約条件を入力するので、制約条件の入力は非常に容易である。
（３）利用目的に合わせて表示するメッセージシーケンス図の詳細度を変更することが可能である。
（４）設計者のチェック可能な限度を越える多数のメッセージシーケンスを生成しないようにできる。
（５）同一のメッセージに対して送信側と受信側で異なる名称を与えられた状態遷移仕様に対しても処理することができる。
【０１５８】したがって、内容把握の難しい状態遷移仕様に対して理解が容易なメッセージシーケンス図の中で設計者が必要とするものだけを提示できるため、仕様の検証、レビュー、および保守が容易になるという効果がある。
【図面の簡単な説明】
【図１】図１は、本発明のメッセージシーケンス生成方法を実現する装置の機能構成の一例を示す図である。
【図２】図２は、本発明を適用したメッセージシーケンス生成装置のハードウェア構成の一例を示す図である。
【図３】図３は、状態遷移表の一例を示す図である。
【図４】図４は、起動初期画面の一例を示す図である。
【図５】図５は、ファイルメニューの一例を示す図である。
【図６】図６は、生成メニューの一例を示す図である。
【図７】図７は、表示メニューの一例を示す図である。
【図８】図８は、オプションメニューの一例を示す図である。
【図９】図９は、状態遷移表リストの一例を示す図である。
【図１０】図１０は、状態リストの一例を示す図である。
【図１１】図１１は、イベントリストの一例を示す図である。
【図１２】図１２は、状態遷移リストの一例を示す図である。
【図１３】図１３は、処理リストの一例を示す図である。
【図１４】図１４は、動作リストの一例を示す図である。
【図１５】図１５は、チャネルリストの一例を示す図である。
【図１６】図１６は、入出力関係情報表示画面の一例を示す図である。
【図１７】図１７は、生成条件入力画面の一例を示す図である。
【図１８】図１８は、生成条件リストの一例を示す図である。
【図１９】図１９は、通過状態リストの一例を示す図である。
【図２０】図２０は、通過イベントリストの一例を示す図である。
【図２１】図２１は、非通過状態リストの一例を示す図である。
【図２２】図２２は、非通過イベントリストの一例を示す図である。
【図２３】図２３は、メッセージシーケンス生成方法選択表示画面の一例を示す図である。
【図２４】図２４は、メッセージシーケンス生成中表示画面の一例を示す図である。
【図２５】図２５は、メッセージシーケンス生成方法の概要のフローチャートの一例を示す図である。
【図２６】図２６は、メッセージシーケンス生成方法の中の初期化処理のフローチャートの一例を示す図である。
【図２７】図２７は、メッセージシーケンス生成方法の中のシーケンス探索処理のフローチャートの一例を示す図である。
【図２８】図２８は、メッセージシーケンス生成方法の中のシーケンス更新処理のフローチャートの一例を示す図である。
【図２９】図２９は、グローバル状態リストの一例を示す図である。
【図３０】図３０は、ローカル状態リストの一例を示す図である。
【図３１】図３１は、チャネル状態リストの一例を示す図である。
【図３２】図３２は、メッセージリストの一例を示す図である。
【図３３】図３３は、通過条件レコードの一例を示す図である。
【図３４】図３４は、通過状態チェックリストの一例を示す図である。
【図３５】図３５は、通過イベントチェックリストの一例を示す図である。
【図３６】図３６は、シーケンス生成候補リストの一例を示す図である。
【図３７】図３７は、遷移候補リストの一例を示す図である。
【図３８】図３８は、シーケンスリストの一例を示す図である。
【図３９】図３９は、メッセージシーケンス図表示画面の一例を示す図である。
【図４０】図４０は、メッセージシーケンス図表示形式選択画面の一例を示す図である。
【図４１】図４１は、解析条件設定画面の一例を示す図である。
【符号の説明】
１０１…実行制御機能、１０２…状態遷移仕様編集機能、１１１…状態遷移情報、１０３…入出力関係情報入力機能、１０４…生成条件情報入力機能、１１２…生成条件情報、１０５…メッセージシーケンス生成機能、１１３…メッセージシーケンス情報、１０６…メッセージシーケンス図表示機能、２０１…入力装置、２０２…処理装置、２０３…記憶装置、２０４…表示装置。
【特許請求の範囲】
【請求項１】計算機および対話用端末を有する情報処理装置を用いて、通信ソフトウェアに関するメッセージシーケンスを生成する方法であって、該通信ソフトウェアに関する状態遷移仕様を入力する状態遷移仕様入力ステップと、該状態遷移仕様に基づいて、状態遷移表を生成し表示するステップと、該状態遷移表の中の各状態遷移に対してメッセージシーケンスを生成する際の生成条件を入力する生成条件入力ステップと、前記状態遷移仕様から前記生成条件を満足するメッセージシーケンスを生成するメッセージシーケンス生成ステップとを備えたことを特徴とするメッセージシーケンス生成方法。
【請求項２】さらに、前記生成したメッセージシーケンスに基づくメッセージシーケンス図を前記対話用端末に表示する表示ステップを備えた請求項１に記載のメッセージシーケンス生成方法。
【請求項３】前記メッセージシーケンス図の表示ステップは、送受信されるメッセージ、メッセージの送受信により変化する状態、分岐条件、および内部処理の中から任意に組合せて指定された構成要素からなるメッセージシーケンス図を表示する請求項２に記載のメッセージシーケンス生成方法。
【請求項４】前記状態遷移表は、遷移前の各状態と発生する各イベントとに応じてどのように状態が遷移するかを一覧表形式で表したものであり、前記生成条件入力ステップでは、前記状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンスの開始点となる初期状態および初期イベントの指定、並びに(ii)生成するメッセージシーケンスの終了点となる終端状態および／または終端イベントの指定を行なう請求項１ないし３に記載のメッセージシーケンス生成方法。
【請求項５】さらに、前記生成条件入力ステップでは、前記状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンス中に必ず含まれる状態の指定、(ii)生成するメッセージシーケンス中に必ず含まれるイベントの指定、(iii) 生成するメッセージシーケンス中には必ず含まれない状態の指定、および／または、(iv)生成するメッセージシーケンス中には必ず含まれないイベントの指定を行なう請求項４に記載のメッセージシーケンス生成方法。
【請求項６】前記メッセージシーケンス生成ステップは、既に生成したメッセージシーケンスとの状態遷移の重複が少ないメッセージシーケンスを優先的に生成する請求項１ないし５に記載のメッセージシーケンス生成方法。
【請求項７】前記メッセージシーケンス生成ステップは、生成されるメッセージシーケンスの最大個数を指定させるステップを含むとともに、生成メッセージシーケンス数が指定された最大個数に達した場合に生成を終了する請求項１ないし６に記載のメッセージシーケンス生成方法。
【請求項８】前記メッセージシーケンス生成ステップは、(i) 前記生成条件を満足するすべてのメッセージシーケンスを生成するか、(ii)前記生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成するか、または、(iii) 指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成するかを、指定することができ、指定された方法に従ってメッセージシーケンスを生成する請求項１ないし７に記載のメッセージシーケンス生成方法。
【請求項９】さらに、前記状態遷移仕様入力ステップで入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで付した名称を表示するステップを備えた請求項１ないし８に記載のメッセージシーケンス生成方法。
【請求項１０】さらに、前記状態遷移仕様入力ステップで入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで異なる名称が付与されている場合に、送信側名称と受信側名称とを関連付けるための対応関係情報を入力するステップを備えた請求項１ないし９に記載のメッセージシーケンス生成方法。
【請求項１１】通信ソフトウェアに関するメッセージシーケンスを生成する装置であって、該通信ソフトウェアに関する状態遷移仕様を入力する状態遷移仕様入力手段と、該状態遷移仕様に基づいて、状態遷移表を生成し表示する手段と、該状態遷移表の中の各状態遷移に対してメッセージシーケンスを生成する際の生成条件を入力する生成条件入力手段と、前記状態遷移仕様から前記生成条件を満足するメッセージシーケンスを生成するメッセージシーケンス生成手段とを備えたことを特徴とするメッセージシーケンス生成装置。
【請求項１２】さらに、前記生成したメッセージシーケンスに基づくメッセージシーケンス図を表示する手段を備えた請求項１１に記載のメッセージシーケンス生成装置。
【請求項１３】前記メッセージシーケンス図を表示する手段は、送受信されるメッセージ、メッセージの送受信により変化する状態、分岐条件、および内部処理の中から任意に組合せて指定された構成要素からなるメッセージシーケンス図を表示する請求項１２に記載のメッセージシーケンス生成装置。
【請求項１４】前記状態遷移表は、遷移前の各状態と発生する各イベントとに応じてどのように状態が遷移するかを一覧表形式で表したものであり、前記生成条件入力手段では、前記状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンスの開始点となる初期状態および初期イベントの指定、並びに(ii)生成するメッセージシーケンスの終了点となる終端状態および／または終端イベントの指定を行なうことができる請求項１１ないし１３に記載のメッセージシーケンス生成装置。
【請求項１５】さらに、前記生成条件入力手段では、前記状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンス中に必ず含まれる状態の指定、(ii)生成するメッセージシーケンス中に必ず含まれるイベントの指定、(iii) 生成するメッセージシーケンス中には必ず含まれない状態の指定、および／または、(iv)生成するメッセージシーケンス中には必ず含まれないイベントの指定を行なうことができる請求項１４に記載のメッセージシーケンス生成装置。
【請求項１６】前記メッセージシーケンス生成手段は、既に生成したメッセージシーケンスとの状態遷移の重複が少ないメッセージシーケンスを優先的に生成する請求項１１ないし１５に記載のメッセージシーケンス生成装置。
【請求項１７】前記メッセージシーケンス生成手段は、生成されるメッセージシーケンスの最大個数を指定させる手段を含むとともに、生成メッセージシーケンス数が指定された最大個数に達した場合に生成を終了する請求項１１ないし１６に記載のメッセージシーケンス生成装置。
【請求項１８】前記メッセージシーケンス生成手段では、(i) 前記生成条件を満足するすべてのメッセージシーケンスを生成するか、(ii)前記生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成するか、または、(iii) 指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成するかを、指定することができ、指定された方法に従ってメッセージシーケンスを生成する請求項１１ないし１７に記載のメッセージシーケンス生成装置。
【請求項１９】さらに、前記状態遷移仕様入力手段で入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで付した名称を表示する手段を備えた請求項１１ないし１８に記載のメッセージシーケンス生成装置。
【請求項２０】さらに、前記状態遷移仕様入力手段で入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで異なる名称が付与されている場合に、送信側名称と受信側名称とを関連付けるための対応関係情報を入力する手段を備えた請求項１１ないし１９に記載のメッセージシーケンス生成装置。
【請求項１】計算機および対話用端末を有する情報処理装置を用いて、通信ソフトウェアに関するメッセージシーケンスを生成する方法であって、該通信ソフトウェアに関する状態遷移仕様を入力する状態遷移仕様入力ステップと、該状態遷移仕様に基づいて、状態遷移表を生成し表示するステップと、該状態遷移表の中の各状態遷移に対してメッセージシーケンスを生成する際の生成条件を入力する生成条件入力ステップと、前記状態遷移仕様から前記生成条件を満足するメッセージシーケンスを生成するメッセージシーケンス生成ステップとを備えたことを特徴とするメッセージシーケンス生成方法。
【請求項２】さらに、前記生成したメッセージシーケンスに基づくメッセージシーケンス図を前記対話用端末に表示する表示ステップを備えた請求項１に記載のメッセージシーケンス生成方法。
【請求項３】前記メッセージシーケンス図の表示ステップは、送受信されるメッセージ、メッセージの送受信により変化する状態、分岐条件、および内部処理の中から任意に組合せて指定された構成要素からなるメッセージシーケンス図を表示する請求項２に記載のメッセージシーケンス生成方法。
【請求項４】前記状態遷移表は、遷移前の各状態と発生する各イベントとに応じてどのように状態が遷移するかを一覧表形式で表したものであり、前記生成条件入力ステップでは、前記状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンスの開始点となる初期状態および初期イベントの指定、並びに(ii)生成するメッセージシーケンスの終了点となる終端状態および／または終端イベントの指定を行なう請求項１ないし３に記載のメッセージシーケンス生成方法。
【請求項５】さらに、前記生成条件入力ステップでは、前記状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンス中に必ず含まれる状態の指定、(ii)生成するメッセージシーケンス中に必ず含まれるイベントの指定、(iii) 生成するメッセージシーケンス中には必ず含まれない状態の指定、および／または、(iv)生成するメッセージシーケンス中には必ず含まれないイベントの指定を行なう請求項４に記載のメッセージシーケンス生成方法。
【請求項６】前記メッセージシーケンス生成ステップは、既に生成したメッセージシーケンスとの状態遷移の重複が少ないメッセージシーケンスを優先的に生成する請求項１ないし５に記載のメッセージシーケンス生成方法。
【請求項７】前記メッセージシーケンス生成ステップは、生成されるメッセージシーケンスの最大個数を指定させるステップを含むとともに、生成メッセージシーケンス数が指定された最大個数に達した場合に生成を終了する請求項１ないし６に記載のメッセージシーケンス生成方法。
【請求項８】前記メッセージシーケンス生成ステップは、(i) 前記生成条件を満足するすべてのメッセージシーケンスを生成するか、(ii)前記生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成するか、または、(iii) 指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成するかを、指定することができ、指定された方法に従ってメッセージシーケンスを生成する請求項１ないし７に記載のメッセージシーケンス生成方法。
【請求項９】さらに、前記状態遷移仕様入力ステップで入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで付した名称を表示するステップを備えた請求項１ないし８に記載のメッセージシーケンス生成方法。
【請求項１０】さらに、前記状態遷移仕様入力ステップで入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで異なる名称が付与されている場合に、送信側名称と受信側名称とを関連付けるための対応関係情報を入力するステップを備えた請求項１ないし９に記載のメッセージシーケンス生成方法。
【請求項１１】通信ソフトウェアに関するメッセージシーケンスを生成する装置であって、該通信ソフトウェアに関する状態遷移仕様を入力する状態遷移仕様入力手段と、該状態遷移仕様に基づいて、状態遷移表を生成し表示する手段と、該状態遷移表の中の各状態遷移に対してメッセージシーケンスを生成する際の生成条件を入力する生成条件入力手段と、前記状態遷移仕様から前記生成条件を満足するメッセージシーケンスを生成するメッセージシーケンス生成手段とを備えたことを特徴とするメッセージシーケンス生成装置。
【請求項１２】さらに、前記生成したメッセージシーケンスに基づくメッセージシーケンス図を表示する手段を備えた請求項１１に記載のメッセージシーケンス生成装置。
【請求項１３】前記メッセージシーケンス図を表示する手段は、送受信されるメッセージ、メッセージの送受信により変化する状態、分岐条件、および内部処理の中から任意に組合せて指定された構成要素からなるメッセージシーケンス図を表示する請求項１２に記載のメッセージシーケンス生成装置。
【請求項１４】前記状態遷移表は、遷移前の各状態と発生する各イベントとに応じてどのように状態が遷移するかを一覧表形式で表したものであり、前記生成条件入力手段では、前記状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンスの開始点となる初期状態および初期イベントの指定、並びに(ii)生成するメッセージシーケンスの終了点となる終端状態および／または終端イベントの指定を行なうことができる請求項１１ないし１３に記載のメッセージシーケンス生成装置。
【請求項１５】さらに、前記生成条件入力手段では、前記状態遷移表の各状態および各イベントに対して、(i) 生成するメッセージシーケンス中に必ず含まれる状態の指定、(ii)生成するメッセージシーケンス中に必ず含まれるイベントの指定、(iii) 生成するメッセージシーケンス中には必ず含まれない状態の指定、および／または、(iv)生成するメッセージシーケンス中には必ず含まれないイベントの指定を行なうことができる請求項１４に記載のメッセージシーケンス生成装置。
【請求項１６】前記メッセージシーケンス生成手段は、既に生成したメッセージシーケンスとの状態遷移の重複が少ないメッセージシーケンスを優先的に生成する請求項１１ないし１５に記載のメッセージシーケンス生成装置。
【請求項１７】前記メッセージシーケンス生成手段は、生成されるメッセージシーケンスの最大個数を指定させる手段を含むとともに、生成メッセージシーケンス数が指定された最大個数に達した場合に生成を終了する請求項１１ないし１６に記載のメッセージシーケンス生成装置。
【請求項１８】前記メッセージシーケンス生成手段では、(i) 前記生成条件を満足するすべてのメッセージシーケンスを生成するか、(ii)前記生成条件を満足するメッセージシーケンスの中で非通過指定されたものを除くすべての状態遷移を網羅する組合せを生成するか、または、(iii) 指定された最大個数までで重複が少ないメッセージシーケンスの組合せを生成するかを、指定することができ、指定された方法に従ってメッセージシーケンスを生成する請求項１１ないし１７に記載のメッセージシーケンス生成装置。
【請求項１９】さらに、前記状態遷移仕様入力手段で入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで付した名称を表示する手段を備えた請求項１１ないし１８に記載のメッセージシーケンス生成装置。
【請求項２０】さらに、前記状態遷移仕様入力手段で入力された状態遷移仕様に関して、同一のメッセージに対して送信側と受信側とで異なる名称が付与されている場合に、送信側名称と受信側名称とを関連付けるための対応関係情報を入力する手段を備えた請求項１１ないし１９に記載のメッセージシーケンス生成装置。
【図２】
【図１】
【図４】
【図１９】
【図２０】
【図２１】
【図３】
【図６】
【図５】
【図８】
【図７】
【図９】
【図１０】
【図１１】
【図１３】
【図１２】
【図１４】
【図２２】
【図３１】
【図１５】
【図１６】
【図３２】
【図３３】
【図１７】
【図２３】
【図１８】
【図２４】
【図３０】
【図２５】
【図２９】
【図２６】
【図３４】
【図３５】
【図３６】
【図３７】
【図２７】
【図３８】
【図２８】
【図４０】
【図３９】
【図４１】
【図１】
【図４】
【図１９】
【図２０】
【図２１】
【図３】
【図６】
【図５】
【図８】
【図７】
【図９】
【図１０】
【図１１】
【図１３】
【図１２】
【図１４】
【図２２】
【図３１】
【図１５】
【図１６】
【図３２】
【図３３】
【図１７】
【図２３】
【図１８】
【図２４】
【図３０】
【図２５】
【図２９】
【図２６】
【図３４】
【図３５】
【図３６】
【図３７】
【図２７】
【図３８】
【図２８】
【図４０】
【図３９】
【図４１】
【公開番号】特開平６−１５２６８４
【公開日】平成６年（１９９４）５月３１日
【国際特許分類】
【出願番号】特願平４−３２２４３０
【出願日】平成４年（１９９２）１１月６日
【出願人】（０００００５１０８）株式会社日立製作所 (27,607)
【公開日】平成６年（１９９４）５月３１日
【国際特許分類】
【出願日】平成４年（１９９２）１１月６日
【出願人】（０００００５１０８）株式会社日立製作所 (27,607)
[ Back to top ]