Those aspects of the rules used in the formal specification of data that embody a specific representation of those data.