JP3230573B2 - メッセージシーケンスチャート描画装置およびその方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】本発明はメッセージシーケン
スチャート描画装置およびその方法に関し、特にメッセ
ージの矢印を水平にするメッセージシーケンスチャート
描画装置およびその方法に関する。

【０００２】

【従来の技術】従来、この種のメッセージシーケンスチ
ャート描画方法は、通信ソフトウェアの設計や性能を評
価する際に、実行主体であるプロセス間のメッセージの
やりとりを理解しやすい形で表現するメッセージシーケ
ンスチャートを描画するためなどに用いられている。

【０００３】従来のメッセージシーケンスチャート描画
方法の一例が、特開平６−１５２６８４号公報に記載さ
れている。この公報に記載されたメッセージシーケンス
チャート描画方法は、状態遷移図からユーザが指定した
条件を満足するメッセージシーケンスチャートを自動生
成し、それを描画するものである。

【０００４】

【発明が解決しようとする課題】第１の問題点は、従来
の方法では、多数のプロセスが複雑にメッセージを交わ
す場合に、図８に見られるようにメッセージシーケンス
チャートが入り組んだものになってしまうことである。
その理由は、従来の方法では、すべてのメッセージの送
受信時刻の全順序関係を忠実に表現していたためであ
る。しかし、すべてのメッセージの送受信時刻の全順序
関係を必要とせず、あるプロセスが他のプロセスとどの
ような順番でメッセージのやりとりをしたかということ
を観測したい場合などには、従来の方法によるメッセー
ジシーケンスチャートは不要な情報が含まれており、観
測したい情報が観測しにくくなってしまうために不適切
である。

【０００５】本発明の目的は、メッセージシーケンスチ
ャートのメッセージの斜めの矢印を、メッセージシーケ
ンスの半順序関係が保てる範囲で水平にするメッセージ
シーケンスチャート描画装置およびその方法を提供する
ことにある。

【０００６】ここで、メッセージシーケンスの半順序関
係とは、同一プロセスにおけるメッセージの送信時刻お
よび受信時刻の全順序関係と、メッセージの送信時刻が
受信時刻よりも早いという関係とを指すものとする。た
だし、メッセージの送信時刻と受信時刻とについては、
その時刻の差が０であることも許容する。

【０００７】

【課題を解決するための手段】本発明のメッセージシー
ケンスチャート描画装置は、送信情報を受け取ったとき
にメッセージを送信元のプロセスごとにキューの形で記
憶する送信情報処理手段と、受信情報を受け取ったとき
に前記キューを参照してメッセージの仮の送信時刻を決
定する仮の送信時刻決定手段と、前記キューを参照して
メッセージシーケンスの半順序関係が保てる範囲でメッ
セージの送信時刻と受信時刻とを同じにするようにメッ
セージの送受信時刻を決定する送受信時刻決定手段とを
有する。

【０００８】また、本発明のメッセージシーケンスチャ
ート描画装置は、入力装置から送られてきた入力情報を
送信情報と受信情報とに振り分ける送受信情報種別判別
手段と、この送受信情報種別判別手段から送信情報を受
け取り、送信元プロセス名および受信先プロセス名をイ
ベント情報としてイベント情報記憶部に記憶し、プロセ
ス情報記憶部の送信元プロセスのメッセージが格納され
ているキューの最後尾にメッセージを記憶する送信情報
処理手段と、前記送受信情報種別判別手段から受信情報
を受け取り、前記プロセス情報記憶部に記憶されていて
受信先プロセスのメッセージが格納されているキューの
すべてのメッセージと、送信元プロセスのメッセージが
格納されているキューのメッセージの中で受信情報のメ
ッセージより前に格納されているメッセージとのそれぞ
れの仮の送信時刻を決定する仮の送信時刻決定手段と、
この仮の送信時刻決定手段により仮の送信時刻が決定さ
れた後に前記キューを参照してメッセージシーケンスの
半順序関係が保てる範囲でメッセージの送信時刻と受信
時刻とを同じにするようにメッセージの送受信時刻を決
定する送受信時刻決定手段とを有する。

【０００９】さらに、本発明のメッセージシーケンスチ
ャート描画方法は、複数のプロセスがメッセージを交わ
し、それらの送受信時刻の全順序が定義されているメッ
セージシーケンスが与えられたとき、メッセージシーケ
ンスの半順序関係を保ちつつメッセージの送受信の時刻
をずらすことにより、メッセージシーケンスチャートに
斜めに描かれるはずであったメッセージの矢印の一部を
水平になるようにメッセージの送受信時刻を決定する。

【００１０】一方、本発明の機械読み取り可能な記録媒
体は、コンピュータを、送信情報を受け取ったメッセー
ジを送信元のプロセスごとにキューの形で記憶する送信
情報処理手段，メッセージの仮の送信時刻を決定する仮
の送信時刻決定手段，およびメッセージの送受信時刻を
決定する送受信時刻決定手段として機能させるためのプ
ログラムを記録する。

【００１１】また、本発明の機械読み取り可能な記録媒
体は、コンピュータを、入力装置から送られてきた入力
情報を送信情報と受信情報とに振り分ける送受信情報種
別判別手段，この送受信情報種別判別手段から送信情報
を受け取り、送信元プロセス名および受信先プロセス名
をイベント情報としてイベント情報記憶部に記憶し、プ
ロセス情報記憶部の送信元プロセスのメッセージが格納
されているキューの最後尾にメッセージを記憶する送信
情報処理手段，前記送受信情報種別判別手段から受信情
報を受け取り、前記プロセス情報記憶部に記憶されてい
て受信先プロセスのメッセージが格納されているキュー
のすべてのメッセージと、送信元プロセスのメッセージ
が格納されているキューのメッセージの中で受信情報の
メッセージより前に格納されているメッセージとのそれ
ぞれの仮の送信時刻を決定する仮の送信時刻決定手段，
およびこの仮の送信時刻決定手段により仮の送信時刻が
決定された後に前記キューを参照してメッセージシーケ
ンスの半順序関係が保てる範囲でメッセージの送信時刻
と受信時刻とを同じにするようにメッセージの送受信時
刻を決定する送受信時刻決定手段として機能させるため
のプログラムを記録する。

【００１２】さらに、本発明の機械読み取り可能な記録
媒体は、コンピュータに、複数のプロセスがメッセージ
を交わし、それらの送受信時刻の全順序が定義されてい
るメッセージシーケンスが与えられたとき、メッセージ
シーケンスの半順序関係を保ちつつメッセージの送受信
の時刻をずらすことにより、メッセージシーケンスチャ
ートに斜めに描かれるはずであったメッセージの矢印の
一部を水平になるようにメッセージの送受信時刻を決定
する処理を実行させるためのプログラムを記録する。

【００１３】

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

【００１４】図１は、本発明の第１の実施の形態に係る
メッセージシーケンスチャート描画装置の構成を示すブ
ロック図である。本実施の形態に係るメッセージシーケ
ンスチャート描画装置は、キーボードなどの入力装置１
と、プログラム制御により動作するデータ処理装置２
と、情報を記憶する記憶装置３と、ディスプレイ装置や
印刷装置等の表示装置４とから、その主要部が構成され
ている。

【００１５】入力装置１は、送受信情報種別判別手段２
２に送信情報または受信情報を渡す。

【００１６】本実施の形態に係るメッセージシーケンス
チャート描画装置が要求する入力は、メッセージの送信
情報および受信情報であり、出力は、送られてきた送信
情報および受信情報を元にして描かれたメッセージシー
ケンスチャートである。メッセージの送信情報とは、
“あるプロセスがあるプロセスヘある識別子を持つメッ
セージを送信した”という情報を持ち、受信情報とは、
“ある識別子を持つメッセージが受信された”という情
報を持つものである。それらは、発生時刻の順番に従っ
て入力され、同じ識別子を持つメッセージを含む送信情
報と受信情報とは１対１に対応するものとする。受信情
報には送信元および受信先のプロセスの情報が含まれな
いが、それらは同じメッセージの送信情報により特定さ
れる。

