HOMELv022 ステートマシン図において、ある状態が「アクティブ(Active)」であるとはどういうことか。 2026年1月25日 状態がアクティブとは、入場(entry)してから退場(exit)するまでの間、制御がその状態構成の中に存在していることを指す(待機中も含む)。 UMLメタモデルにおいて、すべての「型(Type)」の要素が準拠すべき共通の性質(適合性など)を定義しているパッケージはどれか。 OCLの `isUnique` 操作は、何を確認するものか。