Specialization of an architecture through the addition of constraints that enable verification of consistency and validity for the architecture's components, relationships and their respective types.