(57)【特許請求の範囲】
【請求項１】
Ethernet（登録商標）ＯＡＭのＥＴＨ−ＣＣ機能によりネットワークを監視する際のＭＥＧ内の各ＭＥＰに対する設定パラメータの値を、コンピュータおよび当該コンピュータ上で動作する所定の制約充足ソルバを用いて決定する方法であって、
当該コンピュータが、
入力装置から入力された設定対象のＭＥＰ−ＩＤの集合および一部の設定パラメータの値に対する条件指定から、当該条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを求めるための制約充足問題を生成するステップと、
生成された制約充足問題を制約充足ソルバに与え、制約充足解である条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを取得するステップと、
記憶装置に保存されている現在のＭＥＰごとの設定パラメータ全体の値の組み合わせと制約充足ソルバから取得した条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせとを比較し、その差分を抽出するステップとを少なくとも含む
ことを特徴とするＥＴＨ−ＣＣの設定内容決定方法。
【請求項２】
制約充足問題を生成するステップでは、入力されたＭＥＰ−ＩＤの集合の要素ごとに、ＣＣＭの送信種別を表す変数、ユニキャストＣＣＭの宛先を表す変数、ピアＭＥＰを表す変数のリスト、ピアＭＥＰの合計を表す変数を、制約充足問題の変数の集合として生成する
ことを特徴とする請求項１に記載のＥＴＨ−ＣＣの設定内容決定方法。
【請求項３】
制約充足問題を生成するステップでは、入力されたＭＥＰ−ＩＤの集合の要素ごとに、ＣＣＭの送信種別を表す変数が取り得る値、ユニキャストＣＣＭの宛先を表す変数が取り得る値、ピアＭＥＰを表す変数が取り得る値のリスト、ピアＭＥＰの合計を表す変数が取り得る値を、制約充足問題の変数の取り得る値の集合として生成する
ことを特徴とする請求項１に記載のＥＴＨ−ＣＣの設定内容決定方法。
【請求項４】
制約充足問題を生成するステップでは、各変数間に対してマルチキャスト送信の制約、ユニキャスト送信の制約およびピアＭＥＰの合計の制約を生成し、これらに入力された一部の設定パラメータに対する値の条件指定を加えて制約充足問題の制約の集合を生成する
ことを特徴とする請求項１に記載のＥＴＨ−ＣＣの設定内容決定方法。
【請求項５】
条件指定を満たす設定パラメータ全体の値の組み合わせを取得するステップでは、制約充足ソルバを利用することにより、当該条件指定を満たす各ＭＥＰに対するＣＣＭの送信種別、ユニキャストＣＣＭの宛先、ピアＭＥＰおよびピアＭＥＰの合計からなる設定パラメータの値の組み合わせを決定する
ことを特徴とする請求項１に記載のＥＴＨ−ＣＣの設定内容決定方法。
【請求項６】
差分を抽出するステップにおける差分は、ＣＣＭの送信種別の変更、ユニキャストＣＣＭの宛先の変更、もしくはピアＭＥＰの追加または削除を表す
ことを特徴とする請求項１に記載のＥＴＨ−ＣＣの設定内容決定方法。
【請求項７】
Ethernet（登録商標）ＯＡＭのＥＴＨ−ＣＣ機能によりネットワークを監視する際のＭＥＧ内の各ＭＥＰに対する設定パラメータの値を、所定の制約充足ソルバを用いて決定する装置であって、
現在のＭＥＰごとの設定パラメータ全体の値の組み合わせを保存する記憶装置と、
設定対象のＭＥＰ−ＩＤの集合および一部の設定パラメータの値に対する条件指定から、当該条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを求めるための制約充足問題を生成する制約問題生成装置と、
記憶装置に保存されている現在のＭＥＰごとの設定パラメータ全体の値の組み合わせと条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせとを比較し、その差分を抽出する差分抽出装置と、
入力装置から入力された設定対象のＭＥＰ−ＩＤの集合および一部の設定パラメータの値に対する条件指定を制約問題生成装置に渡し、生成された制約充足問題を受け取って制約充足ソルバに与えて制約充足解を取得し、取得した制約充足解である条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを差分抽出装置に渡し、抽出された差分を受け取る制御装置とを少なくとも備えた
ことを特徴とするＥＴＨ−ＣＣの設定内容決定装置。
【請求項８】
コンピュータを、請求項７に記載の装置を構成する各手段として機能させるためのプログラム。
【発明の詳細な説明】
【技術分野】
【０００１】
本発明は、イーサネット（登録商標）の保守運用管理技術であるEthernet（登録商標）ＯＡＭ（Operation, Administration and Maintenance）のＥＴＨ−ＣＣ機能の設定技術に関する。
【背景技術】
【０００２】
Ethernet（登録商標）ＯＡＭは、イーサネット（登録商標）レイヤにおける保守機能、試験機能を提供するものであり、イーサネット（登録商標）の運用性を向上させる技術として高く注目されている。Ethernet（登録商標）ＯＡＭには、スイッチや端末間の接続性を常時監視するＥＴＨ−ＣＣ（Ethernet（登録商標）Continuity Check）、故障発生時に切り分け試験を行うＥＴＨ−ＬＢ（Ethernet（登録商標）Loop Back）、ユーザトラヒックの導通経路を確認するＥＴＨ−ＬＴ（Ethernet（登録商標）Link Trace）など、各種の機能がある。これらEthernet（登録商標）ＯＡＭの機能は、ＩＴＵ−Ｔ勧告などで標準化されているものの、その設定方法などの具体的な運用方法に関しては、ほとんど報告がなされてされていないのが現状である（非特許文献１参照）。
【０００３】
まず、非特許文献１に従い、ＥＴＨ−ＣＣ機能について、本発明の理解に必要な部分について説明する。
【０００４】
ＥＴＨ−ＣＣでは、通信を常時監視するために、ネットワークに対してＭＥＧ（Maintenance Entity Group）と呼ばれるエリアを設定する。さらに、そのＭＥＧ内のＶＬＡＮ（Virtual ＬＡＮ）経路上のスイッチや端末などのポートに対して、ＭＥＰ（ＭＥＧ End Point）と呼ばれる監視点を設定する。ＭＥＧ内のネットワーク構成がスイッチを中心とするスター型の場合のＭＥＰの設定例を図１に示す。
【０００５】
ＭＥＰは、ＣＣＭ（Continuity Check Message）と呼ばれる監視フレームを一定の時間間隔で送信することができる。さらに、ＣＣＭを送信してくる相手方のＭＥＰであるピアＭＥＰ（を識別可能な情報）を登録することで、ピアＭＥＰからのＣＣＭの受信を監視することができる。図２はＭＥＰ−ＩＤ：１のＭＥＰからＭＥＰ−ＩＤ：２のＭＥＰへＣＣＭを送信する場合の例を示すもので、この場合、ＭＥＰ−ＩＤ：２のＭＥＰにＭＥＰ−ＩＤ：１のＭＥＰがピアＭＥＰであることを示す情報、例えば「ピアＭＥＰ  １」を登録する。
【０００６】
もしＶＬＡＮ経路上の装置に障害が発生し、ピアＭＥＰからのＣＣＭを所定時間受信できなかった場合、当該ＭＥＰは、図２（ｂ）に示すようにＬＯＣ（Loss Of Continuity）というアラームを発生させる。これによってＭＥＰ間の通信の接続性を常時監視することが可能となる。
【０００７】
ＥＴＨ−ＣＣ設定とは、ＭＥＧ内の各ＭＥＰに対して、ＣＣＭの送信設定およびピアＭＥＰの登録を行うことである。
【０００８】
ＥＴＨ−ＣＣ機能の運用における１つの課題は、このＥＴＨ−ＣＣ設定の自動化である。ネットワーク管理者がＥＴＨ−ＣＣ設定を行うとき、各ＭＥＰに対し、受信するＣＣＭに対応するピアＭＥＰを過不足なく登録しなければならない（過不足があると障害でもないのにアラームが発生して誤報になる。）。
【０００９】
ＩＴＵ−Ｔ勧告に準拠したEthernet（登録商標）ＯＡＭを利用する場合、ＣＣＭの送信設定ではマルチキャスト送信とユニキャスト送信を選択できる。
【００１０】
ＭＥＰがＣＣＭをマルチキャスト送信する場合、そのＭＥＰ以外の全てのＭＥＰでこのＣＣＭを受信するため、当該マルチキャスト送信するＭＥＰをピアＭＥＰとして登録しなければならない。図３にＭＥＰ−ＩＤ：１のＭＥＰがマルチキャスト送信する場合のピアＭＥＰの登録例を示す。ＭＥＰ−ＩＤ：１のＭＥＰから送信されるＣＣＭは、ＭＥＰ−ＩＤ：２およびＭＥＰ−ＩＤ：３のＭＥＰで受信されるため、当該ＭＥＰ−ＩＤ：２およびＭＥＰ−ＩＤ：３のＭＥＰに「ピアＭＥＰ  １」を登録することになる。
【００１１】
一方、ＭＥＰがＣＣＭをユニキャスト送信する場合は、ユニキャスト送信の宛先のＭＥＰのみにピアＭＥＰを登録し、宛先以外のＭＥＰではピアＭＥＰを登録してはいけない。図４にＭＥＰ−ＩＤ：１のＭＥＰがＭＥＰ−ＩＤ：２のＭＥＰにユニキャスト送信する場合のピアＭＥＰの登録例を示す。ＭＥＰ−ＩＤ：１のＭＥＰから送信されるＣＣＭをＭＥＰ−ＩＤ：２のＭＥＰでのみ受信するため、ＭＥＰ−ＩＤ：２のＭＥＰに「ピアＭＥＰ  １」を登録し、ＭＥＰ−ＩＤ：３のＭＥＰは「ピアＭＥＰ  １」を登録してはいけない。
【００１２】
このように、ネットワーク管理者は、あるＭＥＰで登録するピアＭＥＰを決定するために、そのＭＥＰ以外のＭＥＰのＥＴＨ−ＣＣ設定を調べる必要がある。
【００１３】
また、端末の追加などによりＭＥＰが追加されると、そのＭＥＰからもＣＣＭが送信されるようになるため、追加のＭＥＰに対する設定だけでなく、既設のＭＥＰに対してもピアＭＥＰを登録をしなければならない。
【００１４】
図５にマルチキャスト送信するＭＥＰ−ＩＤ：３のＭＥＰを追加した場合の例を示す。ＭＥＰ−ＩＤ：３のＭＥＰからＭＥＰ−ＩＤ：１やＭＥＰ−ＩＤ：２のＭＥＰへＣＣＭが送信されるため、追加したＭＥＰ−ＩＤ：３のＭＥＰに「ピアＭＥＰ  １」および「ピアＭＥＰ  ２」を登録するだけでなく、既設のＭＥＰ−ＩＤ：１やＭＥＰ−ＩＤ：２のＭＥＰに対しても「ピアＭＥＰ  ３」を登録しなければならない。このように、あるＭＥＰのＥＴＨ−ＣＣ設定を変更すると、他のＭＥＰのＥＴＨ−ＣＣ設定も付随して変更しなければならない。
【００１５】
以上の理由により、企業内ＬＡＮなど、ＭＥＰを設定する端末の数などが多い場合において、人手でＥＴＨ−ＣＣ設定を行うと、設定の期間が長期化したり、設定ミスが発生する可能性がある。
【００１６】
＜従来技術＞
このようなネットワークの設計や設定の問題に対して、制約充足問題を利用する様々な技術が提案されている。制約充足問題は、変数とその取り得る値、およびその変数間で成立する関係（制約）を制約充足ソルバと呼ばれる汎用的なプログラムに与えることで、制約を充足するような変数の値の組み合わせ（制約充足解）を自動的に求める技術である。制約充足問題は、制約充足解が満たさなければならない要求が明確、もしくは簡潔であるにも拘わらず、その要求を満たすような解を求める手順（ロジック）が分からないような事象に対して有効な手段である。
【００１７】
特許文献１では、設備選定という通信事業者ビルからユーザ宅までの通信経路を構成する通信設備を決定する問題を制約充足問題に帰着している。しかしながら、ネットワーク中の経路設計という観点では、様々な技術が提案されているが、問題の領域が異なるためにＥＴＨ−ＣＣ設定には用いることができない。
【先行技術文献】
【特許文献】
【００１８】
【特許文献１】特開２００８−２１７０５０号公報「設備選定方法、その装置およびプログラム」
【非特許文献】
【００１９】
【非特許文献１】ITU-T Recommendation Y.1731, OAM functions and mechanisms for Ethernet（登録商標） based networks
【発明の概要】
【発明が解決しようとする課題】
【００２０】
以上のようにＥＴＨ−ＣＣ設定では、入力として設定対象のＭＥＰ−ＩＤの集合と、送信設定やピアＭＥＰの登録に関する一部の設定パラメータの値の条件指定とが与えられたとき、それらを満たす設定パラメータ全体の値の組み合わせを決定しなければならない。ところが、各設定パラメータ間には互いに依存関係があるため、条件指定に対してそれを満足するような適切なパラメータの値の組み合わせを人手で決定することはネットワーク管理者の大きな負担になっていた。
【課題を解決するための手段】
【００２１】
そこで、本発明では、ＥＴＨ−ＣＣの設定問題を制約充足問題に帰着し、入力として与えられる設定対象のＭＥＰ−ＩＤの集合および一部の設定パラメータの値の条件指定に対して、その条件指定を満たすようにＣＣＭの送信設定やピアＭＥＰの登録に関する各設定パラメータの値の組み合わせを自動的に決定することで、この問題を解決する。
【００２２】
以降では、ＭＥＧ内にＭＥＰ−ＩＤが１，２，・・・，ＫのＫ個のＭＥＰが存在し、それらのＥＴＨ−ＣＣ設定の自動化の方法を述べる。
【００２３】
ＥＴＨ−ＣＣ設定（ＣＣＭの送信設定やピアＭＥＰの登録）の内容は、各ＭＥＰにおけるＣＣＭの送信種別（マルチキャスト送信かユニキャスト送信か）、ユニキャスト送信する際のＣＣＭの宛先、設定されているピアＭＥＰ、設定されているピアＭＥＰの合計（数）などの設定パラメータで表現することができる。各設定パラメータの取り得る値を図６に示す。
【００２４】
入力として設定対象のＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝と、図６の設定パラメータの値の条件指定とが与えられた場合に、コンピュータを用いて本発明のＥＴＨ−ＣＣ設定を行う方法を図７のフローを用いて説明する。ここでの条件指定とは、「ＭＥＰ−ＩＤ：ｍ（のＭＥＰ）のＣＣＭ送信種別がユニキャスト」、「ＭＥＰ−ＩＤ：ｍ（のＭＥＰ）のピアＭＥＰの合計が１」などになる。具体的に入力するときのデータ形式については、以降で説明する。
【００２５】
まず、図７のステップＳ１において、入力装置からコンピュータに入力された設定対象のＭＥＰ−ＩＤの集合および一部の設定パラメータの値の条件指定から、当該条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを求めるための（求めることができる）制約充足問題を生成する。制約充足問題は、変数の集合Ｖと、変数の取り得る値の集合Ｄと、変数間で満たさなければなからない関係（制約）の集合Ｃとで構成される。図７のステップＳ１をさらに詳細化したフローを図８に示す。
【００２６】
図８のステップＳ１１では、制約充足問題の変数の集合Ｖの要素として、各ＭＥＰ−ＩＤ：ｍに対してそれぞれ、変数ｔm、ｕm、ｐm,m'（但し、ｍ≠ｍ’）、ｓmを生成する。それぞれの変数と設定パラメータの対応関係を図９に示す。図１０に図８のステップＳ１１の変数の集合を生成する詳細のフローを示す。
【００２７】
即ち、求める変数の集合Ｖを｛｝（空集合）の状態で用意し、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰとおく（Ｓ２１）。集合ＴＭＰから要素を一つ取り出し、それをｋとする（Ｓ２２）。変数ｔm、ｕm、ｓmのｍにＳ２２で取り出した要素ｋを代入し、変数ｔk、ｕk、ｓkを作成する（Ｓ２３）。変数の集合Ｖに当該変数ｔk、ｕk、ｓkを追加する（Ｓ２４）。
【００２８】
ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを別の集合ＴＭＰ’とおく（Ｓ２５）。集合ＴＭＰ’から要素を一つ取り出し、それをｋ’とする（Ｓ２６）。ｋ≠ｋ’であれば、変数ｐm,m'のｍにＳ２２で取り出した要素ｋを代入し、変数ｐm,m'のｍ’にＳ２６で取り出した要素ｋ’を代入して、変数ｐk,k'を作成する（Ｓ２７）。変数の集合Ｖに当該変数ｐk,k'を追加する（Ｓ２８）。
【００２９】
Ｓ２６からＳ２８までの処理を集合ＴＭＰ’が空となるまで繰り返し（Ｓ２９）、また、Ｓ２２からＳ２９までの処理を集合ＴＭＰが空となるまで繰り返す（Ｓ３０）。
【００３０】
このフローの実行により、例えば、ＭＥＰ−ＩＤの集合が｛１，２，３｝のとき、変数として
・送信種別  ｔ1，ｔ2，ｔ3
・ユニキャストＣＣＭの宛先  ｕ1，ｕ2，ｕ3
・ピアＭＥＰ  ｐ1,2，ｐ1,3，ｐ2,1，ｐ2,3，ｐ3,1，ｐ3,2
・ピアＭＥＰの合計  ｓ1，ｓ2，ｓ3
が生成され、変数の集合Ｖとなる。
【００３１】
図８のステップＳ１２では、制約充足問題の変数の取り得る値の集合Ｄを生成する。各変数の取り得る値は、図９に示した取り得る値である。即ち、変数ｔmの取り得る値は、ＣＣＭのマルチキャスト送信を表すＭもしくはＣＣＭのユニキャスト送信を表すＵとなる。
【００３２】
また、変数ｕmはユニキャストＣＣＭを送信する場合の宛先のＭＥＰ−ＩＤなので、取り得る値は自身のＭＥＰ−ＩＤを除いたＭＥＰ−ＩＤの集合の要素である。また、マルチキャスト送信する場合はユニキャストＣＣＭは送信せず、宛先は決定しないため、NON-SENDING（送信しないという意味）となる。よって、変数ｕmの取り得る値は、ＭＥＰ−ＩＤの集合の要素もしくはNON-SENDINGとなる。
【００３３】
また、変数ｐm,m'の取り得る値は、ＭＥＰ−ＩＤ：ｍのＭＥＰにおいて、ピアＭＥＰ ｍ’を登録する場合は１、登録しない場合は０となる。さらにまた、変数ｓmはＭＥＰ−ＩＤ：ｍのＭＥＰにおけるピアＭＥＰの登録数を表し、ピアＭＥＰには自分自身のＭＥＰは登録しないため、最大でＫ−１個の登録が可能である。よってその取り得る値は、｛１，２，・・・，Ｋ−１｝となる。
【００３４】
変数の取り得る値を「変数：値の集合」という形式で記述するとＭＥＰ−ＩＤ：ｍ（∈｛１，２，・・・，Ｋ｝）のそれぞれのｍに対して、ｔm：｛Ｍ，Ｕ｝、ｕm：｛NON-SENDING，１，２，・・・，ｍ−１，ｍ＋１，・・・Ｋ｝、ｐm,m'：｛０，１｝、ｓm：｛１，２，・・・，Ｋ−１｝を生成する。図１１に図８のステップＳ１２の変数の取り得る値の集合を生成する詳細のフローを示す。
【００３５】
即ち、取り得る値の集合Ｄを｛｝（空集合）の状態で用意し、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰとおく（Ｓ３１）。集合ＴＭＰから要素を一つ取り出し、それをｋとする（Ｓ３２）。取り得る値ｔm：｛Ｍ，Ｕ｝、ｕm：｛NON-SENDING，１，２，・・・，ｍ−１，ｍ＋１，・・・Ｋ｝、ｓm：｛１，２，・・・，Ｋ−１｝のｍにＳ３２で取り出した要素ｋを代入し、ｔk：｛Ｍ，Ｕ｝、ｕk：｛NON-SENDING，１，２，・・・，ｋ−１，ｋ＋１，・・・Ｋ｝、ｓk：｛１，２，・・・，Ｋ−１｝を作成する（Ｓ３３）。取り得る値の集合Ｄに当該ｔk：｛Ｍ，Ｕ｝、ｕk：｛NON-SENDING，１，２，・・・，ｋ−１，ｋ＋１，・・・Ｋ｝、ｓk：｛１，２，・・・，Ｋ−１｝を追加する（Ｓ３４）。
【００３６】
ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを別の集合ＴＭＰ’とおく（Ｓ３５）。集合ＴＭＰ’から要素を一つ取り出し、それをｋ’とする（Ｓ３６）。ｋ≠ｋ’であれば、取り得る値ｐm,m'：｛０，１｝のｍにＳ３２で取り出した要素ｋを代入し、ｐm,m'：｛０，１｝のｍ’にＳ３６で取り出した要素ｋ’を代入して、ｐk,k'：｛０，１｝を作成する（Ｓ３７）。取り得る値の集合Ｄに当該ｐk,k'：｛０，１｝を追加する（Ｓ３８）。
【００３７】
Ｓ３６からＳ３８までの処理を集合ＴＭＰ’が空となるまで繰り返し（Ｓ３９）、また、Ｓ３２からＳ３９までの処理を集合ＴＭＰが空となるまで繰り返す（Ｓ４０）。
【００３８】
このフローの実行により、例えば、ＭＥＰ−ＩＤの集合が｛１，２，３｝のとき、取り得る値として
・ｔ1：｛Ｍ，Ｕ｝，ｔ2：｛Ｍ，Ｕ｝，ｔ3：｛Ｍ，Ｕ｝
・ｕ1：｛NON-SENDING，２，３｝，ｕ2：｛NON-SENDING，１，３｝，ｕ3：｛NON-SENDING，１，２｝
・ｐ1,2：｛０，１｝，ｐ1,3：｛０，１｝，ｐ2,1：｛０，１｝，ｐ2,3：｛０，１｝，ｐ3,1：｛０，１｝，ｐ3,2：｛０，１｝
・ｓ1：｛１，２｝，ｓ2：｛１，２｝，ｓ3：｛１，２｝
が生成され、取り得る値の集合Ｄとなる。
【００３９】
図８のステップＳ１３では、制約充足問題の制約の集合Ｃを生成する。制約の集合Ｃの各要素には以下の４種類がある。
【００４０】
（１）設定パラメータの条件指定の制約ｃ1，ｃ2，・・・：
これは、入力として与えられるもので、ｃ1，ｃ2，・・・それぞれは変数に対する値の割り当てを原始とし、否定（¬），連言（∧），選言（∨），含意（⇒）などの論理記号によって構成される論理式で与えられるものとする。例えば、ＭＥＰ−ＩＤ：１，２，３のＭＥＰがそれぞれマルチキャスト送信するというパラメータの条件指定であればｔ1＝Ｍ，ｔ2＝Ｍ，ｔ3＝Ｍとなる。
【００４１】
（２）マルチキャストの制約ｃM：
これは、マルチキャスト送信する場合にピアＭＥＰを過不足なく登録するための条件を意味する。 ＭＥＰ−ＩＤ：ｍ（∈｛１，２，・・・，Ｋ｝）のそれぞれについて以下のような論理式になる。
【００４２】
ｃM：∀m.((tm=M)⇒((um=NON-SENDING)∧(∀m'.((m≠m')⇒(pm',m=1)))))
この論理式の意味としては、任意のＭＥＰ−ＩＤ：ｍに対して、もしＭＥＰ−ＩＤ：ｍのＭＥＰがＣＣＭをマルチキャスト送信する場合（ｔm＝Ｍ）は、ｍ以外のＭＥＰ全てに送信されるため、ＭＥＰ−ＩＤ：ｍ’（≠ｍ）のＭＥＰ全てでピアＭＥＰ ｍが登録されなければならない（ｐm',m＝１）となる。
【００４３】
（３）ユニキャストの制約ｃU：
これは、ユニキャスト送信する場合にピアＭＥＰを過不足なく登録するための条件を意味する。ＭＥＰ−ＩＤ：ｍ（∈｛１，２，・・・，Ｋ｝）のそれぞれについて以下のような論理式になる。
【００４４】
ｃU：∀m.((tm=U)⇒((m'≠NON-SENDING)∧
(pm',m=1)∧(∀m''.((m''≠m,m')⇒(pm'',m=0)))))
この論理式の意味としては、任意のＭＥＰ−ＩＤ：ｍに対して、ＭＥＰ−ＩＤ：ｍのＭＥＰがＣＣＭをユニキャスト送信する場合（ｔm＝Ｕ）は、そのＣＣＭの宛先のＭＥＰ−ＩＤ：ｍ’のＭＥＰでのみＣＣＭを受信する。よってＭＥＰ−ＩＤ：ｍ’のＭＥＰにおいてはピアＭＥＰ ｍが登録され（ｐm',m＝１）、ＭＥＰ−ＩＤ：ｍ''（≠ｍ’，ｍ）のＭＥＰではピアＭＥＰ ｍを登録してはいけない（ｐm'',m＝０）となる。
【００４５】
（４）ピアＭＥＰの合計の制約ｃS：
各ＭＥＰ−ＩＤ：ｍ（∈｛１，２，・・・，Ｋ｝）のＭＥＰについて登録されているピアＭＥＰ数の合計を表す変数ｓmは、以下のような関係がある。ピアＭＥＰ ｍ’が登録されていればｐm,m'＝１、そうでなければｐm,m'＝０なので、任意のｍ’に関してｐm,m'の合計と等しい。よって、ピアＭＥＰ合計の制約ｃSを論理式で書くと
ｃS：∀m.((ｓm=［m'(≠m)］Σｐm,m')
のようになる。
【００４６】
図１２に、図８のステップＳ１３で実行される制約の集合Ｃを生成する詳細なフローを示す。まず、Ｓ４１では、制約の集合Ｃを｛｝（空集合）の状態で用意し、ＭＥＰ−ＩＤの集合を｛１，２，・・・，Ｋ｝とし、パラメータの条件指定を制約ｃ1，ｃ2，・・・とする。Ｓ４２では、入力として与られるパラメータの条件指定の制約ｃ1，ｃ2，・・・を制約の集合Ｃに加える。Ｓ４３，Ｓ４４，Ｓ４５ではそれぞれ、マルチキャストの制約ｃM、ユニキャストの制約ｃU、ピアＭＥＰ合計の制約ｃSを生成し、制約の集合Ｃに加える。各Ｓ４３，Ｓ４４，Ｓ４５にて実施されるフローをそれぞれ、図１３、図１４、図１５に示す。
【００４７】
即ち、図１３において、マルチキャストの制約として生成する論理式をｆ＝ＴＲＵＥとおき、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰとおく（Ｓ５１）。集合ＴＭＰから要素を一つ取り出し、それをｋとする（Ｓ５２）。また、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰ’とおき、論理式ｆ’＝ＴＲＵＥを用意する（Ｓ５３）。
【００４８】
集合ＴＭＰ’から要素を一つ取り出し、それをｋ’とする（Ｓ５４）。ここで、ｋ≠ｋ’であれば、論理式ｆ’をｆ’∧（ｐk',k＝１）に置き換え（Ｓ５５）、Ｓ５４，Ｓ５５の処理を集合ＴＭＰ’が空となるまで繰り返す（Ｓ５６）。
【００４９】
集合ＴＭＰ’が全て空となった場合、論理式ｆ’を（ｔk＝Ｍ）⇒（(ｕk＝NON-SENDING)∧ｆ’）に置き換え（Ｓ５７）、論理式ｆをｆ∧ｆ’に置き換え（Ｓ５８）、Ｓ５２からＳ５８までの処理を集合ＴＭＰが空となるまで繰り返す（Ｓ５９）。集合ＴＭＰが全て空となった場合、論理式ｆをマルチキャストの制約ｃMとして返す（Ｓ６０）。
【００５０】
また、図１４において、ユニキャストの制約として生成する論理式をｆ＝ＴＲＵＥとおき、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰとおく（Ｓ６１）。集合ＴＭＰから要素を一つ取り出し、それをｋとする（Ｓ６２）。また、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰ’とおき、論理式ｆ’＝ＴＲＵＥを用意する（Ｓ６３）。集合ＴＭＰ’から要素を一つ取り出し、それをｋ’とする（Ｓ６４）。さらにまた、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰ''とおき、論理式ｆ''＝ＴＲＵＥを用意する（Ｓ６５）。
【００５１】
集合ＴＭＰ''から要素を一つ取り出し、それをｋ''とする（Ｓ６６）。ここで、ｋ''≠ｋ，ｋ’であれば、論理式ｆ''をｆ''∧（ｐk'',k＝０）に置き換え（Ｓ６７）、Ｓ６６，Ｓ６７の処理を集合ＴＭＰ''が空となるまで繰り返す（Ｓ６８）。
【００５２】
集合ＴＭＰ''が全て空となった場合、ｋ’≠ｋであれば、論理式ｆ’をｆ’∧（(ｕk＝ｋ’）⇒（(ｐk',k＝１）∧ｆ'')）に置き換え（Ｓ６９）、Ｓ６４からＳ６９までの処理を集合ＴＭＰ’が空となるまで繰り返す（Ｓ７０）。
【００５３】
集合ＴＭＰ’が全て空となった場合、論理式ｆをｆ∧（(ｔk＝Ｕ）⇒（(ｕk≠NON-SENDING)∧ｆ’)）に置き換え（Ｓ７１）、Ｓ６２からＳ７１までの処理を集合ＴＭＰが空となるまで繰り返す（Ｓ７２）。集合ＴＭＰが全て空となった場合、論理式ｆをユニキャストの制約ｃUとして返す（Ｓ７３）。
【００５４】
また、図１５において、ピアＭＥＰの合計の制約として生成する論理式をｆ＝ＴＲＵＥとおき、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰとおく（Ｓ８１）。集合ＴＭＰから要素を一つ取り出し、それをｋとする（Ｓ８２）。また、ＭＥＰ−ＩＤの集合｛１，２，・・・，Ｋ｝のコピーを集合ＴＭＰ’とおき、論理式ｆ’＝０を用意する（Ｓ８３）。
【００５５】
集合ＴＭＰ’から要素を一つ取り出し、それをｋ’とする（Ｓ８４）。ここで、ｋ≠ｋ’であれば、論理式ｆ’をｆ’＋ｐk,k'に置き換え（Ｓ８５）、Ｓ８４，Ｓ８５の処理を集合ＴＭＰ’が空となるまで繰り返す（Ｓ８６）。
【００５６】
集合ＴＭＰ’が全て空となった場合、論理式ｆをｆ∧（ｓk＝ｆ’）に置き換え（Ｓ８７）、Ｓ８２からＳ８７までの処理を集合ＴＭＰが空となるまで繰り返す（Ｓ８８）。集合ＴＭＰが全て空となった場合、論理式ｆをピアＭＥＰの合計の制約ｃSとして返す（Ｓ８９）。
【００５７】
入力としてＭＥＰ−ＩＤの集合が｛１，２，３｝で、設定パラメータの値の条件指定がｔ1＝Ｍ，ｔ2＝Ｍ，ｔ3＝Ｍと与えられた場合は、図７のステップＳ１において、下記のような制約充足問題が生成される。
【００５８】
即ち、変数の集合に関しては、例えばＭＥＰ−ＩＤの集合が１，２，３のとき、
・送信種別  ｔ1，ｔ2，ｔ3
・ユニキャストＣＣＭの宛先  ｕ1，ｕ2，ｕ3
・ピアＭＥＰ  ｐ1,2，ｐ1,3，ｐ2,1，ｐ2,3，ｐ3,1，ｐ3,2
・ピアＭＥＰの合計  ｓ1，ｓ2，ｓ3
となり、また、制約の集合に関しては、制約ｃM，ｃU，ｃSに設定パラメータの条件指定を加え、｛ｃM，ｃU，ｃS，ｔ1＝Ｍ，ｔ2＝Ｍ，ｔ3＝Ｍ｝となる。
【００５９】
次に、図７のステップＳ２において、ステップＳ１で生成された制約充足問題を制約充足ソルバに与え、制約充足解を求める。この制約充足解は、入力された設定パラメータの条件指定を満足するような値の組み合わせを表している。入力としてＭＥＰ−ＩＤの集合｛１，２，３｝と、設定パラメータの条件指定のｔ1＝Ｍ，ｔ2＝Ｍ，ｔ3＝Ｍが与えられ、生成された制約充足問題に対する制約充足ソルバから得られた制約充足解、即ちＥＴＨ−ＣＣ設定の内容を表す変数の例を図１６に示す。
【００６０】
図７のステップＳ３においては、記憶装置に保存している現在のネットワークで設定している変数ｔm、ｕm、ｐm,m'の値と、ステップＳ２で制約充足ソルバが求めた変数の値とを比較し、その差分の集合を求める。但し、変数ｓmはピアＭＥＰの合計を表し、ネットワーク装置に対して設定すべき内容とは直接関係がないため、差分は求めない。ここで、変数ｔmの値の差分はＣＣＭの送信種別の変更（送信の解除を含む）を、変数ｕmの値の差分はユニキャストＣＣＭの宛先の変更（宛先の解除を含む）を、変数ｐm,m'の値の差分はピアＭＥＰの追加または削除をそれぞれ表すことになる。
【００６１】
図７のステップＳ４〜Ｓ６では、ステップＳ３で求めた差分を一つずつ取り出し、その差分の内容を出力装置に出力（表示）する。
【００６２】
最後に、図７のステップＳ７では、ステップＳ２で求めたＥＴＨ−ＣＣ設定の内容を、新たな現在のＥＴＨ−ＣＣ設定の内容として記憶装置に保存する。
【発明の効果】
【００６３】
本発明によれば、ＥＴＨ−ＣＣ機能によりネットワークの監視を行う場合に、ＥＴＨ−ＣＣ設定の条件指定に対応するＣＣＭの送信設定やピアＭＥＰの登録に関する内容を自動的に決定することができる。
【図面の簡単な説明】
【００６４】
【図１】スター型ネットワークでのＭＥＰの設定例を示す図である。
【図２】ＥＴＨ−ＣＣによる導通監視方法の説明図である。
【図３】ＭＥＰがマルチキャスト送信する場合のピアＭＥＰの登録例の説明図である。
【図４】ＭＥＰがユニキャスト送信する場合のピアＭＥＰの登録例の説明図である。
【図５】マルチキャスト送信するＭＥＰを追加した場合の設定例の説明図である。
【図６】ＥＴＨ−ＣＣ設定を決定するパラメータとその取り得る値を示す図である。
【図７】本発明のＥＴＨ−ＣＣの設定内容決定方法の全体フローを示す図である。
【図８】図７の制約充足問題を生成するステップの詳細フローを示す図である。
【図９】制約充足問題の変数とＭＥＰの設定状態を表すパラメータとの対応関係を示す図である。
【図１０】図８の変数の集合を生成するステップの詳細フローを示す図である。
【図１１】図８の変数の取り得る値の集合を生成するステップの詳細フローを示す図である。
【図１２】図８の制約の集合を生成するステップの詳細フローを示す図である。
【図１３】図１２のマルチキャストの制約を生成するステップの詳細フローを示す図である。
【図１４】図１２のユニキャストの制約を生成するステップの詳細フローを示す図である。
【図１５】図１２のピアＭＥＰ合計の制約を生成するステップの詳細フローを示す図である。
【図１６】３つのＭＥＰが互いにマルチキャスト送信する場合のＥＴＨ−ＣＣ設定の内容を表す変数の例を示す図である。
【図１７】本発明のＥＴＨ−ＣＣの設定装置の構成図である。
【図１８】ピアＭＥＰの登録数を１に変更する実施例１におけるＥＴＨ−ＣＣ設定を求める制約充足問題を示す図である。
【図１９】ピアＭＥＰの登録数を１に変更する実施例１におけるＥＴＨ−ＣＣ設定の内容を表す変数の例を示す図である。
【図２０】実施例１における差分の集合を示す図である。
【図２１】ＭＥＰを廃止する実施例２におけるＥＴＨ−ＣＣ設定を求める制約充足問題を示す図である。
【図２２】ＭＥＰを廃止する実施例２におけるＥＴＨ−ＣＣ設定の内容を表す変数の例を示す図である。
【図２３】実施例２における差分の集合を示す図である。
【発明を実施するための形態】
【００６５】
図１７は本発明のＥＴＨ−ＣＣの設定内容決定方法を実施する装置の実施の形態の一例、ここでは周知のコンピュータ上に実現した例を示すもので、図中、１は入力装置、２は出力装置、３はコンピュータである。
【００６６】
入力装置１は、キーボード、マウス等からなり、ユーザがコンピュータ３に所定の情報、ここでは設定対象のＭＥＰ−ＩＤの集合および一部の設定パラメータの値に対する条件指定を入力するためのものである。出力装置２は、液晶ディスプレイ、ＣＲＴ等画像表示装置、あるいはＥＴＨ−ＣＣ設定の対象となるネットワーク装置からなり、コンピュータ３による所定の処理結果、現状のＥＴＨ−ＣＣ設定内容と条件指定を満たすＥＴＨ−ＣＣ設定内容との差分をユーザに提示するために表示したり、その差分となる設定をネットワーク装置に対して行うためのものである。
【００６７】
コンピュータ３は図７乃至図１５に示した処理フローに対応する所定のプログラムに従い、各装置を制御するとともに、この際、記憶装置４、制約問題生成装置５、制約充足ソルバ６、差分抽出装置７、制御装置８を構成する。
【００６８】
記憶装置４は、現在のＭＥＰごとの設定パラメータ全体の値の組み合わせを保存する。
【００６９】
制約問題生成装置５は、設定対象のＭＥＰ−ＩＤの集合および一部の設定パラメータの値に対する条件指定から、当該条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを求めるための制約充足問題を生成する。
【００７０】
制約充足ソルバ６は、与えられた制約充足問題を実際に解いてその制約充足解、ここでは条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを求める。
【００７１】
差分抽出装置７は、記憶装置４に保存されている現在のＭＥＰごとの設定パラメータ全体の値の組み合わせと制約充足ソルバ６から取得した条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせとを比較し、その差分（の集合）を抽出する。
【００７２】
制御装置８は、入力装置１から入力された設定対象のＭＥＰ−ＩＤの集合および一部の設定パラメータの値に対する条件指定を制約問題生成装置５に渡し、当該制約問題生成装置５で生成された制約充足問題を受け取る機能を具備する。また、受け取った制約充足問題を制約充足ソルバ６に与え、当該制約充足ソルバ６が解いた制約充足解である条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを取得する機能を具備する。また、取得した制約充足解である条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを差分抽出装置７に渡し、当該差分抽出装置７で抽出された差分（の集合）を受け取る機能を具備する。また、受け取った差分を一つずつ取り出し、出力装置２に出力する機能を具備する。さらにまた、制約充足ソルバ６から取得した条件指定を満たすＭＥＰごとの設定パラメータ全体の値の組み合わせを、現在のＭＥＰごとの設定パラメータ全体の値の組み合わせとして記憶装置４に保存する機能を具備する。
【００７３】
本装置により、ＥＴＨ−ＣＣ機能によりネットワークの監視を行う場合に、ＥＴＨ−ＣＣ設定の条件指定に対するＣＣＭの送信設定やピアＭＥＰの登録に関する内容を自動的に決定することができる。
【００７４】
なお、前述した実施の形態では、記憶装置４、制約問題生成装置５、制約充足ソルバ６、差分抽出装置７および制御装置８をコンピュータ上で実現した例を示したが、ハードウェアで実現しても良い。またこれら各装置が、適切な通信路で相互に接続された複数のハードウェア上に分散して存在し、相互に通信し合いながら実行することもできる。
【００７５】
本発明の装置は、ＥＴＨ−ＣＣの設定対象となる端末やスイッチを管理するＤＣＮに接続して用いる。また、ＥＴＨ−ＣＣの設定対象の端末やスイッチと接続されたネットワークに実現しても良い。
【００７６】
以下、本発明によるＥＴＨ−ＣＣの設定内容決定方法について例を挙げて説明する。
【実施例１】
【００７７】
現在のＥＴＨ−ＣＣの設定内容が図１６の状態であり、同図に示される各変数の値が記憶装置４に保存されているものとする。この状態から、ＭＥＰごとのピアＭＥＰの合計を「１」に変更する場合の例を説明する。
【００７８】
まず、入力装置１から、ＭＥＰ−ＩＤの集合｛１，２，３｝と、ＭＥＰ−ＩＤ：ｍのＭＥＰのピアＭＥＰの合計を表す変数ｓmについて、ｓ1＝１，ｓ2＝１，ｓ3＝１という設定パラメータの条件指定とが入力される。制御装置８は図７のステップＳ１を実行し、前記ＭＥＰ−ＩＤの集合および条件指定を制約問題生成装置５に渡す。制約問題生成装置５は、その条件指定を満たすパラメータ全体の値の組み合わせを求める制約充足問題、ここでは図１８に示すような制約充足問題を生成する。その後、制御装置８はその制約充足問題を受け取る。
【００７９】
次に、制御装置８は図７のステップＳ２を実行し、図１８に示した制約充足問題を制約充足ソルバ６に与える。制約充足ソルバ６は、制約充足解として図１９に示される条件指定を満たす各変数の値を制御装置８に返す。
【００８０】
さらに制御装置８は、図７のステップＳ３を実行し、制約充足ソルバ６で求めた各変数の値を差分抽出装置７に送る。差分抽出装置７は、記憶装置４に保存されている現在の各変数の値とそれぞれ比較し、その差分を抽出する。差分を「変数名：記憶装置に保存されている値→変更条件を満たす値」と表記すると、ここでの差分の集合は図２０に示すようになる。この集合を制御装置８に返す。
【００８１】
制御装置８は、求めた差分の集合に対して図７のステップＳ４からＳ６までを実施して各差分の内容を出力装置２に出力し、最後に図７のステップＳ７を実施してステップＳ２で求めた条件指定を満たす各変数の値を、新たな現在のＥＴＨ−ＣＣ設定の内容として記憶装置４に保存する。
【実施例２】
【００８２】
現在のＥＴＨ−ＣＣの設定内容が図１６の状態であり、同図に示される各変数の値が記憶装置４に保存されているものとする。この状態から、ＭＥＰ−ＩＤ：３のＭＥＰを削除する場合の例を説明する。
【００８３】
まず、入力装置１から、ＭＥＰ−ＩＤの集合｛１，２｝と、ｔ1＝Ｍ，ｔ2＝Ｍという設定パラメータの条件指定とが入力される。制御装置８は図７のステップＳ１を実行し、前記ＭＥＰ−ＩＤの集合および条件指定を制約問題生成装置５に渡す。制約問題生成装置５は、その条件指定を満たすパラメータ全体の値の組み合わせを求める制約充足問題、ここでは図２１に示すような制約充足問題を作成する。その後、制御装置８はその制約充足問題を受け取る。
【００８４】
次に、制御装置８は図７のステップＳ２を実行し、図２１に示した制約充足問題を制約充足ソルバ６に渡す。制約充足ソルバ６は、制約充足解として図２２に示される条件指定を満たす各変数の値を制御装置８に返す。
【００８５】
さらに制御装置８は、図７のステップＳ３を実行し、制約充足ソルバ６で求めた各変数の値を差分抽出装置７に送る。差分抽出装置７は、記憶装置４に保存されている現在の各変数の値とそれぞれ比較し、その差分を抽出する。ここでの差分の集合は図２３に示すようになる。この集合を制御装置８に返す。
【００８６】
制御装置８は、求めた差分の集合に対して図７のステップＳ４からＳ６までを実施して各差分の内容を出力装置２に出力し、最後に図７のステップＳ７を実施してステップＳ２で求めた条件指定を満たす各変数の値を、新たな現在のＥＴＨ−ＣＣ設定の内容として記憶装置４に保存する。
【符号の説明】
【００８７】
１：入力装置、２：出力装置、３：コンピュータ、４：記憶装置、５：制約問題生成装置、６：制約充足ソルバ、７：差分抽出装置、８：制御装置。
【図１】
0005334267.tif 000002
【図２】
0005334267.tif 000003
【図３】
0005334267.tif 000004
【図４】
0005334267.tif 000005
【図５】
0005334267.tif 000006
【図６】
0005334267.tif 000007
【図７】
0005334267.tif 000008
【図８】
0005334267.tif 000009
【図９】
0005334267.tif 000010
【図１０】
0005334267.tif 000011
【図１１】
0005334267.tif 000012
【図１２】
0005334267.tif 000013
【図１３】
0005334267.tif 000014
【図１４】
0005334267.tif 000015
【図１５】
0005334267.tif 000016
【図１６】
0005334267.tif 000017
【図１７】
0005334267.tif 000018
【図１８】
0005334267.tif 000019
【図１９】
0005334267.tif 000020
【図２０】
0005334267.tif 000021
【図２１】
0005334267.tif 000022
【図２２】
0005334267.tif 000023
【図２３】
0005334267.tif 000024