トポロジ情報
ルールを作成する場合、詳細ルール条件によってトポロジ情報を指定できます。トポロジ ルールは、相関ルールで使用されるモデル間の関連付けを作成します。標準パラメータ条件、トポロジ条件、または両方を挿入できます。トポロジ ルール条件は、パラメータ条件のように、状態のパラメータに適用されます。これらの状態パラメータはモデル ハンドルである必要があります。またはモデル ハンドルに変換可能である必要があります。
casp1032jp
ルールを作成する場合、詳細ルール条件によってトポロジ情報を指定できます。トポロジ ルールは、相関ルールで使用されるモデル間の関連付けを作成します。標準パラメータ条件、トポロジ条件、または両方を挿入できます。トポロジ ルール条件は、パラメータ条件のように、状態のパラメータに適用されます。これらの状態パラメータはモデル ハンドルである必要があります。またはモデル ハンドルに変換可能である必要があります。
状態パラメータで使用される演算子は関係プロシージャです。関係プロシージャは、ルールに 2 つのモデル間の関係の存在を確認させます。演算子は関係のタイプを表わします。
トポロジ演算子は以下の関係を表わします。
- 標準関係標準関連付けを表します。左のモデルがトポロジ関係を使用して右のモデルに関連付けられる場合、ルール条件は TRUE と評価されます。以下の標準関係演算子が使用されます。
- Connects_to
- HasPart
- Manages
- Collects
- Correlates
- 特別な関係特別な関連付けを表します。左のモデルが右のデバイス モデルのポートである場合、ルール条件は TRUE と評価されます。1 つの特別なトポロジ関係演算子が使用可能です： IsPortOf。