【００１７】本実施の形態に係るメッセージシーケンス
チャート描画方法は、メッセージの送信情報をキューに
積むことにより、メッセージシーケンスの半順序関係を
崩さずにメッセージの送信時刻および受信時刻の全順序
関係を必要であれば入れ換えて、メッセージの矢印をで
きるだけ水平にして描画するものである。

【００１８】データ処理装置２は、送信情報を受け取っ
たメッセージを送信元のプロセスごとにキューの形で記
憶する送信情報処理手段２１と、入力装置１から送られ
てきた入力情報を送信情報と受信情報とに振り分ける送
受信情報種別判別手段２２と、メッセージの仮の送信時
刻を決定する仮の送信時刻決定手段２３と、メッセージ
の送受信時刻を決定する送受信時刻決定手段２４とを有
する。

【００１９】記憶装置３は、プロセス情報記憶部３１
と、イベント情報記憶部３２とを備えている。

【００２０】プロセス情報記憶部３１は、プロセスごと
にそのプロセスに最後に起きたイベントを記憶し、メッ
セージを記憶するキューを保持している。以下、これら
の情報をプロセス情報という。キューには、送信時刻の
半順序関係に従ってそのプロセスから送信されたメッセ
ージが記憶されている。プロセスに起きるイベントと
は、そのプロセスがメッセージを送信した、もしくは受
信したことを指す。

【００２１】ここで、便宜的に各イベントの時刻は非負
の整数に設定できるものとし、イベントの発生時刻とは
イベントの種別が送信であれば送信時刻、もしくは仮の
送信時刻決定手段２３により設定される仮の送信時刻、
種別が受信であれば受信時刻を指すものとする。

【００２２】イベント情報記憶部３２は、イベントごと
に、イベントを形成するメッセージの送信元プロセス名
および受信先プロセス名と、そのメッセージの送信の直
前および直後に送信元プロセスに起きたイベントと、イ
ベントの発生時刻とを記憶している。以下、これらの情
報をイベント情報という。

【００２３】メッセージの送信情報が入力されたなら
ば、送信情報処理手段２１により、その情報はプロセス
情報記憶部３１とイベント情報記憶部３２とに記憶され
る。

【００２４】メッセージの受信情報が入力されたなら
ば、仮の送信時刻決定手段２３により、プロセス情報記
憶部３１のプロセス情報に基づいて仮の送信時刻を決め
なければならないメッセージが特定され、イベント情報
記憶部３２のイベント情報を元にしてメッセージの仮の
送信時刻が決定され、送受信時刻決定手段２４により、
メッセージの送信時刻および受信時刻が決定される。こ
の際、メッセージシーケンスの半順序関係を崩さない範
囲でメッセージの送信時刻と受信時刻とを同じ時刻にす
る。ただし、同じメッセージの送信情報と受信情報とは
必ず１対１に対応し、すべてのメッセージの送信情報
は、必ず同じメッセージの受信情報より先に入力装置１
から渡されるものとする。

【００２５】送受信情報種別判別手段２２は、入力装置
１から渡された入力情報がメッセージの送信情報である
かメッセージの受信情報であるかを判別し、メッセージ
の送信情報だった場合にはその情報を送信情報処理手段
２１に供給し、メッセージの受信情報だった場合にはそ
の情報を仮の送受信時刻決定手段２３に供給する。

【００２６】送信情報処理手段２１は、送受信情報種別
判別手段２２から渡された送信情報とプロセス情報記憶
部３１のプロセス情報とを元にして、イベント情報記憶
部３２のイベント情報とプロセス情報記憶部３１のプロ
セス情報とを更新する。具体的には、渡された送信情報
がプロセスｉが送信し、プロセスｊが受信するメッセー
ジＭの送信情報で、イベントＥに対応するものであった
とする。送信情報処理手段２１は、送信元プロセス名ｉ
および受信先プロセス名ｊをイベントＥのイベント情報
としてイベント情報記憶部３２に記憶し、プロセス情報
記憶部３１に記憶されていてプロセスｉのメッセージが
格納されているキューＣ_i の最後尾にメッセージＭを記
憶する。キューＣ_i が空でなければ、送信情報処理手段
２１は、その最後尾に記憶されているメッセージの送信
イベントをＥ’とし、キューＣ_iが空でプロセスｉに最
後に起きたイベントが設定されていれば、そのイベント
をＥ’として、イベントＥの直前のイベントとしてＥ’
を記憶し、イベントＥ’の直後に起きたイベントとして
イベントＥを記憶する。

【００２７】仮の送信時刻決定手段２３は、プロセス情
報記憶部３１のプロセス情報を元にして、仮の送信時刻
を決めなければならなくなったメッセージを特定し、そ
れらのメッセージに対してイベント情報記憶部３２のイ
ベント情報を元にして仮の送信時刻を特定し、プロセス
情報記憶部３１のプロセス情報およびイベント情報記憶
部３２のイベント情報を更新する。具体的には、仮の送
信時刻決定手段２３が受け取った受信情報が、プロセス
ｉが送信し、プロセスｊが受信するメッセージＭの受信
情報で、イベントＥに対応するものであったとすると、
仮の送信時刻を決めなければならなくなったメッセージ
とは、プロセス情報記憶部３１に記憶されていてプロセ
スｊのメッセージが格納されているキューＣ_j のすべて
のメッセージと、プロセスｉのメッセージが格納されて
いるキューＣ_i のメッセージの中でメッセージＭより前
に格納されているメッセージである。それぞれのメッセ
ージＭ’に対してキューに積まれていた順番に、以下の
手順で仮の送信時刻を決定する。対応するプロセスの最
後のイベントＥ”が設定されているならば、メッセージ
Ｍ’の仮の送信時刻をイベントＥ”の発生時刻に１を加
えた時刻に設定し、メッセージＭ’の送信に対応するイ
ベントＥ’の直前のイベントとしてＥ”を、イベント
Ｅ”の直後のイベントとしてＥ’を記憶する。対応する
プロセスの最後のイベントＥ”が設定されていないなら
ば、メッセージＭ’の仮の送信時刻を０に設定する。い
ずれの場合も、イベントＥ’に対応するプロセスの最後
に起きたイベントとしてＥ’を記憶し、メッセージＭ’
を対応するキューから削除する。

【００２８】送受信時刻決定手段２４は、プロセス情報
記憶部３１のプロセス情報を元にして、メッセージシー
ケンスの半順序関係が保てる範囲でメッセージの送信時
刻と受信時刻とを同じにする。具体的には、送受信時刻
決定手段２４は、受け取った受信情報が、プロセスｉが
送信し、プロセスｊが受信するメッセージＭの受信情報
で、イベントＥ_i がメッセージＭの送信に対応し、イベ
ントＥ_j がメッセージＭの受信に対応するとする。イベ
ントＥ_i の直前のイベントかプロセスｊの最後に起きた
イベントかのどちらかが設定されていない場合は、０を
イベントＥ_i およびイベントＥ_j の発生時刻としてイベ
ント情報記憶部３２に記憶する。プロセスｊの最後に起
きたイベントが設定されていない、もしくはイベントＥ
_i の仮の送信時刻が設定されていて、その時刻がプロセ
スｊの最後に起きたイベントの発生時刻より遅かった場
合、イベントＥ_i の仮の送信時刻をイベントＥ_i および
イベントＥ_j の発生時刻としてイベント情報記憶部３２
に記憶する。イベントＥ_iの直後のイベントが設定され
ていない、もしくはイベントＥ_i の直後のイベントの発
生時刻Ｔ_i が、プロセスｊの最後に起きたイベントの発
生時刻Ｔ_j に１を加えた時刻より遅ければ、時刻Ｔ_j よ
り１だけ遅い時刻をイベントＥ_i およびイベントＥ_j の
発生時刻としてイベント情報記憶部３２に記憶する。時
刻Ｔ_i が時刻Ｔ_j に１を加えた時刻より早ければ、イベ
ントＥ_i の仮の送信時刻をイベントＥ_i の発生時刻とし
て、時刻Ｔ_j より１だけ遅い時刻をイベントＥ_j の発生
時刻として記憶する。いずれの場合も、プロセスｉの最
後のイベントが設定されていない、または設定したイベ
ントＥ_i の発生時刻がプロセスｉの最後のイベントの発
生時刻より遅い場合は、イベントＥ_i をプロセスｉの最
後のイベントとして記憶する。プロセスｊの最後のイベ
ントが設定されていない、または設定したイベントＥ_j
の発生時刻がプロセスｊの最後のイベントの発生時刻よ
り遅い場合は、イベントＥ_j をプロセスｊの最後のイベ
ントとして記憶する。

