JPH07168712A

JPH07168712A - メッセージシーケンス生成装置

Info

Publication number: JPH07168712A
Application number: JP5314710A
Authority: JP
Inventors: Yasuko Fukuzawa; 寧子福澤; Satoshi Miyazaki; 聡宮崎; Kenya Nishiki; 健哉西木; Haruo Sakurai; 春雄桜井; Kousuke Tanida; 耕救谷田
Original assignee: Hitachi Ltd
Current assignee: Hitachi Ltd
Priority date: 1993-12-15
Filing date: 1993-12-15
Publication date: 1995-07-04

Abstract

(57)【要約】（修正有）【目的】状態遷移仕様からメッセージシーケンスを生
成する方式において、状態遷移仕様の更新情報を生成済
みのメッセージシーケンスに反映できるようにする。【構成】メッセージシーケンス生成装置は、更新前後
の状態遷移仕様情報を生成する編集機能１０２と、メッ
セージシーケンス図情報を生成する機能１０３と、更新
前後の状態遷移仕様情報から更新情報を抽出する機能１
０４と、状態遷移仕様のメッセージの送受信関係につい
て不足情報を入力させる機能１０５と、更新前メッセー
ジシーケンス情報から制約条件情報１１５を生成する機
能１０６と、制約条件情報を状態遷移仕様の更新情報を
用いて更新する機能１０７と、更新後メッセージシーケ
ンス生成のための制約条件の追加入力機能１０８と、更
新後の状態遷移仕様から、制約条件情報と更新後メッセ
ージシーケンス情報を用いてメッセージシーケンスを生
成する機能１０９とを備える。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、メッセージシーケンス
生成装置に関し、更に詳しくは、通信ソフトウェアに関
する状態遷移表等において、状態遷移仕様の更新情報を
メッセージシーケンスで表現された外部仕様に反映する
メッセージシーケンス生成装置に関する。

【０００２】

【従来の技術】通信ソフトウェア仕様に関する状態遷移
図等の状態遷移仕様から、メッセージシーケンス等の外
部仕様を自動的に生成するメッセージシーケンス生成方
法に関しては、例えば、磯田定宏、他による「統合化Ｃ
ＡＳＥシステムＳｏｆｔＤＡの機能」、コンピュータソ
フトウェア（日本ソフトウェア科学会編集、１９９３．
５．ｖｏｌ．１０、Ｎｏ．２において述べられている。

【０００３】上記文献では、上流設計仕様（外部仕様）
においてなされた修正を下流の設計仕様（状態遷移仕
様）に反映し、また、これとは逆に、下流の設計仕様に
おいてなされた修正を上流の設計仕様に反映するための
統合化ＣＡＳＥツールが開示されている。

【０００４】

【発明が解決しようとする課題】然るに、従来のこの種
の技術には、次に示すような問題があった。

【０００５】一般に、通信ソフトウェアを含むソフトウ
ェアの設計開発では、例えば、下流工程のソフトウェア
設計中に誤りや不都合等を発見した場合、下流工程で修
正を行なったり、上流工程に戻って仕様を修正するとい
うような反復した設計が行なわれる。

【０００６】通信ソフトウェアにおいては、上流設計仕
様である外部仕様（メッセージシーケンス）と、下流設
計仕様である状態遷移仕様（状態遷移図／状態遷移表）
の相互変換を利用した反復設計が行われており、単にメ
ッセージシーケンスを修正するに止まらず、状態遷移仕
様においても人手による不足情報の追加あるいは修正が
施されることが多い。従って、メッセージシーケンスに
おける修正をこれと対応する状態遷移仕様に反映し、ま
た、状態遷移仕様における修正をこれと対応するメッセ
ージシーケンスに反映することが必要になる。状態遷移
仕様における修正をメッセージシーケンスへ反映する例
として、次のような場合がある。

【０００７】（１）上流への影響がない場合：例えば、
メッセージシーケンスに含まれない情報を修正する場
合。（２）上流への影響がある場合：例えば、通過状態の名
称を変更する場合。（３）禁止される場合：例えば、遷移先状態の変更等、
対応するメッセージシーケンスの修正が一意に決定でき
ない場合。

【０００８】上述した従来技術では、上記（２）（３）
に該当する修正を下流工程では行わず、上流工程に戻っ
て、仕様を修正するようにしている。つまり、メッセー
ジシーケンスに影響を与える状態遷移仕様の修正を状態
遷移仕様上で行なうことを禁止している。

【０００９】本発明の第１の目的は、状態遷移表等、状
態遷移仕様の更新情報をそれと対応する更新前メッセー
ジシーケンスに反映できるようにしたメッセージシーケ
ンス生成装置を提供することである。

【００１０】本発明の第２の目的は、更新後メッセージ
シーケンスが一意に決定できない場合に、利用者の所望
度の高い更新後メッセージシーケンスを優先的に生成す
ることが可能なメッセージシーケンス生成装置を提供す
ることにある。

【００１１】本発明の第３の目的は、更新前後のメッセ
ージシーケンス図の更新内容を明示的に表示できるメッ
セージシーケンス生成装置を提供することにある。

【００１２】

【課題を解決するための手段】本発明では、上記第１の
目的を達成するために、計算機および対話用端末からな
る情報処理装置に、上記対話用端末から通信ソフトウェ
ア仕様として入力された更新前後の状態遷移仕様を記憶
するための手段と、更新前のメッセージシーケンスを記
憶するための手段と、更新前後の状態遷移仕様から更新
情報を抽出するための手段と、更新前のメッセージシー
ケンスから制約条件を抽出するための手段と、状態遷移
仕様の更新情報で制約条件を更新するための手段と、更
新後状態遷移仕様から制約条件を満たす更新後メッセー
ジシーケンスを生成するための手段と、更新後メッセー
ジシーケンスを上記対話用端末の表示画面に出力するた
めの手段とを設けたことを特徴とする。

【００１３】上記第２の目的を達成するために、本発明
では、メッセージシーケンス生成における制約条件を追
加入力できるようにし、上記追加入力された優先緩和条
件に従って制約条件を緩和する手段を設けたことを特徴
とする。

【００１４】また、上記第３の目的を達成するために、
本発明では、更新前後の状態遷移仕様の更新情報を抽出
するための手段と、更新情報を制約条件に反映して表示
画面に出力するための手段と、更新前後のメッセージシ
ーケンスを更新情報を識別するための手段と、メッセー
ジシーケンスの更新情報と状態遷移仕様の更新情報を更
新後のメッセージシーケンスに識別可能に表示するため
の手段を設けたことを特徴とする。

【００１５】

【作用】本発明によれば、更新前後の状態遷移仕様の更
新情報を抽出することにより、更新後の状態遷移仕様と
更新前メッセージシーケンスから、状態遷移仕様の更新
情報を反映した更新後メッセージシーケンスを生成する
ことができる。

【００１６】また、制約条件を追加指定することによ
り、更新後メッセージシーケンス存在しない、あるいは
一意に決定できない場合には、利用者の望む更新後メッ
セージシーケンスを生成することができる。

