JPH06131273A - プロトコル設計装置 - Google Patents

Abstract

(57)【要約】 【目的】信号の衝突の有無に関係なく、プロトコルの論
理誤りを含まないようにプロトコルが記述でき、プロト
コル設計作業の効率を向上できるようにする。 【構成】シーケンス・チャート上で、入力する信号の始
点と被衝突信号を位置指定すると、その情報が入力部５
により入力されて制御部１経由で入力条件判定部８に渡
され、衝突信号入力条件を満たす情報であるかが判定さ
れる。条件成立時には、挿入位置算出部９により始点ｙ
座標から始点、終点に共通の正規化信号位置が算出さ
れ、信号挿入部１０により、テーブル２１上で、その位
置以降の既入力信号の挿入位置がずらされてその位置に
新たな信号が挿入され、更に信号置換え部１１により衝
突信号が被衝突信号の後の位置となるように入替えられ
る。出力部７は衝突信号と被衝突信号が時間概念軸に対
して互いに交差するように座標を変更して、衝突を反映
したシーケンス・チャートを表示する。

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】本発明は、通信ソフトウェアや制
御ソフトウェアの開発等に用いられるプロトコル設計装
置に係り、特に、信号の伝送時間を考慮せずにプロトコ
ル設計が可能なシステムに用いて好適なプロトコル設計
装置に関する。

【０００２】

【従来の技術】一般に、通信システムの動作実体である
プロセス間の信号の処理手順は、プロトコルと呼ばれて
いる。このようなプロトコルにおいて、論理誤りとは、
判断基準が明確に定義されており、原理的に機械的に検
出可能な誤りをいう。また、プロトコル検証とは、プロ
トコルにおける論理的な誤りの有無を検査することであ
る。ここで、プロトコル検証の対象となる論理誤りとし
ては、図２７（ａ），（ｂ）に示すデッドロックや受信
不能状態などが挙げられる。

【０００３】従来、このようなプロトコル論理誤りは、
自然言語、シーケンス・チャート、有効グラフ、形式的
仕様記述言語等で規定されたプロトコルから、通信シス
テム全体の動作を表現するグローバル状態遷移図を作成
し、到達可能性解析を行うことによって検出していた。

【０００４】

【発明が解決しようとする課題】しかしながら、上述し
た従来の方法では、プロトコル全体を設計した後でなけ
れば、プロトコルの論理誤りを検出することはできなか
った。このため従来は、プロトコル設計の作業効率を悪
化させ、通信ソフトウェア等の生産性を低下させるとい
う問題があった。

【０００５】そこで本出願人は、このような問題を解決
するために、特願平３−１５９２０８号に記載されてい
るようなプロトコル設計装置を提案している。しかし、
この先願発明（第１の先願発明）では、シーケンス・チ
ャートの入力時点でプロトコル・エラーを判定しなけれ
ばならず、その判定作業に伴う計算量や、情報記憶量が
増加する欠点がある。

【０００６】また、本出願人は、特願平４−２３８１３
７号に記載されているようなプロトコル設計装置をも提
案している。この先願発明（第２の先願発明）では、信
号を時間概念に対して垂直にしか記述できなくすること
により、上記のようなプロトコル・エラーの判定作業を
不要としている。しかし、この第２の先願発明では、図
２７（ｃ）に示すような信号が衝突する場合には記述で
きず、したがって、システムに対して複数の要求が同時
に生じることがある場合には適用できない。

【０００７】本発明は上記事情に鑑みてなされたもので
その目的は、プロトコル設計において、信号が衝突する
場合でもプロトコルの論理誤りを含まないようにプロト
コルが記述でき、デッドロックや受信不能状態等のプロ
トコル検証を行う必要がなく、従来と比べてプロトコル
設計作業の効率を向上させ、プロトコル検証量を減少さ
せ、通信ソフトウェア等の生産性の向上を図ることので
きるプロトコル設計装置を提供することにある。

【０００８】

【課題を解決するための手段】本発明は、上記課題を解
決するために、通信システムを構成する複数のプロセス
間の信号処理手順を記述するシーケンス・チャート上で
の、記述対象となる信号の始点プロセスとその時間概念
軸方向の信号位置からなる始点座標、同信号の終点プロ
セスとその時間概念軸方向の信号位置からなる終点座標
または同信号が衝突する場合にはその被衝突信号を指す
座標、および信号名を入力するための入力手段と、入力
された始点座標の示す信号位置から、新たに信号を挿入
するための始点および終点に共通の正規化された信号挿
入位置を算出する挿入位置算出手段と、シーケンス・チ
ャート上の各信号について、その信号の識別情報、処理
順序に対応した正規化された信号挿入位置、始点プロセ
ス、終点プロセスおよび信号名の他、その信号が衝突す
る場合は更に相手信号の識別情報を記憶するための記憶
手段と、上記算出された信号挿入位置と、記憶手段に記
憶されている既入力の信号の信号挿入位置とから、この
既入力信号と新たに入力する信号との重なりの有無を判
別し、重なりがある場合には、上記算出された信号挿入
位置に一致する位置以降の既入力信号の位置を記憶手段
内で変更して既入力信号の再配置を行うと共に、上記算
出された信号挿入位置、上記入力された始点プロセス並
びに信号名、および上記入力された終点プロセスまたは
上記指定された被衝突信号の終点プロセスを記憶手段に
記憶することで、新たな信号を挿入する信号挿入手段
と、上記記憶手段の記憶情報に従い、実際のシーケンス
・チャートを組立て出力する出力手段であって、衝突信
号および被衝突信号については、時間概念軸に対して斜
め方向となって互いに交差するように座標を変更する出
力手段とを備えたことを特徴とするものである。

【０００９】また、この発明は、入力手段により始点座
標、被衝突信号を指す座標および信号名が入力された場
合に、その入力内容が衝突信号入力の条件を満たしてい
るか否かを判定するための入力条件判定手段を更に備
え、条件不成立の場合には入力エラー扱いとするように
したことをも特徴とする。

【００１０】

【作用】上記の構成において、衝突しない通常の信号の
入力については、始点プロセスから終点プロセスへ送ら
れる信号の処理順序を表すための軸（時間概念軸）上の
位置（信号挿入位置）が、始点プロセスおよび終点プロ
セスについて、同一位置（始点座標の示す信号位置）と
して扱われる。

【００１１】このように、始点プロセスおよび終点プロ
セス上の信号挿入位置を同一位置とすることで、即ちシ
ーケンス・チャートにおいて信号を時間概念軸に対して
垂直にしか記述できないようにすることで、プロトコル
の論理誤りの中で、いわゆる「デッドロック」（図２７
（ａ）参照）および「受信不能状態」（図２７（ｂ）参
照）を含まないシーケンス・チャートを設計することが
可能となる。

【００１２】さて、上記の構成においては、入力手段に
より入力された信号挿入位置はそののまま使用されるの
ではなく、離散値で表される正規化された信号挿入位置
に変換されて使用される。このため、利用者が信号挿入
位置を正確に位置指定しなくても、シーケンス・チャー
ト上の必要な位置に信号を挿入することが可能となる。
但し、正規化された信号挿入位置が、既入力の信号の信
号挿入位置と一致してしまうことがある。このような場
合、正規化された信号挿入位置に一致する位置以降の既
入力信号の位置を記憶手段内で変更する（ずらす）こと
により、既入力信号の再配置が行われるため、新たな信
号を、既入力信号と重ならずに挿入することができる。

【００１３】一方、衝突する信号（衝突信号）の入力に
ついては、その信号の終点プロセスとして、衝突の相手
となる信号（被衝突信号）の始点プロセスが用いられ、
上記した通常信号の入力の場合と同様に、始点プロセス
から終点プロセスへ送られる信号の時間概念軸上の位置
が、始点プロセスおよび終点プロセスについて同一位置
（始点座標の示す信号位置）として仮想的に扱われる。

