The most abstract form of specialization of an architecture, favoring coverage over precision, and specifying a finite set of types for components and for relationships in the system.