How Practice Is Represented in BIM-Based Model Checking Research – A Literature Review and Reflections

In both research and industrial reports one of the major challenges for Building Information Modelling and Checking remains of socio-cultural nature, for example with cultural resistance. While this has remained one of the main challenges for years, this article aims to investigate how contemporary model checking research approaches this challenge. Therefore, the article contains a structured literature review to map out methodi-cal approaches and use of empirical data from the industry practices to highlight how the research domain interacts with the problems situated in the practices. The study presents a review of 71 papers that shows limited use of data from practice and a clear methodical trend of suing artefact development with limited evaluation of empirical data from practice. These findings indicate a gap in the research domain of repre-senting practice in model checking research.