自动化合规检查（ACC）的机构化：欧洲实施的跨背景分析

《Building Research & Information》：Institutionalizing automated compliance checking (ACC): a cross-context analysis of implementations in Europe

　　

自动化合规检查（Automated Compliance Checking, ACC）在规划、建筑控制和环境认证领域日益得到采用，但其实际实现方式仍存在差异，且这些差异尚未被充分理解。主管部门和从业者对于在何时以及何种条件下ACC输出可被信任作为监管决策输入面临不确定性。先前研究强调数据准备（data readiness）和可审计性（auditability），但很少提供关于实施模式如何分化的跨背景分析。研究人员开展了一项多案例比较研究，涵盖欧洲多个监管背景下的ACC实施，采用以人工制品为中心的重建（artefact-centred reconstruction，包括模型、规则、执行日志）和结构化利益相关者反馈。案例通过三个视角进行分析：实施架构（implementation architecture）、证据配置（evidentiary configuration）以及治理与采纳（governance and adoption）。实施形式因嵌入法规中的证据配置而异。当证据表示（evidence representation）与执行引擎（execution engine）在结构上对齐时，检查的可解释性（explainability）最强。数据准备（data readiness）和出处（provenance）作为特定配置下的治理机制发挥作用，当服务实现工作流集成（workflow integration）、服务级成熟度（service-level maturity）和责任明确分配时，采纳最强劲。该研究贡献了一个比较性证据配置视角，阐明了证据–引擎对齐（evidence–engine alignment）作为可解释性的结构性条件，并将数据准备和出处重新定义为治理机制。这些见解表明，实施ACC需要将证据要求、出处和责任分配视为监管服务设计的一部分。

### 论文解读：自动化合规检查（ACC）的机构化——欧洲实施的跨背景分析

#### 研究背景与问题
在建筑环境数字化进程中，自动化合规检查（Automated Compliance Checking, ACC）逐渐成为核心议题。欧洲通过多项“地平线欧洲”（Horizon Europe）创新行动（如DigiChecks、ACCORD、CHEK）系统推进数字化建筑许可（Digital Building Permitting, DBP）研究。传统监管检查依赖人工解读图纸和模型中的法规与技术规范，过程劳动密集且迭代繁重。尽管ACC在规则形式化、语义推理和仿真集成方面取得显著技术进展，但实践中的实施方式差异巨大，且其背后的原因尚未被充分理解。主管部门和从业者面临关键不确定性：在何时、何种条件下，ACC的输出可以成为监管决策的可信输入？现有研究侧重数据准备和可审计性，但缺乏对实施模式如何因监管背景而分化的系统性跨背景比较。此外，成功的ACC实施不仅是技术问题，更是机构问题——自动输出如何在监管决策中获得可信性（credibility），涉及可追溯性、出处、信息契约、平台嵌入和角色分配等多维机构条件。然而，针对不同监管背景下ACC实施如何实现合法性与可靠性的实证比较研究仍然有限。为此，该研究旨在通过多案例比较分析，揭示欧洲多个监管背景下的ACC实施模式差异及其原因，具体回答三个研究问题：（1）检查依赖何种证据，证据如何表示和执行，这对可解释性有何意义？（2）数据准备概况和出处实践如何在不同监管背景下支撑可靠合规结果？（3）平台集成和人与系统安排如何影响ACC的机构采纳？

#### 主要技术方法
该研究采用多案例比较分析方法，案例来自欧洲“ACCORD”项目（EU Horizon项目）中13个已实施的ACC管道（pipeline），覆盖三个主导证据配置（evidentiary configuration）：空间–几何规划逻辑（德国GE1、西班牙ES1）、对象–属性语义建筑合规逻辑（芬兰FI2/FI4、爱沙尼亚EE1/EE2/EE4、英国UK1、德国GE3）以及评估中介环境/绿色认证逻辑（德国GE2；部分碳检查FI3/EE3）。研究方法包括：（1）有目的案例选择，要求具有明确监管基础、可执行规则产物（如SHACL形状、SPARQL查询、API集成）、演示输出以及文本到执行逻辑的转化文档；（2）以人工制品为中心的重建（artefact-centred reconstruction），收集规则形式化产物、信息准备资产、执行产物和编排脚本，实现可追溯比较；（3）结构化利益相关者证据，通过共享绩效类别工具在2023–2025年间组织研讨会和访谈，涵盖时间成本、人工工作复杂度、检查覆盖与可扩展性、透明性与一致性、技能培训需求、申请方建模影响等方面；（4）应用三个分析视角——实施架构视角、证据配置视角、治理与采纳视角——对每个重建的实施进行回顾性分析。

