HOMELv034 ステートマシン図において、遷移の優先順位を決める際、ソース状態が同じでガード条件も共に真となる遷移が複数ある場合、何によって解決されるか。 2026年1月25日 ソース状態が同じで競合する遷移がある場合、優先順位は定義されておらず、どちらが発火するかは保証されない(モデルの曖昧さ)。 ステレオタイプがプロパティ(タグ定義)を持つ場合、その値をモデル上で指定したものは何と呼ばれるか。 シーケンス図において、送信元が不明(図の枠外からの送信)なメッセージや、送信先が不明(枠外への送信)なメッセージを何と呼ぶか。