Стандарт, описывающий характеристики язык, используемый для описания требований спецификации, дизайн, или проверки данных.