HOMELv021 QVT-Relationsにおいて、2つのドメイン間で変数を共有し制約を記述する部分を何と呼ぶか。 2026年1月25日 Where句はマッピングが成立した後に満たされるべき追加条件を定義する。 UMLメタモデルにおいて、シーケンス図の「ライフライン」が参照するメタクラスはどれか。 OCLで「Sequence{1,2,3}->last()」と「Sequence{1,2,3}->at(3)」の評価結果を比較するとどうなるか。