ステートチャート図からのＣ言語ソースコード生成において質問があります。

ガード条件がソースコードとして生成される際に、ひとつの状態要素から複数の遷移がある場合、それぞれの遷移のガード条件について優先順位をつけたいのですが、方法はありますか？

優先順位とは、ソースコードとして生成されたときに優先順位の高い遷移のガード条件からif文が書かれていくことを指しています。

たとえば、状態Ａから、状態Ｂと状態Ｃに遷移する場合、

状態Ａ→[条件①Ｘが真である]→状態Ｂ

状態Ａ→[条件②Ｙが真である]→状態Ｃ

この順番でソースになった場合には、条件①が優先であり、条件②の判定を受けることはつまり、Ｘが真でないということを暗に意味しています。

逆に、

状態Ａ→[条件②Ｙが真である]→状態Ｃ

状態Ａ→[条件①Ｘが真である]→状態Ｂ

とソース生成されてしまうと、優先順位が高いはずの条件①が優先されない処理になってしまいます。

適切に処理させるためには、すべての分岐条件を網羅するようなガード条件を設定しなければならないのでしょうか？

RealTimeUMLの製品について考える前に、ご指摘の件について
UMLとしてはどう表現するのか？という点が気になりました。

UML2.2仕様書を確認したのですが、ざっと見た範囲では
ガード条件の判定の順序についての記述はありませんでした。

関係するような気がする文章として、

In compound transitions involving multiple guards, all guards are evaluated before a transition is triggered, unless there
are choice points along one or more of the paths. The order in which the guards are evaluated is not defined.

というのがありました。


いずれにしても、ご提示のモデルには曖昧さが残っているので
それをツール側がうまく処理するというのは難しいように思いました。

まずは、UMLとして厳密なモデルを定義し、その後
それをツール(RealtimeUML)がどのようなコードにするか、という
議論になるのかな？と思います。

丁寧な回答ありがとうございました、まずは厳密に定義してソースコードを生成してみます。