язык спецификаций