HOMELv011 シーケンス図の結合フラグメントにおいて、指定された順序以外のイベントが発生し得ないことを保証する演算子はどれか。 2026年3月18日 assert(assertion)は唯一の有効なシーケンスであることを表明する。 ステートマシン図において、複数の領域が同時にアクティブな状態で、すべての領域が終了状態に達したときに発生する遷移はどれか。 コンポジット構造図において、2つのパーツ(Part)が直接通信することを可能にする線はどれか。