JPH0955965A - 通信サービス競合検出装置 - Google Patents

Abstract

(57)【要約】 【課題】 端末が実際に存在し得ない状態は獲得しない
ようにし、それにより規則競合の検出精度を向上させ
る。 【解決手段】 この通信サービス競合検出装置は、規則
記憶部１０から読出された規則の現状態が実状態記憶部
１６に記憶されているか否かを判定する同時存在性判定
部１２と、現状態が実状態記憶部１６に記憶されている
場合にその規則を適用することにより状態を獲得する規
則適用部１４とを備える。その獲得された状態は実状態
記憶部１６に書込まれる。この装置はさらに、規則記憶
部１０から競合候補２０を抽出する競合候補抽出部１８
と、実状態記憶部１６を参照して競合候補２０を競合候
補２４に絞込む候補絞込部２２とを備える。

Description

【発明の詳細な説明】

【０００１】

【発明の属する技術分野】この発明は通信サービス競合
検出装置に関し、さらに詳しくは、複数の端末において
適用される複数の規則の中から互いに競合するものを自
動的に検出する通信サービス競合検出装置に関する。

【０００２】

【従来の技術】通信システムは、通信サービスの数と洗
練が増すにつれて増大しかつより複雑になってきてい
る。進歩した通信サービスの導入により、迅速な通信ソ
フトウェアの開発が必要となり、特に既存のサービスに
新規サービスが加えられた場合に引起こされるサービス
相互作用の検出と解決が必要となってきている。これが
困難である主な理由は、従来の方法では既存のサービス
に新規サービスが組合されたときに生じる恐れのある状
況をすべて把握し予測することが不可能だということで
ある。

【０００３】サービスを組合せたときに引起こされる典
型的な競合として、たとえば話中着信（ＣＷ）と着信転
送（ＣＦＶ）とが競合する場合がある。

【０００４】（１） 話中着信（ＣＷ） もし加入者Ａが話中着信実行能力を有し、かつＢと通話
中であるとき、ＣがＡにダイヤルすると、Ａは話中着信
呼出音を受信する（もしＡがフラッシュフックのイベン
トを起こすと、ＡはＣと接続され、Ｂが待たされる）。

【０００５】（２） 着信転送（ＣＦＶ） もし加入者ＡがＤへの着信転送を予め設定してあり、Ｄ
がアイドル状態にあるときに、ＣがＡにダイヤルする
と、そのダイヤル先はＤに転送され、ＣはＤを呼び出す
状態となる。

【０００６】これら２つのサービスを同時に提供する通
信システムを考える。両方の実行能力を有するＡがＢと
通話中であり、かつＤへの着信転送を予め設定している
と仮定する。この状況でもしＣがＡにダイヤルすると、
いずれの規則を適用すべきかを決定することができな
い。

【０００７】従来のサービス記述法（ＳＤＬ、ＬＯＴＯ
Ｓおよび Estelle）では、サービス記述は手続き記述ま
たは行為のシーケンスの集合である。上記２つのサービ
スが手続き記述を用いて特定されている場合には、ダイ
ヤルされた端末の動作の記述は以下の手続きの和であ
る。すなわち、話中着信のための手続きは話中着信の記
述のテストを受ける。他方で、着信転送のための手続き
は着信転送の記述のテストを受ける。もしこれら２つの
手続きが１つに組合された場合、動作は２つのテストス
テートメントの順序に依存する。もし手続きが間違った
順序で実行された場合には、機械的に競合を検出する方
法がない。

【０００８】ここでは、通信サービスのためのＳＴＲ
（状態遷移規則）記述を想定している。ＳＴＲ記述は宣
言的状態遷移規則の集合であり、各規則は現状態記述、
イベント記述、および次状態記述からなる。宣言的サー
ビス規則の集合を想定すると、サービス記述における非
決定的動作の検出の問題が導入される。たとえば、ある
イベントが起こり、２つの規則の現状態記述が同時に満
足されれば、これは２つの規則が２つの異なった次状態
を特定するという問題が生じる。これは通信サービス記
述の非決定的動作と呼ばれる。

【０００９】このような競合をすべて検出するために、
以下のステップを含む競合検出方式が提案されている
（特開平５−２３６５２７号公報）。

【００１０】ステップ１．１つの端末がとり得るすべて
の端末状態を獲得する。 ステップ２．もし２つの規則が同じイベント記述を有す
る場合には、２つの規則の現状態記述から状況を構築す
る。状況は時として複数の端末状態からなる。これらの
状況は「競合候補」と呼ばれる。

【００１１】ステップ３．状況における各端末の状態
を、上記ステップ１で獲得された端末状態と比較するこ
とにより、各状況が存在するか否かを判断する。もしそ
れらの状況がいずれも存在しない場合には、これら２つ
の規則は競合しないと判断され、考慮から除外される。
残った状況が競合候補と考えられる。

【００１２】

【発明が解決しようとする課題】しかしながら、上述し
た従来の競合検出方式では、多数の端末状態間の同期を
判断することなく、他の端末の状態を想定するのみで、
ある端末の状態に規則を適用するので、実際の多数の端
末に表われないような誤った遷移が起こる恐れがある。
誤った遷移はしばしば誤った端末状態に繋がり、これは
実際の多数の端末に表われない。もし獲得された誤った
状態に規則が適用されると、端末のより多くの誤った状
態が獲得されてしまう。その結果、競合検出の正確さが
減じられるという問題があった。

【００１３】この発明の目的とするところは、多数の端
末の状態間の同期を判断することにより、サービス記述
（規則）を正確に反映した端末状態を獲得するようにし
た通信サービス競合検出装置を提案することである。

【００１４】

【課題を解決するための手段】この発明に係る通信サー
ビス競合検出装置は、複数の端末のいずれかの現在の状
態からイベントによるその次の状態への遷移を記述する
複数の規則を適用する際に用いられ、複数の規則の中か
ら互いに競合するものを自動的に検出するものであっ
て、端末の１つが実際に取り得る状態を記憶するための
実状態記憶手段と、複数の規則を記憶している規則記憶
手段と、規則記憶手段中から選択された１つの規則にお
ける現在の状態が実状態記憶手段に記憶されているか否
かを判定する判定手段と、判定手段によって現在の状態
は実状態記憶手段に記憶されていると判定されたとき、
現在の状態に選択された１つの規則を適用することによ
りその次の状態を生成し、その生成された状態を実状態
記憶手段に記憶させる規則適用手段と、規則記憶手段中
から同一イベントを有する少なくとも２つの規則を競合
候補として抽出する競合候補抽出手段と、競合候補抽出
手段によって抽出された規則における現在の状態が実状
態記憶手段に記憶されていなければその規則を競合候補
から削除する競合候補絞込手段とを備える。

【００１５】この通信サービス競合検出装置において
は、規則における現在の状態がある１つの端末において
実際に存在し得るか否か、つまりその状態が複数の端末
において同時に存在し得るか否かが判定される。その状
態が同時に存在し得ると判定された場合、その規則を適
用することによりその次の状態が獲得される。他方、同
一イベントを有する２つの規則が競合候補として抽出さ
れ、その抽出された規則における現在の状態が上記獲得
された状態に含まれていなければその規則は競合候補か
ら削除される。それにより、競合候補はさらに絞込まれ
る。

【００１６】したがって、同じイベントを有する多数の
サービス特性間の競合が、多数のサービス実行能力を有
する単一の端末のみでなく、多数のサービス実行能力を
有する多数の端末においても検出され得る。

【００１７】