【００２９】図２を参照すると、第１の実施の形態に係
るメッセージシーケンスチャート描画方法の前半部の処
理は、全入力情報処理終了判定ステップＡ１と、送信情
報判定ステップＡ２と、キュー空判定ステップＡ３と、
最後イベント記憶判定ステップＡ４と、イベントのキュ
ーへの積みステップＡ５と、直前イベントおよび直後イ
ベント記憶ステップＡ６と、直前イベントおよび直後イ
ベント記憶ステップＡ７と、ループ条件設定ステップＡ
８と、最後イベント設定判定ステップＡ９と、仮の送信
時刻設定ステップＡ１０と、仮の送信時刻設定ステップ
Ａ１１と、直前および直後イベント記憶ステップＡ１２
と、最後イベント記憶およびメッセージのキューからの
削除ステップＡ１３と、メッセージのキューからの削除
ステップＡ１５とからなる。

【００３０】図３を参照すると、第１の実施の形態に係
るメッセージシーケンスチャート描画方法の後半部の処
理は、発生時刻条件判定ステップＡ１６と、発生時刻０
設定ステップＡ１７と、発生時刻条件判定ステップＡ１
８と、仮送信時刻発生時刻設定ステップＡ１９と、発生
時刻条件判定ステップＡ２０と、発生時刻＋１設定ステ
ップＡ２１と、発生時刻設定ステップＡ２２と、最後イ
ベント記憶条件判定ステップＡ２３と、最後イベント記
憶ステップＡ２４と、最後イベント記憶条件判定ステッ
プＡ２５と、最後イベント記憶ステップＡ２６とからな
る。

【００３１】次に、このように構成された第１の実施の
形態に係るメッセージシーケンスチャート描画装置の動
作について、その方法とともに説明する。

【００３２】入力装置１から入力された情報は、送受信
情報種別判別手段２２に供給される。

【００３３】送受信情報種別判別手段２２は、入力情報
がメッセージＭの送信情報であるか受信情報であるかを
判別する（ステップＡ２）。入力情報がプロセスｉが送
信し、プロセスｊが受信するメッセージＭの送信情報だ
った場合に、送受信情報種別判別手段２２は、送信情報
を送信情報処理手段２１に供給する。

【００３４】送信情報処理手段２１は、プロセスｉのキ
ューＣ_i が空か否かを判定し（ステップＡ３）、空であ
ればプロセスｉの最後のイベントＥ’が記憶されている
かどうかを判定し（ステップＡ４）、記憶されていなけ
ればメッセージＭの送信元プロセス名ｉおよび受信先プ
ロセス名ｊをメッセージＭの送信に対応するイベントＥ
のプロセス情報としてプロセス情報記憶部３１に記憶
し、キューＣ_i の最後尾にメッセージＭを記憶し（ステ
ップＡ５）、ステップＡ１に制御を戻す。

【００３５】ステップＡ４で、イベント情報記憶部３２
のプロセスｉの最後のイベントＥ’が記憶されていれ
ば、送信情報処理手段２１は、イベントＥの直前のイベ
ントとしてＥ’を、イベントＥ’の直後のイベントとし
てイベントＥをイベント情報記憶部３２に記憶し（ステ
ップＡ６）、メッセージＭの送信元プロセス名ｉおよび
受信先プロセス名ｊをメッセージＭの送信に対応するイ
ベントＥのプロセス情報としてプロセス情報記憶部３１
に記憶し、キューＣ_i の最後尾にメッセージＭを記憶し
（ステップＡ５）、ステップＡ１に制御を戻す。

【００３６】ステップＡ３で、プロセスｉのキューＣ_i
が空でなければ、イベントＥの直前のイベントとしてキ
ューＣ_i の最後尾のイベントＥ’を、イベントＥ’の直
後のイベントとしてイベントＥをイベント情報記憶部３
２に記憶し（ステップＡ７）、メッセージＭの送信元プ
ロセス名ｉおよび受信先プロセス名ｊをメッセージＭの
送信に対応するイベントＥのプロセス情報としてプロセ
ス情報記憶部３１に記憶し、キューＣ_i の最後尾にメッ
セージＭを記憶し（ステップＡ５）、ステップＡ１に制
御を戻す。

【００３７】一方、ステップＡ２で、入力情報がプロセ
スｉが送信し、プロセスｊが受信するメッセージＭの受
信情報だった場合には、送受信情報種別判別手段２２
は、受信情報を仮の送信時刻決定手段２３に供給する。

【００３８】仮の送信時刻決定手段２３は、メッセージ
Ｍの送信元プロセスがプロセスｉ、受信先プロセスがプ
ロセスｊとしたとき、プロセス情報記憶部３１に記憶さ
れているプロセスｊのキューＣ_j のすべての要素および
プロセスｉのキューＣ_i のメッセージＭより先のすべて
の要素Ｍ’に対して、キューＣ_j およびＣ_i に積まれて
いた順番に、以下のステップＡ９ないしＡ１３を繰り返
す。

【００３９】まず、仮の送信時刻決定手段２３は、プロ
セスｉの最後のイベントＥ”が設定されているかどうか
を判定し（ステップＡ９）、設定されていなければ、メ
ッセージＭ’の仮の送信時刻を０に設定し（ステップＡ
１０）、設定されていれば、メッセージＭ’の仮の送信
時刻をイベントＥ”の発生時刻に１を加えた時刻に設定
し（ステップＡ１１）、メッセージＭ’の送信に対応す
るイベントＥ’の直前のイベントとしてＥ”を、イベン
トＥ”の直後のイベントとしてＥ’をイベント情報記憶
部３２に記憶する（ステップＡ１２）。

【００４０】続いて、仮の送信時刻決定手段２３は、イ
ベントＥ’に対応するプロセスの最後に起きたイベント
としてＥ’を記憶し、メッセージＭ’を対応するキュー
から削除する（ステップＡ１３）。

【００４１】ステップＡ９〜ステップＡ１３の繰り返し
が終了すると、仮の送信時刻決定手段２３は、メッセー
ジＭを対応するキューから削除する（ステップＡ１
５）。

【００４２】次に、送受信時刻決定手段２４は、プロセ
ス情報記憶部３１のプロセス情報およびイベント情報記
憶部３２のイベント情報を用いて、メッセージＭの送信
時刻および受信時刻をメッセージシーケンスの半順序関
係を崩さずに同じ時刻にできるならば同じ時刻に設定す
る。

【００４３】詳しくは、送受信時刻決定手段２４は、メ
ッセージＭの送信に対応するイベントＥ_i の直前のイベ
ントかプロセスｊの最後に起きたイベントかのどちらか
が設定されているかどうかを判定し（ステップＡ１
６）、どちらも設定されていなければ、イベントＥ_i お
よびメッセージＭの受信に対応するイベントＥ_j の発生
時刻として０を設定し（ステップＡ１７）、ステップＡ
２３に制御を移す。

【００４４】ステップＡ１６で、メッセージＭの送信に
対応するイベントＥ_i の直前のイベントか、プロセスｊ
の最後に起きたイベントかのどちらかが設定されていれ
ば、送受信時刻決定手段２４は、プロセスｊの最後に起
きたイベントが設定されていない、またはイベントＥ_j
の仮の送信時刻が設定されていて、その時刻がプロセス
ｊの最後に起きたイベントの発生時刻より遅いかどうか
を判定し（ステップＡ１８）、そうであれば、イベント
Ｅ_i の仮の送信時刻をイベントＥ_i およびイベントＥ_j
の発生時刻とし（ステップＡ１９）、ステップＡ２３に
制御を移す。

【００４５】ステップＡ１８で、そうでなければ、送受
信時刻決定手段２４は、イベントＥ_i の直後のイベント
が設定されていない、またはイベントＥ_j の直後のイベ
ントの発生時刻Ｔ_i がプロセスｊの最後に起きたイベン
トの発生時刻Ｔ_j に１を加えた時刻より遅いかどうかを
判定し（ステップＡ２０）、そうであれば、発生時刻Ｔ
_j に１を加えた時刻をイベントＥ_i およびイベントＥ_j
の発生時刻とし（ステップＡ２１）、ステップＡ２３に
制御を移す。

