Towards Rule-Based Model Checking of Building Information Models

摘要

Designing a building, so that it adheres to all the relevant applicable constraints imposed by construction codes to cultural preferences to the owners' styles and aesthetics, can be a daunting task, requiring many laborious hours of review and modification. Given the increasing adoption of Building Information Modeling (BIM) in the design process, automated model checking is a pragmatic approach to expeditiously identifying errors that may otherwise cause issues later in the building phase. A variety of methods have been proposed, but they are opaque regarding the rules they consider, and they do not allow users to edit these rules. In this paper, we describe a simple, yet extendible, language for specifying building rules and a method for evaluating these rules in the context of a BIM instance, in order to assess the compliance of the building with these rules.