Špecializácia architektúry prostredníctvom okrem obmedzení, ktoré umožňujú overenie konzistencie a platnosť pre architektúru komponentov, vzťahy a ich príslušných typov.