Bentuk paling abstrak spesialisasi arsitektur, mendukung cakupan lebih presisi, dan menentukan jenis himpunan berhingga untuk komponen dan hubungan dalam sistem.