Re: 連結点要素を利用したソースコード

まず、最初の問題ですが、いただいた内容とEnterprise Architectの
動作のルールを考えますと、今回のモデルで、今回のif文と
同じ数の遷移がモデル上に実際に定義されているのではないかと
推測しました。

問題の遷移に関係する連結点要素をダブルクリックして
プロパティ画面を表示し、「接続」のタブに表示される
接続の本数が、意図している本数(3本)と一致しているかどうか
ご確認ください。

もう1点の「それ以外」の件ですが、UMLの仕様としては
遷移の条件が評価される順序は不定です。そのため、
elseのような条件の表現は、モデルとして適切ではなく、
ツールとしても対応が難しいことをご理解いただけますと助かります。