Practitioner experiences and requirements for rule translation used for Building Information Model-based Model Checking

Peter Nørkjær Gade, Rasmus Lund Jensen, Kjeld Svidt

Research output: Contribution to journalConference articleResearchpeer-review


Creating building designs is difficult for the designers, and mistakes that are costly for the building process are often made. The technology BIM-based Model Checking can help the designers identify errors in the design so they can correct them. BIM-based Model Checking systems uses translated rules that specify how errors are identified; in this sense, it is how the rules are identified that are the most important. Therefore, translation of the rules is a key to how successful a BIM-based Model Checking systems perform. However, there is not an agreed-upon method of translating such rules from, for example, building codes, and poorly translated rules often cause problems and has been identified as a key to better adoption of BIM-based Model Checking systems in building design practices. In this study, we investigated the experiences of practitioners whose work is either supported or unsupported by checking systems. The challenges were related to the translation of rules used in the assessment because such rules become more explicit and thereby reduce the designer’s interpretative flexibility.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)84-96
Number of pages13
Publication statusPublished - 1 Oct 2021


  • construction, environment and energy

Cite this