HOMELv031 OCLにおいて、順序を持つコレクション「Sequence{1,2,3}」の「2番目から最後」までを抽出する式はどれか。 2026年1月25日 OCL 2.4以降では、tail()演算子が「最初を除く残りの要素」を返すショートカットとして定義されている。 OCLにおいて、2つのコレクションが「共通の要素を1つも持たない」ことを確認する式はどれか。 UMLメタモデルにおいて、アクションの「制御フロー」の移動を許可するための「トークン」の概念はどこで定義されているか。
