Forma cea mai abstractă de specializare a unei arhitecturi, favorizând o acoperire de peste precizie, şi specificarea unui set finit de tipuri pentru componente şi pentru relaţiile din sistem.