The use of BIM-based Model Checking (BMC) has the potential to improve building design processes by enabling the automation of building assessments. However, only a few BMC systems are being used in the building design practices. The limited use has been identified to be related to socio-technical challenges that have so far not received much attention in research regarding BMC systems. To explore these challenges, a Design Science Research methodology was used to design a BMC prototype to improve the socio-technical challenges of BMC systems, specifically challenges of transparency and flexibility. The prototype was tested with practitioners to investigate aspects of BMC systems that potentially hinder its use. The results were used to discuss the potential for more practical application of BMC systems in design practices to obtain the benefits of providing a faster, more consistent, and more precise assessment of buildings.
|Tidsskrift||Journal of Information Technology in Construction|
|Status||Udgivet - nov. 2021|
Bibliografisk notePublisher Copyright:
COPYRIGHT: © 2021 The author(s). This is an open access article distributed under the terms of the Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
- BIM-based Model Checking