【００１７】また、更新前後の状態遷移仕様の更新情報
を識別することにより、制約条件の更新を明示的に表示
することができ、更新前後のメッセージシーケンスの更
新情報と状態遷移仕様の更新情報から、メッセージシー
ケンスの更新内容を明示的に表示することができる。

【００１８】

【実施例】本発明のメッセージシーケンス生成装置で
は、更新後のメッセージシーケンスの生成処理におい
て、更新前のメッセージシーケンスから抽出した制約条
件を状態遷移仕様の更新情報に基づいて更新することに
より、更新後のメッセージシーケンスの生成の効率およ
び精度を上げるようにしたことを１つの特徴とする。状
態遷移仕様の更新の程度によっては、制約条件を全て満
たすような更新後メッセージシーケンスが存在しない場
合、あるいはこのようなメッセージシーケンスを一意に
決定できない場合があるが、本発明では、このような場
合に、制約条件を緩和することによって、更新後メッセ
ージシーケンスの候補を生成することを１つの特徴とす
る。

【００１９】上記制約条件の緩和方法として、以下に述
べる本発明の実施例１では、到達可能性解析により可能
性のある全てのメッセージシーケンスを生成し、生成し
たメッセージシーケンスが制約条件を満たす程度を評価
することによって、緩和処理を実現する。この実施例に
よれば、到達可能性解析で生成されるメッセージシーケ
ンスの数は莫大になる可能性があるが、比較的小規模な
状態遷移仕様に対しては有効である。

【００２０】本発明の実施例２では、全制約条件に対
し、満たすべき制約条件の数を順次緩和しながら制約条
件を取り出し、取り出された制約条件を満たすメッセー
ジシーケンスを生成する。制約条件を緩和すると、状態
遷移仕様の規模によっては、検証すべき制約条件の組合
せ数が大きな数となってしまう。従って、この方法は状
態遷移仕様の変更が少ない場合、あるいは状態遷移仕様
の規模が小さい場合には有効である。本発明の実施例３
では、制約条件の発生段階が早いものを優先して制約条
件を緩和する。

【００２１】（実施例１）図２は、本発明を適用する状
態遷移仕様生成システムのハードウェア構成の一例を示
す。このシステムは、２０１はコマンド等を入力するた
めのキーボードあるいはマウスを備えた入力装置、２０
２は処理装置、２０３はデータとプログラムを格納する
ための記憶装置、２０４はコマンドの実行結果、記憶し
ているデータの内容、あるいは利用者に対するメッセー
ジ等を表示するための表示装置２０４からなっている。

【００２２】図１は、上記システムにおけるプログラム
の機能と記憶装置に記憶される情報との関係を示すブロ
ック図である。実行制御ルーチン１０１は、入力装置２
０１から入力されたコマンドを受け付け、コマンドに対
応した機能（ルーチン）を起動する。１０２は、使用者
による状態遷移仕様の新規作成あるいは更新のための操
作を支援し、更新前状態遷移仕様情報１１１と更新後状
態遷移仕様情報１１２を生成するための状態遷移仕様編
集機能、１０３は、使用者によるメッセージシーケンス
図の生成操作を支援し、メッセージシーケンス図情報１
１４を生成するためのメッセージシーケンス図の生成機
能、１０４は、更新前状態遷移仕様情報１１１と更新後
状態遷移仕様情報１１２を比較し、更新情報の抽出と更
新情報１１３の生成を行うための状態遷移仕様更新情報
抽出機能、１０５は、モジュール毎に記述された更新後
の状態遷移仕様のメッセージの送受信関係を表示し、使
用者に関係の確認、修正、追加を入力させ、更新後の状
態遷移仕様情報１１２を更新するための入出力関係不足
情報入力機能、１０６は、更新前メッセージシーケンス
情報１１４からメッセージシーケンスの制約条件を抽出
し、制約条件情報１１５を生成するメッセージシーケン
スの制約条件抽出機能、１０７は、状態遷移仕様の更新
情報１１３を用いて制約条件情報１１５を更新するメッ
セージシーケンスの制約条件更新機能、１０８は、使用
者が更新後メッセージシーケンス生成のための追加条件
を入力することを支援し、制約条件情報１１５に記憶す
る制約条件追加入力機能、１０９は、更新後の状態遷移
仕様情報１１２と制約条件１１５を用いて、更新後の状
態遷移仕様に対応する更新後メッセージシーケンス情報
１１６を生成する更新後メッセージシーケンス生成機
能、１１０は、更新後メッセージシーケンス情報１１６
に基づき、メッセージシーケンス図を表示装置２０４に
表示するメッセージシーケンス表示機能を示す。

【００２３】以下、状態遷移仕様が状態遷移表によって
記述された場合を例として、図１の各機能（ルーチン）
の詳細を説明する。

【００２４】状態遷移仕様編集機能１０２には、状態遷
移表作成を直接支援する機能と、状態遷移図から状態遷
移表への変換を支援する機能等が含まれる。これらの機
能については、例えば、特開平１−１５２５７６号、あ
るいは特開平２−１００４４４号公報において述べられ
ているため、ここでは説明を省略する。状態遷移表の一
例を図３に示す。図３において、９００は状態遷移表名
称を示し、状態遷移表の上端横列の各枠９０１、９０２
はモジュールの取りうる状態を、また、左端縦列の各枠
９０３、９０４は他のモジュールからのメッセージ受信
を含む発生イベントを表す。上記状態遷移表名称９００
は、システムあるいは使用者によって、状態遷移表毎に
一意に割り当てる。状態とイベントとの各交差位置に位
置する枠には、その枠と対応する状態において、その枠
に対応するイベントが発生した場合に処理すべき内容
（状態遷移）が定義される。例えば、枠９０５は、状態
Ｓ０においてイベントＥｎが発生した場合の処理内容が
定義される。処理内容としては、例えば、該当処理を実
行するための条件９０６、メッセージ送信を含む動作９
０７、動作処理終了後の遷移先状態９０８が記述され
る。なお、条件や、条件に対応する動作はの個数は０で
あってもよいし、複数個あってもよい。状態遷移表はモ
ジュール毎に定義される。

【００２５】図４は、更新前状態遷移仕様情報１１１と
して記憶される状態遷移表の具体的な１例を示す。図４
において、１００１は更新前の状態遷移表毎に一意に割
り当てられている状態遷移表名称、１００２は状態名称
の１つ、１００３は他のモジュールからのメッセージ受
信を含む発生イベントの１つである。例えば、状態「Ｃ
ＬＯＳＥＤ」１００２と、イベント「ＴＣＯＮ−ＲＥ
Ｑ」１００３とが交差する位置にある枠１００４には、
状態「ＣＬＯＳＥＤ」においてイベント「ＴＣＯＮ−Ｒ
ＥＱ」が発生した場合に実行すべき処理の内容として、
もし条件Ｐ２を満たしていれば、「ＮＣＯＮ−ＲＥＱ」
を送信した後、状態「ＷＦＮＣ」に遷移すること、およ
び、もし条件Ｐ４を満たしていれば、状態「ＷＦＮＣ」
に遷移することが定義されている。

