Defines a framework for describing types of interest in ODP systems by determining what entities need to be typed and what needs to be said about the identified types. It provides a standard method of accessing type descriptions used within open distributed processing systems, where the type descriptions can be in various concrete syntaxes and type languages used in these open distributed processing systems. It also facilitates the dynamic matching of types for interactions, binding and trading purposes.