オブジェクト処理方法論

手続き的リンクには次の3種類があります。

1. 変換リンクとは、変換対象オブジェクト（プロセスによって変換されるオブジェクト）またはその状態をプロセスに接続し、プロセス実行の結果として生じるオブジェクトの変換、すなわち生成、消費、または状態変化をモデル化するリンクです。
2. 有効化リンクとは、イネーブラー（プロセスの発生を可能にするが、そのプロセスによって変換されないオブジェクト）またはその状態を、そのプロセスの発生を可能にするプロセスに接続するリンクのことです。
3. 制御リンクとは、制御修飾子（イベントを表す文字「e」または条件を表す文字「c」）を持つ手続き型（変換または有効化）リンクであり、制御要素の意味を追加します。文字「e」はリンクされたプロセスをトリガーするイベントを示し、文字「c」はリンクされたプロセスの実行条件、呼び出しを示す2つのプロセスの接続、または例外を示します。

手続き的リンクの一意性 OPM 原則

プロセスは少なくとも１つのオブジェクトを変換する必要がある。したがって、プロセスは変換リンクを介して少なくとも１つのオブジェクトまたはオブジェクト状態に接続される。抽象化のどの段階においても、オブジェクトまたはその状態のいずれかは、リンク先のプロセスに関して、モデル要素として正確に１つの役割を持つ。すなわち、オブジェクトは変換対象またはイネーブラーのいずれかである。さらに、オブジェクトはイベントのトリガー（制御修飾子eを持つ場合）、条件付けオブジェクト（制御修飾子cを持つ場合）、またはその両方となることができる。

州指定の手続きリンク

状態指定手続き型リンクは、手続き型リンクのより詳細なバージョンであり、プロセスをオブジェクトに接続するのではなく、プロセスをそのオブジェクトの特定の状態に接続します。

リンクの変換

変換リンクには次の3種類があります。

1. 消費リンク：グラフィカルには、消費対象から消費プロセスに向かう閉じた矢印の先端を持つ矢印が消費リンクを定義します。前提として、消費対象はプロセスの実行が開始されるとすぐに消滅します。消費リンクのOPL文の構文は次のとおりです：Processing consumes Consumee。
2. 効果リンク：リンクされたプロセスがリンクされたオブジェクト（被影響者）に影響を与えることを指定する変換リンク。つまり、プロセスが被影響者の状態に何らかの未指定の変化を引き起こすことを意味します。グラフィカルには、影響を与えるプロセスと影響を受けるオブジェクトの間で、それぞれ異なる方向を指す2つの閉じた矢印を持つ双方向矢印が効果リンクを定義します。効果リンクのOPL文の構文は次のとおりです。Processing affects Affectee。
3. 結果リンク：グラフィカルには、生成プロセスから結果に向かう閉じた矢印の先端を持つ矢印が結果リンクを定義します。結果リンクのOPL文の構文は次のとおりです。Processing yields Resultee。

リンクを有効にする

イネーブリングリンクとは、プロセスを実行するためのイネーブラー（そのプロセスを実行するために存在しなければならないオブジェクト）を指定する手続き型リンクです。ただし、プロセス完了後のそのオブジェクトの存在状態は、プロセス開始直前と同じです。イネーブリングリンクには次の2種類があります。

1. エージェントとエージェントリンク：知的な意思決定能力を持つ人間または人間のグループで、システムと対話してプロセスの実行全体を通してプロセスを有効化または制御することで、プロセスを有効にします。グラフィカルには、エージェントオブジェクトから有効化するプロセスまで伸びる、終端に塗りつぶされた円（「黒いロリポップ」）が付いた線がエージェントリンクを定義します。エージェントリンクのOPL文の構文は次のとおりです。Agent handles Processing。
2. 機器および機器リンク：機器の存在と利用可能性がなければ開始または実行できないプロセスを可能にする、無生物または意思決定に関与しない要素。

状態指定変換リンク