【００４６】ステップＡ２０で、そうでなれば、送受信
時刻決定手段２４は、イベントＥ_iの仮の送信時刻をイ
ベントＥ_i の発生時刻とし、発生時刻Ｔ_j に１を加えた
時刻をイベントＥ_j の発生時刻とし（ステップＡ２
２）、ステップＡ２３に制御を移す。

【００４７】ステップＡ２３では、送受信時刻決定手段
２４は、プロセスｉの最後のイベントが設定されていな
い、または設定したイベントＥ_i の発生時刻がプロセス
ｉの最後のイベントの発生時刻より遅いかどうかを判定
し、そうであれば、イベントＥ_i をプロセスｉの最後の
イベントとして記憶して（ステップＡ２４）、ステップ
Ａ２５に制御を進める。

【００４８】ステップＡ２３で、そうでなければ、送受
信時刻決定手段２４は、プロセスｊの最後のイベントが
設定されていない、または設定したイベントＥ_j の発生
時刻がプロセスｊの最後のイベントの発生時刻より遅い
かどうかを判定し（ステップＡ２５）、そうであればイ
ベントＥ_j をプロセスｊの最後のイベントとして記憶し
（ステップＡ２６）、ステップＡ１に制御を戻す。ステ
ップＡ２５で、そうでなければ、直ちにステップＡ１に
制御を戻す。

【００４９】入力装置１から得られるすべての入力情報
に対してステップＡ１ないしＡ２６を繰り返し、処理が
終ったらば（ステップＡｌではい）、メッセージシーケ
ンスチャート描画装置は、処理を終了する。

【００５０】このように、第１の実施の形態によれば、
送信情報をキューに積むことにより、メッセージシーケ
ンスチャートのメッセージの斜めの矢印の一部を、メッ
セージシーケンスの半順序関係を保った範囲で水平に描
画することができる。

【００５１】次に、本発明の実行例について図面を参照
して詳細に説明する。

【００５２】図４（Ａ）〜（Ｆ）は、入力装置１から順
次入力される入力情報の具体例を示す図である。図４に
おいて、“Ｓｅｎｄ Ｍ₁ ｆｒｏｍ Ｉ₁ ｔｏ Ｉ
₃ ”はプロセスＩ₁ からプロセスＩ₃ にメッセージＭ₁
が送られたことを表す送信情報、“Ｒｅｃｖ Ｍ₁ ”は
メッセージＭ₁ が受け取られたことを表す受信情報をそ
れぞれ示す。

【００５３】図５（Ｄ），（Ｅ），（Ｆ）は、図４
（Ａ）〜（Ｆ）の入力情報に対して第１の実施の形態に
係るメッセージシーケンスチャート描画方法を用いて描
画したメッセージシーケンスチャートを例示する図であ
り、図５（Ｄ），図５（Ｅ），図５（Ｆ）はそれぞれ図
４（Ｄ），図４（Ｅ），図４（Ｆ）に対する処理まで行
ったときの図である。図中の点線矢印は、仮の送信時刻
だけが決定しているメッセージを表している。

【００５４】図６（Ａ）〜（Ｆ）は、図４（Ａ）〜
（Ｆ）の入力情報に対して第１の実施の形態に係るメッ
セージスケジュールチャート描画方法を用いた際に、プ
ロセス情報記憶部３１のプロセス情報およびイベント情
報記憶部３２のイベント情報を示した図である。ただ
し、イベント情報記憶部３２のイベント情報の中で、送
信元プロセスおよび受信先プロセスの情報は省かれてい
る。

【００５５】例として、図４（Ａ）〜（Ｆ）に記述され
た入力情報がこの順番で渡された場合のメッセージシー
ケンスチャートを描く手順を、図４（Ａ）〜（Ｆ），図
５（Ｄ）〜（Ｆ）および図６（Ａ）〜（Ｆ）を参照しな
がら説明する。なお、これらの図において、Ｍ₁ 〜Ｍ₃
はメッセージ、Ｓ₁ 〜Ｓ₃ は送信イベント、Ｒ₁ 〜Ｒ₃
は受信イベント、Ｉ₁ 〜Ｉ₃ はプロセス、ＬＥ₁ 〜ＬＥ
₃ はプロセスＩ₁ 〜Ｉ₃ の最後のイベント、Ｃ₁ 〜Ｃ₃
はまだ送信時刻が決められていないメッセージを格納す
るためのキューをそれぞれ示す。また、Ｓ₁ ：｛Ｉ₁ ，
Ｉ₂ ，ｔ｝はイベントＳ₁ の直前のイベントがＩ₁ 、直
後のイベントがＩ₂ ，発生時刻がｔであることを表す
（Ｓ₂ ，Ｓ₃ ，Ｒ₁ 〜Ｒ₃ についても同様）。ＮＡは対
応するイベントが設定されていないことを表す。

【００５６】まず、図４（Ａ）および図６（Ａ）を参照
すると、“Ｓｅｎｄ Ｍ₁ ｆｒｏｍ Ｉ₁ ｔｏ Ｉ
₃ ”はプロセスＩ₁ からプロセスＩ₃ ヘのメッセージＭ
₁ の送信情報（イベントＳ₁ ）で（ステップＡ２では
い）、キューＣ₁ は空で（ステップＡ３ではい）、プロ
セスＩ₁ の最後に起きたイベントが設定されていないの
で（ステップＡ４でいいえ）、イベントＳ₁ の直前のイ
ベントは設定されず、キューＣ₁ の最後尾にメッセージ
Ｍ₁ が積まれる（ステップＡ５）。

【００５７】次に、図４（Ｂ）および図６（Ｂ）を参照
すると、“Ｓｅｎｄ Ｍ₂ ｆｒｏｍ Ｉ₁ ｔｏ Ｉ
₂ ”はプロセスＩ₁ からプロセスＩ₂ へのメッセージＭ
₂ の送信情報（イベントＳ₂ ）で（ステップＡ２では
い）、キューＣ₁ の最後の要素はメッセージＭ₁ なので
（ステップＡ３でいいえ）、イベントＳ₁ の直後のイベ
ントとしてイベントＳ₂ が記憶され、イベントＳ₂ の直
前のイベントとしてイベントＳ₁ が記憶され（ステップ
Ａ７）、キューＣ₁ の最後尾にメッセージＭ₂ が積まれ
る（ステップＡ５）。

【００５８】続いて、図４（Ｃ）および図６（Ｃ）を参
照すると、“Ｓｅｎｄ Ｍ₃ ｆｒｏｍ Ｉ₂ ｔｏ
Ｉ₁ ”は、プロセスＩ₂ からプロセスＩ₁ ヘのメッセー
ジＭ₃ の送信情報（イベントＳ₃ ）で（ステップＡ２で
はい）、キューＣ₂ は空で（ステップＡ３ではい）、プ
ロセスＩ₂ の最後のイベントが設定されていないので
（ステップＡ４でいいえ）、イベントＳ₃ の直前のイベ
ントは設定されず、キューＣ₂ の最後尾にメッセージＭ
₃ が積まれる（ステップＡ５）。

