HOMELv020 ステートマシン図の「直交状態(Orthogonal State)」内の一つの領域(Region)が終了状態に達した場合、他の領域はどうなるか。 2026年1月25日 直交領域は互いに並行して動作するため、一方が終了状態になっても、コンポジット状態全体が終了(Join)する条件を満たすまでは、他の領域は動作を継続する。 クラス図の関連クラス(Association Class)が、多対多の関連を解決するために通常のクラスと2つの関連に分解された場合、元の関連クラスの意味と完全に等価になるか。 OCLにおいて、`context Person inv:` のように記述される `inv` は何を表すか。