【発明の実施の形態】以下、この発明の実施の形態によ
る通信サービス競合検出装置の一例を図面を参照して詳
しく説明する。なお、図中同一符号は同一または相当部
分を示す。

【００１８】１．通信サービス競合検出装置の全体構成 図１は、この発明の実施の形態による通信サービス競合
検出装置の全体構成を示すブロック図である。図１を参
照して、この装置は、規則記憶部１０と、同時存在性判
定部１２と、規則適用部１４と、実状態記憶部１６と、
競合候補２０を抽出するための競合候補抽出部１８と、
競合候補２０から競合候補２４に絞込む候補絞込部２２
とを備える。

【００１９】規則記憶部１０は、ＳＴＲ（状態遷移規
則）法で記述された複数の規則を記憶している。同時存
在性判定部１２は、規則記憶部１０から順次１つの規則
を読出し、その読出された規則に記述された現状態が実
状態記憶部１６に記憶されているか否かを判定する。規
則適用部１４は、現状態が実状態記憶部１６に記憶され
ている場合、その読出された規則を適用することにより
その現状態に基づいて次状態を獲得する。その獲得され
た状態は実状態記憶部１６に書込まれる。このように現
状態が複数の端末で同時に存在し得る規則のみが適用さ
れ、それにより状態が獲得されるので、実状態記憶部１
６には任意の端末が他の端末との関係を考慮して実際に
取り得る状態のみが記憶される。

【００２０】競合候補抽出部１８は、規則記憶部１０の
中から同一イベントを有する２つの規則を順次抽出し、
それにより競合候補２０を作成する。候補絞込部２２
は、競合候補２０として挙げられた規則に記述された現
状態が実状態記憶部１６に記憶されているか否かを判定
し、記憶されていない場合はその規則を競合候補２０か
ら削除することにより競合候補２４を作成する。

【００２１】ここで、競合候補２０を抽出し、さらにそ
の競合候補を実状態記憶部１６を参照して絞込む点につ
いては、上記特開平５−２３６５２７号公報に開示され
た競合検出方式と同様である。したがって、規則に記述
された現状態が実際に同時に存在し得るか否かを判定
し、存在し得る場合のみその規則を適用することにより
状態を獲得するようにした点がこの発明の特徴である。

【００２２】２．ＳＴＲ（状態遷移規則）法 ＳＴＲ法では、目標とするシステムの動作に依存しない
サービス動作はユーザの視点から記述される（図２）。
ＳＴＲ法では、サービス特性は規則の集合として記述さ
れる。以下の定義はＳＴＲ法を用いた規則記述と、ＳＴ
Ｒ法の規則適用定義である。

【００２３】定義２．１（規則記述） 規則Ｒｉは式の組として記述される。

【００２４】Ｒｉ：＝ＩＳｉ ＥＩ：ＮＳｉ ここで、ＩＳｉは規則Ｒｉの現状態、Ｅｉは規則Ｒｉの
イベント、ＮＳｉは規則Ｒｉの次状態をそれぞれ示す。
また、ＩＳｉおよびＮＳｉは以下の式の状態記述要素の
組として記述される。

【００２５】 ＩＳｉ，ＮＳｉ：＝｛ＳＥ０，…，ＳＥｎ｝ ここで、ＳＥｉは状態記述要素であり、状態の識別と端
末変数とからなる。状態記述要素の第１のパラメータは
その状態記述要素を保持する端末を示す。たとえば、Ｓ
Ｅｉ（Ａ，Ｂ）は、端末Ａが端末ＢとＳＥｉ状態にある
ことを示す。

【００２６】定義２．２（規則適用） 規則は、多数の端末がそこで動作する実際の状態で実際
のイベントが起こった場合に、条件部分（現状態および
イベント）が満足されたときに適用される。その後、規
則の現状態と均等である実際の状態記述要素が、規則適
用の行為によって、規則の次状態に変更される。規則適
用の条件は、規則の現状態が実際の状態と均等であるか
または実際の状態に含まれており、かつ規則のイベント
が実際のイベントと均等であることである。したがっ
て、規則適用の条件の決定は式では以下のように記載さ
れる。

【００２７】（ＩＳｉ⊆Ｇ）∧（ＧＥ＝Ｅｉ） ここで、ＩＳｉは規則Ｒｉの現状態、Ｇは実際の端末の
状態から構築された実際の状態、ＧＥは状態Ｇにおいて
起こるイベント、Ｅｉは規則Ｒｉのイベントをそれぞれ
示す。

【００２８】規則の現状態（ＩＳｉ）と均等である実際
の状態記述要素は、規則適用の行為により、規則の次状
態（ＮＳｉ）に変更される。

【００２９】たとえばＳＴＲ法を用いて、図３は話中着
信サービス動作と着信転送サービス動作とを示す。ここ
で、“m-cw（Ａ）”、“path（Ａ，Ｂ）”、“dial-ton
e （Ｃ）”、“ cw-ringing （Ａ，Ｃ）”、“ringback
（Ｃ，Ａ）”、“ m-cfv（Ａ，Ｄ）”、“idle（Ｄ）”
および“ ringing（Ｄ，Ｃ）”は状態記述要素と呼ばれ
る。“dial（Ｃ，Ａ）”はイベントと呼ばれる。現状態
および次状態は状態記述要素の集合として記述される。
図３の規則“cw-1）”は、端末Ａが話中着信実行能力
（“m-cw（Ａ）”）を有し、端末Ｂと通話中（“path
（Ａ，Ｂ）”）であり、端末Ｃがダイヤル音を聞いてい
る状態（“dial-tone （Ｃ）”）であるときに端末Ｃが
端末Ａにダイヤルすると、端末Ａは“m-cw（Ａ），path
（Ａ，Ｂ）”を変更せずに端末Ｃからの話中着信呼出音
を受信し（“cw-ringing（Ａ，Ｃ）”）、端末Ｃが端末
Ａを呼出す（“ringback（Ｃ，Ａ）”）ことを示す。

【００３０】図３の規則“ cfv-1）”は、端末Ａが端末
Ｄへの着信転送動作を予め設定しており（“ m-cfv
（Ａ，Ｄ）”）、端末Ｂと通話中であり、端末Ｄがアイ
ドル状態にあり（“idle（Ｄ）”）、端末Ｃがダイヤル
音を聞いている状態にあり（“dial-tone （Ｃ）”）、
端末Ｃが端末Ａにダイヤルし、その後呼出が端末Ｄに転
送され、端末Ｃが端末Ｄを呼出中となり（“ringback
（Ｃ，Ｄ）”）、かつ端末Ｄが“m-cfv （Ａ，Ｄ），pa
th（Ａ，Ｂ）”を変更することなしに端末Ｃからの呼出
を受けている（“ ringing（Ｄ，Ｃ）”）ことを示す。

【００３１】３．競合検出の概要 以下はすべての競合を検出するために用いられるアプロ
ーチの概要である。

【００３２】ステップ１．規則を適用することにより、
端末のすべての可能な端末状態を獲得する。

【００３３】ステップ２．もし２つの規則が同じイベン
ト記述を有する場合には、２つの規則の現状態記述から
状況を構築する。状況は時として多数の端末の状態から
なる。これらの状況は「競合候補」と呼ばれる。

【００３４】ステップ３．状況における各端末の状態
と、上記ステップ１で獲得された端末状態とを比較する
ことにより、各状況が存在するか否かを判断する。もし
状況のいずれもが存在しない場合には、２つの規則は競
合していないと判断され、考慮から除外される。残りの
状況が競合候補と考えられる。