【００５９】次に、図４（Ｄ），図５（Ｄ）および図６
（Ｄ）を参照すると、“ＲｅｃｖＭ₂ ”はメッセージＭ
₂ の受信情報（イベントＲ₂ ）であり（ステップＡ２で
いいえ）、メッセージＭ₂ の送信元プロセスはＩ₁ ，受
信先プロセスはＩ₂ であるので、キューＣ₂ に記憶され
ているメッセージＭ₃ の仮の送信時刻が決定されなけれ
ばならず、プロセスＩ₂ の最後のイベントが設定されて
いないので（ステップＡ９でいいえ）、仮の送信時刻と
して０が設定され、ＬＥ₂ にメッセージＭ₃の送信イベ
ントＳ₃ が記憶され、メッセージＭ₃ がキューＣ₂ から
削除される（ステップＡ１３）。キューＣ₁ にメッセー
ジＭ₂ より前に記憶されているメッセージＭ₁ の仮の送
信時刻が決定されなければならず、プロセスＩ₁ の最後
のイベントが設定されていないので仮の送信時刻として
０が設定され、ＬＥ₁ にメッセージＭ₁ の送信イベント
Ｓ₁ が記憶され、メッセージＭ₁ がキューＣ₁ から削除
される（ステップＡ１３）。メッセージＭ₂ がキューＣ
₁ から削除される（ステップＡ１５）。プロセスＩ₂ の
最後に起きたイベントが設定されていて（ステップＡ１
６ではい）、メッセージＭ₂ の仮の送信時刻が設定され
ておらず（ステップＡ１８でいいえ）、メッセージＭ₂
の直後のイベントが設定されていないので（ステップＡ
２０ではい）、イベントＳ₂ およびイベントＲ₂ の発生
時刻として１（＝（ＬＥ₂ に記憶されているイベントの
発生時刻）＋１）が設定され、ＬＥ₁ にイベントＳ₂ が
代入され、ＬＥ₂ にイベントＲ₂ が代入される（ステッ
プＡ２４）。

【００６０】続いて、図４（Ｅ），図５（Ｅ）および図
６（Ｅ）を参照すると、“ＲｅｃｖＭ₃ ”はメッセージ
Ｍ₃ の受信情報（イベントＲ₃ ）であり（ステップＡ２
でいいえ）、メッセージＭ₃ の送信元プロセスはＩ₂ 、
受信先プロセスはＩ₁ であるが、キューＣ₁ もキューＣ
₂ も空であるので、仮の送信時刻が決定されなければな
らないメッセージは存在しない（ステップＡ８〜ステッ
プＡ１３）。メッセージＭ₃ はキューＣ₂ に含まれない
ので何もしない（ステップＡ１５）。プロセスＩ₁ の最
後に起きたイベントが設定されていて（ステップＡ１６
ではい）、メッセージＭ₃ 仮の送信時刻０がプロセスＩ
₁ の最後に起きたイベントＳ₂ の発生時刻１より早く
（ステップＡ１８でいいえ）、イベントＳ₃ の直後のイ
ベントが設定されていて、イベントＳ₃ の直後のイベン
トＲ₂ の発生時刻１が２（（プロセスＩ₁ の最後に起き
たイベントＳ₂ の発生時刻１）＋１）より早いので（ス
テップＡ２０でいいえ）、イベントＳ₃ の仮の送信時刻
０をイベントＳ₃ の送信時刻とし、２（（プロセスＩ₁
の最後に起きたイベントＳ₂ の発生時刻１）＋１）をイ
ベントＲ₃ の発生時刻とする（ステップＡ２２）。イベ
ントＳ₃ の発生時刻０がプロセスＩ₂ の最後のイベント
Ｒ₂ の発生時刻１より早く（ステップＡ２３でいい
え）、イベントＲ₃ の発生時刻２がプロセスＩ₁ の最後
のイベントＲ₂ の発生時刻０より遅いので（ステップＡ
２５ではい）、ＬＥ₃ にイベントＲ₃ が代入される（ス
テップＡ２６）。

【００６１】最後に、図４（Ｆ），図５（Ｆ）および図
６（Ｆ）を参照すると、“ＲｅｃｖＭ₁ ”はメッセージ
Ｍ₁ の受信情報（イベントＲ₁ ）であり（ステップＡ２
でいいえ）、メッセージＭ₁ の送信元プロセスはＩ₁ 、
受信先プロセスはＩ₃ であるが、キューＣ₃ もキューＣ
₁ も空であるので、仮の送信時刻が決定されなければな
らないメッセージは存在しない（ステップＡ８〜ステッ
プＡ１２）。メッセージＭ₁ はキューＣ₁ に含まれない
ので何もしない（ステップＡ１３）。イベントＳ₁ の直
前のイベントの発生時刻とプロセスＩ₃ の最後のイベン
トが設定されていないので（ステップＡ１６でいい
え）、イベントＳ₁ およびイベントＲ₁ の発生時刻とし
て０が設定され（ステップＡ１７）、ＬＥ₃ にイベント
Ｒ₁ が代入される（ステップＡ２６）。

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

【００６３】図７を参照すると、本発明の第２の実施の
形態に係るメッセージシーケンスチャート描画装置は、
メッセージシーケンスチャート描画プログラムを記録し
た記録媒体５を備える。この記録媒体５は、磁気ディス
ク，半導体メモリその他の記録媒体であってよい。

【００６４】メッセージシーケンスチャート描画プログ
ラムは、記録媒体５からデータ処理装置２に読み込ま
れ、データ処理装置２の動作を制御する。メッセージシ
ーケンスチャート描画プログラムによるデータ処理装置
２の動作および効果は、図１に示した第１の実施の形態
に係るメッセージシーケンス描画装置の動作および効果
と全く同様なので、その詳しい説明を割愛する。

【００６５】

【発明の効果】本発明の効果は、メッセージシーケンス
チャートのメッセージの斜めの矢印を、メッセージシー
ケンスの半順序関係が保てる範囲で水平に描画できるこ
とである。その理由は、メッセージをキューに積むこと
により、メッセージシーケンスの半順序関係が保てる範
囲でメッセージの送信時刻と受信時刻とを同じにできる
メッセージを検索できるからである。

【図面の簡単な説明】

【図１】本発明の第１の実施の形態に係るメッセージシ
ーケンスチャート描画装置の構成を表すブロック図であ
る。

【図２】本発明の第１の実施の形態に係るメッセージシ
ーケンスチャート描画方法の処理の前半部を示すフロー
チャートである。

【図３】本発明の第１の実施の形態に係るメッセージシ
ーケンスチャート描画方法の処理の後半部を示すフロー
チャートである。

【図４】（Ａ）〜（Ｆ）は図１中の入力装置から順次入
力される入力情報の具体例を示す図である。

【図５】図４（Ａ）〜（Ｆ）の入力情報に対して第１の
実施の形態に係るメッセージシーケンスチャート描画方
法を用いて描画したメッセージシーケンスチャートを例
示する図であり、（Ｄ），（Ｅ），（Ｆ）はそれぞれ図
４（Ｄ），図４（Ｅ），図４（Ｆ）に対する処理まで行
ったときの図である。

【図６】図４（Ａ）〜（Ｆ）の入力情報に対して第１の
実施の形態に係るメッセージシーケンスチャート描画方
法を用いた際にプロセス情報記憶部およびイベント情報
記憶部に記憶される情報を示した図である。

【図７】本発明の第２の実施の形態に係るメッセージシ
ーケンスチャート描画装置の構成を表すブロック図であ
る。

【図８】図４（Ａ）〜（Ｆ）の入力情報に対して従来の
方法を用いて描画したメッセージシーケンスチャートの
一例を示す図である。

【符号の説明】

１ 入力装置 ２ データ処理装置 ３ 記憶装置 ４ 表示装置 ５ 記録媒体 ２１ 送信情報処理手段 ２２ 送受信情報種別判別手段 ２３ 仮の送信時刻決定手段 ２４ 送受信時刻決定手段 ３１ プロセス情報記憶部 ３２ イベント情報記憶部 Ａ１ 全入力情報処理終了判定ステップ Ａ２ 送信情報判定ステップ Ａ３ キュー空判定ステップ Ａ４ 最後イベント記憶判定ステップ Ａ５ イベントのキューへの積みステップ Ａ６ 直前イベントおよび直後イベント記憶ステップ Ａ７ 直前イベントおよび直後イベント記憶ステップ Ａ８ ループ条件設定ステップ Ａ９ 最後イベント設定判定ステップ Ａ１０ 仮の送信時刻設定ステップ Ａ１１ 仮の送信時刻設定ステップ Ａ１２ 直前および直後イベント記憶ステップ Ａ１３ 最後イベント記憶およびメッセージのキューか
らの削除ステップ Ａ１５ メッセージのキューからの削除ステップ Ａ１６ 発生時刻条件判定ステップ Ａ１７ 発生時刻０設定ステップ Ａ１８ 発生時刻条件判定ステップ Ａ１９ 仮送信時刻発生時刻設定ステップ Ａ２０ 発生時刻条件判定ステップ Ａ２１ 発生時刻＋１設定ステップ Ａ２２ 発生時刻設定ステップ Ａ２３ 最後イベント記憶条件判定ステップ Ａ２４ 最後イベント記憶ステップ Ａ２５ 最後イベント記憶条件判定ステップ Ａ２６ 最後イベント記憶ステップ

