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