JP3104922B2 - 競合検出方法 - Google Patents

Description

【発明の詳細な説明】

【０００１】

【産業上の利用分野】この発明は競合検出方法に関し、
特に、計算機複合体などに対するソフトウェアの開発に
おいて、目的システムの動作を状態遷移規則により規定
した際、その規定に含まれる規則間の競合を検出するよ
うな競合検出方法に関する。

【０００２】

【従来の技術】以下では、まず設計対象システムの動作
規定手法について解説し、ここで問題としている規則間
の競合について説明する。

【０００３】今動作規則の例として、次の電話サービス
規則を考える。 規則１） 空（Ａ） オフフック（Ａ）： 発信音
（Ａ）． 規則２） 発信音（Ａ），空（Ｂ） ダイヤル（Ａ，
Ｂ）： 呼返音（Ａ，Ｂ），呼出音（Ｂ，Ａ）． 規則３） 呼返音（Ａ，Ｂ），呼出音（Ｂ，Ａ） オフ
フック（Ｂ）： 通話中（Ａ，Ｂ），通話中（Ｂ，
Ａ）． 規則４） 通話中（Ａ，Ｂ），通話中（Ｂ，Ａ） オン
フック（Ａ）： 空（Ａ），ビジー（Ｂ）． これらは状態遷移規則記述（ＳＴＲ記述）と呼ばれるも
のであり、各規則は、「現状態記述」、「イベント記
述」、「次状態記述」の３つの部分で構成される。上述
の各規則は、それぞれ次のような動作を規定している。 規則１）：ある端末が空状態（空（Ａ））であるとき、
その端末でオフフック（受話器上げ）が起こると、端末
は発信音受信状態（発信音（Ａ））に変化する。 規則２）：ある端末が発信音受信状態であるとき、その
端末でダイヤルにより相手端末（ｄｉａｌ（Ａ，Ｂ）：
のＢ）が指定されたとき、ダイヤルにより指定された相
手端末が空状態であれば、両端末は、それぞれ呼返音受
信状態（呼返音（Ａ，Ｂ））と呼出音受信状態（呼出音
（Ｂ，Ａ））へ遷移し、互いに相手の識別子を記憶す
る。ここで、呼返音（Ａ，Ｂ）は端末Ａの状態を表現
し、相手端末の識別子Ｂを記憶することを表現してい
る。 規則３）：互いに相手の識別子を記憶している呼返音受
信状態と呼出音受信状態である２つの端末があったと
き、呼出音状態の端末でオフフックが生起すると、両者
は互いに相手を記憶したまま通話中状態（通話中（Ａ，
Ｂ））と通話中（Ｂ，Ａ））に遷移する。 規則４）：互いに相手の識別子を記憶している２つの通
話中状態の端末のどちらか一方で、オンフック（受話器
を置く）が生起すると、オンフック端末は空状態に遷移
し、も他方はビジー音受信状態（ビジー（Ｂ））に遷移
する。

【０００４】これらの規則は、不特定多数個の端末で構
成される電話サービス提供システムの動作を規定してい
る。たとえば、通話中の端末は１つの電話サービス提供
システム中に数多く存在し得るが、オンフック（受話器
置き）をした場合には、今通話していた相手（自分の状
態を通話中（Ａ，Ｂ）としたときに、通話中（Ｂ，Ａ）
なる状態である相手端末は唯一定まる）だけがビジー音
状態へ遷移する。

【０００５】ここで、通話中（Ａ，Ｂ）などは状態記述
要素と呼ばれる。一般には、各端末の状態は状態記述要
素の集合で与えられる。たとえば、通話相手を一旦保留
し、第三者を呼出す場合の端末状態は、「保留中（Ａ，
Ｂ），発信音（Ａ）」と記述される。この際、端末から
ダイヤルする場合の動作は、前述の規則２）が適用され
る。このように、規則の「現状態記述」部分で指定され
た状態記述要素を適用の条件とし、条件を満足する場合
に、規則が適用される。

