Computer-interpretable format IDS++ for specification and verification of requirements in construction: idea, concept, implementation

Computer-interpretable format IDS++ for specification and verification of requirements in construction: idea, concept, implementation

Semenov V.A. (ISP RAS, Moscow, Russia; MIPT, Dolgoprudny, Moscow Region, Russia)
Arishin S.V. (ISP RAS, Moscow, Russia)
Zorin E.M. (ISP RAS, Moscow, Russia)
Morozov S.V. (ISP RAS, Moscow, Russia; MIPT, Dolgoprudny, Moscow Region, Russia; MSU, Moscow, Russia)

Abstract

Recently, software tools for requirements specification and verification based on computer-interpretable formats, which enable reliable and traceable verification of building information models (BIM), have become widely used in Russian and international construction practice. The most well-known of these is the IDS format, which enables the presentation of requirements for the information content of a BIM formed in accordance with the open international standard IFC. However, today the capabilities of the IDS standard are extremely limited. To overcome these limitations and ensure more complete and comprehensive support for sophisticated regulatory requirements expressed through parametric, geometric, topological, spatial, and other algebraic constraints, the computer-interpretable format IDS++ has been developed. The article describes the concept and basic structures of the new format and discusses the developed software applications designed for specification and verification of requirements in the construction industry.

Keywords

BIM; IFC; IDS; IDS++; digitalization of requirements; formal verification; computer-interpretable formats.

Edition

Proceedings of the Institute for System Programming, vol. 38, issue 4, part 1, 2026, pp. 201-224

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

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

For citation

Semenov V.A., Arishin S.V., Zorin E.M., Morozov S.V. Computer-interpretable format IDS++ for specification and verification of requirements in construction: idea, concept, implementation. Proceedings of the Institute for System Programming, vol. 38, issue 4, part 1, 2026, pp. 201-224 DOI: 10.15514/ISPRAS-2026-38(4)-11.

Full text of the paper in pdf (in Russian) Back to the contents of the volume