Spesialisasi dari arsitektur melalui penambahan kendala yang memungkinkan verifikasi konsistensi dan validitas untuk komponen arsitektur, hubungan dan jenis masing-masing.