【００３５】上記ステップ１は図１中の同時存在性判定
部１２および規則適用部１４において行なわれる。つま
りここでは、規則記憶部１０に基づいて実際に存在し得
る端末状態が獲得され、それらが実状態記憶部１６に記
憶される。

【００３６】上記ステップ２は図１中の競合候補抽出部
１８において行なわれる。つまりここでは、複数の規則
の中から競合する可能性のある規則が競合候補２０とし
て挙げられる。

【００３７】上記ステップ３は図１中の候補絞込部２２
において行なわれる。つまりここでは、その競合候補２
０として挙げられた規則の現状態が実際に存在し得ない
場合はその規則を競合候補２０から除外することによ
り、競合候補２４が作成される。

【００３８】図３で示したＣＷおよびＣＦＶの規則を用
いて、競合検出の概要を説明する。端末Ｃが端末Ａにダ
イヤルするときに上記２つの規則が競合する状況であ
る。なぜなら２つの規則の現状態が同時に満足され、ど
ちらの仕様を活性化するかが明らかでないからである。

【００３９】端末Ａ：path（Ａ，Ｂ），m-cfv （Ａ，
Ｄ），m-cw（Ａ） 端末Ｃ：dial-tone （Ｃ） 端末Ｄ：idle（Ｄ） 上記競合候補は２つの規則の現状態およびイベントから
構築される。ここで、端末変数を組合せることによる競
合候補の決定の概要を説明する。説明のため、規則“cw
-1）”の端末変数に「１」を加え、規則“cfv-１）”の
端末変数に「２」を加える。すると２つの規則の現状態
およびイベントは以下のようになる。

【００４０】cw-1）path（Ａ１，Ｂ１），m-cw（Ａ
１），dial-tone （Ｃ１）dial（Ｃ１，Ａ１）： cfv-1 ）path（Ａ２，Ｂ２）, m-cfv （Ａ２，Ｄ２），
dial-tone （Ｃ２），idle（Ｄ２）dial（Ｃ２，Ａ
２）： ［イベント制約の付加］端末変数“Ａ１”および“Ａ
２”が同一であると判断され、“Ｃ１”および“Ｃ２”
が両方の規則について同じであると判断される。なぜな
ら２つの規則の同じイベントが起こされたときに競合が
起こるからである。したがって、２つの規則で用いられ
る端末変数は以下のようになる。

【００４１】cw-1）Ａ１，Ｂ１，Ｃ１ cfv-1 ）Ａ１（＝Ａ２），Ｂ２，Ｃ１（＝Ｃ２），Ｄ２ ［状態記述要素制約の付加］“path（Ａ１，Ｂ１）”お
よび“path（Ａ１，Ｂ２）”が同じと考えることによ
り、“cw-1）”の端末変数“Ｂ１”は“ cfv-1）”の
“Ｂ２”と判断される。したがって、２つの規則で用い
られる端末変数は以下のようになる。

【００４２】cw-1）Ａ１，Ｂ１，Ｃ１ cfv-1 ）Ａ１（＝Ａ２），Ｂ２，Ｃ１（＝Ｃ２），Ｄ２ ［規則制約の付加］１つの規則記述において、異なる端
末変数は異なる端末を指す。したがって、“cfv-1 ）”
の端末変数“Ｄ２”は“Ａ１”、“Ｂ１”および“Ｃ
１”以外だと判断される。

【００４３】状態記述要素の最初のパラメータは状態記
述要素を保持する端末を示す。したがって端末状態から
なる競合候補は以下のように構築される。

【００４４】端末Ａ１：path（Ａ１，Ｂ１），m-cfv
（Ａ１，Ｄ２），m-cw（Ａ１） 端末Ｃ１：dial-tone （Ｃ１） 端末Ｄ２：idle（Ｄ２） 次いで候補絞込部２２において、もしすべての端末状態
が実状態記憶部１６中に存在するならば、上記競合候補
は競合していると判断される。もし競合候補がいずれも
存在しない場合には、２つの規則は競合しないと判断さ
れ、考慮から除外される。こうして、図３の２つの規則
間の検出された競合状況は図４に示される。

【００４５】４．状態獲得の問題 多数の端末状態間の動作を規定する規則を適用して状態
を獲得する場合には、多数の端末状態間の同期を判断す
る方法が必要である。しかしながら、設計者にとって、
多数の端末状態が同期しているか否かを特定すること
は、特に既存のサービスに新規サービスが加えられた場
合には困難である。なぜなら、設計者は同期を判断する
ためにすべてのサービス相互作用を把握しなければなら
ないからである。

【００４６】以下では、規則の現状態の判断の分類を説
明する。ここで、任意の端末の状態をＰＳとし、（任意
の端末でない）他の端末の状態をＯＴとし、ルールＲｊ
の現状態をＩＳｊとし、規則ＲｊのイベントをＥｊとす
る。

【００４７】［事例１］規則のすべての現状態が任意の
端末の状態に含まれている（ＩＳｊ⊆ＰＳ）。

【００４８】もし規則のすべての現状態が任意の端末状
態に含まれている（ＩＳｊ⊆ＰＳ）ならば、イベントＥ
ｊがその状態で起こり得ると考えられる。したがって規
則Ｒｊは任意の端末状態に正しく適用され得る。なぜな
ら規則適用の条件が満たされているからである（定義
２．２を参照のこと）。

【００４９】［事例２］規則の現状態の状態記述要素の
いくつかが任意の端末の状態に含まれている（（ＩＳｊ
∩ＰＳ）≠φ）。

【００５０】もしもサブセット“（ＩＳｊ∩ＰＳ）≠
φ”が任意の端末ＰＳの状態と現状態ＩＳｊとに共通で
あれば、規則適用のために、任意の端末の状態ＰＳと、
他の端末の状態ＯＴｉとの間の同期を判断しなければな
らない（ＯＴｉ＝（ＩＳｊ−（ＩＳｊ∩ＰＳ））。たと
えば、図５に示された任意の端末に規則“Ｒｊ”が適用
可能か否かが、図６に示されるように端末ＰおよびＱの
状態間の同期を判断することによって判断される。

【００５１】規則を適用する前に他の端末の状態が満た
されていると単に仮定するだけでは、誤った遷移および
状態が発生するかもしれない。この問題を例に挙げて説
明する。たとえば、図７に示された規則が適用された場
合の典型的な正しい遷移が図８に示され、典型的な誤っ
た遷移および状態が図９に示される。

【００５２】例１：図８の遷移“Ｔ０”において、任意
の端末状態は“idle（Ｐ）”であり、図７に示された規
則“ r-1）”を適用するのに他の端末状態は必要でな
く、かつイベント“offhook （Ｐ）”が任意の端末状態
“idle（Ｐ）”で起こり得る。したがって遷移“Ｔ０”
は正しく、端末Ｐの獲得された状態“dial-tone
（Ｐ）”は正しい。

【００５３】例２：図８の遷移“Ｔ１”において、任意
の端末Ｐが“dial-tone （Ｐ）”であるとき、他の端末
Ｑは同時にアイドル状態“idle（Ｑ）”であり得る。し
たがって規則“r-2 ）”の適用によって発生する遷移
“Ｔ１”は正しく、端末Ｐの獲得された状態“ringback
（Ｐ，Ｑ）”は正しい。