Claims (6)

(57)【特許請求の範囲】
1. 【請求項１】 メッセージの送信情報を受け取ったとき
   に、送信元プロセス名および受信先プロセス名を記憶
   し、該メッセージを送信元プロセスのキューの最後尾に
   記憶し、前記キューが空でなければ、該イベントの直前
   のイベントとして最後のイベントを記憶し、前記キュー
   が空で送信元プロセスに最後のイベントが記憶されてい
   れば、そのイベントを該イベントの直前のイベントとし
   て記憶し、直前のイベントの直後のイベントとして該イ
   ベントを記憶する送信情報処理手段と、メッセージの受信情報を受け取ったときに、受信先プロ
   セスのキューのすべてのメッセージと、送信元プロセス
   のキューのメッセージの中で該メッセージより前に格納
   されているメッセージとを前記キューに積まれている順
   番に着目メッセージとし、対応するプロセスの最後のイ
   ベントが記憶されているならば、着目メッセージの仮の
   送信時刻を最後のイベントの発生時刻に単位時間を加え
   た時刻に設定し、着目メッセージの送信に対応する着目
   イベントの直前のイベントとして最後のイベントを、最
   後のイベントの直後のイベントとして着目イベントを記
   憶し、対応するプロセスの最後のイベントが記憶されて
   いないならば、着目メッセージの仮の送信時刻を初期値
   に設定し、着目イベントに対応するプロセスの最後のイ
   ベントとして着目イベントを記憶し、着目メッセージを
   対応するキューから削除する 仮の送信時刻決定手段と、送信元プロセスのイベントの直前のイベントか受信先プ
   ロセスの最後のイベントかのどちらかが記憶されていな
   い場合に、送信元プロセスのイベントおよび受信先プロ
   セスのイベントの発生時刻として初期値を設定し、受信
   先プロセスの最後のイベントが記憶されていない、また
   は送信元プロセスのイベントの仮の送信時刻が設定され
   ていて、その時刻が受信先プロセスの最後のイベントの
   発生時刻より遅かった場合に、送信元プロセスのイベン
   トの仮の送信時刻を送信元プロセスのイベントおよび受
   信先プロセスのイベントの発生時刻として設定し、送信
   元プロセスのイベントの直後のイベントが記憶されてい
   ない、または送信元プロセスのイベントの直後のイベン
   トの発生時刻が受信先プロセスの最後のイベントの発生
   時刻に単位時間を加えた時刻より遅かった場合に、受信
   先プロセスの最後のイ ベントの発生時刻に単位時間を加
   えた時刻を送信元プロセスのイベントおよび受信先プロ
   セスのイベントの発生時刻として設定し、直後のイベン
   トの発生時刻が受信先プロセスの最後のイベントの発生
   時刻に単位時間を加えた時刻より早かった場合に、送信
   元プロセスのイベントの仮の送信時刻を送信元プロセス
   のイベントの発生時刻とし、受信先プロセスの最後のイ
   ベントの発生時刻に単位時間を加えた時刻を受信先プロ
   セスのイベントの発生時刻として設定し、送信元プロセ
   スの最後のイベントが記憶されていない、または設定し
   た送信元プロセスのイベントの発生時刻が送信元プロセ
   スの最後のイベントの発生時刻より遅い場合に、送信元
   プロセスのイベントを送信元プロセスの最後のイベント
   として記憶し、受信先プロセスの最後のイベントが記憶
   されていない、または設定した受信先プロセスのイベン
   トの発生時刻が受信先プロセスの最後のイベントの発生
   時刻より遅い場合に、受信先プロセスのイベントを受信
   先プロセスの最後のイベントとして記憶する 送受信時刻
   決定手段とを有することを特徴とするメッセージシーケ
   ンスチャート描画装置。
2. 【請求項２】 プロセスごとに、該プロセスに最後のイ
   ベントを記憶するとともに、メッセージを記憶するキュ
   ーを保持するプロセス情報記憶部と、 イベントごとに、イベントを形成するメッセージの送信
   元プロセス名および受信先プロセス名と、該メッセージ
   の送信の直前および直後に起きたイベントと、イベント
   の発生時刻とを記憶するイベント情報記憶部と、 入力情報がメッセージの送信情報であるかメッセージの
   受信情報であるかを判別する送受信情報種別判別手段
   と、 前記送受信情報種別判別手段によりメッセージの送信情
   報であると判別されたときに、送信元プロセス名および
   受信先プロセス名を前記イベント情報記憶部に記憶し、
   該メッセージを前記プロセス情報記憶部の送信元プロセ
   スのキューの最後尾に記憶し、前記キューが空でなけれ
   ば、該イベントの直前のイベントとして最後のイベント
   を記憶し、前記キューが空で送信元プロセスに最後のイ
   ベントが記憶されていれば、そのイベントを該イベント
   の直前のイベントとして記憶し、直前のイベントの直後
   のイベントとして該イベントを記憶する 送信情報処理手
   段と、前記送受信情報種別判別手段によりメッセージの
   受信情報であると判別されたときに、前記プロセス情報
   記憶部の受信先プロセスのキューのすべてのメッセージ
   と、送信元プロセスのキューのメッセージの中で該メッ
   セージより前に格納されているメッセージとを前記キュ
   ーに積まれている順番に着目メッセージとし、対応する
   プロセスの最後のイベントが記憶されているならば、着
   目メッセージの仮の送信時刻を最後のイベントの発生時
   刻に単位時間を加えた時刻に設定し、着目メッセージの
   送信に対応する着目イベントの直前のイベントとして最
   後のイベントを、最後のイベントの直後のイベントとし
   て着目イベントを記憶し、対応するプロセスの最後のイ
   ベントが記憶されていないならば、着目メッセージの仮
   の送信時刻を初期値に設定し、着目イベントに対応する
   プロセスの最後のイベントとして着目イベントを記憶
   し、着目メッセージを対応するキューから削除する仮の
   送信時刻決定手段と、送信元プロセスのイベントの直前のイベントか受信先プ
   ロセスの最後のイベントかのどちらかが記憶されていな
   い場合に、送信元プロセスのイベントおよび受信先プロ
   セスのイベントの発生時刻として初期値を前記イベント
   情報記憶部に設定し、受信先プロセスの最後のイベント
   が記憶されていない、または送信元プロセスのイベント
   の仮の送信時刻が設定されていて、その時刻が受信先プ
   ロセスの最後のイベントの発生時刻より遅かった場合、
   送信元プロセスのイベントの仮の送信時刻を送信元プロ
   セスのイベントおよび受信先プロセスのイベントの発生
   時刻として前記イベント情報記憶部に設定し、送信元プ
   ロセスのイベントの直後のイベントが記憶されていな
   い、または送信元プロセスのイベントの直後のイベント
   の発生時刻が受信先プロセスの最後のイベントの発生時
   刻に単位時間を加えた時刻より遅かった場合に、受信先
   プロセスの最後のイベントの発生時刻に単位時間を加え
   た時刻を送信元プロセスのイベントおよび受信先プロセ
   スのイベントの発生時刻として前記イベント情報記憶部
   に設定し、直後のイベントの発生時刻が受信先プロセス
   の最後のイベントの発生時刻に単位時間を加えた時刻よ
   り早かった場合に、送信元プロセスのイベントの仮の送
   信時刻を送信元プロセスのイベントの発生時刻とし、受
   信先プロセスの最後のイベントの発生時刻に単位時間を
   加えた時刻を受信先プロセスのイベントの発生時刻とし
   て設定し、送信元プロセスの 最後のイベントが記憶され
   ていない、または設定した送信元プロセスのイベントの
   発生時刻が送信元プロセスの最後のイベントの発生時刻
   より遅い場合に、送信元プロセスのイベントを送信元プ
   ロセスの最後のイベントとして記憶し、受信先プロセス
   の最後のイベントが記憶されていない、または設定した
   受信先プロセスのイベントの発生時刻が受信先プロセス
   の最後のイベントの発生時刻より遅い場合に、受信先プ
   ロセスのイベントを受信先プロセスの最後のイベントと
   して記憶する 送受信時刻決定手段とを有することを特徴
   とするメッセージシーケンスチャート描画装置。
