「契約」タブを使用して、ポート契約を指定できます。
契約は、他のインターフェースとの関係を通して提供インターフェースと要求インターフェースを指定します。
このタスクについて
契約には 2 種類あります。
- 「明示」とは、契約はモデルの明示インターフェースであることを意味します。明示的契約は、再使用できるため、複数のポートが同じ契約を持つことができます。
- 暗黙的 - 契約は、ポートの契約としてのみ存在する「非表示」インターフェースです。
提供インターフェースと要求インターフェースの両方とも 3 つのボタンがあります。
- Add (追加) - 使用できるインターフェースのリストに、新しいインターフェースを追加します。提供インターフェースの場合、これは契約が選択されたインターフェースを継承することを意味し、要求インターフェースの場合、これは契約がインターフェースに対してステレオタイプ «Usage»の新しい依存関係を持つことを意味します。
- Edit (編集) - 選択した要素を変更できるように、その要素の「フィーチャー」ウィンドウを開きます。
- Remove (除去) - 選択したインターフェースの契約との関係を取り除きます。
「一般」タブの「反転」チェック・ボックスを選択した場合には、「契約」タブの下部に、
契約が反転されたことを示すメッセージが赤で表示されます。
手順
- 提供インターフェースを指定するには、「提供済み」フォルダー・ボタンを選択してから、最上位グループ・ボックスで「追加」ボタンをクリックします。
「新規インターフェースの追加」ウィンドウが開きます。
- インターフェースの新しい名前を入力するか、リストを使用してインターフェースを指定します。
- 「OK」をクリックします。
- 「契約」タブに戻ります。そこでは、指定した提供インターフェースがリストされています。
- 要求インターフェースを指定するには、「必須」フォルダーをクリックしてから、「追加」を選択します。
「新規インターフェースの追加」ウィンドウが開きます。
- 要求インターフェースを指定してから、「OK」をクリックします。
注: 提供インターフェース (契約を含む) が別のインターフェースと関連する場合、他のインターフェースは要求インターフェースです。
- 「OK」をクリックします。
注: ポートが提供するインターフェースが別のインターフェースを継承している場合、定義上そのポートは基底インターフェースも提供します。この構成は、
契約から基本インターフェースを除去する場合、2 つのインターフェース間の汎化も除去する必要があることを意味します (基本インターフェースを除去する前には、汎化も除去されることが通知されます)。