【００１４】ここで、衝突信号の入力時には、その入力
内容が衝突信号入力の条件を満たしているか否かが入力
条件判定手段により判定される。即ち、指定の被衝突信
号が１つの場合には、同信号の終点プロセスと、この入
力内容の示す始点座標中の始点プロセスとが一致してい
ることをもって条件成立が判定され、指定の被衝突信号
が複数の場合には、これら各被衝突信号の始点プロセス
が一致し、且つ同信号の各終点プロセスと、この入力内
容の示す始点座標中の始点プロセスとが一致しているこ
とをもって条件成立が判定される。もし、条件不成立が
判定された場合には、位置指定エラー扱いとなり、再入
力が要求される。

【００１５】さて、時間概念軸に垂直な仮想化された衝
突信号および被衝突信号を、そのままシーケンス・チャ
ート上に出力したのでは、信号衝突を反映させることは
できない。そこで、記憶手段内に相手信号の識別情報が
記憶されている信号、即ち衝突信号および被衝突信号に
ついては、時間概念軸に対して斜め方向となって互いに
交差するように出力手段により座標の変更が行われる。
この結果、図２７（ｃ）に示すような、信号衝突を表す
ことが可能となる。

【００１６】

【実施例】以下、本発明の一実施例を図面を参照して説
明する。図１は本発明の一実施例に係るプロトコル設計
装置の構成を示すブロック図である。

【００１７】図１に示すプロトコル設計装置は、シーケ
ンス・チャートによってプロトコルを設計するための編
集機能を持つ制御部１と、記憶部２とを有する。この記
憶部２には、シーケンス・チャートを管理するためのシ
ーケンス・チャート管理テーブル２１および既入力信号
と衝突する衝突信号を入力するための衝突信号入力モー
ドを示すモードフラグ（Ｆ）２２が置かれる。このモー
ドフラグ２２は初期状態ではオフである。記憶部２には
また、シーケンス・チャートの表示に用いられるシーケ
ンス・チャート表示テーブル２３が適宜生成される。

【００１８】シーケンス・チャート管理テーブル２１
は、シーケンス・チャートにおける信号の識別番号（Ｉ
Ｄ番号）、時間概念軸に対応する画面上の物理座標（ｙ
座標）を示す信号位置（信号挿入位置）、信号の始点並
びに終点の両プロセス（を示すプロセス名）、信号名、
および衝突ＩＤから成る管理情報（シーケンス・チャー
ト管理情報）を、各ＩＤ番号別に登録するのに用いられ
る。但し、衝突ＩＤは、他の信号との間で衝突がある場
合にのみ記述されるもので、衝突の相手となる信号のＩ
Ｄ番号（衝突ＩＤ番号）である。また、信号位置は、始
点ならびに終点に共通である。これは、信号（を表す矢
印）を時間概念軸に対して垂直にしか記述できなくして
いるためである。ここで、管理テーブル２１上の各ＩＤ
番号毎の管理情報は、信号位置によりソーティングされ
る。

【００１９】なお、ＩＤ番号は、後述する入力部５によ
り、信号の始点並びに終点座標と信号名、或いは信号の
始点座標並びに衝突の相手となる信号（群のうち信号位
置が最も下側の信号）の位置（被衝突信号位置）と信号
名が入力される毎に、制御部１が持つＩＤカウンタ（図
示せず）によって例えば「１」から順に自動生成される
ものである。

【００２０】シーケンス・チャート表示テーブル２３の
構造は、上記のシーケンス・チャート管理テーブル２１
とほぼ同様である。表示テーブル２３が管理テーブル２
１と異なる点は、始点プロセスおよび終点プロセスに共
通の信号挿入位置に代えて、始点プロセスおよび終点プ
ロセスの各プロセス毎に信号位置（ｙ座標）の情報を持
つことである。

【００２１】図１に示すプロトコル設計装置はまた、マ
ウス３およびキーボード４と、このマウス３およびキー
ボード４からの入力情報（信号の始点並びに終点座標、
信号名等）を制御部１に入力するための入力部（入力イ
ンタフェース）５と、表示モニタ６と、この表示モニタ
６にシーケンス・チャートを表示出力するための出力部
（出力インタフェース）７とを有する。

【００２２】図１に示すプロトコル設計装置はまた、入
力部５によって制御部１に信号の始点座標並びに被衝突
信号位置と信号名が入力された場合に、その入力内容が
衝突信号入力の条件を満たしているか否かを判定するた
めの入力条件判定部８と、挿入位置算出部９とを有す
る。この挿入位置算出部９は、入力条件判定部８から始
点座標と被衝突信号位置（と信号名）が渡された場合、
或いは入力部５によって制御部１に入力された始点並び
に終点座標（と信号名）が渡された場合に、その情報を
もとに新規入力信号の挿入位置を算出する。

【００２３】図１に示すプロトコル設計装置は更に、挿
入位置算出部９の算出結果およびシーケンス・チャート
管理テーブル２１の登録内容をもとに、新規入力信号を
シーケンス・チャート上で既入力の信号と重ならないよ
うに挿入するための信号挿入部１０と、信号置換え部１
１とを有する。この信号置換え部１１は、衝突信号と被
衝突信号とをシーケンス・チャート管理テーブル２１上
で再配置する。次に、図１の構成のプロトコル設計装置
におけるシーケンス・チャートの作成について、図２乃
至図８に示すフローチャートを適宜参照して説明する。

【００２４】まず、信号の衝突のないシーケンス・チャ
ートの作成について説明する。図９に、シーケンス・チ
ャートを用いたプロトコルの記述例を示す。この図９に
示す記述例は、４つのプロセスＰ１，Ｐ２，Ｐ３，Ｐ４
間のプロトコルを規定している。各プロセスＰ１〜Ｐ４
に対応する図中の４本の縦線は、上から下に向かう時間
の順序を規定している（実時間を表しているのではな
い）。そして、これらの縦線の間に描かれた矢印はプロ
セス間で送受信される信号を表している。図９の例で
は、「プロセスＰ１は信号ｃａｌｌを送信し、これをプ
ロセスＰ２が受信する。その後、プロセスＰ２は信号ｃ
ａｌｌを送信し、これをプロセスＰ３が受信する。」と
いったプロトコルを規定している。

【００２５】なお、図９において、破線状の横線に付さ
れた数値１０，２０，３０…は、時間の順序に対応する
縦方向の物理座標（ｙ座標）を示すもので、シーケンス
・チャート作成の初期画面上に予め設定されている。信
号を示す矢印は、この破線状の横線の位置（ｙ座標が１
０の倍数の位置）だけに記述される。また、各プロセス
Ｐ１〜Ｐ４に対応する４本の縦線は、キーボード４を用
いてプロセス名（プロセスＩＤ）を入力することによ
り、制御部１により生成されるものであり、その並び順
は例えばプロセス名の入力順に一致する。

【００２６】さて、本実施例で適用されるシーケンス・
チャート上では、図９からも明らかなように、プロセス
間で送受信される信号（を示す矢印）が、信号の処理順
序の時間概念を表す軸（図９における縦線）に対して垂
直となるように記述される。この理由について、以下に
詳述する。

【００２７】従来の一般的に実作業として行われている
プロトコル検証では、到達可能解析ではなく、信号の伝
送時間が「０」であることを仮定した縮退到達可能性解
析が用いられている。また、プロトコル設計においても
信号の伝送時間が「０」であることを仮定してシステム
を開発する場合も多い。信号の伝送時間が「０」である
ことは、シーケンス・チャートにおいて信号の送受信が
時間概念を表す軸（図９における縦線）に対して垂直で
あることを意味する。本実施例では、この点に着目し
て、信号（を表す矢印）を時間概念軸に対して垂直にし
か記述できなくすることにより、図２７（ａ）に示した
デッドロックや図２７（ｂ）に示した受信不能状態とい
ったプロトコル・エラーが記述されることを防止してい
る。この場合、プロトコル・エラーを判定する必要がな
くなる。

【００２８】但し、この記述方式では、図２７（ｃ）に
示すような、プロセス間で信号が衝突する場合を記述す
ることができない。そこで、衝突信号（および被衝突信
号）については、後述するように、シーケンス・チャー
ト管理テーブル２１上では、仮想的に時間概念軸に対し
て垂直の信号（仮想化信号）として扱い、表示の際に、
衝突が発生する（衝突を表す）ような工夫をしている。
図１０に、上記図９に示すシーケンス・チャート（によ
るプロトコル記述例）に対応した記憶部２内のシーケン
ス・チャート管理テーブル２１の内容を示す。