【００２６】図５は、上記図４に示した状態遷移表の内
容の１部を更新したもの、すなわち、更新後状態遷移仕
様情報１１２に記憶される状態遷移表１例を示す。図５
の状態遷移表は、図４の状態遷移表から次の（１）〜
（４）において内容変更されている。

【００２７】（１）状態名称「ＣＬＯＳＥＤ」を「ＣＬ
ＯＳＥＤ１」に名称変更（枠１２０１、および処理定義
枠内の遷移先状態名称）。（２）状態「ＯＰＥＮ２」を追加（枠１２０２）。（３）イベント「ＣＣ２」を追加（枠１２０３）。（４）状態「ＷＦＣＣ」においてイベント「ＣＣ」が発
生した場合の遷移先状態を「ＯＰＥＮ」から「ＯＰＥＮ
２」に変更（枠１２０４）。なお、状態遷移表名称１２００は、更新前の状態遷移表
名称１００１と一致しており、図５の状態遷移表が図４
に示した状態遷移表を更新したものであることを表わし
ている。

【００２８】メッセージシーケンス図生成機能１０３
は、上述した状態遷移表からメッセージシーケンス図を
生成するための操作を支援するルーチンである。なお、
メッセージシーケンスの生成方法については公知であ
り、例えば、森保健治他著、通信プロトコルにおけるリ
バースエンジニアリング、１９９１年電子情報通信学会
春季大会講演論文集、第３冊、９８頁に１例が示されて
いるため、ここでは詳細説明を省略する。上記文献に
は、複数の状態遷移図仕様から到達可能解析を用いてメ
ッセージシーケンスを自動的に生成する場合に、生成メ
ッセージシーケンスを特徴付ける制約条件を、各状態遷
移図に対応する部分メッセージシーケンスの積、和、補
集合として与え、これらの制約条件を満たすメッセージ
シーケンスを生成する方式が開示されている。

【００２９】図６は、図４に状態遷移表から生成され、
更新前メッセージシーケンス情報１１４として記憶され
るたメッセージシーケンス図の一例を示す。１１００は
メッセージシーケンスの名称であり、システムあるいは
使用者によって、メッセージシーケンス毎に一意に割り
当てる。１１０１、１１０２、１１０３、１１０４はそ
れぞれ送受信関係のあるモジュールを示し、１１０５、
１１０６、１１０７、１１０８は各モジュールの名称を
示す。

【００３０】メッセージシーケンス図は、状態名称１１
０９、受信メッセージまたは内部発生イベントに対応す
るイベント名称１１１０、条件名称１１１１、内部動作
に対応する動作名称１１１２からなり、条件や各条件に
対応する動作の個数は０個であってもよいし、複数個あ
ってもよい。メッセージシーケンス図は、初期状態１１
０９を出発点として、終端状態１１１３に達するまでの
遷移内容を時系列に示している。

【００３１】以下、本発明に基づく更新後メッセージシ
ーケンスの生成処理の詳細を、図４に示した更新前状態
遷移表と、これ対応する図６に示した更新前メッセージ
シーケンス図と、図５に示した更新後状態遷移表を参照
しながら説明する。

【００３２】状態遷移仕様の更新情報抽出機能１０４
は、更新前の状態遷移仕様情報１１１と更新後の状態遷
移仕様１１２とから、更新情報を抽出することにある。

【００３３】図７は更新情報抽出機能１０４で実行する
処理の一例を示す。

【００３４】先ず、初期化処理として、変数ｊ＝１とし
た後（ステップ３０１）、ｊが更新前状態遷移表数を超
えか否かを判定する（ステップ３０２）。もしｊが更新
前状態遷移表数を超えていれば、このルーチンを終了し
（ＥＮＤ）、ｊが更新前状態遷移表数以下であれば、ス
テップ３０３で、ｊ番目の更新前状態遷移表と、このｊ
番目の更新前状態遷移表と同一の状態遷移表名称をもつ
更新後状態遷移表とを取り出す。次に、状態名称の変更
を判別し（ステップ３０４）、イベント名称の変更を判
別（ステップ３０５）した後、ｊに１を加えて（ステッ
プ３０６）、ステップ３０２に戻る。このルーチンを実
行することによって、図４の更新前状態遷移表が選択さ
れた時、これと同一の状態遷移表名称をもつ図５の更新
後状態遷移表が取り出される。

【００３５】図８と図９は、上記図３のステップ３０４
で行う状態名称の変更判別処理の詳細を示す。先ず、更
新前後の状態名称の各々に設けられたチェックフラグを
ＯＦＦにしておき（ステップ４０１）、図１０に示すよ
うな状態名称更新識別テーブルを生成し、更新情報１１
３としてに記憶する（ステップ４０２）。

【００３６】図１０の状態名称更新識別テーブルにおい
て、１３００は比較した状態遷移表の名称であり、１３
０１は更新前状態遷移表の状態名称の１つ、１３０２は
更新後状態遷移表の状態名称１つを示す。更新前の状態
名称と更新後の状態名称との交差位置にある枠１３０３
には、枠に対応する更新前状態名称が枠に対応する更新
後状態名称に変更された可能性を示す情報が記述され
る。

【００３７】図８に戻って、ステップ４０２で、状態名
称更新識別テーブルにおける各更新前状態と各更新後状
態との交点に「０」を設定した後、変数をｉ＝１とし
（ステップ４０３）、更新前状態遷移表のｉ番目の状態
名称と更新後状態遷移表の状態名称を比較する（ステッ
プ４０４）。例えば、ｉ＝１の時は、更新前の状態遷移
表の第１番目の状態「ＣＬＯＳＥＤ」は、更新後の状態
遷移表のどの状態名称とも一致しないため、ステップ４
０５で判定結果がＮＯと判断される。この場合、変数ｉ
に１を加えた後（ステップ４０８）、変数ｉの値が更新
前状態遷移表の状態列数（ここでは、更新前状態遷移表
列数は「５」）以下か否かを判定する（ステップ４０
９）。変数ｉの値が更新前状態遷移表の状態列数以下で
あれば、ステップ４０４に戻り、そうでなければ、図９
に示すステップ４１０に進む。

【００３８】例えば、ｉ＝「２」の場合は、第２番目の
更新前状態名称「ＷＦＮＣ」は、更新後の状態名称「Ｗ
ＦＮＣ」と一致する。この場合、上記ステップ４０５で
ＹＥＳと判断され、ステップ４０６で状態名称更新識別
テーブルが更新される。状態名称更新識別テーブルの更
新処理（ステップ４０６）では、更新前状態名称ＷＦＮ
Ｃと更新後状態名称ＷＦＮＣの交点に、両者が同一の状
態であることを示す情報「１００」を設定する。この
後、ステップ４０７において、更新前状態名称「ＷＦＮ
Ｃ」と更新後状態名称「ＷＦＮＣ」のチェックフラグを
それぞれＯＮにし、変数ｉの更新（ステップ４０８）を
行う。

【００３９】変数ｉの値が更新前状態遷移表の状態列数
を超えたとき、図９のステップ４１０において、変数を
ｉ＝１とする。この例では、更新前状態名称「ＣＬＯＳ
ＥＤ」と、更新後の状態名称「ＣＬＯＳＥＤ１」および
「ＯＰＥＮ２」は、更新前後で一致する状態名称がない
ため、これらの状態名称のチェックフラグはＯＦＦにな
っている。