#### 研究结果

**案例集与成熟度**
研究采用服务导向的四级成熟度架构（A–D级）：A级为全集成、可部署服务，嵌入权威工作流；B级为可执行管道，但部分组件需手动参与；C级为可执行原型，面向选定规则集；D级为概念验证或部分组件演示。案例中，芬兰FI1/FI2/FI4（集成Lupapiste.fi平台）达到A级，Estonia EE1/EE2/EE4（集成现有e-许可平台）接近A级，其他案例多为B或C级。传统技术就绪水平（TRL）和贡献类型（KoC）分类无法充分表达端到端ACC服务的可部署性。

**跨案例结果按主导证据配置**

*空间–几何规划结果（GE1, ES1）*
一旦建立BIM–城市协调层，空间数据和政策词汇可通过有限附加规则编写实现操作化。在GE1中，土地利用规划被转换为XPlanGML，经xSPARQL转为RDF，并与从IFC通过FME工作流生成CityGML再转为RDF的数据整合，形成统一可查询图，执行12项合规检查（如建筑轮廓在规划边界内、楼面面积指数和建筑高度在限值内等）。检查返回布尔值和描述性结果。主要工作量集中在数据准备（IFC到CityGML转换需坐标参考系统（CRS）对齐和属性传递），而非规则编码。在ES1中，以城市规划计划（POUM）为监管来源，遵循相同模式。空间–几何规划检查主要依赖于链接的城市–规划–BIM表示上的几何/拓扑和分区断言，其可扩展性与可信性取决于协调质量。

*对象–属性语义建筑合规结果（FI2, FI4, EE1, EE2, EE4, UK1, GE3）*
这些案例集中在提交时的信息准备和学科特定规则执行。UK1展示了结构构件检查的完整实施：通过信息交付规范（IDS）验证所需对象和属性，IFC模型经IFC2CA转换为Code_Aster进行有限元分析（FEA），结果绑定到本体实例，用SHACL评估Eurocode条款。在FI2/FI4中，手工数字化（从电子表格到需求、适用性、选择、例外（RASE）再到表达式）与执行映射对齐，无仿真阶段。在爱沙尼亚案例中，多个规则集在现有宿主服务内执行，揭示了与现有e-许可平台集成的约束。GE3展示了模块化木结构防火安全的语义规则执行，使用从MHolzBauRL导出的SHACL约束和增强RDF模型。两个反复出现的依赖关系：IDS验证作为数据准备控制，以及将求解器输出和配置假设绑定回语义层（当合规依赖派生证据时）。平台集成条件（如现有权威平台内执行）可能对可行性的影响与规则检查机制本身一样强。

*评估中介环境/绿色认证结果（GE2; FI3/EE3部分）*
在GE2中，生命周期评估（LCA）模型在GENERIS?中准备，经数据集映射、单位转换和生命周期参数设置后，由德国可持续建筑委员会（DGNB）的基于XML的API评估，返回合规状态和得分。从IFC直接推导完整LCA模型存在限制，但评估阶段完全机器可执行。FI3/EE3对CO₂当量（CO₂e）评估工作流程进行了部分演示，展示了如何处理低质量或缺失模型信息，生成可能输出范围并检查保守上限。在这些案例中，合规确定由评估引擎中介，核心要求不仅是执行评估调用，还能将模型适用性、数据集映射、单位惯例和求解器或API配置作为出处记录，并与提交证据链接。

