基于openBIM的建筑规范合规性检查开发：维也纳市案例研究

《Building Research & Information》：Development of openBIM based building code compliance checks: Case study in the City of Vienna

　　

本研究提出了一种结构化的、面向过程的方法论，用于在现实公共部门许可流程中开发和验证自动化规范合规检查（Automated Code Compliance Checking，ACCC）系统。该方法论解决了在法律和技术约束下，将自然语言表述的建筑规范系统地转化为检查规则的挑战。所提出的方法遵循一个四阶段工作流程，包括法律条文评估、迭代开发与测试以及基于试点的验证。研究人员引入了一个监管信息矩阵（Regulation Information Matrix，RIM）作为核心方法论工件，用于记录法律解释、信息需求、实施决策和验证结果，从而确保整个开发过程中的透明度和可追溯性。该方法论在BRISE-Vienna项目中进行了实例化和评估，采用了openBIM标准和基于规则的检查环境。在涉及24个真实建筑项目和多个建筑信息模型（Building Information Modeling，BIM）创作工具的试点阶段，该方法论在异构建模条件下得到了验证。来自奥地利OIB指南4（OIB Guideline 4）的一个代表性监管要求被用于说明从法律解释到可执行检查逻辑的端到端工作流程。结果表明，当法律专业知识、信息建模和迭代验证被系统整合时，ACCC能够以可靠和透明的方式投入运行。本研究贡献了一个可转移的方法论框架，支持在不同监管许可背景下可持续的ACCC开发。

**论文解读：基于openBIM的建筑规范合规性检查开发——维也纳市案例研究**

**研究背景与问题**

建筑行业的数字化转型正快速发展，建筑信息模型（BIM）的广泛应用使得数字模型可用于公共部门的建筑许可流程。自动化规范合规检查（ACCC）被视为数字化许可流程的关键组成部分。然而，现有研究主要聚焦于孤立的技术解决方案，如本体建模、规则编码或单一法规的翻译，缺乏从法律条文解释到可执行规则集全链条的系统性方法论。特别是在真实公共部门许可环境中，如何将自然语言表述的复杂建筑规范转化为可维护、可扩展的检查规则，并确保透明性、可追溯性和可靠性，仍是一个未充分探索的研究空白。针对这一缺口，本研究旨在开发一种结构化的、面向过程的方法论，以支持ACCC系统在现实法律、组织和技术约束下的开发与验证，并依托BRISE-Vienna项目进行实例化评估。该论文发表在《Building Research》。

**关键技术方法**

研究人员采用行动研究（Action Research）与设计科学研究（Design Science Research，DSR）相结合的设计框架，通过多阶段迭代流程开展研究。关键技术方法包括：（1）四阶段方法论流程：法律框架评估、检查规则开发、模型生成与测试、试点验证；（2）监管信息矩阵（RIM）作为核心工件，系统记录法律解释、信息需求、实施决策与验证结果；（3）基于规则的检查环境（Solibri Office）与应用程序编程接口（API）扩展相结合实现检查逻辑；（4）利用开放BIM（openBIM）标准，整合建筑应用模型（BAM）、参考模型（REM）和服务信息模型（SIM）三类IFC模型构建权威方检查模型。样本来源于维也纳市24个真实建筑项目（13个新提交，11个重建），涉及多种BIM创作工具（Archicad、Revit、Allplan）和不同建模水平参与者。

**研究结果**

**试点应用汇总结果**：研究人员对1495条法律条文进行了系统分析，其中52%来自维也纳建筑规范，43%来自OIB指南，5%来自维也纳车库法。通过结构化分类，644条被判定为适合模型检查，非模型相关的条文主要为程序性规定。基于这些条文，开发了总计1243条检查规则，涵盖模板化规则（SOL）和程序化扩展（API）。试点阶段在24个真实项目上执行检查，验证了方法在异构建模条件下的有效性。虽然由于法律限制无法量化时间节省，但半自动和辅助检查机制显著减少了重复人工劳动并提高了审查一致性。

**ACCC方法论示范**：以OIB指南4第2.8.3条（关于容纳超过120人的房间需至少有两个足够远离的出口）为例，展示了从法律解读到可执行规则的完整流程。由于“足够远离”一词需要专业判断，该方法采用半自动检查方案：通过模板SOL-230过滤房间（基于Pset_SpaceOccupancy属性），SOL-231检查至少两个紧急出口（基于FireExit分类），SOL-232图形高亮显示房间与出口以辅助人工评估距离。测试模型验证了检查规则组在三种测试案例（属性真、假、未定义）下均输出预期结果。

**讨论与结论**

讨论部分指出，该方法论通过RIM实现法律解释的结构化分解，解决了现有研究中法律解释决策可追溯性不足的问题。迭代开发周期与持续验证确保了自动检查与既有监管实践的协调。尽管实证限于维也纳单一司法管辖区，但该贡献并非跨司法管辖区的通用验证，而是提供了一种可转移的方法论框架，其核心在于结构化分解、信息需求定义与迭代对齐，具体规则实现需适应当地法规。研究还强调，可持续的ACCC不仅依赖技术可行性，更取决于持续治理、机构协调、透明文档记录和迭代适应。局限性包括依赖专家知识、RIM维护的人工成本、基于规则的范式在模糊法规前的灵活性不足，以及实证限于单一机构背景。结论部分翻译如下：本研究提出了一种结构化的、实践导向的方法论，用于在现实公共部门许可流程中开发和验证ACCC系统。通过BRISE-Vienna项目实例化，该方法论应用于大型异构监管语料库，并经试点验证表明，当法律、技术和组织视角被明确对齐并持续协调时，广泛的建筑规范可以被系统化地投入运行。所提出的监管信息矩阵在确保整个开发阶段的透明度、可追溯性和可维护性方面至关重要。该方法支持自动、半自动和辅助检查机制的不同组合，反映了法律模糊性和专业判断的现实。尽管具体规则实现依赖于情境且需本地重新解释，但底层开发工作流程为类似公共部门许可环境提供了可转移的方法论框架。可持续的自动化合规检查并非仅通过技术可行性实现，而是通过结构化开发、验证和文档记录实践嵌入现有许可流程来实现。