モデル駆動開発において、モデルの静的な構造だけでなく、動的な振る舞いを検証する手法を何と呼ぶか。

OCLにおいて、コレクションの「平坦化（flatten）」を行った際、要素が1段階のみ展開されることを保証する演算はどれか。