【００５４】例３：図９の遷移“Ｔ２”において、任意
の端末Ｐは、端末ＰがＣＷサービス実行能力“m-cw
（Ｐ）”を有し、ＣＷモード“cw（Ｐ）”にあり、端末
Ｑを電話を切らないで待たせており“path-passive
（Ｐ，Ｑ）”、かつ端末Ｑから呼出音を聞いている“ri
nging （Ｐ，Ｑ）”ことを示す。この状況は、端末Ｐが
ハングアップし“onhook（Ｐ）”、一方で端末Ｐが端末
Ｑを電話を切らないで待つ状態にした場合に引起こされ
る。この状況においてもし端末Ｑが端末Ｐからの呼戻音
を聞いている状態“ringback（Ｑ，Ｐ）”にあれば、遷
移“Ｔ２”は正しい。なぜなら図７における規則“r-3
）”の現状態が満足されるからであり、この状況にお
いて、イベント“ offhook（Ｐ）”が起こるかもしれな
いからである。しかしながら、遷移“Ｔ２”は誤ってい
る。なぜなら端末Ｑは、端末Ｐが上述の状態にあるとき
端末Ｐからの呼戻音を聞く状態にはけっしてならないか
らである。この誤った遷移は、端末Ｐが端末Ｑと通話中
であり“path（Ｐ，Ｑ）”、一方で端末Ｐが同じ端末Ｑ
を電話を切らないで待たせる状態“path-passive（Ｐ，
Ｑ）”に置くという、端末Ｐの誤った状態に繋がる。

【００５５】例４：図９の遷移“Ｔ３”において、任意
の端末Ｐは、端末Ｐが三者通話実行能力“ m-3wc
（Ｐ）”を有し、三者通話モード“ 3wc（Ｐ）”にあ
り、端末Ｑを電話を切らないで待つ状態“path-passive
（Ｐ，Ｑ）”に置き、かつダイヤル音を聞いている状態
“ dial-tone（Ｐ）”であることを示す。この状況にお
いて、端末Ｐが上述の状態にある場合、端末Ｑがアイド
ル状態“idle（Ｑ）”になることはけっしてない。結果
として、遷移“Ｔ３”は誤っている。なぜなら図７にお
ける規則“r-2 ）”の現状態が満たされないからであ
る。この誤った遷移は、端末Ｐが端末Ｑを電話を切らな
いで待つ状態“path-passive（Ｐ，Ｑ）”に置き、一方
端末Ｐが同じ端末Ｑからの呼戻音を聞いている状態“ri
ngback（Ｐ，Ｑ）”にあるという、端末Ｐの誤った状態
に繋がる。

【００５６】したがって、多数の端末状態に規則が適用
可能か否かを判断する場合には、いかなる所与の時間に
も多数の端末状態が同じであり得るか否かを判断するこ
とが必要である。

【００５７】５．状態を獲得するためのアプローチ 規則を適用することによって正しい状態を獲得するに
は、任意の端末の状態と他の端末の状態との間の同期を
評価することが必要である。

【００５８】端末状態には以下の２つのタイプがある。 （１） 他の端末の状態に依存しない端末の状態、たと
えば“idle-tone （Ａ）”、および （２） 互いに同期する端末状態、たとえば“ringback
（Ａ，Ｂ），ringing （Ｂ，Ａ）”。

【００５９】前者は端末Ａが、オフフックした後にダイ
ヤル音を聞いている状態にあることを示す。後者は、端
末Ａが端末Ｂにダイヤルした後端末Ｂを呼出しているこ
とを示す。ＳＴＲ法では、状態記述要素における第１の
端末は状態記述要素を保持する端末を示し、状態記述要
素における第２の端末は第１の端末に関係のある端末を
示す。たとえば、“ringback（Ａ，Ｂ）”は端末Ａが端
末Ｂに対して呼戻音を聞いている状態にあることを示
し、“ ringing（Ｂ，Ａ）”は端末Ｂが端末Ａからの呼
出音を聞いている状態にあることを示す。

【００６０】状態記述要素“ＳＥ1 （Ａ１，Ｂ１）”お
よび“ＳＥ２（Ｂ１，Ａ１）”を想定する。ＳＴＲ法で
は、端末Ａ１の状態記述要素“ＳＥ１（Ａ１，Ｂ１）”
における第２の端末“Ｂ１”がその第２の端末が端末Ａ
１を指す状態記述要素を有する場合には、端末Ａ１およ
びＢ１は同期した端末として取扱われる。三者通話サー
ビスの場合、三者コントローラが他の２つの端末との三
者通話を確立することができる。この場合、これら３つ
の端末の状態は同期した端末と考えられる。なぜなら三
者コントローラはその第２の端末が他の２つの端末を指
す状態記述要素を有しており、かつ三者コントローラに
接続された各端末が、その第２の端末が三者コントロー
ラを指す状態記述要素を有しているからである。したが
って３つの端末の状態は三者コントローラによって同期
されたものと考えられる。

【００６１】もし独立した端末の状態と同期した端末の
状態とが知られているなら、図１中の同時存在性判定部
１２において、規則の現状態の適用可能性は以下の基準
に従って判断され得る。

【００６２】Ｃｒ−１．独立した端末状態は他の端末に
おいてもあり得る状態である。もし独立した端末の状態
が規則の現状態に含まれているならば、独立した端末の
状態はとり得る状態と判断され得る。もし端末が異なっ
ている場合には、独立した端末（複数）状態の組合せは
同時に存在し得る。

【００６３】Ｃｒ−２．同期した端末状態は他の、異な
った同期した端末でとり得る状態である。同期した端末
と、他の同期した端末の状態の組合せはそれらが規則の
現状態に含まれるのであれば、存在し得ると判断され得
る。

【００６４】Ｃｒ−３．独立した端末の状態と同期した
端末の状態の組合せは、もしそれらが規則の現状態に含
まれる場合には、存在し得ると判断され得る。

【００６５】Ｃｒ−４．規則の現状態は独立した端末の
状態と同期した端末の状態とからなる。もし独立した端
末の状態および同期した端末の状態のいずれかが存在し
ないと判断されれば、規則適用部１４において規則を適
用することはできない。

【００６６】たとえば、図９に示された誤った遷移“Ｔ
２”におけるＰＳ，ＯＴおよび“ＩＳｊ∩ＰＳ”を考察
する。

【００６７】ＰＳ＝｛ringing （Ｐ，Ｑ），path-passi
ve（Ｐ，Ｑ），cw（Ｐ），m-cw（Ｐ）｝ ＯＴ＝｛ringback（Ｑ，Ｐ）｝ “（ＩＳｊ∩ＰＳ）”＝｛ ringing（Ｐ，Ｑ）｝ 上記ＰＳは端末Ｐの状態を示し、“ ringing（Ｐ，
Ｑ）”および“path-passive（Ｐ，Ｑ）”の第２の端末
Ｑは同期した端末を示す。もし端末Ｑが状態記述要素
“ringback（Ｑ，Ｐ）”を有する場合には、規則の現状
態は満たされるが、規則の現状態は同期した端末Ｐおよ
びＱの状態の組に含まれていない。結果として、この規
則は上の“cr-4）”を用いて、規則適用部１４において
適用されないと判断される。したがって、誤った遷移は
発生しない。逆に、図８の正しい遷移“Ｔ１”における
ＰＳ，ＯＴと“（ＩＳｊ∩ＰＳ）”とを考察する。

