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 Others... 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)