It is recognized that each usage pattern (i.e., abstract view and executable view) will require a few specialized extensions, but these extensions are to be kept to a minimum and tested against requirements such as import/export and conformance checking that link the two usage patterns.
それぞれの使い方のパターン（すなわち抽象ビューと実行可能ビュー）はいくつかの専門化された拡張を必要とするが、これらの拡張は最小限に保たれ、import/exportや、二つの使い方のパターンを結ぶリンクが仕様に準拠する、などの要求に対してテストされていなければならない。