Abstract Building Information Modeling (BIM) is becoming an integral part of the design, architecture, and construction process, as it can integrate all building data in an accessible digital representation that can be viewed in a 3D environment prior to construction. This supports the capability of evaluating a model against building codes or design rules to ensure that the building meets the relevant functional and safety requirements for occupants. However, building regulations are typically represented in natural language and, to date, they have not been created with regard to the digital BIM design process. To automate the design evaluation of a building model, this paper describes a simple, yet extendable, domain-specific language for computationally representing building interior design rules and a method for evaluating rules in this language against a BIM model. Furthermore, previous language-based model-checking approaches have not explored the applicability of their proposed languages beyond model-design evaluation. This paper demonstrates the use of our language in a second, more complex, use case, namely the automated generation of multiple valid alternative model interior designs, compliant to a set of design rules expressed in our language. We have evaluated the usefulness of our language in two generative-design case studies, namely kitchen layouts using a set of real-world kitchen design rules provided by an commercial partner, and living-room layouts using rules put forward in earlier automated-design research. Therefore, this research bridges the concepts of automated model checking and generative design relying on the same rule language.

中文翻译：

---

使用 BIM 的建筑室内设计基于规则的合规性检查和衍生式设计

摘要 建筑信息模型 (BIM) 正在成为设计、建筑和施工过程中不可或缺的一部分，因为它可以将所有建筑数据集成到可访问的数字表示中，并可在施工前在 3D 环境中查看。这支持根据建筑规范或设计规则评估模型的能力，以确保建筑满足居住者的相关功能和安全要求。然而，建筑法规通常以自然语言表示，迄今为止，它们尚未针对数字 BIM 设计流程制定。为了自动化建筑模型的设计评估，本文描述了一个简单但可扩展的，用于计算表示建筑室内设计规则的领域特定语言，以及一种根据 BIM 模型评估该语言中的规则的方法。此外，以前基于语言的模型检查方法没有探索他们提出的语言在模型设计评估之外的适用性。本文演示了在第二个更复杂的用例中使用我们的语言，即自动生成多个有效的替代模型室内设计，符合我们的语言表达的一组设计规则。我们已经在两个生成设计案例研究中评估了我们的语言的实用性，即使用商业合作伙伴提供的一组真实厨房设计规则的厨房布局，以及使用早期自动化设计研究中提出的规则的客厅布局. 所以，