【０００６】規則によって規定される動作に対する前提
を、以下の２つの規則を用いて説明する。規則中でｍ−
着信転送（Ｂ，Ｄ）という記述を用いている。これは、
端末Ｂが着信転送（転送先が端末Ｄ）を設定しているこ
とを意味している。この状態記述要素は、空（Ｂ）や通
話中（Ｂ，Ｃ）などという状態記述要素と共存し得るも
のであり、状態の識別とは別に状態変数として取り扱わ
れるのが普通である。そのため、状態の識別子ではな
く、状態変数として扱うことを明示するため、（ｍ−）
が付加されている。 規則６） 発信音（Ａ），通話中（Ｂ，Ｃ） ダイヤル
（Ａ，Ｂ）： ビジー（Ａ），通話中（Ｂ，Ｃ）． 規則７） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−着信
転送（Ｂ，Ｄ），空（Ｄ） ダイヤルＡ，Ｂ： 呼返音
（Ａ，Ｄ），通話中（Ｂ，Ｃ），ｍ−着信転送（Ｂ，
Ｄ），呼出音（Ｄ，Ａ）． これは、基本通話サービスにおいて、ダイヤル先が通話
中であったときにビジー音受信に移行する動作と、着信
転送サービスをダイヤル先が設定していた場合に、呼び
が転送される動作を規定している。規則７）は次の状況
に対して適用可能である。

【０００７】 端末Ａ：発信音（Ａ） 端末Ｂ：通話中（Ｂ，Ｃ），ｍ−着信転送（Ｂ，Ｄ） 端末Ｄ：空（Ｄ） 上述の状況に対して、規則７）次状態を規定している
が、このとき、同時に規則６）も適用可能であることが
わかる。ここで、規則６）で適用の条件となる「現状態
記述」が規則７）のそれに完全に包含されている。この
ような、規則適用の条件に包含関係が存在する２つの規
則が存在した場合、その両者が適用可能な状況（上述の
ような状況）では、より条件の多い方（上述の場合は、
規則７）を優先して適用することを前提としている。

【０００８】上述の説明では、設計対象システムの動作
規定手法について述べたが、以下ではこの発明の主題で
ある規則の競合について説明する。

【０００９】まず、規則が競合する場合の例について次
の２つの規則を考える。 規則７） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−ｃｆ
ｖ（Ｂ，Ｄ），空（Ｄ）ダイヤル（Ａ，Ｂ）： 呼返音
（Ａ，Ｄ），通話中（Ｂ，Ｃ），ｍ−着信転送（Ｂ，
Ｄ），呼出音（Ｄ，Ａ）． 規則８） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−ｃｗ
（Ｂ） ダイヤル（Ａ，Ｂ）： 呼返音（Ａ，Ｄ），通
話中（Ｂ，Ｃ），ｍ−話中着信（Ｂ），話中呼出音
（Ｂ，Ａ）． 規則７）は上で説明した着信転送動作の規定である。規
則８）は、端末Ｂが話中着信サービスに加入している場
合に、第三者からの着信を受付ける動作を規定してい
る。第三者からの着信を受付けた後は、フラッシュフッ
クにより、通話の切換が可能となるサービスである。

【００１０】この２つの動作規則に対して、次の状況を
考えてみる。 端末Ａ）発信音（Ａ） 端末Ｂ）通話中（Ｂ，Ｃ），ｍ−着信転送（Ｂ，Ｄ），
ｍ−話中着信（Ｂ） 端末Ｄ）空（Ｄ） この状況に対して、上述の規則７）と規則８）はともに
適用可能であることがわかる。また、互いの条件に包含
関係も存在しないため、規則適用に関する優先順序も存
在しない。そのため、この状況で、端末Ａから端末Ｂに
ダイヤルをした場合、２つの規則が異なる２つの動作を
規定している状況となる。これが規則の動作競合と呼ば
れるものである。動作規則の開発の際には、設計漏れが
起こり、これが規則間の競合として現われる場合があ
る。したがって、与えられた動作規則の集合中に含まれ
る規則間の競合を検出することは、サービス設計を機械
支援することに相当し、重要な課題である。

【００１１】次に、規則の検出手法について説明する。
例示した規則の競合する状況は、規則７）と規則８）の
２つの「現状態記述」から構成されていると見ることが
できる。すなわち、２つの規則から、規則の競合する状
況を形式的に作成することができる。しかし、作成され
た状況は、常に競合する状況ではない。それは、形式的
に作成された複数端末で構成される状況が、実際には、
システムの動作中には起こり得ない状況であることがあ
るためである。