【００６８】ＰＳ＝｛dial-tone （Ｐ）｝ ＯＴ＝｛idle（Ｑ）｝ “（ＩＳｊ∩ＰＳ）”＝｛dial-tone （Ｐ）｝ 上述のＰＳは端末Ｐの状態を示し、ＯＴは端末Ｑの状態
を示し、両者の状態は独立した端末の状態である。もし
も実状態記憶部１６の中に“ dial-tone（Ｐ）”および
“idle（Ｑ）”が含まれていれば、これらは上の“cr-
1）”を用いて同時に存在すると判断される。したがっ
て規則は、規則適用部１４において適用されるべきと判
断される。

【００６９】上述の基準“cr-1）”から“cr-3）”を導
入する理論が以下に示される。まずはじめに、サービス
仕様と、多くの端末からなる実際のシステムへのサービ
ス仕様の適用との関係を考慮する。一般に、以下の理論
が適用可能である。

【００７０】［理論１］提供されるサービス仕様は実際
の分散されたシステムにパラレルに適用することができ
る。なぜなら分配された端末はパラレルに動作するから
である。実際の環境において無限の数の端末があると仮
定して、もし与えられた状態においていかなる端末の間
にも関係がない場合には、状態は互いから独立してお
り、同時に起こり得る。

【００７１】［理論１の証明］サービス仕様を規定する
ために必要な端末の数を“ｎ”（１≦ｎ）とする。与え
られるサービス仕様は“ｎ”端末で実現される。ここ
で、ｎよりも大きい、端末の別の数“ｍ”を想定する
（ｎ≦ｍ）。提供されるサービス仕様はまた“ｍ”端末
で実現される。こうして、提供されるサービス仕様は
“ｎ”および“ｍ”端末間で独立して実現され得る。
“ｎ”個の端末の組と、“ｍ”個の端末の組との端末間
にいかなる関係もない。したがって、“ｎ”個の端末の
組において与えられるサービス仕様の状態は、“ｍ”個
の端末の組における状態と関係しておらず、これら２つ
の組の端末は互いから独立しており、これら２つの組の
端末からの状態のいかなる組合せも、同時に起こり得
る。

【００７２】たとえば、与えられたサービス仕様が図１
０に示されるようなものであると仮定する。これはＰＯ
ＴＳ（従来の基本電話サービス）仕様を代表するもので
ある。端末ＸおよびＹは変数と考えられる。実際の端末
がＰ、Ｑ、ＲおよびＳであり、提供される仕様が端末Ｐ
およびＱ間に適用され、かつ端末ＲおよびＳ間に適用さ
れる実際のシステムを考える（図１１）。図１１におけ
る状況（Ａ）は、すべての端末がアイドル状態にあるこ
とを示す。端末Ｐはオフフックのイベントを起こすこと
ができ、端末Ｒもまた非同期でオフフックのイベントを
起こすことができ、その後ダイヤル音を聞いているとき
に、端末Ｓにダイヤルすることができる。次に、端末Ｒ
は端末Ｓを呼出し、その後端末ＲおよびＳは端末Ｓが応
答した後通話状態となる［図１１（Ｂ）］。図１１
（Ｂ）の状況から、端末Ｐは端末Ｑにダイヤルすること
ができ、端末Ｓは非同期でハングアップすることがで
き、図１１（Ｃ）の状況が現われる。“dial-tone
（Ｐ）”および“path（Ｒ，Ｓ），path（Ｓ，Ｒ）”の
状態の対と、“ringback（Ｐ，Ｑ），ringing （Ｑ，
Ｐ）”および“path（Ｒ，Ｓ），path（Ｓ，Ｒ）”の状
態とはそれぞれ同時に起こり得る。

【００７３】以下は多数の端末間の同期を判断するため
のプロセスである。 ステップ１．規則の現状態記述を独立した端末の状態と
して、または同期した端末の状態として分類する。

【００７４】ステップ２．独立した端末の状態、または
同期した端末の状態が獲得された肯定的な知識の中に存
在するか否かを判断する。もしそうであれば、ステップ
３に進むか、または規則が適用されないと判断される。

【００７５】ステップ３．理論１から導入された基準を
用いて、異なった端末からの状態の組合せが同時に起こ
るか否かを判断することができる。したがって、規則が
適用され、遷移は正しい。

【００７６】［証明］規則の適用に必要な状態は独立し
た端末または同期した端末の状態として分類することが
できる。もし獲得された状態の中にすべての状態が存在
するならば、理論１を用いて、それらの組合せが同時に
起こると判断される。したがって、提案したプロセスの
特性が証明された。

【００７７】規則の現状態を判断しながら状態を獲得す
るための方法を以下のセクションで詳細に説明する。

【００７８】６．規則の現状態を判断しながらの状態の
獲得 以下は状態を獲得するために必要なステップのリストで
ある。用いられる端末は“Ｘ１”、“Ｘ２”、“Ｘ３”
…（など、必要に応じて）であり、これらは変数として
取扱われる。獲得された状態の組をＳ（実状態記憶部１
６に記憶される）とし、Ｓの初期状態をＳ０とし、Ｓの
状態をＳｉとし、規則Ｒｊの現状態をＩＳｊとする。

【００７９】ステップ１．初期状態Ｓ０を実状態記憶部
１６にセットアップする。実際のところアイドル状態
“idle（Ｘ１）”である、初期状態“ＳＥ０（Ｘ１）”
をＳ０に設定する。この状態はまた独立した端末の状態
としても獲得される。

【００８０】ステップ２．状態を獲得する。 （１） 同時存在性判定部において、状態の組と規則の
現状態との同期を判断する。

【００８１】 もし規則Ｒｊの現状態ＩＳｊが状態Ｓ
ｉに含まれているかまたは状態Ｓｉと均等であれば（Ｉ
Ｓｊ⊆Ｓｉ）、ＩＳｊは満たされたと判断され、規則Ｒ
ｊが正しく適用される。

【００８２】遷移を発生する場合には、もし規則の現状
態が満たされれば、規則のイベントの発生を判断するこ
とは必要でない。なぜならイベントはその状態で起こる
と仮定されているからである。したがって、発生された
遷移は正しいものである。この場合には多数の端末の状
態間の同期は必要でない。なぜなら規則の現状態が満足
されているからである。

【００８３】 規則の現状態ＩＳｊと状態Ｓｉとの間
に共通な状態記述要素がない場合（（ＩＳｊ∩Ｓｉ）＝
φ）、規則はＳｉに適用することはできない。なぜなら
規則の現状態が満たされていないからである。

【００８４】 規則の現状態ＩＳｊと状態Ｓｉとの間
に共通する何らかの状態記述要素がある場合（（ＩＳｊ
∩Ｓｉ）≠φ）かつ共通する状態記述要素において用い
られる何らかの端末が規則の現状態において用いられて
いる場合、共通状態記述要素を除き（ＩＳｊ−（ＩＳｊ
∩Ｓｉ））、規則Ｒｊは適用されない。なぜなら規則の
現状態ＩＳｊは状態Ｓｉで満たされないからである。た
とえば、以下の状態Ｓｉと規則Ｒｊの現状態ＩＳｊとを
仮定する。

【００８５】ＳＩ： ringing（Ｘ１，Ｘ２），path-pas
sive（Ｘ１，Ｘ２），cw （Ｘ１），m-cw（Ｘ１），pat
h（Ｘ２，Ｘ１） ＩＳｊ： ringback （Ａ，Ｂ），ringing （Ｂ，Ａ） ＳｉとＩＳｊとの間で、端末“Ａ”が“Ｘ２”と同じで
あり、かつ端末“Ｂ”が“Ｘ１”と同じであることを示
し、かつ規則の現状態ＩＳｊが端末Ａ（＝Ｘ２）のため
に別の状態記述要素“ringing （Ａ，Ｂ）”を有するこ
とを示せば、共通の状態要素“ringing （Ｂ，Ａ）”が
見いだせる。しかしながら、状態（Ｓｉ）は規則の現状
態ＩＳｊの端末Ａ（＝Ｘ２）およびＢ（＝Ｘ１）に対応
する記述要素“ringback（Ｘ２，Ｘ１）”を有していな
い。したがって、規則の現状態ＩＳｊは状態Ｓｉで満た
されない。

