Experts from different countries are engaged in the study and development of verification systems of information models of construction projects. Nevertheless a problem of systematization and structuring of information on the types of inspections that the information model of the construction object can be subjected to still exist. In this article the author proposes a possible version of the classification of information model verification types using the faceted method, which determines the potential extensibility of this classification. The facet classification method involves the parallel division of a set of objects into independent classification groupings. It does not assume a rigid classification structure and preconstructed finite groupings. Classification groupings are formed by combining values taken from the corresponding facets. The article gives a detailed description of facets that may be applied.

No abstract

The transition to a design based on information modeling has paved the way for automated verification of project documentation. The most complicated type of design documentation check is the assessment of compliance with the requirements of regulatory documents since its automation requires the translation of statements written in natural language into a machine-readable format. At the same time, building codes and regulations should be suitable for translation into machine-readable form. However, a large number of provisions presented in regulatory documents cannot be subjected to automated verification due to their specific features. This study aimed to analyze the suitability of the regulatory provisions to be translated into a machine-readable format, identify limiting factors, and establish recommendations to avoid these factors. This study was conducted based on the example of the code of rules for “Residential Apartment Buildings” (SP 54.13330.2016) applied in the Russian Federation. During the research, a previously developed algorithm that generates rules for checking building information models and is based on the RuleML language was applied to the provisions of the standard above to identify statements that can and cannot be translated. As a result, 356 statements were received, which were divided into five groups: requirements suitable for translation into a machine-readable format, requirements containing links to other documents (regulatory and not only), requirements of uncertain interpretation, requirements that cannot be verified based on an information model, and informative requirements. For the first group of statements, there were examples given for both the statements and the rules derived from them. For the other four groups, examples of statements were supplied with factors preventing the translation of requirements into a machine-readable format and solutions on how to avoid these factors. An analysis of the distribution of statements (related to the above-mentioned groups) by sections of the standard showed that a significant part of the requirements is suitable for translation into a machine-readable format. The possible obstacles to translation can be overcome by attracting experts and using programming tools. The paper also makes recommendations on how to arrange new standard structures.

The issues of automated verification of design results based on information models have been raised recently by scientists and specialists from different countries, including the Russian Federation. Interoperability of expertise based on information models of objects should be provided using open formats for the presentation and exchange of the data. Each software that performs the functions of information modeling, as a rule, stores the results of the work in files of its proprietary format. IFC allows exchanging information about the geometry, attributes and relationships between the elements of information models of capital construction, that is, provides the transfer of all types of information stored by the information model. The MVD (Model View Definition) format is used to specify the subset of data volume that is used to solve a particular problem. RuleML is a system of families of modeling languages web of rules designed for the purpose of uniform presentation and exchange of the main types of web rules and logic between different platforms. BCF (BIM Collaboration Format) is an open standard maintained and distributed by buildingSMART that allows for various information modeling applications sharing information about issues related to IFC models that were previously shared by project participants. 1 1 4 4

No abstract