Publications / 2019 Proceedings of the 36th ISARC, Banff, Alberta, Canada

Towards Rule-Based Model Checking of Building Information Models

Christoph Sydora and Eleni Stroulia
Pages 1327-1333 (2019 Proceedings of the 36th ISARC, Banff, Alberta, Canada, ISBN 978-952-69524-0-6)
Abstract:

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.

Keywords: Building Information Modeling (BIM); Design Constraints; Rule Checking