【００４０】更新前状態のｉ番目の状態名称のチェック
フラグをチェックし（ステップ４１１）、フラグがＯＦ
Ｆでなければ、ステップ４１５に進んで変数ｉに１を加
え、変数ｉの値が更新前状態遷移表の状態列数（ここで
は「５」）を越えか否かを調べる（ステップ４１６）。
もし、変数ｉの値が更新前状態遷移表の状態列数を超え
ていれば、このルーチンを終了し、そうでなければステ
ップ４１１に戻る。

【００４１】ステップ４１１において、更新前の状態名
称のチェックフラグがＯＦＦの場合は、更新後の状態名
称のチェックフラグがＯＦＦとなっている各状態に関し
て、名称変更の可能性を評価する（ステップ４１２）。

【００４２】この例では、ｉ＝１の時、ｉ番目の更新前
状態名称「ＣＬＯＳＥＤ」は、チェックフラグがＯＦＦ
となっているため、上記ステップ４１２で名称変更の可
能性が評価される。ここでは、状態「ＣＬＯＳＥＤ」
が、更新後の状態名称でチェックフラグがＯＦＦとなっ
ている更新後状態「ＣＬＯＳＥＤ１」、「ＯＰＥＮ２」
に名称変更された可能性を評価する。

【００４３】評価方法としては、例えば、前後で共通の
イベントに対し、遷移の内容が一致している割合を評価
する。更新後状態遷移表において、イベント「ＣＣ２」
以外の他の１０個のイベントは、更新前後で一致してい
る。状態「ＣＬＯＳＥＤ」と「ＣＬＯＳＥＤ１」で、こ
れら１０個のイベントの発生に伴う遷移の内容を比較す
ると、「ＣＬＯＳＥＤ１」は、遷移の内容が「ＣＬＯＳ
ＥＤ」と全部一致しているため、１０÷１０×１００＝
１００％と評価し、状態名称更新識別テーブルにおける
「ＣＬＯＳＥＤ」と「ＣＬＯＳＥＤ１」の交点に位置す
る枠に「１００」を設定する。一方、「ＣＬＯＳＥＤ」
と「ＯＰＥＮ２」を比較すると、遷移の内容が一致して
いるイベントは２個（「ＴＣＯＮ−ＲＳＰ」と「ＮＣＯ
Ｎ−ＣＮＦ」）であるから、２÷１０×１００＝２０％
と評価し、状態名称更新識別テーブルにおける「ＣＬＯ
ＳＥＤ」と「ＯＰＥＮ２」の交点に位置する枠に「２
０」を設定する。

【００４４】ステップ４１３では、状態名称変更の可能
性を評価する。この例では、「ＣＬＯＳＥＤ」が「ＣＬ
ＯＳＥＤ１」に名称変更されたものと評価する。また、
各遷移の遷移先状態の名称もＣＬＯＳＥＤがＣＬＯＳＥ
Ｄ１に変更されたものと判断し、前記の遷移内容の評価
で、遷移先状態「ＣＬＯＳＥＤ」と「ＣＬＯＳＥＤ１」
は同一であると再評価する。このために、ステップ４１
４で、変数ｉに０を再設定して、ステップ４１５に進
む。

【００４５】上記実施例では、状態名称の更新可能性評
価の基準として、更新前後の２つの状態と対応する遷移
内容が全て一致している場合を一致度１００％として評
価しているが、この評価の基準をもっと緩和することも
できる。例えば、遷移内容を「ありえない」、「無視す
る」、「その他」に分類し、各分類の範囲内で一致して
いるか否かを評価するようにしてもよい。

【００４６】図１０は、第４図の更新前状態遷移表と第
５図の更新後状態遷移表から抽出した状態名称更新識別
テーブルの１例である。例えば、更新前の状態遷移表の
状態名称ＷＦＮＣは、更新後の状態遷移表においてもＷ
ＦＮＣであり、変更はない。更新前の状態遷移表の状態
名称ＣＬＯＳＥＤは、更新後の状態遷移表においてはＣ
ＬＯＳＥＤ１に名称変更された可能は、ＯＰＥＮ２に変
更された可能性より５倍が高い。

【００４７】図７のステップ３０５におけるイベント名
称の変更判別処理は、ステップ３０４の状態名称変更の
判別処理と同様に行い、図１０と同様のイベント名称更
新識別テーブルを生成する。状態、およびイベント名称
更新識別テーブルは、更新前後の状態遷移表の対毎に生
成される。更新前状態遷移表があり、更新後状態遷移表
がないものは状態遷移表が削除されたとし、また、更新
前状態遷移表がなく、更新後状態遷移表があるものは状
態遷移表が追加されたと判断される。

【００４８】図１の入出力関係不足情報入力機能１０５
は、動作とイベントの対応関係を推定する機能と利用者
に推定した関係を表示し、確認／修正させる機能からな
る。対応関係を推定する機能は、或る状態遷移表の動作
名称と他の状態遷移表のイベント名称が同一であれば、
送受信関係にあるメッセージとみなす。

【００４９】図１１は、関係表示機能によって表示され
る画面であり、この画面は状態遷移表対応に存在する。
上記画面には、表示されている状態遷移表の名称１４０
３、その状態遷移表のイベント名称１４０４、１４０
５、および動作名称１４０６、１４０７が表示される。

【００５０】使用者は、イベントに対応する送信元状態
遷移表の名称を１４０８、１４０９のフィールドに、そ
の状態遷移表における動作名称を１４１０、１４１１の
フィールドに、動作に対応する送信先状態遷移表名称を
１４１２、１４１３のフィールドに、その状態遷移表に
おけるイベント名称を１４１４、１４１５のフィールド
に入力する。ただし、前述の対応関係を推定する機能に
より関連付けられた動作とイベントについては推定結果
を該当欄に表示する。

【００５１】従って、対応する動作とイベントに関して
同一の名称を使用している場合には利用者は表示を確認
するだけで名称を入力する必要はない。また、更新前状
態遷移表において、同様に指定された動作とイベントの
対応関係を該当欄に表示する。イベントと動作数が多く
１画面に表示できない場合には複数画面に分けて、ある
いはスクロールバーを設けて、スクロール表示すること
もできる。

【００５２】なお、イベントに対応する送信元状態遷移
表１４０８、１４０９が空欄の場合には該当イベントを
内部発生イベントとみなし、動作に対応する送信先状態
遷移表１４１２、１４１３が空欄の場合には該当動作を
内部動作とみなす。さらに、送信元および送信先状態遷
移表欄には状態遷移表が定義されていないモジュール名
称を入力することを可能とする。この場合は、動作名称
１４１０、１４１１およびイベント名称１４１３、１４
１４は空欄とする。使用者に入出力関係の確認、および
修正、追加の入力をさせ、入出力関係情報として更新後
の状態遷移仕様情報１１２を更新する。

【００５３】図１のメッセージシーケンスの制約条件抽
出機能１０６は、更新前のメッセージシーケンス情報１
１４から、メッセージの受信を含むイベント、全モジュ
ールの状態、および送受信関係のある状態遷移表間の単
方向のチャネルに関する制約条件を抽出し、制約条件情
報１１５に記憶する。

