ITU-T Formal Language Databases
Formal descriptions and Object identifiers databases
Formal descriptions databases

Formal description techniques are extensively used in ITU-T Recommendations to describe system behaviour, structure and data, in order to produce precise and unambiguous formal specifications, which are essential to the quality of the Recommendations and their implementations. Those descriptions are organized by formal language as follows:

ASN.1 Module Database

XML Document Database

MIB & PIB module database

LDIF Files Database

GDMO Definitions database


Object identifiers databases

Object identifiers are used to identify modules, attributes, functions, etc. in a unique and universal way. Several tools and directories are available for that purpose:

AVP registry

UUID (Universally Unique Identifier) server and registry

Other resources maintained by the ITU-T ASN.1 & OID project leader:

Object identifier (OID) repository (as defined in Rec. ITU-T X.660-series)