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