【００８６】 もし規則の現状態ＩＳｊと状態Ｓｉと
に共通の状態記述要素があり（（ＩＳｊ∩Ｓｉ）≠
φ）、かつ共通の状態記述要素で用いられる何らかの端
末が共通の状態記述要素（ＩＳｊ−（ＩＳｊ∩Ｓｉ））
を除き規則の現状態で用いられていない場合には、状態
Ｓｉと他の端末状態との同期を判断する必要がある（Ｉ
Ｓｊ−（ＩＳｊ∩Ｓｉ））。たとえば、以下の状態Ｓｉ
と規則Ｒｊの現状態ＩＳｊとを想定する。

【００８７】ＳＩ： dial-tone（Ｘ１） ＩＳｊ： dial-tone（Ａ），idle（Ｂ） ＳｉとＩＳｊとの間で端末“Ａ”が“Ｘ１”と同じであ
ることを示せば共通の状態要素“dial-tone （Ａ）”が
見いだされ、さらに他の端末の状態（ＩＳｊ−（ＩＳｊ
∩Ｓｉ））を特定することにより、別の状態記述要素
“idle（Ｂ）”が見いだせる。ここで、端末変数ＢがＸ
２であることは、Ｘ１以外の端末を示す。したがって規
則Ｒｊを適用するためには、“dial-tone （Ｘ１）”
（Ｓ１）と他の端末の状態“idle（Ｘ２）（ＩＳｊ−
（ＩＳｊ∩Ｓｉ）”との間の同期を判断することが必要
である。状態“idle（Ｘ１）”は初期状態を設定すると
きに独立した端末の状態として既に獲得されている。端
末“Ｘ２”が“Ｘ１”と同じであることを示すことによ
り、“idle（Ｘ２）”は“idle（Ｘ１）”と均等である
ことが見いだせる。したがってdial-tone （Ｘ１），id
le（Ｘ２）”の状態で規則Ｒｊを適用することができ
る。なぜならこの状態は基準“cr-1）”によって証明で
きるからである。

【００８８】一般的にいって、他の端末状態（ＩＳｊ−
（ＩＳｊ∩Ｓｉ））は、独立した端末の状態および同期
した端末の状態等のいくつかのグループに分類される。
もし獲得された状態の組にこれらの状態が存在し、これ
らの状態でいかなる端末間にも関係がない場合には、セ
クション６で言及された理論１により、実際のシステム
において状態（Ｓｉ）と他の端末状態（ＩＳｊ−（ＩＳ
ｊ∩Ｓｉ））とは同時に起こると判断され得る。したが
って、規則の現状態ＩＳｊは満たされると判断される。
獲得された状態の組に存在しないグループは他の事例で
獲得されるかもしれない。したがって、この事例は保留
となり、そのグループを満たす状態が獲得されるまで待
機する。もしこのような状態が獲得されない場合には、
その事例は放棄される。

【００８９】（２） 規則適用部１４において、規則を
適用し、それにより状態を獲得する。

【００９０】もし規則Ｒｊの現状態ＩＳｊが満たされる
と判断されれば、規則ＲｊのイベントＥｊが起こり得
る。したがって、規則Ｒｊは適用可能であると判断さ
れ、規則の適用によって状態が生成される。

【００９１】ステップ３．実状態記憶部１６へ獲得され
た状態を付与する。上記ステップ２で獲得された状態が
実状態記憶部１６に含まれていない場合には、これを実
状態記憶部１６に付与する。実状態記憶部１６に付与さ
れるべき次の状態が消失するまで、上述のステップ２お
よび３を繰返す。

【００９２】ステップ４．任意端末の状態を獲得する。
状態記述要素の最初のパラメータは状態記述要素を保持
する端末を示し、端末の状態は同じ第１のパラメータを
有する状態記述要素からなるであろう。したがって、獲
得された各状態から端末の状態を抽出する。

【００９３】以下は状態の爆発を避けるための制御であ
る。 （１） 端末のための状態記述要素の重複がないか確認
する。なぜなら、これは無限のプロセスループに繋がる
からである。

【００９４】（２） Ｓｉに含まれる端末の数が設計者
によって先に設定された限界に達しているか否かを確認
する。なぜなら、Ｓｉが無制限に増大する恐れがあるか
らである。

【００９５】チェックされた状態はもはや規則の適用に
従わないので、設計者に問題の分析を促すため、これを
設計者に指摘すべきである。図１２の規則を用いた状態
Ｓの組（実状態記憶部１６に記憶される）を獲得するた
めのデータフローが図１３に示される。端末の獲得され
た状態は図１４に示される。

【００９６】ステップ１ Ｓ０に初期状態“idle（Ｘ１）”（s-１）を付与する。

【００９７】ステップ２：１回目 状態“idle（Ｘ１）”（s-１）について、他の端末の状
態を考慮することなく、端末“Ａ”が“Ｘ１”と同じで
あることを示して規則 r-1）が適用され、こうして次の
状態“dial-tone （Ｘ１）”（s-２）が獲得される。

【００９８】ステップ３：１回目 次の状態“dial-tone （Ｘ１）”がＳ（状態の組）に付
与される。なぜならこれはまだＳに含まれていないから
である。

【００９９】ステップ２：２回目 状態“dial-tone （Ｘ１）”（s-２）について、適用さ
れるべき候補は規則 r-2）である。なぜなら、端末
“Ａ”が“Ｘ１”と同じでありかつ端末“Ｂ”が“Ｘ
２”と同じであることを示すことによって、共通状態記
述要素（“ＩＳｊ∩Ｓｉ）”）が“dial-tone （Ｘ
１）”であることが見いだされ、他の端末状態（“ＩＳ
ｊ−（ＩＳｊ∩Ｓｉ）”）が“idle（Ｘ２）”（s-３）
であることが見いだされるからである。他の端末状態
“idle（Ｘ２）”は独立した端末の状態であり、端末
“Ｘ２”が“Ｘ１”と同じであることを示すことによっ
て、獲得された状態“idle（Ｘ１）”と均等であること
が見いだされる。したがって、“dial-tone （Ｘ１）”
と“idle（Ｘ２）”とは同時に同じ状態であり得ると判
断される。規則の適用の後、状態 s-4）が獲得される。

【０１００】ステップ３：２回目 状態 s-4）がＳ（状態の組）に付与される。なぜならこ
れはまだＳに含まれていないからである。

【０１０１】Ｓ（状態の組）に付与されるべき次の状態
が消失するまで、上記ステップ２および３を繰り返す。

【０１０２】ステップ４任意の端末をＹ１とし、他の端
末を（必要に応じて）端末Ｙ２、Ｙ３…等とする。端末
の状態を抽出し、端末を変更する。端末の獲得された状
態が図１４に示される。

