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

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