【００２９】制御部１は、シーケンス・チャート管理テ
ーブル２１の内容をもとに、対応するシーケンス・チャ
ートを、出力部７を用いて表示モニタ６に出力させる。
これにより、シーケンス・チャート管理テーブル２１の
内容が図１０の場合であれば、表示モニタ６には、図９
に示したシーケンス・チャートが画面表示されることに
なる。

【００３０】ユーザは、シーケンス・チャートに新たに
信号を記述していく場合、上記のように表示モニタ６に
シーケンス・チャートが表示されている状態で、マウス
３およびキーボード４を用いて、信号の始点座標、終点
座標、および信号名を入力するための操作を行う。信号
の始点および終点座標は、ユーザがマウス３を操作して
表示モニタ６の画面上でマウスカーソルを所望の位置に
移動させ、その位置でマウスクリックすることで、入力
部５により入力される。また信号名は、キーボード４を
用いたキー入力操作を行うことで、入力部５により入力
される。

【００３１】このような信号の始点および終点座標の入
力例を図１１に示す。この図１１は、図９に示すシーケ
ンス・チャートが画面表示されている状態で、（信号ｔ
ｅｓｔの）始点座標（ｘ1 ，ｙ1 ＝１７）が、終点座標
（ｘ2 ，ｙ2 ＝１５）が、それぞれ位置指定されたこと
を示すものである。

【００３２】ここで、図１１に示すように、始点座標
（ｘ1 ，ｙ1 ＝１７）および終点座標（ｘ2 ，ｙ2 ＝１
５）の入力操作が順に行われ、更に信号名“ｔｅｓｔ”
の入力操作が行われたものとする。

【００３３】入力部５は、この始点座標（ｘ1 ，ｙ1 ＝
１７）、終点座標（ｘ2 ，ｙ2 ＝１５）および信号名
“ｔｅｓｔ”を入力する（図２ステップＳ１）。次に入
力部５は、最初に入力された始点座標（ｘ1 ，ｙ1 ）中
のｘ1 を基準とする予め定められたｘ方向の範囲Δ内
に、プロセス（を示す縦線）が存在するか否かをチェッ
クする（図２ステップＳ２）。もし、Δの範囲内にプロ
セス（縦線）が存在しない場合には、入力部５は位置指
定エラーであるとして、出力部７にその旨を通知し、再
入力を促す指示を表示モニタ６に表示させる（図２ステ
ップＳ３）。

【００３４】一方、Δの範囲内にプロセス（縦線）、例
えばプロセスＰｉが存在する場合には、ｘ1 をそのプロ
セス（プロセス名）Ｐｉ（ｘ方向の論理座標）に変換す
る（図２ステップＳ４）。そして入力部５は、次の終点
座標（ｘ2 ，ｙ2 ）中のｘ2についても、そのｘ2 を基
準とするｘ方向の範囲Δ内に、プロセス（を示す縦線）
が存在するか否かをチェックする（図２ステップＳ
５）。もし、Δの範囲内にプロセス（縦線）、例えばプ
ロセスＰj が存在する場合には、ｘ2 をそのプロセス
（プロセス名）Ｐｊ（ｘ方向の論理座標）に変換する
（図２ステップＳ６）。この結果、入力座標（ｘ1 ，ｙ
1 ），（ｘ2 ，ｙ2 ）は、それぞれ（Ｐｉ，ｙ1），
（Ｐｊ，ｙ2 ）に変換されたことになる。

【００３５】図１１の例では、ｘ1 →Ｐ１，ｘ2 →Ｐ３
のように変換されることから、入力座標（ｘ1 ，ｙ1
），（ｘ2 ，ｙ2 ）は、それぞれ（Ｐ１，ｙ1 ），
（Ｐ３，ｙ2 ）に変換されたことになる。

【００３６】さて、入力部５は、ステップＳ６での変換
処理を終了すると、変換後の始点座標（Ｐｉ＝Ｐ１，ｙ
1 ）、終点座標（Ｐｊ＝Ｐ３，ｙ2 ）および信号名（ｔ
ｅｓｔ）を制御部１に渡す（図２ステップＳ７）。

【００３７】制御部１は、入力部５から座標（Ｐｉ＝Ｐ
１，ｙ1 ），（Ｐｊ＝Ｐ３，ｙ2 ）および信号名（ｔｅ
ｓｔ）を受取ると、まず記憶部２内のモードフラグ２２
の状態をチェックする（図３ステップＳ２１）。本実施
例のように、モードフラグ２２がオフであれば、制御部
１は（衝突信号ではない）通常信号の入力モードである
と判断する。この場合、制御部１は、入力部５から受取
った始点座標（Ｐｉ＝Ｐ１，ｙ1 ）、終点座標（Ｐｊ＝
Ｐ３，ｙ2 ）および信号名（ｔｅｓｔ）と、その時点の
ＩＤカウンタの示すＩＤ番号（ここでは６）とを挿入位
置算出部９に渡す（図３ステップＳ２２）。すると制御
部１は、ＩＤカウンタを「１」だけカウントアップす
る。そして制御部１は、信号挿入部１０からの終了通知
を待つ（図３ステップＳ２３）

【００３８】挿入位置算出部９は、制御部１から渡され
た始点座標（Ｐｉ＝Ｐ１，ｙ1 ）中のｙ座標ｙ1 （＝１
７）をもとに、信号名“ｔｅｓｔ”の信号を挿入するた
めの始点および終点に共通の正規化された位置ｙi （ｙ
方向の物理座標）を算出する（図４ステップＳ３１）。
ここでの計算は、始点のｙ座標ｙ1 （＝１７）から、そ
のｙ1 以上の最小の「１０」の倍数を求めることで行わ
れる。ｙ1 ＝１７の例では、信号の挿入位置ｙi として
「２０」が求められる。

【００３９】挿入位置算出部９は、信号の挿入位置（信
号位置座標）ｙi を求めると、そのそのｙi を含む始点
座標（Ｐｉ＝Ｐ１，ｙi ＝２０）と、制御部１から受取
った終点座標（Ｐｊ＝Ｐ３，ｙ2 ）、信号名（ｔｅｓ
ｔ）およびＩＤ番号（＝６）とを信号挿入部１０に渡す
（図４ステップＳ３２）。

【００４０】信号挿入部１０は、挿入位置算出部９から
渡された情報中の信号挿入位置（信号位置座標）ｙi
（＝２０）を用いて記憶部２内のシーケンス・チャート
管理テーブル２１の信号位置フィールドをサーチして、
この（挿入位置算出部９によって算出された）信号挿入
位置ｙi （＝２０）に既入力の信号が存在するか否か、
即ち新しく挿入しようとする信号が既入力の信号と重な
るか否かをチェックする（図６ステップＳ５１）。

【００４１】この例では、図１０に示すシーケンス・チ
ャート管理テーブル２１から明らかなように、（挿入位
置算出部９によって算出された）信号挿入位置ｙi （＝
２０）に新たに挿入しようとする信号は、ＩＤ番号２の
信号と重なる。

【００４２】信号挿入部１０は、ステップＳ５１のチェ
ックで信号の重なりを判定した場合、その位置ｙi （＝
２０）以降の既入力の信号を全て＋１０ずつ移動させて
再配置する処理を、シーケンス・チャート管理テーブル
２１上で行う（図６ステップＳ５２）。

【００４３】即ち信号挿入部１０は、図１０に示すシー
ケンス・チャート管理テーブル２１上で、信号挿入位置
がｙi （＝２０）以降の全エントリの情報（シーケンス
・チャート管理情報）の位置をいずれも＋１０する。こ
の＋１０操作後のシーケンス・チャート管理テーブル２
１の内容を図１２に示し、この＋１０操作に伴う信号再
配置後のシーケンス・チャートを図１３に示す。但し、
図１３のシーケンス・チャートは画面表示されない。