【００１２】たとえば、次の２つの規則を考えてみる。 規則２） 発信音（Ａ），空（Ｂ） ダイヤル（Ａ，
Ｂ）： 呼返音（Ａ，Ｂ），呼出音（Ｂ，Ａ）． 規則６） 発信音（Ａ），通話中（Ｂ，Ｃ） ダイヤル
（Ａ，Ｂ）： ビジー（Ａ），通話中（Ｂ，Ｃ）． この２つの規則の競合する状況を形式的に作成すると、
発信音（Ａ），空（Ｂ），通話中（Ｂ，Ｃ）となる。し
かし、空（Ｂ），通話中（Ｂ，Ｃ）は、端末Ｂが空状態
であることと通話中であることを同時に要求しており、
このような状態を実際に実現することはできない。この
ような、競合の検出では、指定された状況（複数端末の
状態で構成）がシステム内で実際に起こり得る状況か否
かが判定できれば機械判定が可能となる。しかしなが
ら、次のような現象が存在する。

【００１３】「３つの端末で構成されるシステムを想定
し、そのすべての動作を調べ上げ、指定された状況が起
こり得るかどうか判定することができる。しかし、ここ
で出現しなかった状況が４つ以上の端末で構成されるシ
ステムで出現する場合がある。」従来、記述に含まれる
競合の検出では、記述されたすべての可能な動作を調べ
上げ、競合など記述が有する性質の解析を行なってい
た。しかし、この手法は、システムを構成するプロセス
（端末）数が有限の範囲では有効であるが、不特定多数
の端末で構成される通信システムなどを対象として解析
を行なおうとした場合、その動作には無限の可能性があ
り、そのすべてを解析することは不可能である。すなわ
ち、従来手法による解決策が存在しない。

【００１４】

【発明が解決しようとする課題】不特定多数のプロセス
で構成されるシステムを対象とし、動作規則の記述に対
して、その記述中に含まれる規則間の競合動作を機械検
出することは、無限を対象とした探索が必要であり、不
可能である。しかしながら、規則間の競合の排除は、正
しい動作規定の開発のためには避けられない重要な課題
である。

【００１５】それゆえに、この発明の主たる目的は、規
則間の競合の検出を機械支援するという立場に立ち、効
率的な設計を達成する競合検出方法を提供することであ
る。

【００１６】

【課題を解決するための手段】この発明は複数の端末が
相互に通信を行ないながら処理を進めるシステムにおい
て、動作競合の起こる可能性のある規則を検出する競合
検出方法であって、各端末がとり得るすべての状態記述
を実状態集合として求める第１のステップと、同一のイ
ベントによる動作を規定している任意の２つの動作規則
に対して、２つの規則の状態記述を統合することで得ら
れる規則の競合する状況の候補の集合を作成する第２の
ステップと、規則の競合する状況の各候補について、候
補に含まれる各端末ごとの状態記述に対して、その状態
記述それぞれが実状態集合に含まれているか否かを判定
し、当該候補に含まれる端末の状態記述が１つでも実状
態集合に含まれていなければ、当該候補を前記競合する
状況の候補の集合から削除して候補を絞り込む第３のス
テップを含む。

【００１７】

【作用】ここで、先に示した規則とその競合する状況を
再掲する。 規則７） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−着信
転送（Ｂ，Ｄ），空（Ｄ） ダイヤル（Ａ，Ｂ）： 呼
返音（Ａ，Ｄ），通話中（Ｂ，Ｃ），ｍ−着信転送
（Ｂ，Ｄ），呼出音（Ｄ，Ａ）． 規則８） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−ｃｗ
（Ｂ） ダイヤル（Ａ，Ｂ）： 呼返音（Ａ，Ｄ），通
話中（Ｂ，Ｃ），ｍ−話中着信（Ｂ），話中呼出音
（Ｂ，Ａ）． 端末Ａ）発信音（Ａ） 端末Ｂ）通話中（Ｂ，Ｃ），ｍ−着信転送（Ｂ，Ｄ），
ｍ−話中着信（Ｂ） 端末Ｄ）空（Ｄ） ここで、以下の性質が成り立つことがわかる。

【００１８】「もし、２つの規則から構成した状況が実
際に起こり得る状況であれば、その状況を構成している
各端末ごとの状態は、１つの端末の状態として起こり得
る状態である。」今、上述の性質の対隅をとると、以下
のようになる。