【００５４】図１２は、更新前メッセージシーケンスか
ら抽出した制約条件の一例を示す。

【００５５】上記制約条件は、メッセージシーケンス名
称１５００、制約条件の経過順序を示す項番１５０１、
モジュール名称１５０２、１５０３、１５０４、および
１５０５、項番の制約条件状態に至る発生イベント１５
０６から成る。発生イベントには、送信元モジュールと
送信先モジュールが明記されており、発生イベントは一
意に識別される。また、モジュール毎に、モジュールの
状態１５０７、および単方向のチャネルのイベントキュ
ー長１５０８が抽出される。

【００５６】このに示した制約条件は、例えば、図６に
示した更新前メッセージシーケンス図から抽出したもの
であり、更新前メッセージシーケンスは、ＴＬ０（応答
側）、ＵＬ、ＮＬ、ＴＬ０（起動側）モジュールで構成
されている。

【００５７】項番１の制約条件である制約条件〔１〕
は、ＴＬ０（応答側）の状態はＣＬＯＳＥＤであり、状
態遷移表が定義されていないモジュールＵＬ、ＮＬ、Ｔ
Ｌ０（起動側）には状態の制約がないことを示してい
る。制約条件〔２〕は、ＴＬ０（応答側）の状態はＷＦ
ＮＣであり、ＵＬ、ＮＬ、ＴＬ０（起動側）モジュール
の状態には制約がないことを示している。制約条件
〔２〕の状態に至る発生イベントはモジュールＵＬから
モジュールＴＬ０（応答側）へのメッセージＴＣＯＮ−
ＲＥＱである。また、モジュールＴＬ０（応答側）から
モジュールＵＬ、ＮＬ、ＴＬ０（起動側）へのチャネル
のイベントキュー長１５１１、１５１２、１５１３は０
である。図１２に示した制約条件を示すテーブルは、更
新前メッセージシーケンス毎に生成される。尚、図１２
の他の構成要素については後述する。

【００５８】図１のメッセージシーケンスの制約条件更
新機能１０７は、抽出した状態遷移仕様の更新情報１１
３を用いて、抽出した制約条件情報１１５を更新する。
ここでは、項番１の制約条件のモジュールＴＬ０（応答
側）の状態ＣＬＯＳＥＤは、更新後状態遷移表には存在
しないが、図１０の状態名称更新識別テーブルを参照
し、ＣＬＯＳＥＤ１に名称が変更されたものと判断し、
制約条件情報１１５を更新する。

【００５９】また、図１２において、更新前の制約条件
状態ＣＬＯＳＥＤと更新後の制約条件状態ＣＬＯＳＥＤ
１を対応付けて表示することにより、使用者が更新内容
を容易に確認することを支援できる。例えば、制約条件
状態１５１４には、更新後状態名称ＣＬＯＳＥＤ１を色
で識別して表示し、エリア１５１４をマウスでピックす
ることにより、更新前状態名称ＣＬＯＳＥＤがポップア
ップされる。

【００６０】図１の制約条件追加指定機能１０８は、生
成する更新後メッセージシーケンスの制約条件、緩和優
先条件、優先制約条件を使用者が追加指定することを支
援し、制約条件情報１１５に追加する。

【００６１】図１３は、使用者が条件を追加指定するの
を支援する画面の一例を示す。図１３において、ボタン
１６０１は制約条件の追加指定選択を意味する。例え
ば、ＣＬＯＳＥＤがＣＬＯＳＥＤ１と判断されて更新さ
れた制約条件が使用者の意図に反する場合には、ボタン
１６０１を選択することによって制約条件を修正可能と
し、図１２の制約条件を表示する画面上で更新する。ボ
タン１６０２は緩和優先条件の指定を意味し、ボタン１
６０２を選択することによって、ボタン１６０３、１６
０４の選択が可能になる。ボタン１６０３はイベント優
先指定を、ボタン１６０４は状態優先指定を意味する。

【００６２】イベント優先指定は、更新前メッセージシ
ーケンスに対し、イベントが優先的に一致するように更
新後メッセージシーケンスを生成することを意味し、状
態優先指定は、更新前メッセージシーケンスに対し、状
態が優先的に一致するように更新後メッセージシーケン
スを生成することを意味する。ボタン１６０５は、優先
制約条件の指定を意味する（実施例３）。ここでは、イ
ベント優先指定を選択する。図１２において、１５１０
は制約条件情報１１５に追加した緩和優先条件である。

【００６３】図１のメッセージシーケンス生成機能１０
９は、更新後の状態遷移仕様１１２から制約条件情報１
１５を用いて、制約条件を満たすメッセージシーケンス
を生成し、更新後メッセージシーケンス情報１１６を生
成する。ここでは、１つの更新前メッセージシーケンス
に対応する更新後メッセージシーケンス生成処理の一例
を図１４〜図１６に示す。複数の更新前メッセージシー
ケンスの更新は、これらの図に示す手順と同様の処理を
繰り返すことで実現できる。

【００６４】図１４のステップ６０１では、前述のメッ
セージシーケンス生成方法で引用した到達可能性解析に
基づいて、更新後の状態遷移仕様から可能性のあるメッ
セージシーケンスを全て生成し、更新後メッセージシー
ケンスとする。ステップ６０２では、生成した更新後メ
ッセージシーケンスを制約条件情報１１５を用いて評価
する（図１５）。ステップ６０３では、評価結果に基い
て、更新後メッセージシーケンスをソートし（１６
図）、このルーチンを終了する。

【００６５】図１５は、上記ステップ６０２における更
新後メッセージシーケンスの評価処理の一例を示す。ス
テップ７０１において、変数ｋを１とし、ステップで７
０２で、制約条件状態の総数を状態総数とする。例え
ば、図１２の例において、制約条件状態が与えられてい
るのはモジュールＴＬ０（応答側）だけであるから、状
態総数は「４」となるが、他のモジュールにおいても制
約条件状態が与えられていれば、それらを加える。

【００６６】ステップ７０３では、制約条件イベントの
総数をイベント総数とする。図１２の例において、イベ
ント総数は「３」となる。ステップ７０４では、変数ｋ
が更新後メッセージシーケンス数を越えたら処理を終了
し、越えなければステップ７０５に進む。

【００６７】ステップ７０５で、ｋ番目の更新後メッセ
ージシーケンスにおいて、制約条件状態と一致する状態
数を一致状態数〔ｋ〕とし、ステップ７０６で、ｋ番目
の更新後メッセージシーケンスにおいて、制約条件イベ
ントと一致するイベント数を一致イベント数〔ｋ〕とす
る。ただし、制約条件には項番情報も含まれており、制
約条件を満たす順序が一致の条件にもなっている。

【００６８】ステップ７０７では、ｋ番目の更新後メッ
セージシーケンスの評価値〔ｋ〕を算出する。ここで
は、算出式として、一致状態数〔ｋ〕＋一致イベント数
〔ｋ〕とする。算出式としては、状態総数とイベント総
数を用いて、（一致状態数〔ｋ〕／状態総数）×（一致
イベント数〔ｋ〕／イベント総数）とすることもでき
る。最後に、ステップ７０８において、ｋに１を加え、
ブロツク７０４に戻る。

