Аннотация:Объявленный переход к машиночитаемым и машинно-интерпретируемым форматам в архитектурно-строительном комплексе РФ имеет целью повышение качества проектной документации за счет формализации, автоматизации и интеллектуализации процедур проверок цифровых информационных моделей зданий и сооружений. Предпринимаемые отдельными организациями и компаниями попытки создания каталогов требований и соответствующих программных инструментов для их ведения и использования, как правило, носят частный, несистемный характер и не отвечают важнейшим и общепринятым принципам системной инженерии и инженерии требований. В статье рассматриваются разработанные в ИСП РАН открытые web-сервисы для комплексного решения задач цифровизации требований, которые отвечают всем вышеупомянутым принципам инженерии требований и обеспечивают необходимую строгость спецификаций требований и достоверность результатов проверки ЦИМ за счет применения формальных методов.