【００１９】「２つの規則から構成した状況に対して、
各端末の状態が１つでも実際の端末の状態として不適当
なものが存在するならば、その規則から形式的に構成し
た状況は、真に規則の競合する状況とはいえない。」こ
の上述の条件を用いることにより、機械的に規則の競合
する候補を求めてから、競合の候補から外してよいもの
を機械的に捜し出すことにより、競合の可能性のある部
分を絞り込んで人間に提示することが可能となり、人間
の設計作業を機械支援することができる。

【００２０】前述の性質を利用することにより、以下の
手順で、競合検出作業の機械支援が可能となる。 ［手順１］各 端末について、起こり得るすべての状態を求める。あ
るいは、規則を記述した設計者が与えることを前提とし
てもよい。これを実状態集合と呼ぶことにする。 ［手順２］ 同一のイベントによる動作を規定している任意の２つの
動作規則に対して、２つの規則の「状態記述」を統合す
ることで得られる「規則の競合する状況の候補」の集合
を作成する。 ［手順３］ 「規則の競合する状況の各候補」について、候補に含ま
れる各端末ごとの状態記述に対して、その状態記述それ
ぞれが実状態集合に含まれているか否かを判定し、当該
候補に含まれる端末の状態記述が１つでも実情態集合に
含まれていなければ、その状況は実システム上では起こ
りえない状況であると判断して、当該候補を競合する状
況の候補の集合から削除して候補を絞り込む。この手順
では、［手順１］で人間の存在が必要となるが、［手順
２］以降では、競合の可能性のあるものから、競合の可
能性のないものを自動的に検出することが可能であり、
人間に対して競合の可能性のある部分を絞り込んで展示
することが可能となる。

【００２１】

【実施例】図１はこの発明の一実施例の概略ブロック図
であり、図２はこの発明の一実施例の概略の動作を説明
するためのフロー図である。

【００２２】まず、図１および図２を参照して、この発
明の一実施例の概略について説明する。状態遷移規則部
１は各端末がとり得るすべての状態記述を実状態集合と
して求めるものである。ただし、状態遷移規則部１は規
則を記述した設計者が与えることを前提としてもよい。
競合候補作成機能部２は状態遷移規則部１から出力され
た同一のイベントによる動作を規定している任意の２つ
の動作規則に対して、２つの規則の状態記述を統合する
ことで得られる規則の競合する状況の候補３の集合を作
成する。実状態集合部５は各端末について起こり得るす
べての状態が集合として記憶されている。候補絞込み機
能部４は競合する状況の候補３について、候補に含まれ
る端末ごとの状態記述に対して１つでも実状態集合部５
に記憶されている実状態集合に含まれないものがあれ
ば、その状況は実システム上では起こり得ない状況であ
ると判断し、その候補を競合する状況の候補から削除す
ることによって、候補を絞り込み、競合候補６を提示す
る。

【００２３】図３は、この発明の一実施例のより具体的
なフロー図である。規則の集合として以下を考える。 規則１） 空（Ａ） オフフック（Ａ）： 発信音
（Ａ）． 規則２） 発信音（Ａ），空（Ｂ） ダイヤル（Ａ，
Ｂ）： 呼返音（Ａ，Ｂ），呼出音（Ｂ，Ａ）． 規則３） 発信音（Ａ），ｎｏｔ［空（Ｂ）］ ダイヤ
ル（Ａ，Ｂ）： ビジー音（Ａ）． 規則４） 呼返音（Ａ，Ｂ），呼出音（Ｂ，Ａ） オフ
フック（Ｂ）： 通話中（Ａ，Ｂ），通話中（Ｂ，
Ａ）． 規則５） 通話中（Ａ，Ｂ），通話中（Ｂ，Ａ） オン
フック（Ａ）： 空（Ａ），ビジー音（Ｂ）． 規則６） ビジー音（Ａ） オンフック（Ａ）： 空
（Ａ）． 規則７） 発信音（Ａ），通話中（Ｂ，Ｃ） ダイヤル
（Ａ，Ｂ）： ビジー音（Ａ），通話中（Ｂ，Ｃ）． ［手順１］まず、上述の規則から、１つの端末のとり得
る状態を求める。これは以下のようになる。

