HOMELv014 アクティビティ図で、デシジョンノードから出る矢印に書く[条件]を何と呼ぶか。 2026年3月17日 ガード条件が真の場合にのみ、そのパスにトークンが流れる。 IBDにおける「フロープロパティ」の属性として設定できないものはどれか。 状態遷移の表記「event [guard] / action」において、「/」以降の記述は何を指すか。