【００４４】信号挿入部１０は、シーケンス・チャート
管理テーブル２１上での信号再配置処理を行うと、挿入
位置算出部９によって算出された信号挿入位置ｙi （＝
２０）に、挿入位置算出部９から渡された、始点が（Ｐ
ｉ＝Ｐ１，ｙi ＝２０）、終点が（Ｐｊ＝Ｐ３，ｙ2
）、信号名が“ｔｅｓｔ”、そしてＩＤ番号が“６”
の新しい信号を挿入するための処理を行う（図６ステッ
プＳ５３）。

【００４５】即ち信号挿入部１０は、まず図１２に示す
シーケンス・チャート管理テーブル２１上で、信号位置
がｙi （＝２０）以降の全エントリの情報（シーケンス
・チャート管理情報）を１エントリずつ後に移動して空
きエントリを確保し、同エントリの信号位置フィールド
には、ｙi ＝２０を、ＩＤ番号フィールドには、ＩＤ＝
６を、始点プロセスのフィールドには始点プロセスＰｉ
＝Ｐ１（始点ｘ座標）を、終点プロセスのフィールドに
は終点プロセスＰｊ＝Ｐ３（終点ｘ座標）を、そして信
号名フィールドには信号名＝ｔｅｓｔを、図１４に示す
ように登録する。

【００４６】なお、上記ステップＳ５１で信号の重なり
がないと判定された場合には、ステップＳ５２の信号再
配置処理は不要となり、直接ステップＳ５３の信号挿入
処理が行われる。但し、ここでの信号処理において、シ
ーケンス・チャート管理テーブル２１上で移動されるの
は、信号位置がｙi より大きい全エントリの情報とな
る。

【００４７】さて、信号挿入部１０は、ステップＳ５３
の信号挿入処理を終了すると、記憶部２内のモードフラ
グ２２の状態をチェックし、オン／オフを判定する（図
６ステップＳ５４）。本実施例では、モードフラグ２２
はオフ状態にある。この場合、信号挿入部１０は、制御
部１に対して信号挿入処理の終了を通知する（図６ステ
ップＳ５５）。

【００４８】制御部１は、前記したように信号挿入部１
０からの終了通知の待ち状態（図３ステップＳ２３）に
あり、この状態で、信号挿入部１０から終了通知を受取
ると、信号挿入後の最新のシーケンス・チャートの表示
のために、出力部７を起動する（図３ステップＳ２
４）。

【００４９】すると出力部７は、図１４に示すようなシ
ーケンス・チャート管理テーブル２１をもとに、図１５
に示すようなシーケンス・チャート表示テーブル２３を
記憶部２内に作成する（図８ステップＳ７１）。この表
示テーブル２３の作成においては、管理テーブル２１上
のＩＤ番号、始点プロセス、終点プロセス、信号名、衝
突ＩＤの各フィールドの内容が、そのまま表示テーブル
２３上の同一フィールドにコピーされる。また管理テー
ブル２１上の信号位置のフィールドの内容が、そのまま
表示テーブル２３の始点および終点についての各ｙ座標
（信号位置）のフィールドに共通にコピーされる。

【００５０】次に出力部７は、シーケンス・チャート表
示テーブル２３を先頭エントリ側からサーチして、各被
衝突信号と対応する衝突信号のＩＤ番号の組からなる組
合せＩＤリストＭを作成するための処理を行う（図８ス
テップＳ７２）。この例では、表示テーブル２３の衝突
ＩＤフィールドにＩＤ番号が設定されているエントリは
１つもなく、即ち衝突信号（および被衝突信号）は存在
せず、したがって組合せＩＤリストＭは最初から空であ
る。

【００５１】出力部７は、ステップＳ７２の後、組合せ
ＩＤリストＭが空であるか否かを判定し、この例のよう
に空の場合には、その際のシーケンス・チャート表示テ
ーブル２３の内容に従ってシーケンス・チャートを表示
モニタ６に表示出力する（図８ステップＳ７４）。即ち
出力部７は、シーケンス・チャート表示テーブル２３の
各エントリに記述されている信号について、始点プロセ
スとそのｙ座標で示される始点から、終点プロセスとそ
のｙ座標で示される終点に至る矢印を表示し、その矢印
に対応する信号名を付す。

【００５２】これにより、シーケンス・チャート管理テ
ーブル２１の内容が図１４の例であり、したがってはシ
ーケンス・チャート表示テーブル２３の内容が図１５の
例では、図１６に示すシーケンス・チャートが画面表示
されることになる。次に、信号の衝突のあるシーケンス
・チャートの作成について説明する。

【００５３】今、記憶部２内のシーケンス・チャート管
理テーブル２１の内容が図１７のようになっているもの
とする。この場合、出力部７の制御により表示モニタ６
に表示されるシーケンス・チャートは、図１８のように
なる。

【００５４】さて、図１８に示すようなシーケンス・チ
ャート上に信号を記述していく際に信号が衝突する場合
には、即ち新たに衝突信号を記述したい場合には、ユー
ザは、マウス３およびキーボード４を用いて次のような
操作を行う。

【００５５】まずユーザは、表示モニタ６にシーケンス
・チャートが表示されている状態で、新規入力信号（衝
突信号）の始点座標をマウス３を用いて画面上で位置指
定する。次にユーザは、新規入力信号と衝突する既入力
信号を被衝突信号として指定するために、その信号を示
す矢印上の任意の点（但し、プロセスを表す縦線上を除
く）をマウス３を用いて画面上で位置指定する。もし、
新規入力信号と衝突する既入力信号が複数存在する場合
には、それらの信号のうち、画面上で信号位置（ｙ座標
位置）が最も下側の信号を位置指定する。最後にユーザ
は、新規入力信号の信号名をキーボード４を用いたキー
入力操作により入力する（位置指定の前に入力すること
も可）。

【００５６】ここでは、図１８に示すように、新規入力
信号（衝突信号）の始点座標（ｘ1，ｙ1 ＝２７）が位
置指定され、またプロセスＰ２からプロセスＰ３への信
号上の座標（ｘ2 ，ｙ2 ＝３０）が（被衝突信号を指定
するために）位置指定されたものとする。また新規入力
信号（衝突信号）の信号名として“ｃａｌｌ”が入力操
作されたものとする。

【００５７】入力部５は、ユーザにより入力操作された
新規入力信号（衝突信号）の始点座標（ｘ1 ，ｙ1 ＝２
７）、被衝突信号上の座標（ｘ2 ，ｙ2 ＝３０）および
信号名“ｃａｌｌ”を入力する（図２ステップＳ１）。
次に入力部５は、最初に入力された始点座標（ｘ1 ，ｙ
1 ＝２７）中のｘ1 を基準とする予め定められたｘ方向
の範囲Δ内に、プロセス（を示す縦線）が存在するか否
かをチェックする（図２ステップＳ２）。

【００５８】図１８の例のように、Δの範囲内にプロセ
ス（縦線）Ｐｉ（ここではＰ３）が存在する場合には、
ｘ1 をそのプロセス（プロセス名）Ｐｉ（＝Ｐ３）に変
換する（図２ステップＳ４）。そして入力部５は、次の
入力座標（ｘ2 ，ｙ2 ）中のｘ2 についても、そのｘ2
を基準とするｘ方向の範囲Δ内に、プロセス（を示す縦
線）が存在するか否かをチェックする（図２ステップＳ
５）。

【００５９】図１８の例のように、座標（ｘ2 ，ｙ2 ）
が（新規入力信号の終点ではなく）被衝突信号を指す場
合には、上記Δの範囲内には、プロセス（を示す縦線）
は存在しない。この場合、入力部５は、座標（ｘ2 ，ｙ
2 ）を基準とする予め定められたｘ，ｙ平面の範囲Δ′
内を通る信号が存在するか否かを、例えばシーケンス・
チャート表示テーブル２３を参照してチェックする（図
２ステップＳ８）。

【００６０】図１８の例では、座標（ｘ2 ，ｙ2 ）を基
準とするΔ′の範囲内を、プロセスＰ２からプロセスＰ
３への信号（信号名“ｃａｌｌ”）が通っている。この
場合、入力部５は、座標（ｘ2 ，ｙ2 ）が被衝突信号を
指すものと判断し、その信号の挿入位置（信号位置）ｙ
j （図１８の例では、ｙj ＝３０）を求める（図２ステ
ップＳ９）。