【００２４】｛空（Ａ）｝，｛発信音（Ａ）｝，｛呼返
音（Ａ，Ｂ）｝，｛呼出音（Ａ，Ｂ）｝，｛通話中
（Ａ，Ｂ）｝，｛ビジー音（Ａ）｝ 上述が実状態集合である。 ［手順２］ 同一のイベントに関して、任意に２つの規則を選び、競
合の可能性のある状況を作成する。上述の規則から以下
の候補が作成される。 規則１と規則４） ｛空（Ａ），呼出音（Ａ，Ｂ），呼返音（Ｂ，Ａ）｝ 規則２と規則３） ｛発信音（Ａ），空（Ｂ），ｎｏｔ［空（Ｂ）］｝ 規則２と規則７） ｛発信音（Ａ），空（Ｂ），通話中（Ｂ，Ｃ）｝ 規則３と規則７） ｛発信音（Ａ），ｎｏｔ［空（Ｂ）］，通話中（Ｂ）｝ 規則５と規則６） ｛通話中（Ａ，Ｂ），通話中（Ｂ，Ａ），ビジー（Ａ）｝ ［手順３］ 上述の各状況から、端末ごとの状態を抜き出し、手順１
で調べた端末の実状態集合中に含まれるか否かを判定す
る。その結果は以下のようになる。 規則１と規則４）では、｛空（Ａ），呼出音（Ａ，
Ｂ）｝が端末の実状態として存在しない。 規則２と規則３）では、｛空（Ｂ），ｎｏｔ［空
（Ｂ）］｝が端末の実状態として存在しない。 規則２と規則７）では、｛空（Ｂ），通話中（Ｂ，
Ｃ）｝が実状態として存在しない。 規則５と規則６）では、｛通話中（Ａ，Ｂ），ビジー
（Ａ）｝が、端末の実状態として存在しない。

【００２５】この結果、上述の４つの規則の組合わせで
は、競合は発生しないことがわかる。規則３と規則７
は、上述の状況｛発信音（Ａ），ｎｏｔ［空（Ｂ）］，
通話中（Ｂ）｝で、規則３と規則７が同時に適用可能と
なることがわかる。この場合には、２つの規則が全く同
じ動作を規定している場合に相当し、規則７は不要であ
ることがわかる。機械は、上述の５つの規則の組合わせ
のうち、４つの組合わせは規定の競合の候補から削除し
てよいことを判定し、残った１つを要確認事例として、
設計者に提示することができる。

【００２６】上記は比較的簡単な場合である。もう少し
複雑な場合、たとえば規則以下の２つの場合を考えてみ
る。 規則１） 発信音（Ａ），空（Ｂ），ｍ−着信転送
（Ｂ，Ｃ），通話中（Ｃ，Ｄ） ダイヤル（Ａ，Ｂ）：
ビジー音（Ａ，Ｃ），空（Ｂ），ｍ−着信転送（Ｂ，
Ｃ），通話中（Ｃ，Ｄ）． 規則２） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−着信
転送（Ｂ，Ｄ），空（Ｄ） ダイヤル（Ａ，Ｂ）： 呼
返音（Ａ，Ｄ），通話中（Ｂ，Ｃ），ｍ−着信転送
（Ｂ，Ｄ），呼出音（Ｄ，Ａ）． この２つからは、以下のような複数の競合する状況の候
補が作成される。 「候補１」発信音（Ａ），空（Ｂ），通話中（Ｂ，
Ｃ），ｍ−着信転送（Ｂ，Ｄ），空（Ｄ），通話中
（Ｄ，Ｅ） 「候補２」発信音（Ａ），空（Ｂ），通話中（Ｂ，
Ｃ），ｍ−着信転送（Ｂ，Ｄ），空（Ｄ），通話中
（Ｄ，Ｃ） これは２つの規則の変数の中で、規則１のＤと規則２の
Ｃとの間には何も制約関係がなく、これらが互いに同じ
場合と異なる場合の両者が考えられるためである。