【００６９】図０６は、ステップ６０３における更新後
メッセージシーケンスのソート処理の一例を示す。ステ
ップ８０１において、更新後メッセージシーケンスを各
更新後メッセージシーケンスの評価値を用いて、降順に
ソートする。ステップ８０２において、図１６で指定し
た緩和優先条件を判断し、イベント優先指定ならばステ
ップ８０３に進み、状態優先指定ならばステップ８０４
に進む。

【００７０】ステップ８０３では、ステップ８０１によ
る更新後メッセージシーケンスのソート結果に対して、
評価値が同値の更新後メッセージシーケンスを、一致イ
ベント数によって降順にソートする。さらに、一致イベ
ント数が同値の場合には、初期状態から終端状態までが
短い更新後メッセージシーケンスを優先する。同様に、
ステップ８０４において、ステップ８０１による更新後
メッセージシーケンスのソート結果に対し、評価値が同
値の更新後メッセージシーケンスを一致状態数によって
降順にソートする。さらに、一致状態数が同値の場合に
は、初期状態から終端状態までが短い更新後メッセージ
シーケンスを優先する。

【００７１】図１のメッセージシーケンス表示機能１１
０は、更新後メッセージシーケンス情報１１６に基づい
て、図形式で表示装置２０４に更新後メッセージシーケ
ンス図を表示する。

【００７２】図１７と図１８は更新後メッセージシーケ
ンスの一例を示す。図６に示した更新前のメッセージシ
ーケンスの状態ＷＦＣＣから状態ＯＰＥＮに至る部分メ
ッセージシーケンスと比較すると、図１７では、イベン
トはＣＣで一致し、遷移先状態はＯＰＥＮ２になってい
るのに対し、図１８では、イベントがＣＣ２となり、遷
移先状態がＯＰＥＮで一致している。

【００７３】従って、ステップ６０２の処理結果である
評価値は、一致状態数〔ｋ〕と一致イベント数〔ｋ〕の
加算値で、図１７が「３＋３」、図１８が「４＋２」と
なり、一致する。優先制約条件として、イベント優先指
定を追加指定していることから、ステップ６０３の処理
の結果、図１７の更新後メッセージシーケンスが優先的
に出力される。また、状態優先指定を追加指定した場合
には、図１８の更新後メッセージシーケンスが優先的に
出力される。

【００７４】表示装置２０４に表示された更新後メッセ
ージシーケンスは、必要があれば更新前メッセージシー
ケンスの登録削除、更新後メッセージシーケンスの新規
登録を行う。また、更新後メッセージシーケンスの表示
において、更新された情報を色等を用いて多段に識別表
示し、使用者の更新内容の確認を支援する。

【００７５】図１７、図１８において、更新前メッセー
ジシーケンスと比較し、変更のなかった部位（細線部
分）と、更新前と名称は変わったが制約条件を満たして
いる部位（太斜線部分）１７０１、１８０１と、新規に
生成された部位（太線部分）１７０２、１８０２とを識
別して表示している。

【００７６】図１９は、更新前メッセージシーケンスと
更新後メッセージシーケンスを、名称が一致している状
態、およびイベントを同期させて表示した例を示す。状
態１９０１と１９１１、１９０２と１９１２、１９０３
と１９１３、１９０４と１９１４はそれぞれ名称が一致
しており、イベント１９０５と１９１５、１９０６と１
９１６、１９０７と１９１７はそれぞれ名称が一致して
いることから、同期させて表示する。このことにより、
使用者の更新内容の確認を支援することができる。

【００７７】上述した実施例１では、到達可能解析によ
り可能性のある全てのメッセージシーケンスを生成し、
生成したメッセージシーケンスの制約条件を満たす程度
を評価したが、到達可能解析で生成されるはメッセージ
シーケンスは、制約条件を満たすものと満たさないもの
を含み、数は莫大となる可能性がある。このことから、
比較的小規模な状態遷移仕様に対しては有効である。

【００７８】（実施例２）制約条件を満たすメッセージ
シーケンスだけを生成する方法を示す。全制約条件の中
から取り出す制約条件の数を順次緩和し、取り出した制
約条件を満たすメッセージシーケンスを生成する実施例
を図２０に示す。ここでは、実施例１と同様に、１つの
更新前メッセージシーケンスに対応する更新後メッセー
ジシーケンスの生成処理を示す。尚、複数の更新前メッ
セージシーケンスを更新する場合には、図２０と同様の
処理を繰り返せばよい。

【００７９】ステップ２００１において、ステップ７０
２と７０３で記載した制約条件の状態総数とイベント総
数の和を制約条件総数とする。ステップ２００２で、変
数ｉに制約条件総数を設定し、ステップ２００３で、全
制約条件からｉ個の制約条件の組合せを抽出する。ステ
ップ２００４において、ステップ２００３で抽出した各
組合せの制約条件を満たすメッセージシーケンスを生成
する。更に、ステップ２００５において、メッセージシ
ーケンスが生成できたかを判定し、できていればステッ
プ６０２に進み、できていなければステップ２００６に
進む。

【００８０】ステップ２００６では、制約条件を緩和す
るために、変数ｉから「１」を引き、ステップ２００７
で、もし、ｉが「１」以上であればステップ２００３に
戻る。ｉが「０」になると、制約条件を満たすメッセー
ジシーケンスは１つも生成できなかったとして、処理を
終了する。ステップ６０２では、生成した更新後メッセ
ージシーケンス評価し、ステップ６０３で更新後メッセ
ージシーケンスを評価結果に従いソートする。

【００８１】また、生成された更新後メッセージシーケ
ンスより、さらに制約条件を緩和させて、引き続き更新
後メッセージシーケンスの候補生成を行うことができ
る。

【００８２】上述した実施例２では、緩和された制約条
件が組合せで存在するため、多くの更新後メッセージシ
ーケンスが存在する可能性がある。従って、状態遷移仕
様の変更が少ない場合、あるいは状態遷移仕様の規模が
小さい場合には有効である。

【００８３】（実施例３）より実際的な実現方法の一例
として、図１３において優先制約条件を与えることによ
って、更新後メッセージシーケンスの生成をしぼり込む
ようにした例を示す。

【００８４】図２１〜図２３は、状態遷移仕様が１つ、
緩和優先条件はイベント優先、優先制約条件として制約
条件の項番が小さい程優先するものとして、１つの更新
前メッセージシーケンスに対応する更新後メッセージシ
ーケンスの生成処理の一例を示す。具体的には、制約条
件情報１１５を部分制約条件に分割し、各部分制約条件
を満たす部分メッセージシーケンスを生成し、生成した
部分メッセージシーケンスを合成して、更新後メッセー
ジシーケンスとする。

【００８５】ステップ２１０１において、変数ｉ＝１と
し、ステップ２１０２において、制約条件情報１１５か
ら制約条件の一部を取り出す。項番ｉの制約条件状態で
ある制約条件状態〔ｉ〕を状態Ｓ、制約条件の発生イベ
ント〔ｉ＋１〕をイベントＥＶ、制約条件状態〔ｉ＋
１〕を状態Ｅとする。