【００６１】次に入力部５は、記憶部２内のモードフラ
グ２２をオンにして衝突信号入力モードを設定し、変換
後の始点座標（Ｐｉ＝Ｐ３，ｙ1 ＝２７）と、ステップ
Ｓ９で求めた被衝突信号（被衝突信号が複数となる場合
には、最も下側の被衝突信号）の信号位置（ｙ座標値）
ｙj （＝３０）と、新規入力信号（衝突信号）の信号名
（ｃａｌｌ）とを制御部１に渡す（図２ステップＳ１
０）。

【００６２】なお、座標（ｘ2 ，ｙ2 ）中のｘ2 を基準
とするΔの範囲内にプロセスが存在しないにも拘らず
に、この（ｘ2 ，ｙ2 ）を基準とするΔ′の範囲内を通
る信号が存在しない場合には、入力部５は位置指定エラ
ーであるとして、出力部７にその旨を通知し、再入力を
促す指示を表示モニタ６に表示させる（図２ステップＳ
３）。

【００６３】制御部１は、入力部５から座標（Ｐｉ＝Ｐ
３，ｙ1 ＝２７）、ｙj （＝３０）および信号名（ｃａ
ｌｌ）を受取ると、まず記憶部２内のモードフラグ２２
の状態をチェックする（図３ステップＳ２１）。本実施
例のように、モードフラグ２２がオン状態にあれば、制
御部１は衝突信号の入力モードであると判断する。この
場合、制御部１は、入力部５から受取った座標（Ｐｉ＝
Ｐ３，ｙ1 ＝２７）、ｙj （＝３０）および信号名（ｃ
ａｌｌ）と、その時点のＩＤカウンタの示すＩＤ番号
（ここでは４）とを入力条件判定部８に渡す（図３ステ
ップＳ２５）。そして制御部１は、入力条件判定部８か
らの判定結果通知を待つ（図３ステップＳ２６）。

【００６４】入力条件判定部８は、制御部１から渡され
た始点座標（Ｐｉ＝Ｐ３，ｙ1 ＝２７）中のｙ座標ｙ1
（＝２７）と、ｙj （＝３０）をもとに、記憶部２内の
シーケンス・チャート管理テーブル２１（図１７参照）
をサーチし、ｙ1 （＝２７）〜ｙj （＝３０）の範囲に
信号位置を持つ全ての信号を被衝突信号として検出する
（図７ステップＳ６１）。図１７（図１８）の例では、
ＩＤ番号が“３”の信号（ユーザにより直接位置指定さ
れたプロセスＰ２からプロセスＰ３への信号）だけが被
衝突信号として検出される。

【００６５】次に入力条件判定部８は、検出した被衝突
信号の終点プロセスが、制御部１から渡された始点座標
（Ｐｉ＝Ｐ３，ｙ1 ＝２７）中の始点プロセスＰｉ（＝
Ｐ３）に一致するか否かを判定する（図７ステップＳ６
２）。

【００６６】ここで、検出したＩＤ＝３の被衝突信号の
終点プロセス（Ｐ３）は、ユーザにより位置指定された
始点座標中の始点プロセスＰｉ（＝Ｐ３）に一致する
（図１８参照）。この場合、入力条件判定部８は、検出
した被衝突信号が複数であるか否かを判定する（図７ス
テップＳ６３）。

【００６７】入力条件判定部８は、検出した被衝突信号
が本実施例のように１つの場合、制御部１から渡された
座標（Ｐｉ＝Ｐ３，ｙ1 ＝２７）、ｙj （＝３０）は衝
突信号の入力条件（新規入力信号が被衝突信号としてユ
ーザが指定した信号と衝突する条件）を満足しているも
のと判断し、衝突信号の始点座標（Ｐｉ＝Ｐ３，ｙ1＝
２７）並びに（信号位置がｙj の）被衝突信号の始点座
標（Ｐｊ＝Ｐ２，ｙj＝３０）と、制御部１から渡され
た信号名（ｃａｌｌ）並びにＩＤ番号（＝４）とを挿入
位置算出部９に渡すと共に、制御部１に条件成立を通知
する（図７ステップＳ６４）。

【００６８】なお、検出した被衝突信号が複数の場合に
は、入力部５は、これら各被衝突信号の始点プロセスＰ
ｊが全て同一であるか否かを調べ（図７ステップＳ６
５）、同一である場合に限り、上記ステップＳ６４を実
行する。

【００６９】このように本実施例では、指定された被衝
突信号が１つの場合には、その終点プロセスと衝突信号
（新規入力信号）の始点プロセスとの一致をもって、衝
突信号の入力条件を満たしたと判定するようにしてい
る。また、指定された被衝突信号が複数の場合には、
（１）各被衝突信号の終点プロセスと衝突信号の始点プ
ロセスとが一致し（即ち、新規入力信号の始点座標が、
被衝突信号群の終点プロセス上にあり）、（２）各被衝
突信号の始点プロセスが一致することをもって、衝突信
号の入力条件を満たしたと判定するようにしている。

【００７０】以上の入力条件を満たさない場合には、入
力条件判定部８は記憶部２内のモードフラグ２２をオフ
にして、（入力部５によって設定されている）衝突信号
入力モードを解除し、制御部１に条件不成立を通知する
（図７ステップＳ６６）。

【００７１】制御部１は、前記したように入力条件判定
部８からの判定結果通知の待ち状態（図３ステップＳ２
６）にある。制御部１は、この状態で入力条件判定部８
から判定結果通知を受取ると、まず条件成立通知である
か否かを判定する（図３ステップＳ２７）。

【００７２】本実施例のように、入力条件判定部８から
条件成立が通知された場合には、制御部１はＩＤカウン
タを「１」だけカウントアップした後、信号置換え部１
１からの終了通知を待つ（図３ステップＳ２８）。これ
に対し、条件不成立が通知された場合には、制御部１は
位置指定エラーであるとして、出力部７にその旨を通知
し、再入力を促す指示を表示モニタ６に表示させる（図
３ステップＳ２９）。

【００７３】挿入位置算出部９は、入力条件判定部８か
ら渡された衝突信号（新規入力信号）の始点座標（Ｐｉ
＝Ｐ３，ｙ1 ＝２７）中のｙ座標ｙ1 （＝２７）をもと
に、信号名“ｃａｌｌ”の衝突信号を水平方向の仮想化
された信号とした場合の、その挿入位置（始点および終
点に共通の正規化された位置）ｙi （ｙ方向の物理座
標）を算出する（図４ステップＳ３１）。ここでの計算
は、始点のｙ座標ｙ1 （＝２７）から、そのｙ1 以上の
最小の「１０」の倍数を求めることで行われる。ｙ1 ＝
２７の例では、信号の挿入位置ｙi として「３０」が求
められる。

【００７４】挿入位置算出部９は、信号の挿入位置（衝
突信号の場合は仮の挿入位置）ｙiを求めると、そのそ
のｙi を含む新規入力信号（衝突信号）の始点座標（Ｐ
ｉ＝Ｐ３，ｙi ＝３０）と、入力条件判定部８から受取
った被衝突信号の始点座標（Ｐｊ＝Ｐ２，ｙj ＝３
０）、信号名（ｃａｌｌ）およびＩＤ番号（＝４）とを
信号挿入部１０に渡す（図４ステップＳ３２）。

【００７５】信号挿入部１０は、挿入位置算出部９から
渡された座標（Ｐｉ＝Ｐ３，ｙi ＝３０）中のｙi 、即
ち信号挿入位置（信号位置座標）ｙi （＝３０）を用い
て記憶部２内のシーケンス・チャート管理テーブル２１
の信号位置フィールドをサーチして、この信号挿入位置
ｙi （＝３０）に既入力の信号が存在するか否か、即ち
新しく挿入しようとする信号（ここでは、仮想化された
衝突信号）が既入力の信号と重なるか否かをチェックす
る（図６ステップＳ５１）。

【００７６】この例では、図１７に示すシーケンス・チ
ャート管理テーブル２１から明らかなように、（挿入位
置算出部９によって算出された）信号挿入位置ｙi （＝
３０）に新たに挿入しようとする信号は、ＩＤ番号が
“３”の信号と重なる。