1. 状態指定消費リンク：消費対象の特定の状態から発生する消費リンク。つまり、消費対象がリンク先のプロセスによって消費されるためには、その状態にある必要がある。図式的には、特定のオブジェクト状態から、そのオブジェクトを消費するプロセスに向かう、矢印の先端が閉じた矢印で、状態指定消費リンクを定義する。
2. 状態指定結果リンク：結果対象が特定の状態に達する結果リンク。つまり、結果対象は構築時にその結果状態にある必要があります。グラフィカルには、プロセスから特定のオブジェクト状態に向かう閉じた矢印の先端を持つ矢印で、状態指定結果リンクを定義します。構文 OPL 文は次のとおりです。Process yields qualified-state Object。
3. 州指定効果リンク：
   • 入力リンクと出力リンク - 入力リンクはオブジェクトの入力状態から変換プロセスへのリンクであり、出力リンクは変換プロセスからオブジェクトの出力状態へのリンクです。
   • 入力出力指定効果リンク: 入力リンクが影響を受ける対象の特定の状態から始まり、出力リンクがそのプロセスから始まり、同じ影響を受ける対象の出力状態で終了する一対の効果リンク。グラフィカルには、影響を受ける対象の入力状態から影響を与えるプロセスへの閉じた矢印のペアと、そのプロセスからプロセス終了時の影響を受ける対象の状態への同様の矢印によって、入力出力指定効果リンクが定義されます。構文 OPL 文は次のとおりです: Process changes Object from input-state to output-state。
   • 入力指定効果リンク: 入力リンクが影響を受ける対象の特定の状態から始まり、出力リンクがそのプロセスから始まり、特定の状態を指定せずに影響を受ける対象で終了する効果リンクのペア。グラフィカルには、影響を受ける対象の特定の状態 (入力状態) からプロセスへの閉じた矢印と、そのプロセスから影響を受ける対象 (ただし、影響を受ける対象のどの状態にも向かわない) への同様の矢印からなる一対の矢印で、入力指定効果リンクが定義されます。構文 OPL 文は次のとおりです: Process changes Object from input-state.
   • 出力指定効果リンク：入力（ソース）リンクが影響を受ける対象から始まり、出力リンクがプロセスから始まり、同じ影響を受ける対象の出力（宛先、結果）状態で終わる、一対の効果リンク。図式的には、影響を受ける対象から（その状態のいずれからもではない）影響を与えるプロセスへ向かう矢印と、そのプロセスから影響を受ける対象の特定の状態（出力状態）へ向かう同様の矢印からなる一対の矢印によって、出力指定効果リンクが定義される。

州指定の有効化リンク

特定の条件を満たす状態から始まり、プロセスで終了する。つまり、そのプロセスは、リンクの起点となる状態にオブジェクトが存在する場合に限り発生する可能性がある。

1. 状態指定エージェントリンク：グラフィカルには、エージェントオブジェクトの条件状態から、それが有効にするプロセスまで伸びる、終端に塗りつぶされた円（「黒いロリポップ」）が付いた線が、状態指定エージェントリンクを定義します。構文 OPL 文は次のとおりです。Qualifying-state Agent handles Processing。
2. 状態指定インストゥルメントリンク：インストゥルメントの特定の条件状態から始まるインストゥルメントリンク。グラフィカルには、インストゥルメントオブジェクトの条件状態から、それが有効にするプロセスまで伸びる、終端に空の円（「白いロリポップ」）が付いた線が、状態指定インストゥルメントリンクを定義します。構文 OPL 文は次のとおりです。処理には条件状態のインストゥルメントが必要です。

オブジェクトセットの前処理と前条件の処理

OPMプロセスがトリガーされた後に実行を開始するには、1つ以上の消費オブジェクト（一部は特定の状態にある可能性がある）および/または影響オブジェクトからなるオブジェクトのセットが必要であり、これらを総称して前処理オブジェクトセットと呼びます。インスタンスレベルの実行では、プロセスPの前処理オブジェクトセット内の各消費オブジェクトBは、Bを消費するPの最下位レベルのサブプロセスの開始時に消費され、存在を停止します。プロセスPの前処理オブジェクトセット内の各影響オブジェクト（状態が変化するオブジェクト）Bは、Pの最下位レベルのサブプロセスの開始時に入力状態から終了します。

後処理オブジェクトセットと処理後条件

プロセスを実行し、その実行に関連する変換を実行すると、1つ以上の結果（一部は特定の状態にある可能性がある）および／または影響を含むオブジェクトのセット（総称して後処理オブジェクトセットと呼ばれる）が生成されます。プロセスPの後処理オブジェクトセット内の各結果Bは、Bを生成するPの最下位レベルのサブプロセスの終了時に作成され、存在を開始します。プロセスPの後処理オブジェクトセット内の各影響Bは、Pの最下位レベルのサブプロセスの終了時にその出力状態に入ります。

