トリガのパラメータ

<< 目次を表示 >>

ページ位置:  シミュレーション > 振る舞いモデルのシミュレーション >

トリガのパラメータ

シミュレーション中に、トリガにパラメータを渡して発行できます。複雑なシミュレーションを実行するために、トリガに関連する値を随時指定して、その値に応じた振る舞いの変化を確認できます。

 

 

項目

説明

概要

パラメータのあるトリガを利用するための流れは以下の通りです。

  • まず、シグナル要素を作成し、その要素に属性を追加します。この属性が実行時のパラメータになります。
  • ダイアグラム内の遷移に対して、作成したシグナル要素を呼び出す、シグナルと同名のトリガを遷移に関連づけます。
  • シミュレーションの実行時に、このパラメータの値を指定するためのダイアログが表示され、値を入力できます。

シグナル

シグナル要素はシグナルトリガに関連づけて利用します。下の例では、2つの属性(パラメータ)を持っています。トリガの発行時や、トリガセットの構成時にパラメータの実際の値を指定します。

トリガを作成する際には、シグナル要素と同名にする必要があります。

 

トリガのパラメータ

トリガのパラメータを指定するダイアログが実行時に表示されます。文字列については、二重引用符(”)で囲む必要があります。そうでない場合には、他の変数を参照すると解釈されます。

パラメータが複数ある場合には、そのすべての値を設定する必要があります。

 

サンプル

下の例はトリガのパラメータを利用する図の例です。Evalueate Login の状態では、トリガとして渡されてきた値の内容を参照し、次の状態を決定しています。