**跨证据配置的综合整合**
数据准备成为自动化质量的主要调节因素：在建筑合规中，IDS提供可控门控，提高下游检查信噪比；在空间–几何规划中，等效的是BIM–城市协调（特别是IFC到CityGML和CityRDF转换及CRS对准）；在评估中介环境/认证中，模型适用性和数据集映射是有意义的API确定的前提步骤。引擎选择反映证据类型：SPARQL/GeoSPARQL用于几何和分区关系为主的规划，SHACL/本体用于模型中心断言的建筑检查，方案API用于外部评估者定义合规逻辑的认证。有效实施使这些引擎可组合，将结果作为一等事实传递以维持可解释性。当合规依赖分析或生命周期评估时，需将仿真绑定到语义：输入、求解器设置和输出应被捕获并链接，使最终决策可审计。

**利益相关者反馈**
通过使用共同绩效类别工具的研讨会和访谈收集利益相关者输入。在规划案例中，参与者重视基于查询的检查的透明性及将每个发现追溯至计划特征和地块/建筑几何的能力，主要摩擦点是数据准备精力。在建筑合规案例中，IDS门控被一致报告减少了返工，设计师强调早期缺陷检测和清晰的建模期望，但关注建模负担和规则组合维护。在环境认证案例中，参与者接受DGNB API作为可信决策引擎，前提是出处被捕获并与提交共享，主要瓶颈是数据集映射和单位转换。

#### 讨论与结论
**讨论总结**
该研究指出，ACC实施不能简化为规则翻译的一般问题，而是受所检查法规中主导证据配置的结构性条件影响。空间–几何规划中的主要技术依赖是协调（坐标对齐、词汇协调、BIM与空间规划产物集成），规则复杂性其次；可解释性来自协调图上的透明空间查询。在对象–属性建筑合规中，结构化信息需求（如IDS）在检查前即塑造建模行为，信息完整性成为机构控制机制。在评估中介环境/认证中，核心问题转向出处，机构接受取决于派生结果的可追溯性而非仅规则逻辑。证据–引擎对齐作为结构性解释性条件：当计算机制与法规的证据形式结构对应时，解释性和可靠性最强。数据准备和出处作为治理机制，分配申请者与主管部门之间的责任。机构嵌入与技术能力不同：集成在现有e-许可平台中的实施尽管架构不透明，但显示出更强的操作接受度。研究还揭示了机构性采纳的三个含义：自动化在锚定于公认监管程序或认证方案时变得可信；治理安排（如集中式规则组合或协调数据标准）影响跨司法管辖区的协调步伐；结构化信息需求（如IDS）通过明确建模期望和减少解释歧义促进程序形式化。

**研究结论翻译**
以下三条相互关联的结论来自这项对欧洲监管背景下ACC实施的多案例分析。
第一，ACC实施是一种对配置敏感（configuration-sensitive）的实践：根据法规中嵌入的主导证据逻辑（空间–几何、对象–属性语义或评估中介），实施稳定方式不同——这解释了为何相似的技术组件在不同监管背景下表现不同。
第二，可解释性和可信赖性是架构属性（architectural properties）：它们产生于证据表示与执行引擎的连贯配对，并受数据准备和出处实践调节，这些实践作为治理机制而非纯粹技术使能因素发挥作用。
第三，ACC的机构接受度更多地取决于服务级嵌入（service-level embedment）而非技术复杂性：即特定ACC服务在权威工作流中的集成，以及对规则维护和数据管理的责任明确分配。本研究应用的服务导向架构通过关注个别服务的部署状态而非整个许可组织，补充了现有的DBP成熟度框架。
这些结论应限于其来自的欧洲演示背景。其向不同监管传统司法管辖区以及样本中未包含的许可类型的可转移性，仍然是一个开放问题。对主管部门而言，研究发现表明，数字建筑许可策略应优先考虑配置适当的治理：规划中的空间协调、建筑合规中的结构化信息契约以及认证中的出处透明度。对技术提供者而言，嵌入验证门控和可审计执行链至关重要，才能使ACC输出作为监管决策的可信输入。需要进一步的纵向研究，涉及规则组合治理以及来自运营中ACC服务的定量性能证据，以检验证据配置框架在此提供的比较综合之外的一般性。