イベントリンクと条件リンクは、それぞれイベントと条件を表します。制御リンクは、オブジェクトとプロセス間、または2つのプロセス間で発生します。

イベントリンク

プロセスをトリガーすると、プロセスの実行が試みられますが、その試みが必ず成功するとは限りません。トリガーイベントは、プロセスの前提条件が満たされているかどうかの評価を強制します。前提条件が満たされている場合に限り、プロセスの実行が続行され、プロセスがアクティブになります。前提条件が満たされているかどうかにかかわらず、イベントは失われます。前提条件が満たされていない場合、別のイベントによってプロセスがアクティブ化され、前提条件の評価が成功してプロセスが実行されるようになるまで、プロセスの実行は行われません。

1. 基本的な変換イベントリンク：消費イベントリンクとは、オブジェクトとプロセスの間のリンクであり、オブジェクトのインスタンスによってアクティブ化されます。
   • 消費イベントリンク：グラフィカルには、オブジェクトからプロセス（イベントを表す小文字のe）に向かう、矢印の先端が閉じた矢印で表されます。消費イベントリンクのOPL文の構文は次のとおりです。オブジェクトがプロセスをトリガーし、プロセスがオブジェクトを消費します。
   • 効果イベントリンク：グラフィカルには、オブジェクトとプロセスの間に、両端が閉じた矢印が付いた双方向の矢印で表され、小文字の e（イベントの略）が付きます。効果イベントリンクの OPL 文の構文は次のとおりです。オブジェクトがプロセスをトリガーし、プロセスがオブジェクトに影響を与えます。

1. 基本的な有効化イベントリンク：
   • エージェントイベントリンク: エージェントイベントリンクは、エージェントオブジェクトから、それがアクティブ化および有効化するプロセスへの有効化リンクです。グラフィカルには、エージェントオブジェクトから、それがアクティブ化および有効化するプロセスまで伸びる、端に塗りつぶされた円（「黒いロリポップ」）が付いた線で、小文字の e（イベントの e）が付いています。エージェントイベントリンクの OPL 文の構文は次のとおりです。エージェントがプロセスをトリガーして処理します。
   • 計測器イベントリンク: グラフィカルには、計測器オブジェクトから、それがアクティブ化し、小文字の e (イベントの e) で有効化するプロセスまで伸びる、終端に空の円 (「白いロリポップ」) が付いた線です。計測器イベントリンクの OPL 文の構文は次のとおりです。Instrument が Process をトリガーし、Process は Instrument を必要とします。
2. 状態指定変換イベントリンク：
   • 状態指定消費イベントリンク: 状態指定消費イベントリンクとは、オブジェクトの特定の状態から始まり、そのオブジェクトのインスタンスがアクティブ化するプロセスで終了する消費リンクです。グラフィカルには、オブジェクトの状態からプロセス（イベントを表す小文字の e が付く）に向かう閉じた矢印で表されます。状態指定消費イベントリンクの OPL 文の構文は次のとおりです。指定状態のオブジェクトが、オブジェクトを消費するプロセスをトリガーします。
   • 入出力指定効果イベントリンク: 入出力指定効果イベントリンクは、オブジェクトが指定された入力状態に入ったときに影響を受けるプロセスをアクティブ化するという追加の意味を持つ入出力指定効果リンクです。グラフィカルには、入出力指定効果リンクは小文字の e (イベントの e) で表されます。入出力指定効果イベントリンクの OPL 文の構文は次のとおりです。入力状態オブジェクトがプロセスをトリガーし、オブジェクトを入力状態から出力状態に変化させます。
   • 入力指定効果イベントリンク: 入力指定効果イベントリンクは、オブジェクトが指定された入力状態に入ったときに影響を受けるプロセスをアクティブ化するという追加の意味を持つ入力指定効果リンクです。グラフィカルには、入力指定効果リンクは小文字の e (イベントの e) で表されます。入力指定効果イベントリンクの OPL 文の構文は次のとおりです。入力状態オブジェクトがプロセスをトリガーし、プロセスはオブジェクトを入力状態から変更します。
   • 出力指定効果イベントリンク：出力指定効果イベントリンクとは、オブジェクトが生成されたときに影響を受けるプロセスをアクティブ化するという追加の意味を持つ出力指定効果リンクです。グラフィカルには、出力指定効果リンクは小文字のe（イベントのe）で表されます。出力指定効果イベントリンクのOPL文の構文は次のとおりです。任意の状態のオブジェクトがプロセスをトリガーし、プロセスはオブジェクトを宛先状態に変更します。