3. 【請求項３】 入力情報がメッセージの送信情報である
   かメッセージの受信情報であるかを判別する工程と、 入力情報がメッセージの送信情報であると判別されたと
   きに、送信元プロセス名および受信先プロセス名を記憶
   し、該メッセージを送信元プロセスのキューの最後尾に
   記憶し、前記キューが空でなければ、該イベントの直前
   のイベントとして最後のイベントを記憶し、前記キュー
   が空で送信元プロセスに最後のイベントが記憶されてい
   れば、そのイベントを該イベントの直前のイベントとし
   て記憶し、直前のイベントの直後のイベントとして該イ
   ベントを記憶する工程と、 入力情報がメッセージの受信情報であると判別されたと
   きに、受信先プロセスのキューのすべてのメッセージ
   と、送信元プロセスのキューのメッセージの中で該メッ
   セージより前に格納されているメッセージとを前記キュ
   ーに積まれている順番に着目メッセージとし、対応する
   プロセスの最後のイベントが記憶されているならば、着
   目メッセージの仮の送信時刻を最後のイベントの発生時
   刻に単位時間を加えた時刻に設定し、着目メッセージの
   送信に対応する着目イベントの直前のイベントとして最
   後のイベントを、最後のイベントの直後のイベントとし
   て着目イベントを記憶し、対応するプロセスの最後のイ
   ベントが記憶されていないならば、着目メッセージの仮
   の送信時刻を初期値に設定し、着目イベントに対応する
   プロセスの最後のイベントとして着目イベントを記憶
   し、着目メッセージを対応するキューから削除する工程
   と、 送信元プロセスのイベントの直前のイベントか受信先プ
   ロセスの最後のイベントかのどちらかが記憶されていな
   い場合に、送信元プロセスのイベントおよび受信 先プロ
   セスのイベントの発生時刻として初期値を設定し、受信
   先プロセスの最後のイベントが記憶されていない、また
   は送信元プロセスのイベントの仮の送信時刻が設定され
   ていて、その時刻が受信先プロセスの最後のイベントの
   発生時刻より遅かった場合に、送信元プロセスのイベン
   トの仮の送信時刻を送信元プロセスのイベントおよび受
   信先プロセスのイベントの発生時刻として設定し、送信
   元プロセスのイベントの直後のイベントが記憶されてい
   ない、または送信元プロセスのイベントの直後のイベン
   トの発生時刻が受信先プロセスの最後のイベントの発生
   時刻に単位時間を加えた時刻より遅かった場合に、受信
   先プロセスの最後のイベントの発生時刻に単位時間を加
   えた時刻を送信元プロセスのイベントおよび受信先プロ
   セスのイベントの発生時刻として設定し、直後のイベン
   トの発生時刻が受信先プロセスの最後のイベントの発生
   時刻に単位時間を加えた時刻より早かった場合に、送信
   元プロセスのイベントの仮の送信時刻を送信元プロセス
   のイベントの発生時刻とし、受信先プロセスの最後のイ
   ベントの発生時刻に単位時間を加えた時刻を受信先プロ
   セスのイベントの発生時刻として設定し、送信元プロセ
   スの最後のイベントが記憶されていない、または設定し
   た送信元プロセスのイベントの発生時刻が送信元プロセ
   スの最後のイベントの発生時刻より遅い場合に、送信元
   プロセスのイベントを送信元プロセスの最後のイベント
   として記憶し、受信先プロセスの最後のイベントが記憶
   されていない、または設定した受信先プロセスのイベン
   トの発生時刻が受信先プロセスの最後のイベントの発生
   時刻より遅い場合に、受信先プロセスのイベントを受信
   先プロセスの最後のイベントとして記憶する工程とを含
   み、 複数のプロセスがメッセージを交わし、それらの送受信
   時刻の全順序が定義されているメッセージシーケンスが
   与えられたとき、メッセージシーケンスの半順序関係を
   保ちつつメッセージの送受信の時刻をずらすことによ
   り、メッセージシーケンスチャートに斜めに描かれるは
   ずであったメッセージの矢印の一部を水平になるように
   メッセージの送受信時刻を決定することを特徴とするメ
   ッセージシーケンスチャート描画方法。
4. 【請求項４】 コンピュータを、メッセージの送信情報
   を受け取ったときに、送信元プロセス名および受信先プ
   ロセス名を記憶し、該メッセージを送信元プロセ スのキ
   ューの最後尾に記憶し、前記キューが空でなければ、該
   イベントの直前のイベントとして最後のイベントを記憶
   し、前記キューが空で送信元プロセスに最後のイベント
   が記憶されていれば、そのイベントを該イベントの直前
   のイベントとして記憶し、直前のイベントの直後のイベ
   ントとして該イベントを記憶する送信情報処理手段，メ
   ッセージの受信情報を受け取ったときに、受信先プロセ
   スのキューのすべてのメッセージと、送信元プロセスの
   キューのメッセージの中で該メッセージより前に格納さ
   れているメッセージとを前記キューに積まれている順番
   に着目メッセージとし、対応するプロセスの最後のイベ
   ントが記憶されているならば、着目メッセージの仮の送
   信時刻を最後のイベントの発生時刻に単位時間を加えた
   時刻に設定し、着目メッセージの送信に対応する着目イ
   ベントの直前のイベントとして最後のイベントを、最後
   のイベントの直後のイベントとして着目イベントを記憶
   し、対応するプロセスの最後のイベントが記憶されてい
   ないならば、着目メッセージの仮の送信時刻を初期値に
   設定し、着目イベントに対応するプロセスの最後のイベ
   ントとして着目イベントを記憶し、着目メッセージを対
   応するキューから削除する仮の送信時刻決定手段，およ
   び送信元プロセスのイベントの直前のイベントか受信先
   プロセスの最後のイベントかのどちらかが記憶されてい
   ない場合に、送信元プロセスのイベントおよび受信先プ
   ロセスのイベントの発生時刻として初期値を設定し、受
   信先プロセスの最後のイベントが記憶されていない、ま
   たは送信元プロセスのイベントの仮の送信時刻が設定さ
   れていて、その時刻が受信先プロセスの最後のイベント
   の発生時刻より遅かった場合に、送信元プロセスのイベ
   ントの仮の送信時刻を送信元プロセスのイベントおよび
   受信先プロセスのイベントの発生時刻として設定し、送
   信元プロセスのイベントの直後のイベントが記憶されて
   いない、または送信元プロセスのイベントの直後のイベ
   ントの発生時刻が受信先プロセスの最後のイベントの発
   生時刻に単位時間を加えた時刻より遅かった場合に、受
   信先プロセスの最後のイベントの発生時刻に単位時間を
   加えた時刻を送信元プロセスのイベントおよび受信先プ
   ロセスのイベントの発生時刻として設定し、直後のイベ
   ントの発生時刻が受信先プロセスの最後のイベントの発
   生時刻に単位時間を加えた時刻より早かった場合に、送
   信元プロセスのイベントの仮の送信時刻を送信元プロセ
   スのイベントの発生時刻とし、受信 先プロセスの最後の
   イベントの発生時刻に単位時間を加えた時刻を受信先プ
   ロセスのイベントの発生時刻として設定し、送信元プロ
   セスの最後のイベントが記憶されていない、または設定
   した送信元プロセスのイベントの発生時刻が送信元プロ
   セスの最後のイベントの発生時刻より遅い場合に、送信
   元プロセスのイベントを送信元プロセスの最後のイベン
   トとして記憶し、受信先プロセスの最後のイベントが記
   憶されていない、または設定した受信先プロセスのイベ
   ントの発生時刻が受信先プロセスの最後のイベントの発
   生時刻より遅い場合に、受信先プロセスのイベントを受
   信先プロセスの最後のイベントとして記憶する送受信時
   刻決定手段として機能させるためのプログラムを記録し
   た機械読み取り可能な記録媒体。
