HOMELv060 「QVT-Operational」において、変換のメインエントリポイントを定義する際に使用されるキーワードはどれか。 2026年1月25日 transformation宣言内に記述された特定の構成（通常はmain等）が変換の起点となる。 OCLにおいて、コレクション「s」が空であることを確認する記述「s->isEmpty()」と等価なものはどれか。 OCL式「Sequence{1,2,3}->reverse()」の結果はどれか。