3. 州指定のエージェントイベントリンク：
   • 状態指定エージェントイベントリンク：状態指定エージェントイベントリンクとは、エージェントが指定された状態に入ったときにプロセスをアクティブ化するという追加の意味を持つ状態指定エージェントリンクです。グラフィカルには、状態指定エージェントリンクは小文字のe（イベントのe）で表されます。状態指定エージェントイベントリンクのOPL文の構文は、「修飾状態エージェントが処理をトリガーして処理します」です。
   • 状態指定機器イベントリンク：状態指定機器イベントリンクとは、機器が指定された状態に入ったときにプロセスをアクティブ化するという追加の意味を持つ状態指定機器リンクです。グラフィカルには、小文字のe（イベントを表す）が付いた状態指定機器リンクです。状態指定機器イベントリンクのOPL文の構文は次のとおりです。「Qualifying-state InstrumentがProcessingをトリガーし、Processingはqualifying-state Instrumentを必要とします。」

呼び出しリンク

1. プロセス呼び出し
2. 自己呼び出しリンク
3. 暗黙的な呼び出しリンク：暗黙的な呼び出しは、ズームインされたプロセスのコンテキスト内でサブプロセスが終了した際に発生し、そのサブプロセスは直下のサブプロセスを呼び出します。グラフィカルには、呼び出し元と呼び出されるサブプロセスの間にリンクはありませんが、親プロセスのズームインされたコンテキスト内での相対的な高さによって、この意味合いが示されます。

条件リンク

条件リンクとは、ソースオブジェクトまたはオブジェクト状態と宛先プロセスとの間の手続き的なリンクであり、バイパスメカニズムを提供するものです。

