WIT Press


DEVELOPMENT OF MODEL CHECKING RULES FOR VALIDATION AND CONTENT CHECKING

Price

Free (open access)

Paper DOI

10.2495/BIM190211

Volume

192

Pages

9

Page Range

245 - 253

Published

2019

Author(s)

SEBASTIAN SEIß

Abstract

The digitalization of the construction industry increases continuously. The focus of this digitalization is on building information modeling (BIM). Due to the growing usage of BIM, the requirements on the models are increasing, professional costumers, especially, require visualizations, cost estimation and scheduling, as well as an implementation of product data. Furthermore, costumers demand model checking, to see if a model fulfills the required guidelines, standards or product specifications. At this point in time, model checking is mostly manual and does not use the automation potentials of model checking with BIM. This paper focuses on the development of model content and validation checking. The aim is to define structures and methods to check models in the special case of professional project developers. Based on this, the development starts with an analysis of predefined building descriptions and Level of Development definitions. Afterward, an overview of the current state of the art and scientific knowledge in model checking is given. After that, the paper practices the content and validating checking based on an example model. The realization of the content checking is done by Solibri Model Checker and DesiteMD. The checking of the building description is difficult to realize because no current software solution can check all the requirements of a building description. Therefore, it was necessary to develop customized model-checking rules in DesiteMD. The functionality of the model-checking rules is proven by an example model. The advantages and disadvantages of the developed checking rules and methods are analyzed, as well as the database which provides the model checking content of the rules. Based on the results, recommendations for further research were given.

Keywords

model checking, content checking, validation checking, BIM