Skip to main content

要素: 例外遷移

例外遷移は、エラーまたは例外が発生した場合に、次の状態または疑似状態への切り替えを制御します。例外遷移には、ガード条件とオプションでアクションがあります。

例外遷移は、現在の処理を中断します。まず、現在アクティブな状態がサイクルの最後まで処理されます。次に、システムはこの例外への反応として意図された状態に切り替わります。この状態では、エラー処理と例外処理が実行されます。ソース状態は通常、複合の直交状態です。

_uml_img_exception_transition.png

ヒント

例外遷移は、複合状態から任意のサブ状態を終了するために使用されます。その状態は評価されます。 アクティブ状態のDOアクションが実行された。例外遷移の条件が満たされている場合でも、 TRUE 複合状態に初めて入ると、最初の状態の DO アクションが実行されます。ENTRY アクションと EXIT アクションは条件にリンクされていないため、例外遷移に関係なく常に実行されます。

例外遷移は、複合状態からではなく、各サブ状態から直接発生するものとして解釈できます。例外遷移の条件は、DO アクションの後に評価されます。ENTRY アクションと EXIT アクションは条件にリンクされていないため、例外遷移に関係なく常に実行されます。

疑似例外遷移

疑似例外遷移は、複合状態の終了状態を置き換えます。

1. 疑似例外遷移の表記
疑似例外遷移の表記


複合状態では、終了状態の代わりに例外遷移を使用する方がわかりやすい場合があります。これは複合状態の端に描画されます。次に、例外遷移の条件下で複合状態全体が終了します。ただし、この使用法はエラー動作を意味するものではありません。したがって、例外遷移のプロパティは疑似例外遷移として定義されます。これは循環実行動作には影響しません。

プロパティ

財産

説明

タイプ

Exception transition

優先度

優先度は処理の順序を定義します。

例: 3

注: 状態に他の遷移があり、優先順位を変更すると、すべての遷移が変更の影響を受け、自動的に適応されます。

疑似例外

  • _cds_icon_option_deactivated.png: 通常の例外遷移。エディターでは、これは赤い破線で示されます。デフォルト。

  • _cds_icon_checked.png: 疑似例外遷移。エディターでは、青い破線で示されます。条件が満たされると状態は終了します。ただし、これはエラーではありません。

上昇エッジ

  • _cds_icon_checked.png: ガード条件が立ち上がりエッジを生成すると、遷移が実行され、状態遷移が実行されます。

    ヒント: エディターでは、このように動作する例外遷移は、 _uml_icon_transition_rising_edge.png シンボル。

  • _cds_icon_option_deactivated.png: ガード条件が TRUE、遷移が実行されます。

ユーザー入力

アクション

説明

  1. の中に ツールボックス 表示する場合は、 例外遷移 要素。

  2. 複合状態をクリックします。

  3. 別の状態(ターゲット状態)をクリックします。

例外遷移は TRUE 条件とアクション シンボルが生成されます。

注記

既存の要素ではなく空白の領域をクリックすると、新しい状態 (終了状態) が作成されます。

  1. 複合状態を選択します。

  2. クリック _uml_icon_tool_transition_exception.png シンボル。

  3. 別の状態(ターゲット状態)をクリックします。

例外遷移は TRUE 条件とアクション シンボルが生成されます。

  1. ダブルクリック _uml_transition_condition_default.png シンボル。

    入力フィールドが開きます。

    _uml_icon_input_assistant.png

  2. ブール変数またはブール式を選択します。

この条件が満たされると、遷移に切り替わります。

  1. クリック _uml_icon_sc_transition_action_2.png 二度。

    インライン エディターが開きます。

  2. プログラム、メソッド、またはアクションの名前を指定します。

入力を開始すると、一致するコンポーネントがリスト ボックスに表示されます。ダブルクリックしてオブジェクトを選択できます。

選択されたメソッドまたはアクションは、遷移が切り替えられたときに実行されます。

  1. トランジション、アクション シンボル、またはガード シンボルを 1 回クリックします。

    トランジションが選択されています。これは青い矢印で示されます。

  2. トランジションを移動します。

遷移の線はどこにでも移動できます。状態はそのまま残ります。

  1. 例外遷移の開始または終了をクリックします。

    _uml_icon_reconnect_transition.png シンボルが表示されます。

  2. シンボルを別の状態にドラッグします。

この機能を使用すると、以前の構成を失うことなく、遷移を別の状態に移動できます。対応する条件とアクションは変更されません。