1. 条件消費リンク：条件消費リンクとは、オブジェクトからプロセスへの条件リンクのことです。つまり、実行時にオブジェクトインスタンスが存在し、かつプロセスの前提条件が満たされている場合、プロセスが実行され、オブジェクトインスタンスが消費されます。図式的には、オブジェクトからプロセスに向かう閉じた矢印と、矢印の近くに小文字のc（条件を表す）が付記された矢印で、条件消費リンクを表します。
2. 条件効果リンク：ただし、そのオブジェクトインスタンスが存在しない場合、プロセスの前提条件評価は失敗し、制御はプロセスをスキップします。図では、影響を受けるオブジェクトと影響を受けるプロセスの間の両方向を指す、閉じた矢印の先端を持つ双方向矢印で表され、矢印のプロセスの端の近くに小文字の c（条件を表す）があります。
3. 条件エージェントリンク：グラフィカルには、エージェントオブジェクトから有効化するプロセスまで伸びる、終端に塗りつぶされた円（「黒いロリポップ」）が付いた線で、プロセスの終端付近に小文字のc（条件を表す）が付いています。条件エージェントリンクのOPL文の構文は次のとおりです。エージェントが存在する場合、エージェントはプロセスを処理し、存在しない場合はプロセスはスキップされます。
4. 条件付き機器リンク：グラフィカルには、機器オブジェクトからそれが有効化するプロセスまで伸びる、終端に空の円（「白いロリポップ」）が付いた線で、プロセスの終端付近に小文字のc（条件を表す）が付いているものが、条件付き機器リンクを表します。条件付き機器リンクのOPL文の構文は次のとおりです。機器が存在する場合はプロセスが実行され、存在しない場合はプロセスはスキップされます。
5. 条件状態指定消費リンク：条件状態指定消費リンクとは、オブジェクトの指定された状態から始まり、プロセスで終了する条件付き消費リンクです。つまり、オブジェクトインスタンスが指定された状態に存在し、プロセスのその他の前提条件が満たされている場合、プロセスが実行され、オブジェクトインスタンスが消費されます。図では、オブジェクトの条件を満たす状態からプロセスに向かう、矢印の先端が閉じた矢印で表され、矢印の先端の近くに小文字の「c」（条件を表す）が記されます。
6. 条件付き入出力指定効果リンク: 条件付き入出力指定効果リンクは、実行時にオブジェクト インスタンスが存在し、それがプロセスの入力状態にある場合 (かつ、プロセスの前提条件の残りの部分が満たされていると仮定した場合)、プロセスが実行され、オブジェクト インスタンスに影響を与えるという追加の意味を持つ、入出力指定効果リンクです。グラフィカルには、入力の矢印の近くに小文字の c (条件を表す) が付いた条件付き入出力指定効果リンクです。条件付き入出力指定効果リンクの OPL 文の構文は次のとおりです。オブジェクトが入力状態である場合にプロセスが発生し、その場合、プロセスはオブジェクトを入力状態から出力状態に変更します。そうでない場合、プロセスはスキップされます。
7. 条件入力指定効果リンク: 条件入力指定効果リンクは、入力指定効果リンクに、実行時にオブジェクト インスタンスが指定された入力状態に存在し、プロセスの前提条件の残りの部分が満たされている場合、プロセスが実行され、オブジェクト インスタンスの状態を入力状態から未指定の状態に変更することによってオブジェクト インスタンスに影響を与えます。ただし、そのオブジェクト インスタンスが入力状態に存在しない場合、プロセスの前提条件の評価が失敗し、制御はプロセスをスキップします。グラフィカルには、入力リンクの矢印の近くに小文字の c (条件を表す) が付いた条件入力指定効果リンクです。条件入力指定効果リンクの OPL 文の構文は次のとおりです。オブジェクトが入力状態である場合にプロセスが発生し、その場合、プロセスはオブジェクトを入力状態から変更します。そうでない場合、プロセスはスキップされます。
8. 条件付き出力指定効果リンク: 条件付き出力指定効果リンクは、実行時にオブジェクトインスタンスが存在し、プロセスの前提条件の残りの部分が満たされている場合、プロセスが実行され、オブジェクトインスタンスの状態を指定された出力状態に変更することでオブジェクトインスタンスに影響を与えます。ただし、そのオブジェクトインスタンスが存在しない場合、プロセスの前提条件の評価が失敗し、制御はプロセスをスキップします。グラフィカルには、入力リンクの矢印の近くに小文字の c (条件を表す) が付いた条件付き出力指定効果リンクです。条件付き出力指定効果 OPL 文の構文は次のとおりです。オブジェクトが存在する場合にプロセスが発生し、その場合、プロセスはオブジェクトを出力状態に変更します。そうでない場合、プロセスはスキップされます。
9. 条件状態指定エージェントリンク: 条件状態指定エージェントリンク OPL 文の構文は次のとおりです: Agent が資格状態の場合、Agent はProcessを処理します。そうでない場合は、Processはスキップされます。
10. 状態指定機器リンク

詳細情報と例については、『モデルベースシステムエンジニアリングとOPMおよびSysML』第13章「動的システム側面」を参照してください。 ^{[ 4 ]}

構造リンクは、システム内の静的で時間に依存しない、長期にわたる関係を規定します。構造リンクは、2つ以上のオブジェクトまたは2つ以上のプロセスを接続しますが、展示特性リンクの場合を除き、オブジェクトとプロセス同士を接続することはありません。

一方向タグ付き構造リンク

両者の関係性の性質に関して、ユーザー定義のセマンティクスを持ちます。図では、開いた矢印の先端を持つ矢印で表されます。タグ付けされた構造リンクに沿って、モデラーは、接続されたオブジェクト（またはプロセス）間の構造的関係の性質を表し、後述の構文のOPL文に挿入したときに意味を成すテキストフレーズの形で、意味のあるタグを記録する必要があります。

単方向ヌルタグ構造リンク

タグのない単方向タグ付き構造リンク。この場合、デフォルトの単方向タグが使用されます。モデラーは、特定のシステムまたはシステムセットに対してデフォルトの単方向タグを設定できます。デフォルトが定義されていない場合、デフォルトのタグは「関連」です。

双方向タグ付き構造リンク

双方向のタグが意味を持ち、単に互いの逆ではない場合、単一の双方向タグ付き構造リンクの両側に 2 つのタグで記録することができます。結果として得られるタグ付き構造リンクの構文は、各方向ごとに 1 つずつ、2 つの別々のタグ付き構造リンク OPL 文です。図的には、リンクの線の両端に銛形の矢印が付いた線で表されます。

