Questioning the rationality of how BIM-based Model Checking is envisioned

The research domain of BIM-based Model Checking (BMC), also known as rule checking or compliance checking, has shown great potential in many aspects of the building life cycle. Many of these attempts to solve some of the critical issues in the construction industry are reducing non-compliancy of rules. Many of the articles published in the domain seem to follow a specific pattern of rationality that, by some, could be defined as technological determinism. In essence, technological determinism posits that we use technology (BMC) to determine societal change (less non-compliance). For many purposes, a technological deterministic approach is suitable when the technology and societal change are well understood by the developers. For example, if the approach to assessing the safety of building sites is agreed upon, a technological solution can be made to assist in assessing the safety. However, problems can arise when these societal changes are not agreed upon by the parties involved. So, when we want to assess something like buildability, the different stakeholders might have different ideas and values related to assessing buildability. If this is not understood or considered when developing the technological solution to assess the buildability, it can create many unforeseen challenges.