ABSTRACT
BIM-based model checking has the potential to improve the building design process concerning efficiency and consistency by allowing for automatic assessment of BIM-models. However, BMC is infrequently used the building design practice. A fundamental challenge in applying BIM-based model checking in practice is the chaotic and dynamic nature of the building design process, which is subject to many changes, like changing requirements or constraints. BIM-based model checking systems have been criticized for having poor flexibility, as well as not being able to adapt to these changes sufficiently. To improve the flexibility, we developed a proof-of-concept prototype based on requirements of flexibility from process-aware information systems theory. The prototype was used to assess a sustainability criterion on a BIM-model to explore the possibilities of developing BIM-based model checking systems with improved flexibility. Based on this demonstration we discuss the limitations and opportunities for future research and development of more flexible BIM-based model checking solutions.