【００８６】ステップ２１０３では、部分制約条件とし
て、初期状態に状態Ｓ、初期イベントにイベントＥＶ、
終端状態に状態Ｅを設定する。ステップ２１０４におい
て、部分制約条件を満たす部分メッセージシーケンスを
生成する（２３図）。また、ステップ２１０５におい
て、部分メッセージシーケンスが生成できているかを判
定し、できていればステップ２１１２（２２図）に進
み、できていなければステップ２１０６に進む。

【００８７】ステップ２１０６で部分制約条件を緩和し
た後、ステップ２１０７で、緩和した部分制約条件を満
たすメッセージシーケンスを生成する。上記ステップ２
１０６における制約条件の緩和処理は、更新後メッセー
ジシーケンスの初期遷移が決定できなかった場合の処理
である。ステップ２１０８において、部分メッセージシ
ーケンスが生成できていなければステップ２１０９へ進
み、できていればブロック２１１２（２２図）に進む。

【００８８】ステップ２１０９で変数ｉに「１」を加
え、ステップ２１１０で、ｉが制約条件の最大項番数
（ここでは４）に達したら部分メッセージシーケンスを
生成できなかったものとして終了し、達していなけれ
ば、ステップ２１１１で制約条件の次の一部を制約条件
情報１１５から取り出し、ステップ２１０３に戻る。更
に、ステップ２１１２で変数ｉに１を加え、ステップ２
１１３で、もしｉが制約条件の最大項番数に達したら部
分メッセージシーケンスの生成は完了したものとして終
了する。達していなければステップ２１１４に進み、制
約条件情報１１５から次の制約条件の次の一部を取り出
す。

【００８９】ステップ２１１５において、先の部分制約
条件を満たす部分メッセージシーケンスが生成できてい
ればステップ２１１６に進み、生成できていなければス
テップ２１１７に進む。ステップ２１１６では、先の制
約条件を満たす部分メッセージシーケンスの終端状態を
状態Ｓに設定し、ステップ２１１７で、部分制約条件と
して、初期状態に状態Ｓ、初期イベントにイベントＥ
Ｖ、終端状態に状態Ｅを設定する。更に、ステップ２１
１８で、制約条件を満たす部分メッセージシーケンスを
生成し、ステップ２１１９で部分メッセージシーケンス
の生成を判定し、生成できていなければステップ２１１
４に戻り、生成できていれば、ステップ２１２０におい
て、既に生成した部分シーケンスと合成した後、ステッ
プ２１１４に戻る。

【００９０】図２３は、部分制約条件を制約条件とし
て、制約条件を満たす部分メッセージシーケンス生成処
理の一例を示す。この処理は、制約条件の追加指定機能
１０８において、イベント優先指定された場合に実行さ
れる。

【００９１】ステップ２３０１において、部分メッセー
ジシーケンスの生成完了を示すフラグを設定し、ＯＦＦ
としておく。ステップ２３０２で、制約条件を満たすメ
ッセージシーケンスを生成する。制約条件を満たすメッ
セージシーケンスの自動生成方法は、状態遷移表からメ
ッセージシーケンスを自動的に生成する方法について
は、前記のメッセージシーケンス生成方式（２）に述べ
られており、ここでは説明を省略する。ただし、メッセ
ージシーケンスの生成では、制約条件を満たすメッセー
ジシーケンスの候補が複数存在する場合には、なるべく
個々の遷移内容が更新前メッセージシーケンスと一致す
るものを優先的に生成する。

【００９２】ステップ２３０３において、制約条件を満
たすメッセージシーケンスが生成されているかを判定
し、生成できていれば、ステップ２３１０で部分シーケ
ンス生成完了フラグをＯＮし、処理を終了する。ステッ
プ２３０３においてメッセージシーケンスが生成できて
いなければ、ステップ２３０４において、イベント優先
指定として、終端状態の指定を制約条件からはずすこと
で制約条件を緩和し、ステップ２３０５において、緩和
した制約条件を満たすメッセージシーケンスを生成す
る。ただし、緩和した制約条件を満たすメッセージシー
ケンスの候補が複数存在する場合には、状態遷移仕様の
更新情報１１３の状態名称の更新可能性から判断して、
終端状態が名称変更された可能性の高い状態に遷移する
ものを優先的に生成する。

【００９３】ステップ２３０６において、緩和した制約
条件を満たすメッセージシーケンスが生成されているか
を判定し、生成できていれば、ステップ２３１０に進
む。ステップ２３０６において、もし、メッセージシー
ケンスが生成できていなければ、ステップ２３０７にお
いて、状態優先指定の処理として、初期イベントの指定
を制約条件からはずし、終端状態の指定を制約条件に戻
すことで制約条件を緩和し、ステップ２３０８で、緩和
した制約条件を満たすメッセージシーケンスを生成す
る。ただし、緩和した制約条件を満たすメッセージシー
ケンスの候補が複数存在する場合には、状態遷移仕様の
更新情報１１３のイベント名称の更新可能性から判断し
て、初期イベントが名称変更された可能性の高いイベン
トの発生を優先的に生成する。

【００９４】ステップ２３０９において、緩和した制約
条件を満たすメッセージシーケンスが生成されたかを判
定し、生成できていればステップ２３１０に進み、生成
できていれば処理を終了する。なお、ステップ３０５に
おける制約条件の追加指定して、状態優先指定された場
合には、ステップ２３０７〜２３０９の処理をステップ
２３０４〜２３０６の処理に優先させて行う。

【００９５】複数の更新前メッセージシーケンスを更新
する場合は、図２１〜図２３と同様の処理を繰り返す。
また、状態遷移表が複数存在する場合には、図１２の制
約状態に示すように、各項番の制約条件状態は各モジュ
ールの状態の集合として与えられる。従って、前記の図
２１〜図２３の処理フロー図において、図２１のステッ
プ２１０６と図２３のステップ２３０４で状態を制約条
件からはずす処理では、複数の緩和された制約条件状態
を段階的に設定する。

【００９６】以上で説明した実施例では、状態遷移仕様
として状態遷移表を表示する場合を仮定したが、状態遷
移仕様として状態遷移図を表示する場合にも、図３、図
４、図５を除いて、本発明を適用できる。

【００９７】

【発明の効果】以上の説明から明らかなように、本発明
によれば、（１）状態遷移表等の状態遷移仕様の更新情
報を対応する更新前メッセージシーケンスに反映するこ
と、（２）状態遷移仕様の更新に伴う更新前メッセージ
シーケンスの変更を一意に決定できない場合には、利用
者のより望む更新後メッセージシーケンスを優先的に生
成すること、あるいは（３）メッセージシーケンスの更
新内容を明示的に表示することが可能となる。従って、
本発明によれば、外部仕様（メッセージシーケンス）と
状態遷移仕様（状態遷移図、表）を利用した通信ソフト
ウェアの反復設計において、状態遷移仕様の更新情報を
更新前のメッセージシーケンスに反映することができる
ため、仕様の設計、開発に期間の短縮と品質向上を図る
ことができる。