【０１０３】状態“dial-tone （Ｘ１），idle（Ｘ
２）”に対して、規則 r-2）が適用されるべき候補であ
る。なぜならこれは状態“idle（Ｘ１）”と共通の状態
記述要素を有するからである。しかしながら、ステップ
３の第１回目の適用において“dial-tone （Ｘ１）がＳ
（獲得された状態の組）に付与されるまで、他の端末の
状態“ dial-tone（Ｘ２）”は見いだされない。したが
って、この事例は一時的に保留され、“ dial-tone（Ｘ
１）”がＳに付与された後に同期が決定される。結果と
して、規則 r-2）が適用され、次の状態“ringing （Ｘ
１，Ｘ２），ringback（Ｘ２，Ｘ１）”が獲得される。

【０１０４】このようにして実際に存在し得るすべての
状態が獲得され、実状態記憶部１６に書込まれた後は、
従来と同様に競合候補が検出される。ここでは、簡単な
例を用いて競合候補の検出について説明する。

【０１０５】まず規則記憶部１０には、以下の規則ｒ−
１）〜ｒ−７）が記憶されていると仮定する。

【０１０６】ｒ−１）idle（Ａ） offhook （Ａ）：di
al−tone（Ａ）． ｒ−２）dial−tone（Ａ），idle（Ｂ） dial（Ａ，
Ｂ）：ringback（Ａ，Ｂ），ringing （Ｂ，Ａ）． ｒ−３）dial−tone（Ａ），not ［idle（Ｂ）］ dial
（Ａ，Ｂ）：busy（Ａ）． ｒ−４）ringback（Ａ，Ｂ），ringing （Ｂ，Ａ） of
fhook （Ｂ）：path（Ａ，Ｂ），path（Ｂ，Ａ）． ｒ−５）path（Ａ，Ｂ），path（Ｂ，Ａ） onhook
（Ａ）：idle（Ａ），busy（Ｂ）． ｒ−６）busy（Ａ） onhook（Ａ）：idle（Ａ）． ｒ−７）dial−tone（Ａ），path（Ｂ，Ｃ） dial
（Ａ，Ｂ）：busy（Ａ），path（Ｂ，Ｃ）． また、上述した手法に従って実状態記憶部１６に以下の
状態が書込まれたと仮定する。

【０１０７】idle（Ａ），dial−tone（Ａ），ringback
（Ａ，Ｂ），ringing （Ａ，Ｂ），path（Ａ，Ｂ），bu
sy（Ａ） このような状態において、競合候補抽出部１８が同一イ
ベントを有する２つの規則を抽出し、競合候補２０を作
成する。ここでは競合候補として、ｒ−１）とｒ−
４）、ｒ−２）とｒ−３）、ｒ−２）とｒ−７）、ｒ−
３）とｒ−７）、およびｒ−５）とｒ−８）が抽出され
る。これら規則が競合する可能性のある状況は以下のと
おりである。

【０１０８】ｒ−１）とｒ−４）：idle（Ａ），ringin
g （Ａ，Ｂ），ringback（Ｂ，Ａ） ｒ−２）とｒ−３）：dial−tone（Ａ），idle（Ｂ），
not ［idle（Ｂ）］ ｒ−２）とｒ−７）：dial−tone（Ａ），idle（Ｂ），
bath（Ｂ，Ｃ） ｒ−３）とｒ−７）：dial−tone（Ａ），not ［idle
（Ｂ）］，path（Ｂ） ｒ−５）とｒ−８）：bath（Ａ，Ｂ），busy（Ａ），pa
th（Ｂ，Ａ） 次いで、候補絞込部２２において、上述した競合する可
能性のある状況が実状態記憶部１６に記憶されているか
否かが判定される。その結果は以下のとおりである。

【０１０９】ｒ−１）とｒ−４）では、｛idle（Ａ），
ringing （Ａ，Ｂ）｝が端末の実状態として存在しな
い。

【０１１０】ｒ−２）とｒ−３）では、｛idle（Ｂ），
not ［idle（Ｂ）］｝が端末の実状態として存在しな
い。

【０１１１】ｒ−２）とｒ−７）では、｛idle（Ｂ），
path（Ｂ，Ｃ）｝が端末の実状態として存在しない。

【０１１２】ｒ−５）とｒ−８）では、｛path（Ａ，
Ｂ），busy（Ａ）｝が端末の実状態として存在しない。

【０１１３】この結果、上述した４つの規則は競合しな
いことが明らかとなる。他方、ｒ−３）とｒ−７）は、
｛dial−tone（Ａ），not ［idle（Ｂ）］，path
（Ｂ）｝の状況において同時に適用できることが明らか
となる。この場合、２つの規則は全く同じ動作を規定し
ているので、ｒ−７は不要である。したがって、上述し
た５つの規則の組合せのうち、４つの規則の組合せが競
合候補２０から削除される。そのため、残った１つの規
則の組合せ｛ｒ−３）とｒ−７）｝が競合候補２４とし
て設計者に提示される。

【０１１４】以上のように、一般に分散された端末は与
えられたサービス仕様に従ってパラレルに動作する。し
たがって所与の状態においていずれの端末間にも関係が
ない場合には、状態は互いから独立しており、同時に起
こり得る（理論１）。規則の現状態はもし何らかの状態
記述要素が規則Ｒｊの現状態ＩＳｊと状態Ｓｉとで共通
であれば（（ＩＳｊ）∩Ｓｉ）≠φ）、規則Ｒｊは適用
されるべき候補となる。他の端末状態（ＩＳｊ−（ＩＳ
ｊ∩Ｓｉ））は同期または非同期状態として分類され
る。もしこれらの状態が状態の組の中に存在し、所与の
状態においていかなる端末間にも関係がない場合には、
理論１に従って、実際のシステムにおいて状態（Ｓｉ）
と他の端末の状態（ＩＳｊ−（ＩＳｊ∩Ｓｉ））とは同
時に起こると判断され得る。したがって規則の現状態が
満足されるか否かを決定する特性が明らかに示された。

【０１１５】知識獲得における最近の動きは「問題解決
モデル」に向けられている。しかしながら、知識の適用
によって特定の問題を解決する方法は依然として解明を
待っている状態である。狭い範囲の問題については従来
のエキスパートシステムが有用であるが、それらのアー
キテクチャはより大きなアプリケーションにうまく拡張
することができない。いくつかの知識獲得（ＫＡ）支援
ツールが研究されているが、一般にエキスパートから知
識を引出して、大型で複雑なシステムアプリケーション
を設計する際に引起こされる問題を解決することは困難
な作業である。なぜならたとえ専門の設計者であって
も、すべての問題、たとえば通信サービス設計における
サービス相互作用の問題を予測できるとは思われないか
らである。ソフトウェアデザインのためのいくつかの知
識ベースのシステムが提案されているが、通信サービス
仕様レベルの設計においては多数の端末の状態間の同期
を判断し、獲得された状態を用いて競合を検出するため
の状態獲得方法は未だ提案されていない。

【０１１６】現在、既存のサービスに新規サービスが付
加された場合に引起こされるサービス相互作用の検出と
解決が緊急の課題となっている。これが困難である主な
理由は、従来の方法を用いては既存のサービスに新規サ
ービスが組合された場合に起こるであろうすべての起こ
り得る状況を把握し予測することが不可能だということ
である。

【０１１７】この発明はいかにして自動的に状態を獲得
し、いかにして競合を検出するかを提案してきた。同期
を判断する困難さを解決するために、自動的に状態を獲
得し、獲得された状態を用いて多数の端末状態間の同期
を判断するための方法が説明された。この発明を用いれ
ば、同じイベントを有する通信サービス記述間の競合が
満足できるほどに検出できる。