【００７７】信号挿入部１０は、ステップＳ５１のチェ
ックで信号の重なりを判定した場合、その位置ｙi （＝
３０）以降の既入力の信号を全て＋１０ずつ移動させて
再配置する処理を、シーケンス・チャート管理テーブル
２１上で行う（図６ステップＳ５２）。この再配置後の
シーケンス・チャートを図１９に示す。図１９におい
て、破線で示されるプロセスＰ２からプロセスＰ３への
信号は、信号位置“３０”から“４０”に移動された被
衝突信号であり、ここでは水平方向の仮想化された衝突
信号を示す。但し、図１９のシーケンス・チャートは画
面表示されない。

【００７８】信号挿入部１０は、シーケンス・チャート
管理テーブル２１上での信号再配置処理を行うと、挿入
位置算出部９から渡された、（新規入力信号の始点の）
座標（Ｐｉ＝Ｐ３，ｙi ＝３０）、（ユーザ指定の被衝
突信号の始点の）座標（Ｐｊ＝Ｐ２，ｙj ＝３０）、信
号名“ｃａｌｌ”およびＩＤ番号“４”をもとに、（Ｐ
ｉ＝Ｐ３，ｙi ＝３０）中のｙi 、即ち挿入位置算出部
９によって算出された信号挿入位置ｙi （＝３０）に、
プロセスＰｉ（＝Ｐ３）からプロセスＰｊ（＝Ｐ２）へ
の新しい信号、換言すれば始点（Ｐｉ＝Ｐ３，ｙi ＝３
０）から終点（Ｐｊ＝Ｐ２，ｙi ＝３０）への信号を、
図２０のシーケンス・チャートに示すように、新規入力
信号（衝突信号）として挿入するための処理を、前記し
た通常入力モードにおける信号挿入の場合と同様に行う
（図６ステップＳ５３）。なお、図２０のシーケンス・
チャートは画面表示されない。

【００７９】以上の信号挿入処理により、シーケンス・
チャート管理テーブル２１上では、信号位置がｙi （＝
３０）以降の全エントリの情報が１エントリずつ後に移
動されて空きエントリが確保され、その空きエントリの
信号位置フィールドにはｙi＝３０を、ＩＤ番号フィー
ルドにはＩＤ＝４を、始点プロセスのフィールドには始
点プロセスＰｉ＝Ｐ３を、終点プロセスのフィールドに
は終点プロセスＰｊ＝Ｐ２を、そして信号名フィールド
には信号名＝ｃａｌｌが、図２１に示すように登録され
る。

【００８０】ここで、新たに挿入されたＰ３からＰ２へ
の新規入力信号（衝突信号）は、水平方向の仮想化され
た信号であり、Ｐ３からＰ２への水平方向の仮想化され
た被衝突信号と交差しない。

【００８１】信号挿入部１０は、ステップＳ５３の信号
挿入処理を終了すると、記憶部２内のモードフラグ２２
の状態をチェックし、オン／オフを判定する（図６ステ
ップＳ５４）。本実施例では、モードフラグ２２はオン
状態にある。この場合、信号挿入部１０は、衝突信号入
力モードにあると判断し、シーケンス・チャート管理テ
ーブル２１上の新規入力信号（の情報）を挿入したエン
トリの衝突ＩＤのフィールドに、同信号と衝突する全て
の信号（被衝突信号）のＩＤ番号を登録すると共に、そ
の被衝突信号の全ての登録エントリに、新規入力信号
（衝突信号）のＩＤ番号を登録する（図６ステップＳ５
６）。

【００８２】被衝突信号の登録エントリは、本実施例の
ように信号の再配置が行われた場合であれば、信号位置
がｙi ＋１０〜ｙj ＋１０の範囲内の信号の登録エント
リである。この例では、ｙi ＝ｙj ＝３０であるため、
信号位置＝４０の信号（ＩＤ番号＝３）の登録エントリ
が被衝突信号の登録エントリとして検出され、同エント
リの衝突ＩＤフィールドに新規入力信号のＩＤ番号＝４
が登録される（図２１参照）。また、新規入力信号を挿
入した信号位置＝３０のエントリの衝突ＩＤフィールド
には、この被衝突信号のＩＤ番号＝３が登録される（図
２１参照）。なお、信号の再配置が行われない場合の被
衝突信号の登録エントリは、信号位置がｙi 〜ｙj の範
囲内の信号の登録エントリである。信号挿入部１０は上
記ステップＳ５６を終了すると、信号置換え部１１に信
号挿入位置（信号位置座標）ｙi （＝３０）を渡す（図
６ステップＳ５７）。

【００８３】信号置換え部１１は、信号挿入部１０から
渡されたｙi （＝３０）をもとに、シーケンス・チャー
ト管理テーブル２１上で、信号位置ｙi （＝３０）の新
規入力信号（衝突信号）を、その信号と衝突する全被衝
突信号のうち最も下側の信号の信号位置に移動すると共
に、各被衝突信号をそれぞれ１つ上側の信号の位置に移
動する（図５ステップＳ４１）。この新規入力信号（衝
突信号）と被衝突信号の移動（信号置換え）処理の詳細
は次の通りである。

【００８４】まず信号置換え部１１は、シーケンス・チ
ャート管理テーブル２１の信号位置フィールドをサーチ
して、ｙi （＝３０）に一致する信号位置が登録されて
いるエントリ、即ち新規入力信号（衝突信号）の登録エ
ントリを検出する。次に、信号置換え部１１は、この検
出したエントリの信号衝突ＩＤフィールドを参照して新
規入力信号と衝突する被衝突信号の全ＩＤ番号を求め、
そのＩＤ番号が登録されている全エントリ（被衝突信号
の登録エントリ）を検出する。

【００８５】信号置換え部１１は、新規入力信号（衝突
信号）の登録エントリと、同信号と衝突する被衝突信号
の全登録エントリを検出すると、新規入力信号（衝突信
号）の登録エントリ中の信号位置フィールドを除く全内
容を、被衝突信号の登録エントリ中の最も後側のエント
リに移すと共に、各被衝突信号の登録エントリ中の信号
位置フィールドを除く全内容を、１エントリずつ前に移
す。これにより、新規入力信号（衝突信号）と被衝突信
号の信号位置の移動（信号置換え）が完了する。

【００８６】さて本実施例では、図２０のシーケンス・
チャート、図２１のシーケンス・チャート管理テーブル
２１から明らかなように、ｙi ＝３０の信号位置にある
ＩＤ＝４の新規入力信号（衝突信号）に対する被衝突信
号は、ｙ＝４０の信号位置にあるＩＤ＝３の信号の１つ
だけである。この場合、上記の信号置換え処理により、
ＩＤ＝４の新規入力信号についてのシーケンス・チャー
ト管理テーブル２１内登録エントリの内容が、信号位置
フィールドを除いて、信号位置＝４０のシーケンス・チ
ャート管理テーブル２１内エントリに移され、ＩＤ＝３
の被衝突信号についてのシーケンス・チャート管理テー
ブル２１内登録エントリの内容が、信号位置フィールド
を除いて、信号位置＝３０のシーケンス・チャート管理
テーブル２１内エントリに移される。即ち、ＩＤ＝４の
新規入力信号とＩＤ＝３の被衝突信号の信号位置が置換
えられる。この置換え後のシーケンス・チャート管理テ
ーブル２１の内容を図２２に、同内容に対応するシーケ
ンス・チャートを図２３に示す。但し、図２３のシーケ
ンス・チャートは画面表示されない。

【００８７】以上のように、本実施例においては、衝突
信号とその被衝突信号はシーケンス・チャート管理テー
ブル２１上で水平方向の仮想化された信号として記述さ
れており、互いに交差しない。このようなテーブル管理
により、シーケンス・チャート管理テーブル２１を、前
述したような信号の衝突のないプロトコルを記述するの
に使用できる。但し、上記のように信号の衝突が発生す
る場合には、このシーケンス・チャート管理テーブル２
１をそのまま用いただけでは、信号衝突を反映したシー
ケンス・チャートは表示できない。そこで、衝突信号が
存在するシーケンス・チャートの表示には、２本の平行
線（時間概念軸）上に格子点を配置して、その格子点
（２つのプロセスの時間概念軸と衝突信号並びに被衝突
信号を仮想化した信号の交点）を図２７（ａ）に示した
ようなデッドロック（時間概念軸の下から上向きの矢印
を含む状態）や図２７（ｂ）に示したような受信不能状
態（同じ方向の矢印が交差する状態）がないように結ぶ
ための、出力部７による後述する衝突信号の組立て処理
が必要となる。