【００２７】また、動作の規定手法にも依存するが、規
則間に優先順序が導入されている場合には、競合する状
況を求める上でも対応した処理が必要となる。たとえ
ば、以下の３つの規則について考えてみる。 規則１） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−話中
着信（Ｂ） ダイヤル（Ａ，Ｂ）： 呼返音（Ａ，
Ｂ），通話中（Ｂ，Ｃ），ｍ−話中着信（Ｂ），話中着
信音（Ｂ，Ａ）． 規則２） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−着信
転送（Ｂ，Ｄ），空（Ｄ） ダイヤル（Ａ，Ｂ）： 呼
返音（Ａ，Ｄ），通話中（Ｂ，Ｃ），ｍ−着信転送
（Ｂ，Ｄ），呼出音（Ｄ，Ａ）． 規則３） 発信音（Ａ），通話中（Ｂ，Ｃ），ｍ−話中
着信（Ｂ），ｍ−着信転送（Ｂ，Ｄ），空（Ｄ） ダイ
ヤル（Ａ，Ｂ）： 呼返音（Ａ，Ｄ），通話中（Ｂ，
Ｃ），ｍ−話中着信（Ｂ）， ｍ−着信転送（Ｂ，
Ｄ），呼出音（Ｄ，Ａ）． この場合、規則１と規則２から「発信音（Ａ），通話中
（Ｂ，Ｃ），ｍ−話中着信（Ｂ），ｍ−着信転送（Ｂ，
Ｄ），空（Ｄ）」なる競合の可能性のある状況が構成さ
れる。しかし、この状況では、規則３も同時に適用可能
であり、規則１や規則２よりも優先順位が高い。したが
って、この状況では、規則１と規則２は適用されず、規
則３のみが適用されるため、「規則１と規則２が競合す
る」状況とは言えない。一般には、先に述べたような優
先順位を導入している場合には、２つの規則（規則ａと
規則ｂとする）から求められた競合の可能性のある状況
で、他の規則で規則ａか規則ｂよりも優先順位の高い規
則がその状況に適用可能な場合には、求められた状況は
規則ａと規則ｂの競合する状況とは言えない。

【００２８】上述の競合検出方法において、事前にあり
得ない複数端末の状態の要素の組合わせ（たとえば、Ａ
はＢと通話中の状態であるにもかかわらず、Ｂは空状態
｛通話中（Ａ，Ｂ），空（Ｂ）｝など）を登録してお
き、競合する状況がこれを含んでいる場合には、競合す
る状況から取除くなどは、この発明による方法を精緻化
する１つの手法である。

【００２９】

【発明の効果】以上のように、この発明によれば、各端
末がとり得るすべての状態記述を実状態集合として求
め、同一のイベントによる動作を規定している任意の２
つの動作規則に対して、２つの規則の状態記述を統合す
ることで得られる規則の競合する状況の候補の集合を作
成し、規則の競合する状況の候補について、候補に含ま
れる各端末ごとの状態記述に対して、その状態記述それ
ぞれが実状態集合に含まれているか否かを判別し、当該
候補に含まれる端末の状態記述が１つでも実状態集合に
含まれていなければ、当該候補を競合する状況の候補の
集合から削除して候補を絞り込むようにしたので、動作
競合の起こる可能性のある端末を絞り込んで設計者に提
示することが可能となる。

【図面の簡単な説明】

【図１】この発明の一実施例の概略ブロック図である。

【図２】この発明の一実施例の概略の動作を説明するた
めのフロー図である。

【図３】この発明の一実施例のより具体的な動作を説明
するためのフロー図である。

【符号の説明】 １ 状態遷移規則部 ２ 競合候補作成機能部 ３ 競合候補 ４ 候補絞り込み機能部 ５ 実状態集合部 ６ 競合候補

───────────────────────────────────────────────────── フロントページの続き (72)発明者 原田 良雄 京都府相楽郡精華町大字乾谷小字三平谷 ５番地 株式会社エイ・ティ・アール通 信システム研究所内 (72)発明者 竹中 豊文 京都府相楽郡精華町大字乾谷小字三平谷 ５番地 株式会社エイ・ティ・アール通 信システム研究所内

Claims (1)

(57)【特許請求の範囲】
1. 【請求項１】 複数の端末が相互に通信を行ないながら
   処理を進めるシステムにおいて、動作競合の起こる可能
   性のある規則を検出する競合検出方法であって、 各 端末がとり得るすべての状態記述を実状態集合として
   求める第１のステップと、同一のイベントによる動作を規定している 任意の２つの
   動作規則に対して、２つの規則の状態記述を統合するこ
   とで得られる規則の競合する状況の候補の集合を作成す
   る第２のステップと、 前記規則の競合する状況の各候補について、候補に含ま
   れる各端末ごとの状態記述に対して、その状態記述それ
   ぞれが前記実状態集合に含まれているか否かを判定し、
   当該候補に含まれる端末の状態記述が１つでも前記実状
   態集合に含まれていなければ、当該候補を前記競合する
   状況の候補の集合から削除して候補を絞り込む第３のス
   テップを含む、競合検出方法。