HOMELv049 「QVT-Operational」において、あるオブジェクトの型を「強制的に」別の型として扱うための演算子はどれか。 2026年1月25日 QVT-OperationalはOCLのサブセットを含んでおり、型変換にはoclAsTypeを用いる。 UML 2.5において、ある分類子（Classifier）が「能動的」であるか（isActive）が影響を与える図は主にどれか。 OCLにおいて「Set{1,2,3}->forAll(e | e > 0)」を実行した際、要素が空のセットの場合の結果はどれか。