【０１１８】通信システムは大型で複雑であり、かつ分
散されている。一般に分散されたコンピューティングシ
ステムに関するアプリケーションには、対象の同期の判
断が必要である。したがって、仕様の条件の同期の判断
はこのアプローチのみに限られず、分散されたコンピュ
ーティングシステムにも共通するものである。

【０１１９】通信サービス仕様は状態遷移モデルに基づ
いたＦＳＭ（有限状態マシン）として取扱われる。エレ
ベータ、冷蔵庫等へのアプリケーションなど、状態遷移
モデルに基づいたアプリケーションは数多くある。もし
このような動作が規則の集合として記述できれば、提案
された基本的なモデルは仕様間の競合を検出するために
用いることができる。こうすれば、このアプローチを拡
大することが可能である。

【０１２０】

【実施例】

（Ａ） 実験結果 （Ａ−１）この発明に従って、ＰＯＴＳ（従来の基本電
話サービス）、ＣＷ（話中着信）およびＴＷＣ（三者通
話）について誤った遷移が満足できるほどに除外される
か否かについて実験を行なった。端末の状態を獲得する
ための２つの方式を比較した。第１の方式は規則の現状
態記述において多数の端末の状態間の同期を判断するこ
となく、ある端末の状態に規則を適用する従来のもので
あり、第２の方式は規則の現状態記述において多数の端
末の状態間の同期を判断するこの本発明によるものであ
る。第１の方式の結果が表１に示され、ここで遷移の数
は生成されるべきでなかった遷移の総数を指し、パーセ
ンテージは遷移の総数に対する誤った遷移数を示す。
“ＰＯＴＳ＋ＣＷ”はＰＯＴＳとＣＷとの組合せを指
し、“ＰＯＴＳ＋ＴＷＣ”はＰＯＴＳとＴＷＣとの組合
せを指す。実験から、この発明では遷移の正確さが約１
７％だけ増加することが見いだされ（（３＋２３＋１
４）／（２８＋１０４＋１０９）×１００）、かつＰＯ
ＴＳ、ＣＷおよびＴＷＣについて図９に示されたような
誤った遷移が、サービス仕様設計段階では完全に排除で
きたことがわかった。

【０１２１】

【表１】

【０１２２】（Ａ−２） 競合検出 この発明による競合検出装置は実際の状況にいくつかの
サービスの特性を適用可能であるときを検出する。ＳＴ
Ｒ法を用いて、あるイベントが起こり、２つの規則の現
状態記述が同時に満足されるとき、２つの規則のうちい
ずれを適用すべきか明らかでない、非決定的な問題が生
じる。したがって、そのイベントが同じである２つの規
則を組合せにより選択することによって、その後２つの
規則の現状態記述から状況を構築することによって、獲
得された端末状態でその状況における各端末の状態を比
較することで、各状況が存在するか否かの判断をするこ
とができる。したがって、この発明では、同じイベント
を有する多数のサービス特性間の競合が、多数のサービ
ス実行能力を備えた単一の端末においてのみでなく、多
数のサービス実行能力を備えた多数の端末において検出
され得る。たとえば、単一の端末上でのＣＦＶ（着信転
送動作）、ＣＷ（話中着信）、ＣＦＶおよびＴＣＳ（着
信スクリーニング）、ＣＷおよびＴＷＣ（三者通話）が
うまく検出される。

【０１２３】ＣＦＶ＋ＣＷ：ＣＦＶとＣＷとの競合はセ
クション１で説明されており、この競合状況は図４に示
される。

【０１２４】ＣＦＶ＋ＴＣＳ：ＴＣＳは端末番号がスク
リーニングリストに含まれている端末からの接続をブロ
ックする。ＣＦＶは予め設定された端末に呼を転送す
る。もし端末ＡがＴＣＳおよびＣＦＶを活動的にすれ
ば、スクリーニングリストにある端末からの呼を転送す
べきかブロックすべきかが判断できない。

【０１２５】ＣＷ＋ＴＷＣ：ＴＷＣでは、端末Ａが端末
Ｂと通話中であるときに端末Ａがフラッシュフックを起
こして三者モードに入ると、端末Ａはダイヤル音を聞き
ながら端末Ｂを切らないで待たせておくことになる。他
方で、ＣＷでは、端末Ａが端末Ｂと通話中であるとき
に、もし端末Ｃが端末Ａにダイヤルすると、話中着信呼
出音が端末Ａに付与される。その後もし端末Ａがフラッ
シュフックを起こすと、端末ＡおよびＣが接続され、端
末Ｂは端末Ａによって待ち状態にされる。

【０１２６】もし端末Ａが両方の実行能力を有し、端末
Ｂと通話中でありかつ端末Ｃからの話中着信呼出音を聞
いているときに、端末Ａがフラッシュフックを起こす
と、どの仕様が適用されるかが定められない。

【図面の簡単な説明】

【図１】この発明の実施の形態による通信サービス競合
検出装置の全体構成を示すブロック図である。

【図２】複数の端末から構成される通信サービスネット
ワークを示す図である。

【図３】ＳＴＲ法で記述された規則の例を示す図であ
る。

【図４】規則が互いに競合する例を示す図である。

【図５】図１中の同時存在性判定部において任意の端末
に規則が適用可能か否かが判定される様子を説明するた
めの図である。

【図６】図１中の同時存在性判定部１２において端末Ｐ
およびＱの間の同期が判定される様子を説明するための
図である。

【図７】ＳＴＲ法で記述された規則の他の例を示す図で
ある。

【図８】図７に示された規則が適用された場合における
典型的な正しい遷移を示す図である。

【図９】図７に示された規則が適用された場合における
典型的な誤った遷移を示す図である。

【図１０】サービス仕様の一例を示すフローチャートで
ある。

【図１１】実際の端末間におけるＰＯＴＳサービス動作
の一例を示すフローチャートである。

【図１２】ＳＴＲ法で記述された規則のさらに他の例を
示す図である。

【図１３】図１２に示された規則に基づいて実際に存在
し得る状態を獲得するためのフローチャートである。

【図１４】図１３のフローチャートに従って獲得された
端末の状態を示す図である。

【符号の説明】

１０ 規則記憶部 １２ 同時存在性判定部 １４ 規則適用部 １６ 実状態記憶部 １８ 競合候補抽出部 ２０，２４ 競合候補 ２２ 候補絞込部

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

Claims (1)

【特許請求の範囲】
1. 【請求項１】 複数の端末のいずれかの現在の状態から
   イベントによるその次の状態への遷移を記述する複数の
   規則を適用する際に用いられ、前記複数の規則の中から
   互いに競合するものを自動的に検出する通信サービス競
   合検出装置であって、 前記端末の１つが実際に取り得る状態を記憶するための
   実状態記憶手段と、 前記複数の規則を記憶している規則記憶手段と、 前記規則記憶手段中から選択された１つの規則における
   現在の状態が前記実状態記憶手段に記憶されているか否
   かを判定する判定手段と、 前記判定手段によって前記現在の状態は前記実状態記憶
   手段に記憶されていると判定されたとき、前記現在の状
   態に前記選択された１つの規則を適用することによりそ
   の次の状態を生成し、その生成された状態を前記実状態
   記憶手段に記憶させる規則適用手段と、 前記規則記憶手段中から同一イベントを有する少なくと
   も２つの規則を競合候補として抽出する競合候補抽出手
   段と、 前記競合候補抽出手段によって抽出された規則における
   現在の状態が前記実状態記憶手段に記憶されていなけれ
   ばその規則を前記競合候補から削除する競合候補絞込手
   段とを備えた通信サービス競合検出装置。