Машинно-интерпретируемый формат IDS++ для спецификации и верификации требований в строительной отрасли: идея, концепция, реализация

Машинно-интерпретируемый формат IDS++ для спецификации и верификации требований в строительной отрасли: идея, концепция, реализация

Семенов В.А. (ИСП РАН, Москва, Россия; МФТИ, Московская. обл., Россия)
Аришин С.В. (ИСП РАН, Москва, Россия)
Зорин Е.М. (ИСП РАН, Москва, Россия)
Морозов С.В. (ИСП РАН, Москва, Россия; МФТИ, Московская. обл., Россия; МГУ, Москва, Россия)

Аннотация

В последнее время в российской и зарубежной строительной практике широкое распространение получили программные инструменты спецификации и верификации требований на основе машинно-интерпретируемых форматов, обеспечивающих достоверную и прослеживаемую проверку цифровых информационных моделей (ЦИМ). Наиболее известным среди них является формат IDS, который позволяет представить требования к информационному наполнению ЦИМ, сформированной в соответствии с открытым международным стандартом IFC. Однако на сегодняшний день возможности стандарта IDS крайне ограничены. Чтобы преодолеть имеющиеся ограничения и обеспечить более полную и всестороннюю работу со сложными нормативными требованиями, выражаемыми параметрическими, геометрическими, топологическими, пространственными и иными алгебраическими условиями, разработан машинно-интерпретируемый формат IDS++. В статье описываются концепция и основные конструкции нового формата, а также обсуждаются разработанные программные приложения, предназначенные для спецификации и верификации требований в строительной отрасли.

Ключевые слова

цифровая модель BIM; стандарт IFC; спецификация IDS; формат IDS++; цифровизация требований; формальная верификация; машинно-интерпретируемые форматы.

Издание

Труды Института системного программирования РАН, том 38, вып. 4, часть 1, 2026, стр. 201-224.

ISSN 2220-6426 (Online), ISSN 2079-8156 (Print).

DOI: 10.15514/ISPRAS-2026-38(4)-11

Для цитирования

Семенов В.А., Аришин С.В., Зорин Е.М., Морозов С.В. Машинно-интерпретируемый формат IDS++ для спецификации и верификации требований в строительной отрасли: идея, концепция, реализация. Труды Института системного программирования РАН, том 38, вып. 4, часть 1, 2026, стр. 201-224. DOI: 10.15514/ISPRAS-2026-38(4)-11.

Полный текст статьи в формате pdf Вернуться к содержанию тома