相互タグ付け構造リンク

タグが 1 つだけの双方向タグ付き構造リンク。いずれの場合も、相互性は、双方向構造リンクのタグが順方向と逆方向で同じ意味を持つことを示します。タグがない場合、デフォルトのタグは「関連している」となります。タグが 1 つだけの相互タグ付き構造リンクの構文は、次のようになります。ソース シングと宛先シングは相互タグです。タグのない相互タグ付き構造リンクの構文は、次のようになります。ソース シングと宛先シングは関連しています。

基本的な構造的関係

OPM の要素間の最も一般的な構造的関係は、システムの仕様記述と理解において特に重要です。基本的な関係のそれぞれは、1 つの OPM 要素 (ソース要素、または精製対象) を、1 つ以上の OPM 要素 (宛先要素、または精製対象) の集合に精緻化または洗練します。

集約参加リンク

精製対象（全体）は、1つまたは複数の他の精製対象（部分）を集約する。図式的には、頂点が全体と線でつながり、部分が反対側の水平な底辺と線でつながる黒色の塗りつぶされた三角形が、集約と参加の関係を表す。

展示特性リンク

ある物が別の物を表したり、別の物によって特徴づけられたりする。表象と特徴づけの関係は、精錬対象（表象者）を、表象者を特徴づける特性を識別する一つ以上の精錬対象と結びつける。図式的には、大きな空の三角形の中に小さな黒い三角形があり、その大きな三角形の頂点が線で表象者に接続され、特徴が反対側の（水平な）底辺に接続されていることで、表象と特徴づけの関係リンクが定義される。

一般化・特殊化と継承

これらは、任意の数のオブジェクトやプロセス クラスをスーパークラスに抽象化し、スーパークラスの属性を下位クラスに割り当てることを可能にする構造的な関係です。

1. 一般化と特化の関連性
2. 特殊化による継承
3. 識別属性による特化の制限：継承属性の可能な値のサブセットによって、特化が制限される場合があります。

分類インスタンス化とシステム実行

1. 分類インスタンス化リンク: オブジェクトクラスまたはプロセスクラスであるソースシングは、ソースシングのパターンの値付きインスタンスである 1 つ以上のデスティネーションシングに接続します。つまり、パターンによって指定されたフィーチャは明示的な値を取得します。この関係は、フィーチャ値の提供によって作成されたクラスとそのインスタンス間の関係を表現する明示的なメカニズムをモデラーに提供します。グラフィカルには、頂点がクラスシングに線で接続され、インスタンスシングが反対側の底辺に線で接続された、それ以外は空の大きな三角形の中にある小さな黒い円が、分類インスタンス化関係リンクを定義します。構文は次のとおりです。インスタンスシングはクラスシングのインスタンスです。
2. オブジェクトクラスとプロセスクラスのインスタンス

国家が指定する構造的関係とリンク

1. 状態指定特性関係とリンク：特殊化されたオブジェクトから、そのオブジェクトの識別属性の値を示す表示特性関係。つまり、特殊化されたオブジェクトはその値のみを持つことになります。グラフィカルには、頂点が特殊化されたオブジェクトに接続され、反対側の底辺が値に接続される表示特性リンクの三角形のシンボルが、状態指定特性関係を定義します。構文は次のとおりです。特殊化されたオブジェクトが値名属性名を示す。
2. 状態指定タグ付き構造関係とリンク: オブジェクトの状態または属性の値と、別のオブジェクトまたはその状態または値との間の構造関係。つまり、これら 2 つのエンティティは、関連付けの意味を表すタグに関連付けられています。null タグ (つまり、タグが指定されていない) の場合は、対応するデフォルトの null タグが使用されます。状態指定タグ付き構造関係には、次の 3 つのグループがあります。(1) ソース状態指定タグ付き構造関係、(2) 宛先状態指定タグ付き構造関係、(3) ソースおよび宛先状態指定タグ付き構造関係。これらの各グループには、適切な単方向、双方向、および相互タグ付き構造関係が含まれており、7 種類の状態指定タグ付き構造関係リンクと対応する OPL 文が生成されます。

詳細情報と例については、『モデルベースシステムエンジニアリングとOPMおよびSysML』の第3.3章「構造リンクの追加」を参照してください。^{[ 4 ]}