5. 【請求項５】 コンピュータを、プロセスごとに、該プ
   ロセスに最後のイベントを記憶するとともに、メッセー
   ジを記憶するキューを保持するプロセス情報記憶部，イ
   ベントごとに、イベントを形成するメッセージの送信元
   プロセス名および受信先プロセス名と、該メッセージの
   送信の直前および直後に起きたイベントと、イベントの
   発生時刻とを記憶するイベント情報記憶部，入力情報が
   メッセージの送信情報であるかメッセージの受信情報で
   あるかを判別する送受信情報種別判別手段，前記送受信
   情報種別判別手段によりメッセージの送信情報であると
   判別されたときに、送信元プロセス名および受信先プロ
   セス名を前記イベント情報記憶部に記憶し、該メッセー
   ジを前記プロセス情報記憶部の送信元プロセスのキュー
   の最後尾に記憶し、前記キューが空でなければ、該イベ
   ントの直前のイベントとして最後のイベントを記憶し、
   前記キューが空で送信元プロセスに最後のイベントが記
   憶されていれば、そのイベントを該イベントの直前のイ
   ベントとして記憶し、直前のイベントの直後のイベント
   として該イベントを記憶する送信情報処理手段，前記送
   受信情報種別判別手段によりメッセージの受信情報であ
   ると判別されたときに、前記プロセス情報記憶部の受信
   先プロセスのキューのすべてのメッセージと、送信元プ
   ロセスのキューのメッセージの中で該メッセージより前
   に格納されているメッセージとを前記キューに積まれて
   いる順番に着目メッセージとし、対応するプロセスの最
   後のイベントが記憶されているならば、着目メッセージ
   の仮の送信時刻を最後のイベントの発生時刻に単位時間
   を加えた時刻に設定し、着目メッセージの送信に対応す
   る着目イベントの直前のイベントとして最後 のイベント
   を、最後のイベントの直後のイベントとして着目イベン
   トを記憶し、対応するプロセスの最後のイベントが記憶
   されていないならば、着目メッセージの仮の送信時刻を
   初期値に設定し、着目イベントに対応するプロセスの最
   後のイベントとして着目イベントを記憶し、着目メッセ
   ージを対応するキューから削除する仮の送信時刻決定手
   段，ならびに送信元プロセスのイベントの直前のイベン
   トか受信先プロセスの最後のイベントかのどちらかが記
   憶されていない場合に、送信元プロセスのイベントおよ
   び受信先プロセスのイベントの発生時刻として初期値を
   前記イベント情報記憶部に設定し、受信先プロセスの最
   後のイベントが記憶されていない、または送信元プロセ
   スのイベントの仮の送信時刻が設定されていて、その時
   刻が受信先プロセスの最後のイベントの発生時刻より遅
   かった場合、送信元プロセスのイベントの仮の送信時刻
   を送信元プロセスのイベントおよび受信先プロセスのイ
   ベントの発生時刻として前記イベント情報記憶部に設定
   し、送信元プロセスのイベントの直後のイベントが記憶
   されていない、または送信元プロセスのイベントの直後
   のイベントの発生時刻が受信先プロセスの最後のイベン
   トの発生時刻に単位時間を加えた時刻より遅かった場合
   に、受信先プロセスの最後のイベントの発生時刻に単位
   時間を加えた時刻を送信元プロセスのイベントおよび受
   信先プロセスのイベントの発生時刻として前記イベント
   情報記憶部に設定し、直後のイベントの発生時刻が受信
   先プロセスの最後のイベントの発生時刻に単位時間を加
   えた時刻より早かった場合に、送信元プロセスのイベン
   トの仮の送信時刻を送信元プロセスのイベントの発生時
   刻とし、受信先プロセスの最後のイベントの発生時刻に
   単位時間を加えた時刻を受信先プロセスのイベントの発
   生時刻として設定し、送信元プロセスの最後のイベント
   が記憶されていない、または設定した送信元プロセスの
   イベントの発生時刻が送信元プロセスの最後のイベント
   の発生時刻より遅い場合に、送信元プロセスのイベント
   を送信元プロセスの最後のイベントとして記憶し、受信
   先プロセスの最後のイベントが記憶されていない、また
   は設定した受信先プロセスのイベントの発生時刻が受信
   先プロセスの最後のイベントの発生時刻より遅い場合
   に、受信先プロセスのイベントを受信先プロセスの最後
   のイベントとして記憶する送受信時刻決定手段として機
   能させるためのプログラムを記録した機械読み取り可能
   な記録媒体。
6. 【請求項６】 コンピュータに、入力情報がメッセージ
   の送信情報であるかメッセージの受信情報であるかを判
   別する工程，入力情報がメッセージの送信情報であると
   判別されたときに、送信元プロセス名および受信先プロ
   セス名を記憶し、該メッセージを送信元プロセスのキュ
   ーの最後尾に記憶し、前記キューが空でなければ、該イ
   ベントの直前のイベントとして最後のイベントを記憶
   し、前記キューが空で送信元プロセスに最後のイベント
   が記憶されていれば、そのイベントを該イベントの直前
   のイベントとして記憶し、直前のイベントの直後のイベ
   ントとして該イベントを記憶する工程，入力情報がメッ
   セージの受信情報であると判別されたときに、受信先プ
   ロセスのキューのすべてのメッセージと、送信元プロセ
   スのキューのメッセージの中で該メッセージより前に格
   納されているメッセージとを前記キューに積まれている
   順番に着目メッセージとし、対応するプロセスの最後の
   イベントが記憶されているならば、着目メッセージの仮
   の送信時刻を最後のイベントの発生時刻に単位時間を加
   えた時刻に設定し、着目メッセージの送信に対応する着
   目イベントの直前のイベントとして最後のイベントを、
   最後のイベントの直後のイベントとして着目イベントを
   記憶し、対応するプロセスの最後のイベントが記憶され
   ていないならば、着目メッセージの仮の送信時刻を初期
   値に設定し、着目イベントに対応するプロセスの最後の
   イベントとして着目イベントを記憶し、着目メッセージ
   を対応するキューから削除する工程，送信元プロセスの
   イベントの直前のイベントか受信先プロセスの最後のイ
   ベントかのどちらかが記憶されていない場合に、送信元
   プロセスのイベントおよび受信先プロセスのイベントの
   発生時刻として初期値を設定し、受信先プロセスの最後
   のイベントが記憶されていない、または送信元プロセス
   のイベントの仮の送信時刻が設定されていて、その時刻
   が受信先プロセスの最後のイベントの発生時刻より遅か
   った場合に、送信元プロセスのイベントの仮の送信時刻
   を送信元プロセスのイベントおよび受信先プロセスのイ
   ベントの発生時刻として設定し、送信元プロセスのイベ
   ントの直後のイベントが記憶されていない、または送信
   元プロセスのイベントの直後のイベントの発生時刻が受
   信先プロセスの最後のイベントの発生時刻に単位時間を
   加えた時刻より遅かった場合に、受信先プロセスの最後
   のイベントの発生時刻に単位時間を加えた時刻を送信元
   プロセスのイベントおよび受信先プロセスの イベントの
   発生時刻として設定し、直後のイベントの発生時刻が受
   信先プロセスの最後のイベントの発生時刻に単位時間を
   加えた時刻より早かった場合に、送信元プロセスのイベ
   ントの仮の送信時刻を送信元プロセスのイベントの発生
   時刻とし、受信先プロセスの最後のイベントの発生時刻
   に単位時間を加えた時刻を受信先プロセスのイベントの
   発生時刻として設定し、送信元プロセスの最後のイベン
   トが記憶されていない、または設定した送信元プロセス
   のイベントの発生時刻が送信元プロセスの最後のイベン
   トの発生時刻より遅い場合に、送信元プロセスのイベン
   トを送信元プロセスの最後のイベントとして記憶し、受
   信先プロセスの最後のイベントが記憶されていない、ま
   たは設定した受信先プロセスのイベントの発生時刻が受
   信先プロセスの最後のイベントの発生時刻より遅い場合
   に、受信先プロセスのイベントを受信先プロセスの最後
   のイベントとして記憶する工程とを実行させるためのプ
   ログラムを記録した機械読み取り可能な記録媒体。