【００８８】さて信号置換え部１１は、上記のステップ
Ｓ４１の信号置換え処理を終了すると、記憶部２内のモ
ードフラグ２２をオフして衝突信号入力モードを解除
し、制御部１に終了を通知する。

【００８９】制御部１は、前記したように信号置換え部
１１からの終了通知の待ち状態（図３ステップＳ２８）
にあり、この状態で、信号置換え部１１から終了通知を
受取ると、衝突信号挿入および信号置換え後の最新のシ
ーケンス・チャートの表示のために、出力部７を起動す
る（図３ステップＳ２４）。

【００９０】すると出力部７は、前述した通常信号入力
時におけるシーケンス・チャートの表示の場合と同様
に、シーケンス・チャート管理テーブル２１をもとに、
新たなシーケンス・チャート表示テーブル２３を記憶部
２内に作成する（図８ステップＳ７１）。シーケンス・
チャート管理テーブル２１が図２２の例では、シーケン
ス・チャート表示テーブル２３は図２４のようになる。

【００９１】次に出力部７は、図２４に示すようなシー
ケンス・チャート表示テーブル２３を先頭エントリ側か
らサーチして、各被衝突信号と対応する衝突信号のＩＤ
番号の組からなる組合せＩＤリストＭを作成するための
処理を行う（図８ステップＳ７２）。この組合せＩＤリ
ストＭの作成処理の詳細は次の通りである。

【００９２】即ち出力部７は、組合せＩＤリストＭを作
成する場合、シーケンス・チャート表示テーブル２３の
衝突ＩＤフィールドを先頭エントリ側からサーチして、
まずＩＤ番号が登録されているエントリを検出する。こ
の最初に検出されるエントリは、上記の信号置換え処理
から明らかなように、被衝突信号についての登録エント
リであり、その衝突ＩＤフィールドには対応する衝突信
号のＩＤ番号ＩＤr が、ＩＤ番号フィールドにはその被
衝突信号自身のＩＤ番号ＩＤq が登録されている。これ
により、被衝突信号と対応する衝突信号のＩＤ番号の組
（ＩＤq ，ＩＤr ）が１つ作成される。

【００９３】出力部７は、同様の処理を、作成したＩＤ
番号の組（ＩＤq ，ＩＤr ）中の被衝突信号のＩＤ番号
ＩＤr が衝突ＩＤフィールドに登録されているエントリ
を検出するまで繰返す。そして出力部７は、１つの衝突
信号に共通の各被衝突信号毎に、ＩＤ番号の組（ＩＤq
，ＩＤr ）を作成し終えると、後続するシーケンス・
チャート表示テーブル２３内エントリに対しても同様の
処理を行う。

【００９４】さて、図２４のシーケンス・チャート表示
テーブル２３の例では、衝突信号はＩＤ（ＩＤr)＝４の
信号の１つだけであり、対応する被衝突信号はＩＤ（Ｉ
Ｄq）＝３の信号の１つだけである。この場合、１つの
ＩＤ番号の組（ＩＤq ＝３，ＩＤr ＝４）からなる組合
せＩＤリストＭが作成されることになる。

【００９５】出力部７は組合せＩＤリストＭの作成処理
（ステップＳ７２）を終了すると、組合せＩＤリストＭ
が空であるか否かを調べ（図８ステップＳ７３）、本実
施例のように空でない場合には、組合せＩＤリストＭの
後側からＩＤの組（ＩＤq ，ＩＤr ）を１つ取出す（図
８ステップ７５）。したがって、１つの衝突信号につい
てのＩＤの組が複数存在する場合には、対応する複数の
被衝突信号のうち信号位置が最も下側の被衝突信号との
組が先に取出される。

【００９６】次に出力部７は、シーケンス・チャート表
示テーブル２３上で、ＩＤq （ＩＤ番号がＩＤq の被衝
突信号）の終点座標（Ｐq ，ｙq ）中のｙ値（即ち終点
プロセスＰq の位置）とＩＤR （ＩＤ番号がＩＤr の衝
突信号）の始点座標（Ｐr ，ｙr ）中のｙ値（即ち始点
プロセスＰr の位置）とを入替える（図８ステップＳ７
６）。

【００９７】出力部７は、ステップＳ７６の入替え処理
を終了すると、ステップＳ７３に戻って組合せＩＤリス
トＭが空か否かを調べ、空になっていないならば、ステ
ップＳ７５に進んで組合せＩＤリストＭの後側から次の
ＩＤの組（ＩＤq ，ＩＤr ）を１つ取出す。そして出力
部７は、上記のステップＳ７６の入替え処理を行う。こ
こで、処理対象となるＩＤの組中のＩＤr が、前回処理
されたＩＤの組中のＩＤr と一致しているならば、この
処理では、前回処理された被衝突信号の１つ上の別の被
衝突信号の終点プロセスＰq の位置と、前記入替えが行
われた衝突信号の始点プロセスＰr の位置とが入替えら
れる。

【００９８】したがって、１つの衝突信号に対応する被
衝突信号が複数ある場合には、以上の入替え処理が繰返
される結果、衝突信号の始点プロセスの位置は、全被衝
突信号のうちの最も上側の被衝突信号の終点プロセスの
位置（入替え処理前の位置、即ち初期設定位置）に置換
えられる。また、全被衝突信号のうち、最も下側の被衝
突信号を除く各信号の終点プロセスの位置は、それぞれ
１つ下の被衝突信号の終点プロセスの初期設定位置に置
換えられ、最も下側の被衝突信号の終点プロセスの位置
は、衝突信号の始点プロセスの初期設定位置に置換えら
れる。

【００９９】やがて、組合せＩＤリストＭが空になる
と、出力部７は、前述した通常信号の入力時におけるシ
ーケンス・チャート表示の場合と同様に、その際のシー
ケンス・チャート表示テーブル２３の内容に従ってシー
ケンス・チャートを表示モニタ６に表示出力する（図８
ステップＳ７４）。

【０１００】さて、上記ステップＳ７１で作成されたシ
ーケンス・チャート表示テーブル２３の内容が図２４に
示すようになっている本実施例では、次のステップＳ７
２で作成される組合せＩＤリストＭは、ＩＤ＝３をＩＤ
３、ＩＤ＝４をＩＤ４と表現すると、ただ１つのＩＤの
組（ＩＤ３，ＩＤ４）からなる。ここで、ＩＤ３の信号
（被衝突信号）とＩＤ４の信号（衝突信号）の図２４に
示すシーケンス・チャート表示テーブル２３上での始点
座標，終点座標、即ち入替え処理が行われる前の始点座
標，終点座標（初期設定値）は、ＩＤ３（ＩＤq ）につ
いては（Ｐ２，３０），（Ｐ３，３０）であり、ＩＤ４
（ＩＤr ）については（Ｐ３，４０），（Ｐ２，４０）
である。

【０１０１】この場合、上記のステップＳ７６では、Ｉ
Ｄ３（ＩＤq ）の終点プロセスＰ３の位置（ｙ座標）３
０と、ＩＤ４（ＩＤr ）の始点プロセスの位置（ｙ座
標）４０との入替えが、シーケンス・チャート表示テー
ブル２３上で図２５（ａ）において双方向の矢印で示す
ように行われる。この結果、ＩＤ３とＩＤ４の信号の最
終的な始点座標，終点座標は、図２５（ｂ）のシーケン
ス・チャート表示テーブル２３に示すように、ＩＤ３
（ＩＤq ）については（Ｐ２，３０），（Ｐ３，４０）
となり、ＩＤ４（ＩＤr ）については（Ｐ３，３０），
（Ｐ２，４０）となる。出力部７が、この図２５（ｂ）
に示すシーケンス・チャート表示テーブル２３に従うシ
ーケンス・チャート表示を行うことにより、図２６に示
すような、実際に信号が衝突する際のシーケンス・チャ
ートを表示モニタ６に表示することができる。