【図面の簡単な説明】

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

【図２】本発明を適用する状態遷移仕様生成装置のハー
ドウェア構成の一例を示す図。

【図３】状態遷移表の一例を示す図。

【図４】状態遷移表の具体例を示す図。

【図５】図４の状態遷移表の更新の一例を示す図。

【図６】図４の状態遷移表から生成されたメッセージシ
ーケンス図の一例を示す図。

【図７】状態遷移仕様における更新情報抽出処理の概要
を示すフローチャート。

【図８】図７における状態名称の変更判定処理の詳細を
示すフローチャートの前半部。

【図９】図７における状態名称の変更判定処理の詳細を
示すフローチャートの後半部。

【図１０】図４と図５の状態遷移表から抽出した更新情
報の一例を示す図。

【図１１】入出力関係情報の入力を支援する画面の一例
を示す図。

【図１２】図６のメッセージシーケンスから抽出した制
約条件を示す図。

【図１３】制約条件の追加指定を支援する画面の一例を
示す図。

【図１４】更新後メッセージシーケンス生成処理の概要
を示すフローチャート。

【図１５】図１４における更新後メッセージシーケンス
評価処理の詳細を示すフローチャート。

【図１６】図１４における更新後メッセージシーケンス
ソート処理の詳細を示すフローチャート。

【図１７】図４の状態遷移表から図５の状態遷移表への
更新に伴う図６のメッセージシーケンス図の更新後のメ
ッセージシーケンス図の一例を示す図。

【図１８】図４の状態遷移表から図５の状態遷移表への
更新に伴う図６のメッセージシーケンス図の更新後のメ
ッセージシーケンス図の他の一例を示す図。

【図１９】更新前後のメッセージシーケンス図の表示画
面の一例を示す図。

【図２０】更新後メッセージシーケンス生成処理の他の
実施例を示すフローチャート。

【図２１】更新後メッセージシーケンス生成処理の更に
他の実施例を示すフローチャート。

【図２２】図２１のフローチャートの残り部分を示す
図。

【図２３】図２１における部分シーケンス生成処理の詳
細を示すフローチャート。

【符号の説明】

１０１…各機能を実行する実行制御、１０２…状態遷移
仕様編集機能、１０３…メッセージシーケンス図の生成
機能、１０４…状態遷移仕様更新情報抽出機能、１０５
…入出力関係不足情報入力機能、１０６…制約条件抽出
機能、１０７…メッセージシーケンス制約条件更新機
能、１０８…制約条件追加入力機能、１０９…更新後メ
ッセージシーケンス生成機能、１１０…メッセージシー
ケンス表示機能、１１１、１１２…状態遷移仕様情報、
１１３…更新情報、１１４…メッセージシーケンス図情
報、１１５…制約条件情報、１１６…更新後メッセージ
シーケンス情報。

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

Claims

【特許請求の範囲】

【請求項１】通信ソフトウェア仕様として入力された更
新前後の状態遷移仕様を記憶するための第１の記憶手段
と、更新前の状態遷移仕様情報から生成されたメッセージシ
ーケンスを記憶するための第２の記憶手段と、上記第１の記憶手段に記憶された更新前後の状態遷移仕
様から更新情報を抽出するための第１の抽出手段と、上記第２の記憶手段に記憶された更新前のメッセージシ
ーケンスから、メッセージの受信を含むイベント名称、
および状態と経過に関する制約条件を抽出するための第
２の抽出手段と、上記第１の抽出手段で抽出された状態遷移仕様の更新情
報を用いて、上記第２の抽出手段で抽出された制約条件
の状態およびイベントの名称を更新するための手段と、追加すべき制約条件、制約条件の緩和に関する優先条
件、および制約条件の優先に関する優先制約条件が追加
指定されたとき、上記制約条件を更新するための手段
と、上記制約条件を満たす更新後メッセージシーケンスを生
成するための手段と、上記生成された更新後メッセージシーケンスを表示画面
の出力するための手段を有することを特徴とするメッセ
ージシーケンス生成装置。
【請求項２】更新情報を抽出する前記第１の抽出手段
は、前記更新前の状態遷移仕様における状態名称および
イベント名称が、それぞれ前記更新後の状態遷移仕様の
状態名称およびイベント名称に変更された可能性関して
評価する機能を備えることを特徴とする請求項１に記載
のメッセージシーケンス生成装置。
【請求項３】前記第１の抽出手段が、更新前後で一致し
ない状態名称に関して、更新前後の状態遷移表で共通の
イベントの遷移内容が変更された割合を評価し、更新前
後で一致しないイベント名称に関して、更新前後の状態
遷移表で共通の状態名称の遷移内容が変更された割合を
評価することを特徴とする請求項２に記載のメッセージ
シーケンス生成装置。
【請求項４】前記制約条件を更新するための手段が、更
新前の制約条件と更新後の制約条件とを関連付ける機能
を有し、前記出力手段が変更のあった制約条件について
更新前後の制約条件が表示画面に対応付けて表示するよ
うにしたことを特徴とする請求項１〜請求項３の何れか
に記載のメッセージシーケンス生成装置。
【請求項５】前記出力手段が、前記更新前後のメッセー
ジシーケンス図の構成要素のうち、更新前後で一致して
いる状態およびイベントを互いに同期させて表示画面に
出力することを特徴とする請求項１〜請求項４の何れか
に記載のメッセージシーケンス生成装置。
【請求項６】前記出力手段が、前記更新前後のメッセー
ジシーケンスから識別されたメッセージシーケンスの更
新情報と前記状態遷移仕様の更新情報とに基づいて、更
新後メッセージシーケンスにおいて変更のない部位、名
称変更のあった部位、および新規に生成された部位を段
階的に表示することを特徴とする請求項１〜請求項５の
何れかに記載のメッセージシーケンス生成装置。
【請求項７】前記更新後メッセージシーケンスの生成手
段が、前記追加指定された制約条件の緩和に関する優先
条件に応じて、満たすべき制約条件の数を順次に緩和し
て行き、緩和された各制約条件のもとで前記更新後メッ
セージシーケンスを生成することを特徴とする請求項１
〜請求項６の何れかに記載のメッセージシーケンス生成
装置。
【請求項８】前記更新後メッセージシーケンスの生成手
段が、前記追加指定された優先制約条件を満たすよう
に、制約条件を緩和することを特徴とする請求項７に記
載のメッセージシーケンス生成装置。
【請求項９】前記更新後メッセージシーケンスの生成手
段が、生成された更新後メッセージシーケンスについて
前記制約条件の満足度を評価し、該評価結果と前記緩和
に関する優先条件に基づいて更新後メッセージシーケン
スの順位付けを行い、前記出力手段が、上記順位に応じ
て更新後メッセージシーケンスを表示画面に出力するこ
とを特徴とする請求項１〜請求項８の何れかに記載のメ
ッセージシーケンス生成装置。
【請求項１０】前記更新後メッセージシーケンスの生成
手段が、変更が最小の更新後メッセージシーケンスを生
成できたと判断した時点で、更新後メッセージシーケン
スの生成を終了することを特徴とする請求項１〜請求項
９の何れかに記載のメッセージシーケンス生成装置。