HOMELv015 シーケンス図の `critical`（クリティカルリージョン）フラグメント内で禁止されていることは何か。 2026年1月25日 Criticalリージョンはアトミックな（分割不可能な）処理を表し、その実行中は他の並行するイベントや相互作用が割り込むことを禁止する。 ステートマシンの「直交状態（Orthogonal State）」において、一方の領域（Region）が「最終状態（Final State）」に到達した場合、親のコンポジット状態はどうなるか。 MDAの変換定義において「マーク（Mark）」または「マーキングモデル」が果たす役割はどれか。
