Specializzazione di un'architettura attraverso l'aggiunta di vincoli che consentono la verifica della coerenza e validità per componenti dell'architettura, le relazioni e rispettivi tipi.