Cемантическая трансформация канонической информационной модели в формальный язык спецификаций для верификации уточнениястатья