プロファイル定義において、ステレオタイプがメタクラスを拡張する際、`required` 属性が `true` である拡張（Extension）の意味はどれか。

Required Extensionは、対象のメタクラスを使用する場合、常にそのステレオタイプが付加されることを強制する（例：特定のドメイン固有言語において、通常のClassを使わせず常にSpecificClassを使わせたい場合など）。