関数呼び出しの入力イベントによってイネーブルにされるチャートの例

以下のモデルでは、CallerチャートはイベントEを使用してCalleeチャートを起動し、実行します。

Callerチャートには 2 つのステート、AとBが含まれています。出力イベントEをステートAにバインドすると、次のようになります。

時相論理演算子afterは、10 タイム ステップごとにアクティブ ステートを変更するので、Calleeチャートは繰り返しイネーブルおよびディセーブルにされます。

Calleeチャートには 2 つのステート、CとDが含まれています。チャートが実行されるたびに、出力データyが 1 ずつ増分されます。最初は、ステートCはアクティブです。1 タイム ステップの後、yの値が正になり、チャートはステートDに遷移します。

プロパティがHeldの場合のチャートのシミュレーション

Calleeチャートでは[イネーブル時の状態]プロパティがHeldに設定されています。シミュレーション中に、関数呼び出し入力イベントが時間およびでチャートを再度イネーブルにすると、ステートDがアクティブのままになり、出力yは最新の値を保持します。

プロパティがResetの場合のチャートのシミュレーション

Calleeチャートで[イネーブル時の状態]プロパティをResetに変更します。シミュレーション中に、関数呼び出し入力イベントが時間およびでチャートを再度イネーブルにすると、ステートCがアクティブになり、出力yは初期値 0 に戻ります。