【０１０２】

【発明の効果】以上詳述したように、本発明のプロトコ
ル設計装置によれば、始点プロセスから終点プロセスへ
送られる信号の処理順序を表すための軸（時間概念軸）
上の位置（信号挿入位置）が、始点プロセスおよび終点
プロセスについて、同一位置として扱われるため、デッ
ドロックや受信不能状態等のプロトコルの論理誤りを含
まないプロトコルを設計し、記述することができるよう
になり、したがって信号の伝送時間を考慮せずにプロト
コル設計が行え、従来に比べてプロトコル設計作業の効
率を向上させることができ、通信ソフトウェア等の生産
性の向上を図ることができる。

【０１０３】また、本発明によれば、衝突信号並びに被
衝突信号についても、通常の信号と同様に、始点プロセ
スおよび終点プロセスについて、仮想的に時間概念軸上
の同一位置として扱い、シーケンス・チャートを表示出
力する場合だけ、時間概念軸に対して斜め方向となるよ
うに座標を変更することにより、通常の信号を記述する
場合と同様の効果を得ながら、信号の衝突をシーケンス
・チャート上で正しく表すことができる。

【図面の簡単な説明】

【図１】本発明の一実施例に係るプロトコル設計装置の
構成を示すブロック図。

【図２】図１中の入力部５の動作を説明するためのフロ
ーチャート。

【図３】図１中の制御部１の動作を説明するためのフロ
ーチャート。

【図４】図１中の挿入位置算出部９の動作を説明するた
めのフローチャート。

【図５】図１中の信号置換え部１１の動作を説明するた
めのフローチャート。

【図６】図１中の信号挿入部１０の動作を説明するため
のフローチャート。

【図７】図１中の入力条件判定部８の動作を説明するた
めのフローチャート。

【図８】図１中の出力部７の動作を説明するためのフロ
ーチャート。

【図９】シーケンス・チャートを用いたプロトコルの記
述例を示す図。

【図１０】図９に示すシーケンス・チャート（によるプ
ロトコル記述例）に対応したシーケンス・チャート管理
テーブル２１の内容を示す図。

【図１１】図９に示すシーケンス・チャートに新しい信
号を入力するのに必要な、信号の始点座標と終点座標の
入力例を示す図。

【図１２】図１１の入力例に従う信号再配置後のシーケ
ンス・チャート管理テーブル２１の内容を示す図。

【図１３】図１１の入力例に従う信号再配置後のシーケ
ンス・チャートを示す図。

【図１４】図１１の入力例に従う信号挿入後のシーケン
ス・チャート管理テーブル２１の内容を示す図。

【図１５】図１４のシーケンス・チャート管理テーブル
２１をもとに作成されたシーケンス・チャート表示テー
ブル２３の内容を示す図。

【図１６】図１５のシーケンス・チャート表示テーブル
２３に従って表示されるシーケンス・チャートを示す
図。

【図１７】衝突信号入力直前のシーケンス・チャート管
理テーブル２１の内容の一例を示す図。

【図１８】シーケンス・チャート管理テーブル２１が図
１７に示す内容である場合に表示されるシーケンス・チ
ャートと、同チャートに衝突する信号を入力するのに必
要な、信号の始点座標と被衝突信号を指定する座標の入
力例を示す図。

【図１９】図１８の入力例に従う信号再配置後のシーケ
ンス・チャートを示す図。

【図２０】図１８の入力例に従う信号挿入後のシーケン
ス・チャートを示す図。

【図２１】図１８の入力例に従う信号挿入後のシーケン
ス・チャート管理テーブル２１の内容を示す図。

【図２２】図２１のシーケンス・チャート管理テーブル
２１上で信号置換え部１１による信号置換え処理を行っ
た後の同テーブル２１の内容を示す図。

【図２３】図２２のシーケンス・チャート管理テーブル
２１に対応するシーケンス・チャートを示す図。

【図２４】図２２のシーケンス・チャート管理テーブル
２１をもとに作成されたシーケンス・チャート表示テー
ブル２３の内容を示す図。

【図２５】図２４のシーケンス・チャート表示テーブル
２３上での出力部７による組立て処理（座標入替え処
理）を説明するための図。

【図２６】図２５に示す組立て処理（座標入替え処理）
後のシーケンス・チャート表示テーブル２３に従って表
示されるシーケンス・チャートを示す図。

【図２７】プロトコル・エラーおよび信号の衝突を説明
するための図。

【符号の説明】

１…制御部、２…記憶部、３…マウス、４…キーボー
ド、５…入力部、６…表示モニタ、７…出力部、８…入
力条件判定部、９…挿入位置算出部、１０…信号挿入
部、１１…信号置換え部、２１…シーケンス・チャート
管理テーブル、２２…モードフラグ（Ｆ）、２３…シー
ケンス・チャート表示テーブル。

Claims (3)

【特許請求の範囲】
1. 【請求項１】 通信システムを構成する複数のプロセス
   間の信号処理手順を記述するシーケンス・チャート上で
   の、記述対象となる信号の始点プロセスとその時間概念
   軸方向の信号位置からなる始点座標、同信号の終点プロ
   セスとその時間概念軸方向の信号位置からなる終点座標
   または同信号が衝突する場合にはその被衝突信号を指す
   座標、および信号名を入力するための入力手段と、 この入力手段により入力された前記始点座標の示す信号
   位置から、新たに信号を挿入するための離散値で表され
   る始点および終点に共通の正規化された信号挿入位置を
   算出する挿入位置算出手段と、 前記シーケンス・チャート上の各信号毎に、その信号の
   識別情報、処理順序に対応した正規化された信号挿入位
   置、始点プロセス、終点プロセスおよび信号名の他、そ
   の信号が衝突する場合は更に相手信号の識別情報を記憶
   するための記憶手段と、 前記挿入位置算出手段によって算出された信号挿入位置
   と、前記記憶手段に記憶されている既入力の信号の信号
   挿入位置とから、この既入力の信号と新たに入力する信
   号との重なりの有無を判別し、重なりがある場合には、
   前記算出された信号挿入位置に一致する位置以降の既入
   力信号の位置を前記記憶手段内で変更して既入力信号の
   再配置を行うと共に、前記算出された信号挿入位置、前
   記入力された始点プロセス並びに信号名、および前記入
   力された終点プロセスまたは前記指定された被衝突信号
   の終点プロセスを前記記憶手段に記憶することで、始点
   および終点の時間概念軸方向の信号挿入位置が共通の新
   たな信号を挿入する信号挿入手段と、 前記記憶手段の記憶情報に従い、実際のシーケンス・チ
   ャートを組立て出力する出力手段であって、前記記憶手
   段内に相手信号の識別情報が記憶されている衝突信号お
   よび被衝突信号が存在する場合には、その衝突信号と対
   応する全被衝突信号について互いに交差するように座標
   を変更する出力手段と、 を具備することを特徴とするプロトコル設計装置。
2. 【請求項２】 前記入力手段によって始点座標、被衝突
   信号を指す座標および信号名が入力された場合に、その
   入力内容が衝突信号入力の条件を満たしているか否かを
   判定するための入力条件判定手段を更に備え、条件不成
   立の場合には入力エラー扱いとするようにしたことを特
   徴とする請求項１記載のプロトコル設計装置。
3. 【請求項３】 前記入力条件判定手段は、前記入力手段
   の入力内容によって指定される被衝突信号が１つの場合
   には、同信号の終点プロセスと、この入力内容の示す始
   点座標中の始点プロセスとが一致していることをもって
   条件成立を判定し、前記入力手段の入力内容によって指
   定される被衝突信号が複数の場合には、これら各被衝突
   信号の始点プロセスが一致し、且つ同信号の各終点プロ
   セスと、この入力内容の示す始点座標中の始点プロセス
   とが一致していることをもって条件成立を判定すること
   を特徴とする請求項２記載のプロトコル設計装置。