HOMELv013 シーケンス図において、非同期シグナルの送信を示す矢印の形状はどれか。 2026年3月17日 非同期メッセージ（シグナル送信）は、オープンな矢印頭（Stick Arrowhead）で表現される。 状態遷移図において、イベントが発生した際に複数の遷移候補がある場合、どの遷移が優先されるか。 制約ブロック内で定義される数式において、複数の変数を結びつける記号として一般的に使用されるのはどれか。
