Ｉ

ＳＳＮ１０００－００５４ 清华大学学报 （自然科学版） ２０２０ 年 第 ６０ 卷 第 １０ 期 １０／１１

ＣＮ１１－２２２３／Ｎ ＪＴｓ
ｉｎｇｈｕａ Ｕｎ
ｉｖ（
Ｓｃ ｌ），２０２０，Ｖｏ
ｉ＆ Ｔｅｃｈｎｏ ｌ．６０， Ｎｏ．
１０ ８７３－８７９

基于 ＢＩＭ 的合规性自动审查

林佳瑞１ ， 郭建锋２

１．清华大学 土木工程系，北京 １０００８４；２．广联达科技股份有限公司，北京 １００１９３）

（

摘 要：建筑工程 合 规 性 审 查 是 确 保 设 计 或 施 工 方 案 满 足 ｈａｖｅｍａｎｙｄ
ｉｆｆ
ｅｒｅｎｃ
ｅｓｗｉ
ｔｈｈｕｇｅｓ
ｅｍａｎ
ｔｉｃｇａｐｓｔ
ｈａｔｒ
ｅｑｕ
ｉｒｅｆ
ｌｅｘ
ｉｂｅ，
ｌ
规范，建设绿色、安全、舒适的 工 程 的 关 键 环 节。传 统 人 工 ｕｎ
ｉｆｉ
ｅｄｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｍｏｄｅ
ｌｓ，ａ
ｌｓｏｆ
ｕｒｔ
ｈｅｒｉ
ｎｖｅ
ｓｔｉ
ｇａｔ
ｉｏｎｓａ
ｒｅｎｅ
ｅｄｅｄｏ
ｆ
ａｕ
ｔｏｍａ
ｔｉｃｒ
ｕｌｅｅｘ
ｔｒａ
ｃｔｉ
ｏｎ ｍｅ
ｔｈｏｄｓｗｉ
ｔｈａｎｏｐｅｎｅｎｖ
ｉｒｏｎｍｅｎ
ｔｆｏ
ｒｒｕ
ｌｅ
核对方式对人员的经验及其水平要求高，存在尺度不一、低
ｓｈａ
ｒｉｎｇ ａｎｄ ｉｍｐ
ｒｏｖｅｄ ｍｅ
ｔｈｏｄｓ ｗｉ
ｌｌｉ
ｎｖｏ
ｌｖｅ ｃ
ｏｍｐ
ｌｅｘ ｓｐａ
ｔｉａ
ｌ
效漏项、人为操控等弊端。该文对近年来合规性自动审查的 ｒ
ｅｌａ
ｔｉｏｎｓｈ
ｉｐａｎｄｌ
ａｒｇｅｒ
ｅａｓ
ｏｎｃ
ａｐａ
ｃｉｔ
ｉｅｓ．
有关研究应用作 了 全 面 调 研 和 综 述，建 立 了 基 于 建 筑 信 息 Ｋｅ ｓ：ｂｕ ｏｎ； ｃ ｎｇ；
ｙｗｏ
ｒｄ ｉ
ｌｄｉ
ｎｇ ａｎｄ ｃ ｏｎｓ
ｔｒｕｃｔ
ｉ ｏｍｐｌ
ｉａｎｃ
ｅ ｃｈｅｃｋｉ
模型（
ｂｕｉ
ｌｄｉ
ｎｇｉ
ｎｆｏ
ｒｍａ
ｔｉ ｌ，ＢＩＭ）的 合 规 性 自 动 审 查
ｏｎ ｍｏｄｅ ａｕ
ｔｏｍａ ｔ
ｉｃｃｏｄｅ ｃｈｅ
ｃｋｉｎｇ； ｒｕ
ｌｅ ｒｅ
ａｓｏｎｎｇ； ｂｕ
ｉ ｉ
ｌｄｉｎｇ
研究框架，并从审查规则解译表达、信息建模扩展、规 则 推 ｉ
ｎｆｏ
ｒｍａ
ｔｉ ｌ（
ｏｎ ｍｏｄｅ ＢＩＭ）

理执行及结果输出表现等方面综述了研究现状和不 足 之 处。
最后，指出合规性自动审查的研究方兴未艾，尽管已取得了
改革开放以来，中国经历了人类历史上最大规
丰硕的成果，但是仍面临信息模型异构和语义鸿沟，规则自
模、最快速度的城市 化 过 程，城 市 规 模 和 人 口 爆 炸
动解译和开放、灵活共享，复杂空间关系分析和大规模推理
式增长。大量的高层 及 超 高 层 建 筑、医 疗 及 商 业 综
等巨大挑战。
合体既是城市功能的核心载体，也是城市耗能 ［１－２］
关键词：建 设 工 程；合 规 性 审 查；自 动 规 则 检 查；规 则 推
与安全 事 故 的 主 要 场 所 ［３－４］。人 们 日 益 增 长 的 舒
理；建筑信息模型（
ＢＩＭ）
适、节能与安全需求 对 建 筑 工 程 的 设 计、建 造 过 程
中图分类号：ＴＵ１７ 文献标志码：Ａ
提出了更高的要求。
文章编号：１０００－００５４（
２０２０）
１０－０８７３－０７
然而，作为确保设 计 质 量、保 障 工 程 建 造 的 关
ＤＯＩ：１０．
１６５１１／
ｊ．ｃｎｋ
ｉ．ｑｈｄｘｘｂ．
２０２０．
２５．
０１３
键环节，设计审查仍 然 高 度 依 赖 人 工 核 对 方 式，对
相关审查人员的经验及其水平要求高，且往往存 在
ＢＩＭ －ｂａ
ｓｅｄａｕ
ｔｏｍａ
ｔｉｃｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈ
ｅｃｋ
ｉｎｇ 着审查尺度不一、低效漏项、人为操控等问题 ［５－６］。
１，
Ｉ
ＬＮＪ
ｉａｒ
ｕｉ ＧＵＯＪ
ｉａｎ
ｆｅｎｇ２ ２０１７ 年，伦敦“格兰菲尔塔”火灾导致 ８１ 人死亡就暴
（
１．Ｄｅｐａ
ｒｔｍｅｎｔｏｆＣｉｖ
ｉｌＥｎｇ
ｉｎｅｅｒ
ｉｎｇ，Ｔｓｉ
ｎｇｈｕａ 露出传统建筑防火设计审查所存在的低效漏项等一
Ｕｎｉ
ｖｅｒｓ
ｉｔｙ，Ｂｅ
ｉ ｉ
ｎ
ｊｇ １０００８４， Ｃｈ
ｉｎａ；
系列弊端［３］。因此，作为确保建筑满足规范要求、保
２．Ｇｌ
ｏｄｏｎＳｏｆ
ｔｗａｒｅＴｅｃｈｎｏｌ
ｏｇｙＬｉｍｉ
ｔｅｄ
Ｃｏｍｐａｎｙ，Ｂｅｉ
ｊｉｎｇ１００１９３，Ｃｈ
ｉｎａ） 障消防安全、实现舒适节能的关键环节，设计审查的

Ａｂｓｔ
ｒａｃｔ：Ｃｏｍｐｌ
ｉａｎｃｅｃｈｅｃｋｉ
ｎｇ ｏｆｂｕ
ｉｌｄ
ｉｎｇ ｄｅ
ｓｉｇｎｓｉｓｅ ｓ
ｓｅｎ
ｔｉａｌｆｏｒ
重要性 日 益 凸 显［６］，直 接 关 系 到 人 民 的 生 命 财 产
ｐｒ
ｏ ｖ
ｉｄｉ
ｎ ｒ
ｇｐｏｐｅ
ｒｄｅ ｓ
ｉｇｎｓｆ
ｏ ｒｇｒｅｎ，ｓ
ｅ ａ
ｆｅ，ａｎｄｃｏｍｆ ｏ
ｒｔａｂ
ｌｅｂｕｉｌ
ｄｉｎｇｓ． 安全。
ｒ，ｔ
Ｈｏｗｅｖｅ ｒａｄ
ｉｔｉ
ｏｎａ
ｌｃｏｍｐ
ｌｉａｎｃ
ｅ ｃｈｅ
ｃｋｉ
ｎｇ ａｐｐ
ｒｏａ
ｃｈｅ
ｓａｒ
ｅｈｉ
ｇｈｌ
ｙ
当 前 ，建 筑 业 正 处 在 提 质 增 效 、转 型 升 级 的
ｄｅｐｅｎｄｅｎ
ｔｏｎｅｘｐｅ
ｒｉｅｎｃ
ｅｄｅｘｐｅ
ｒｔｓ．Ｔｈｅｐ
ｒｏｃ
ｅｄｕｒ
ｅｓａ
ｒｅｔ
ｅｄｉ
ｏｕｓａｎｄ
ｏｎｓｕｍｉ
ｉｍｅ－ｃ
ｔ ｎｇ ｗｉ
ｔｈ ｍｉ
ｓｔａｋｅ
ｓ ａｎｄｉ
ｎｃｏｎｓ
ｉｓｔ
ｅｎｃ
ｉｅｓｏ
ｆｔｅｎ ｏ
ｃｃｕｒ
ｒｉｎｇ 关 键 节 点 ，传 统 设 计 审 查 手 段 已 难 以 应 对 劳 动 力
ｄｕｒ
ｉｎｇｔ
ｈｅｃｈｅ
ｃｋｉ
ｎｇｐ
ｒｏｃ
ｅｓｓ．Ｔｈ
ｉｓｐａｐｅ
ｒｒｅｖ
ｉｅｗｓｒ
ｅｃｅｎ
ｔｒｅ
ｓｅａ
ｒｃｈｏｎ
ａｕ
ｔｏｍａ
ｔｉｃｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｉ
ｎｇｔ
ｏｒｅ
ｆｌｅ
ｃｔｔ
ｈｅｓ
ｔａｔ
ｅ－ｏ
ｆ－ｔ
ｈｅ－ａ
ｒｔｉ
ｎｔｈ
ｉｓ 收稿日期：２０１９－０８－２９
ａｒ
ｅａ．Ａｆｒａｍｅｗｏ
ｒｋｆ ｏｒａｕｔｏｍａｔ
ｉｃｃｏｍｐ
ｌｉａｎｃ
ｅｃｈｅｃｋｉ
ｎｇｗａｓｄｅｖｅｌ
ｏｐｅｄ
基金项目：国家自然科学基金资助项目（
５１９０８３２３）；
ｗｉｔｈｔ
ｈｅ ｔａ
ｓｋｓ ｄｉ
ｖｉｄｅｄ ｉ
ｎ ｔ
ｏｒ ｕｌ
ｅ ｅｘ
ｔｒａｃｔ
ｉｏｎ ａｎｄ ｒ
ｅｐｒ
ｅｓｅｎ
ｔａｔ
ｉｏｎ，
国家重点研发计划项目（
２０１８ＹＦＤ１１００９０５）；
ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｍｏｄｅ
ｌｉｎｇａｎｄｅｘ
ｔｅｎｓ
ｉｏｎ，ｒ
ｕｌｅｒ
ｅａｓ
ｏｎｉ
ｎｇａｎｄｅｘｅ
ｃｕｔ
ｉｏｎ，
ａｎｄｒ
ｅｓｕ
ｌｔｒ
ｅｐｏ
ｒｔｉ
ｎｇａｎｄｖ
ｉｓｕａ
ｌｉｚ
ａｔｉ
ｏｎ．Ｔｈｅ
ｓｅｆ
ｏｕｒａ
ｓｐｅ
ｃｔｓａ
ｒｅｕｓ
ｅｄｔ
ｏ 北京市自然科学基金资助项目（
８１９４０６７）
ｃ
ｌａｓ
ｓｉｆ
ｙｔｈｅ ｃｕｒ
ｒｅｎ
ｔｓｔ
ａｔｕｓ ａｎｄ ｌ
ｉｍｉ
ｔａｔ
ｉｏｎｓ ｏ
ｆｔｈｅ ｖａ
ｒｉｏｕｓ ｃｕｒ
ｒｅｎ
ｔ 作者简介：林佳瑞（
１９８７—），男，助理研究员。
ｍｅ
ｔｈｏｄｓ ｗｉ
ｔｈｔ
ｈｅｒ
ｅｓｕ
ｌｔｓｓｈｏｗｉ
ｎｇｔ
ｈａｔｃｕｒ
ｒｅｎ
ｔｉｎ
ｆｏｒｍａ
ｔｉｏｎ ｍｏｄｅ
ｌｓ Ｅ－ｍａ
ｉｌ：
ｊｉａ
ｒｕｉ＿
ｌ
ｉｎ＠ｆ
ｏｘｍａ
ｉｌ．
ｃｏｍ；
ｌｉｎ
６１１＠ｔ
ｓｉｎｇｈｕ
ａ．ｅ
ｄｕ．
ｃｎ
８７４ 清 华 大 学 学 报 （自 然 科 学 版） ２０２０，
６０（
１０）

成 本 、工 程 规 模 与 复 杂 度 不 断 增 长 的 现 状 。因 此 ，
１ 合规性自动审查的历史
亟 需 研 究 设 计 审 查 的 自 动 化 方 法 与 技 术 ，实 现 设
合规性自动审查又叫自动设计审查或自动规则
计审查标 准 的 规 范 化 表 达 与 设 计 方 案 自 动 检 查，
检查（
ａｕｔ
ｏｍａｔ
ｉｃｒｕｌ
ｅｃｈｅｃｋｉｎｇ），国际上相关研究最
使 专 业 人 员 专 注 方 案 设 计 与 优 化 、提 升 建 筑 设 计
早可追溯到 ２０ 世 纪 ８０ 年 代 ［７］。以 ２０００ 年 为 分 界
水 平 、保 障 人 民 生 命 财 产 安 全 和 提 升 城 市 生 活
点，可大致分为 ２ 个阶 段。２０００ 年 以 前，设 计 信 息
品质。
的表 达 以 计 算 机 辅 助 绘 图 （
ｃｏｍｐｕ
ｔｅｒａ
ｉｄｅｄ
针对上述问 题 及 需 求，本 文 选 取 “
ＢＩＭ ”“
ｃｏｄｅ
ｄ
ｒ ｎｇ，ＣＡＤ）为核心，而 规 范 要 求 的 表 达 则 通 过
ａｗｉ
ｃｈｅ
ｃｋｎｇ”“
ｉ ｒｕｌ
ｅｃｈｅ
ｃｋｎｇ”“
ｉ ｃｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｎｇ”
ｉ
和“建筑信息模型”“设计 审 查”“自 动 审 查”等 关 键 决策表、计算机代码 等 形 式 内 嵌 在 专 家 系 统 中。有

词，在中国知网和 Ｗｅ
ｂｏｆＳ
ｃｉｅ
ｎｃｅ核心数据库对１９９４ 关学者探索了相应规 则 检 查 方 法 在 节 能、成 本、日

年 １ 月至 ２０１９ 年 ７ 月期间合规性自动审查相关的研 照、火 灾 等 方 面 的 应 用 ［７－８］。２０００ 年 以 后，随 着 建

究论文进行了全面检索与梳理，共检索到 中 英 文 文 筑信息 模 型 （
ｂｕｉ
ｌｄｉ
ｎｇｉ
ｎｆｏ
ｒｍａ
ｔｉ ｌ，ＢＩＭ ）技
ｏｎ ｍｏｄｅ
献 １８３ 篇。通过逐一分析 各 有 关 文 献 摘 要 及 关 键 词 术 及 相 应 数 据 标 准———工 业 基 础 类 （
ｉｎｄｕｓ
ｔｒｙ
信息，且归并同一作者类似文献后，共计选取 了 ５９ ｆ
ｏｕｎｄａ
ｔｉｏｎｃ
ｌａｓ
ｓｅｓ，ＩＦＣ）的提出，可以利用 ＢＩＭ 表
篇主要文 献 进 行 精 读 与 总 结（见 图 １）。基 于 文 献 调 达更加丰富 的 设 计 信 息，基 于 ＢＩＭ 的 自 动 设 计 审
研，本文研究建立了合规性自动审查的基 本 研 究 框 查技术和软件开始出现。
架，并分析了设计审查规则表达、信息建模、规则推
２ 合规性自动审查研究现状
理与结果表现等各研究方向的现状和不 足，提 出 未
来自动设计审查的需求和发展方向。 １ 合规性自动审查的基本研究框架
２．
ｔｍａｎ 及其团队 ９ 是该领域的先驱之一，他
［］
Ｅａ
ｓ
们于 ２００９ 年对自动 规 则 检 查 在 建 设 工 程 领 域 的 应
用作了系统调 研，并 将 相 应 过 程 总 结 为 ４ 个 阶 段：
规范 解 读、模 型 准 备、模 型 审 查 和 审 查 报 告。本 文
在其基 础 上，结 合 相 关 领 域 知 名 学 者 Ｎａｗａ
ｒ
［ ］
ｉ１０ 、
ｉ 和 Ａｍｏ ｎ和
［ ］ ［， ］
Ｓａ
ｌａｍａ１１－１２ 、Ｄｉｍｙａｄ ｒ７ １３ 、Ｓｏ
ｌｉｈ
ｉ
ｉ１６－１７ 等 的 研 究 成 果，建 立 如 图 ２ 所
［ ］ ［ ］
ｅ１４－１５ 、Ｃａ
Ｌｅ
示的合规 性 自 动 审 查 的 研 究 框 架。框 架 包 括 ４ 部
分：规 则、模 型／数 据、推 理／执 行 和 结 果 输 出。下
图 １ １９９４—２０１９ 年自动设计审查主要论文统计 面依次对各部分相关成果进行分析综述。

图 ２ 合规性自动审查的研究框架

２ 规则解译
２． 始 探 索 利 用 自 然 语 言 处 理 （ｎａ
ｔｕｒ
ａｌｌ
ａｎｇｕａｇｅ

通常情况下，规范条文以便于人们阅读的方式 ｐｒ
ｏｃｅ
ｓｓｎｇ，ＮＬＰ）和本体论进行规则的自动或 半 自
ｉ

表达，如 文 本、表 格 或 公 式。规 则 解 译 是 将 有 关 设 动提取 ［１６，２０－２３］。但 由 于 规 范 条 文 结 构 复 杂 ［２４］、隐

计规范条文转换为特定表达方式的规则的过程，以 含领域知识等问题，自动化规则的提取仍然任重而
便于计算机处理 ［９］。长 期 以 来，规 则 解 译 与 更 新 均 道远，目前仅能在有限的领域实现规则自动或半自
依赖领域专家人工实现 ［１８－１９］。近年来，有关学者开 动提取 ［２］（见图 ３ 统计结果）。
林佳瑞，等： 基于 ＢＩＭ 的合规性自动审查 ８７５

图 ３ 本文参考文献采用的主要规则解译方法

３ 规则表达
２．
图 ４ 本文参考文献采用的主要规则表达方法
规则表达则是采用某种标准形式表达提取或解
译的规则 的 方 法 ［２５］。规 则 表 达 最 初 直 接 采 用 计 算 式表达的信息非常有限，且需提前约定相应的 信息

机编 程 语 言 实 现，但 存 在 编 辑 修 改 要 求 高、不 透 表达方式。ＢＩＭ 技术的提出引入了基于面向对象的

明、难重用等问题，逐步发展出决策表／参数表、一 数据建模方法 ［３３－３４］，可以表达构件类型、名称以及

阶谓词逻辑、本 体 等 方 式 ［７，９，１１，２６］。由 于 规 则 解 译 诸多几何属性 信 息 （如 图 ５ 中 Ｉ

ｆｃＳｐａ
ｃｅ 的 名 称、分
过程往往涉及两方面问题：一是规则应用的上下文 区、楼层、面 积 等 属 性）［３５］。因 此，ＢＩＭ 相 较 ＣＡＤ

语境或对象（如规则应用于梁还是门），二是规则应 图纸蕴含了更加丰富的信息，可以更好地支 持 设 计

用的具体属 性 （如 是 门 的 尺 寸 还 是 材 料）［９］。因 此， 方 案 检 查 （如 可 直 接 进 行 空 间 大 小 、高 度 及 功 能

往往需要引入以本体为代表的语义信息建模方法表 的 检 查 ）［９］。在 ＢＩＭ 基 础 上 ，也 有 研 究 进 一 步 针

达相应信 息 ［１２，２５，２７－３０］。尽 管 相 关 研 究 先 后 提 出 规 对自动设 计 审 查 提 出 并 建 立 了 其 他 的 面 向 对 象

范 标 记 语 言［１０，２１］、 Ｎ３Ｌｏ ［ ］ 模 型 ［３６］。

ｇｉｃ、 ＳＷＲＬ２５ 、
Ｌｅ
ｇａｌＲｕ
ｌ
［ ］
ａｐｈ１４ ３１ 、ＲＡＳＥ３２ 等用以表达
ｅＭＬ１３ 、Ｇｒ
［ ， ］ ［ ］
５ 模型信息扩充与转换
２．
规范蕴含的知识和规 则，但 目 前 仍 未 形 成 开 放、灵 然而，当前的 ＢＩＭ 尚不支持对可视关系、连通
活的规范表达框架 ［
（见图 ４）。
７］
关系等信息的表达与分析，因此需要引入空间 数据
４ 模型数据结构
２． 分析等信息增强或扩充方法，对相应信息进行 计算

如图 ５ 所 示，最 初 设 计 信 息 的 表 达 以 二 维 和提取，并完善和扩充既有模型结构以容纳更多信
息 ［１６，３７］。同时，考虑消防设计需要对 逃 生 路 径、空
ＣＡＤ 的形式表 达，只 能 通 过 给 几 何 形 体 及 其 所 属
图层附加简单文本的形式来表达有关信息 ［７］。该方 间封闭性等进行检查，因此可能需要采用实体模型、

图 ５ 设计信息数据结构的演进
８７６ 清 华 大 学 学 报 （自 然 科 学 版） ２０２０，
６０（
１０）

表面模型等不同的三维形体表 达 方 式 和 图 结 构 ［１９］、
八叉树等提升特定 规 则 检 查 效 率 的 数 据 表 达 方 式，
以支持相应规则的检查需求 ［
３８］
。最后，随着各国逐
渐转向性能 化 设 计 模 式，扩 充 设 计 ＢＩＭ 结 构 以 容
纳性能仿真信息，从而支持面向性能化设计的规则
检查将是未来的发展趋势 ［
７，９］
。 冲 突 ［９］。
６ 规则推理执行
２．
规 则 推 理 和 执 行 主 要 涉 及 ４ 方 面 内 容 ：规 则
转 换 、几 何 计 算 、数 据 有 效 性 和 数 据 一 致 性 。其 中
规则转换是将基于特定表达形式的规 则 转 换 为 推
理 引 擎 的 内 部 形 式 ，如 将 规 则 转 换 为 Ｐｒ
ｏｌｏｇ 编 程
语 言 的 形 式 ［３９］，如 推 理 引 擎 可 直 接 支 持 采 用 的 规
则 表 达 形 式 ，则 该 步 骤 可 以 略 过 。例 如 ，当 前 大 多
数 语 义 推 理 引 擎 均 可 直 接 利 用 本 体 和 ＳＷＲＬ 进 行
推理 ［
。同 时 ，也 有 研 究 利 用 可 视 化 编 程 语 言 直
４０］
观 、易 懂 的 特 点 ，研 究 提 出 基 于 可 视 化 编 程 语 言
的 规 则 推 理 和 检 查 方 法 ［４１］。数 据 有 效 性 则 是 在 进
行 有 关 规 则 的 检 查 和 推 理 之 前 ，对 设 计 模 型 所 包
含 的 信 息 进 行 检 查 ，以 确 保 满 足 规 则 检 查 的 需 要
（如 在 检 查 防 火 分 区 的 要 求 之 前 应 确 定 设 计 模 型
中 已 创 建 了 分 区 信 息）。因 此 ，有 学 者 提 出 模 型 视
图 技 术 来 实 现 特 定 领 域 业 务 （如 防 火 规 则 检 查 ）数
据 需 求 的 描 述 ［４２］。几 何 计 算 则 是 指 在 当 前 ＢＩＭ 基
本 几 何 信 息 的 基 础 上 ，进 一 步 分 析 各 构 件 三 维 表
达 的 空 间 关 系（如 包 含 、相 交 、上 下 等 关 系），从 而
为涉及各构件相对空间关系的规范条 文 检 查 提 供
支 持 ［４３］。最 后 ，数 据 一 致 性 是 指 用 以 进 行 规 则 检
查 的 不 同 模 型 视 图 之 间 应 该 相 互 一 致 ，不 存 在
７ 检查结果输出
２．
最后是对规则检查结果的输出，输出形式包括
表格、图片和模型标记 等 ３ 种 主 要 形 式。图 片 输 出
和模型标记过程涉及的一个关键问题就是为特定规
则检查问题选择合适的观察视角，也就是计算 虚 拟
视点位置。为避免视 线 被 构 件 遮 挡，往 往 需 要 碰 撞
检测和相 交 检 测 算 法 确 定 视 点 位 置 ［４４］。另 一 个 问
题则是需要在规范条文解译过程中建立规则与条文
的对应关系，并在规 则 表 达 中 记 录 相 应 信 息。从 而
可在检查结果中直接输出未通过的规范条文，给工
程人员提供更加直观易懂的结果 ［４５］。
８ 主要研究应用领域
２．
在以上大的框架下，近年来有关学者先后探索
了基 于 ＢＩＭ 的 规 则 检 查 在 建 筑 节 能 ［１，２］、结 构 设
计 ［１０］、施 工 安 全 防 护 ［４６］、消 防 逃 生 ［６，３５，４７－４９］、施
工工 艺 ［１２］、平 面 设 计 检 查 ［５０］、管 线 系 统 检 查 ［３３］、
工程算量 ［２０］等多个方面的应用，详见表 １。

表 １ 代表性研究及应用领域

应用领域 代表文献数 主要内容及具体应用领域

消防规范分析 ４８］
［
，逃生路径提取 ，火灾 逃 生 规 则 检 查 ［４７］，局 部 自 动 化 审 查 ［６］，规 则 硬 编
１９］
［

消防设计 ６
码 ，基于既有软件
［
３］ ４５］
［
的审查方法
施工工艺规则 提 取 ［１２］，算 量 规 范 规 则 提 取 ［２０，５１］，节 能 规 范 规 则 提 取 ［２］（均 仅 选 取 规 范 某
规则提取 ４
章节）
模型扩展 ２ 三维空间关系定义 ［４３］，八叉树加速空间规则检查 ［３８］
施工应用 ６ 施工安全检查 ［４６，５２－５３］，可施工性检查 ［５４］，施工质量、规范检查 ［２９，５５］
其他应用 ８ 管线系统检查 ［１６，３３］，建筑节能 ［１，４０，５６］，结构分析 ［１０，５７］，规则推理效率 ［５８］

平。同时，模型信息的 完 整 性 以 及 有 效 性 是 支 持 自
３ 讨论与展望
动设计审查的基础，只有模型完整包含特定领域的
综上所述可知，当前合规性自动审查已成为国
信息才能支持相应领域的自动设计审查 ［１５］。
际研究的热点，有 关 研 究 成 果 涉 及 规 则 解 译 表 达、
然而，目前国内外尚未形成统一、标准的设计规
信息扩展建模、规则 推 理 执 行、结 果 输 出 展 示 等 方
ＩＭ 技术的发展与普及为
范条文表达方式［７］；尽管 Ｂ
面。其 中，规 则 表 达 方 面 已 形 成 了 决 策 表、一 阶 谓
词逻辑等一系列方法，可较好表达基本设计审查规 设计审查提供了丰富信息，但仍不能支持 完 整 的 设

则。同时，因 ＢＩＭ 蕴含丰富的语义信息，已成为替 计规则检查需求［３８］；规 则 的 自 动 提 取 或 解 译［２］、复

代二维 ＣＡＤ 的绝 佳 选 择，广 泛 用 于 自 动 审 查 的 研 杂空间关系分析推理［４３］、大规模规则检查等仍是重
究与应用过程。推理 引 擎、空 间 分 析 加 速 等 手 段 也 要 难 点， 而 我 国 在 相 关 领 域 的 探 索 才 刚 刚 开
已在设计 审 查 中 得 以 应 用，显 著 提 升 了 自 动 化 水 始［３，６，５９］。具体来说，主要包括以下３大难点和问题。
林佳瑞，等： 基于 ＢＩＭ 的合规性自动审查 ８７７

１）信 息 模 型 异 构 及 语 义 鸿 沟。当 前 有 关 研 究 ［
２］ ＺＨＯＵ Ｐ， ＥＬ－ＧＯＨＡＲＹ Ｎ． Ｏｎ
ｔｏｏｇｙ－ｂａ
ｌ ｓｅｄ ａｕ
ｔｏｍａ
ｔｅｄ

仅选择消防、节能等个别细分领域进行应用和 ＢＩＭ ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｅｘ
ｔｒａ
ｃｔｉ
ｏｎ ｆ
ｒｏｍ ｂｕ
ｉｌｄ
ｉｎｇ ｅｎｅ
ｒｇｙ ｃ
ｏｎｓ
ｅｒｖａ
ｔｉｏｎ

的扩展。各不同细分领域信息模型的结构差异给研 ｃ ｓ［
ｏｄｅ Ｊ］． Ａｕ
ｔｏｍａ
ｔｉｏｎ ｉ
ｎ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１７，７４： １０３

－１１７．
究成果的重用 及 整 合 带 来 了 极 大 困 难。与 此 同 时，
不同细分领域在设计 规 范 表 达、领 域 对 象 分 类、应 ３］ 田明阳 ．基于 ＢＩＭ 与 ＣＢＲ 的消防 安 全 自 动 规 则 审 查 与 设 计
［

决策支持系统 ［
Ｄ］．成都：西南交通大学，２０１８．
用需求等方面的差异进一步加大了信息模型结构的
差异，同时也给不同领域专业人士理解某一概念的 ＴＩＡＮ Ｍ Ｙ．Ａｕ
ｔｏｍａ
ｔｉｃｒ
ｕｌｅ ｃｈｅ
ｃｋｉ
ｎｇ ａｎｄ ｄｅ
ｓｉｇｎ ｄｅ
ｃｉｓ
ｉｏｎ
ｓｕｐｐｏ
ｒｔｓ
ｙｓｔ
ｅｍ ｆ
ｏｒｆ
ｉｒｅｐ
ｒｏｔ
ｅｃｔ
ｉｏｎｄｅ
ｓｉｇｎ ｂａ
ｓｅｄｏｎ ＢＩＭ ａｎｄ
含义（即语义）带来了问题，造成专业领域之间的语
ＣＢＲ ［
Ｄ］．Ｃｈｅｎｇｄｕ：Ｓｏｕ
ｔｈｗｅ
ｓｔＪ
ｉａｏ
ｔｏｎｇ Ｕｎ
ｉｖｅ
ｒｓｉ
ｔｙ，２０１８．
义鸿沟。面对信息模 型 异 构 和 语 义 鸿 沟 问 题，亟需
（
ｉｎＣｈ
ｉｎｅ
ｓｅ）
构建一种简单、灵活、统一的语义模型，规范不同专
４］ 傅智敏 ．我 国 火 灾 统 计 数 据 分 析 ［
［ Ｊ］． 安 全 与 环 境 学 报，
业领域的语义概念，兼容不同信息模型结构，为建筑
２０１４，１４（
６）：３４１－３４５．
工程全专业设计审查奠定基础。本体模型 在 该 方 面
ＦＵ Ｚ Ｍ．Ａｎａ
ｌｙｓ
ｉｓｏｎｔ
ｈｅｆ
ｉｒｅｄａ
ｔａｉ
ｎ Ｃｈ
ｉｎａｆ
ｏｒｔ
ｈｅｐｅ
ｒｉｏｄ
体现出了显著优势，被有关学者大量采用，已逐步成
ｂｅ ｅｎ ２００３—２０１２
ｔｗｅ ［
Ｊ］． Ｊ
ｏｕｒ
ｎａｌ ｏ
ｆ Ｓａ
ｆｅｔ
ｙ ａｎｄ
为设计审查领域通用语义模型构建的关键方案。
Ｅｎｖ
ｉｒｏｎｍｅｎ ６）：３４１－３４５．（
ｔ，２０１４，１４（ ｉｎＣｈ
ｉｎｅ
ｓｅ）
２）规 则 自 动 解 译 与 开 放 共 享。当 前 设 计 规 则
５］ 陈 志 波 ． 浅 谈 建 筑 消 防 审 查 中 的 常 见 问 题 ［
［ Ｊ］． 门 窗，
检查有关研究和应用仍以人工规则编制为主，该方
２０１３（
９）：１４４，１４６．
式具有灵活性低、工 作 量 大 等 问 题，难 以 适 应 建 设
ＣＨＥＮ Ｚ Ｂ．Ｄｉ
ｓｃｕｓ
ｓｉｏｎ ｏｎｃ
ｏｍｍｏｎ ｐ
ｒｏｂ
ｌｅｍｓｉ
ｎｃｏｍｐ
ｌｉａｎｃ
ｅ
领域设计规范不断演 进、知 识 不 断 更 新 的 现 状。基
ｃｈｅ
ｃｋｉ
ｎｇｆ
ｏｒｆ
ｉｒｅ ｄｅ
ｓｉｇｎ ［
Ｊ］．Ｄｏｏ ｎｄｏｗｓ，２０１３（
ｒ ＆ Ｗｉ ９）：
于自然语言处理进行自动规则解译的研究才刚刚开
１４４，１４６．（
ｉｎＣｈ
ｉｎｅ
ｓｅ）
始，仅 能 处 理 设 计 规 范 的 部 分 内 容。同 时，也 应 注
６］ 余君，陈涛，王静，等 ．局 部 自 动 化 的 消 防 设 计 审 查 方 法 应
［
意到当前 有 关 规 范、标 准 均 主 要 面 向 专 业 人 员 阅
用研 究 ［
Ｊ］． 消 防 科 学 与 技 术，２０１７，３６（
４）：５５９ －
读，给计算机理解和 处 理 带 来 很 大 问 题，研 究 并 构
５６１，５６４．
建考虑机器处理特点的规范及标准形式化模型也是
ＹＵＪ，ＣＨＥＮ Ｔ，ＷＡＮＧＪ，ｅ
ｔａｌ．Ｓｅｍｉ－ａｕ
ｔｏｍａ
ｔｉｃｒ
ｕｌｅ－ｂａ
ｓｅｄ
未来的发展方向之一。最 后，有 关 研 究 通 常 采 用 内
ｃｈｅ
ｃｋｎｇｆ
ｉ ｏｒｅｘａｍｉ
ｎａｔ
ｉｏｎｏ
ｆｆｉ
ｒｅｓ
ａｆｅ
ｔ ｏｄｅ ［
ｙｃ Ｊ］．Ｆ
ｉｒｅＳｃ
ｉｅｎｃ
ｅ
部自定义格式 进 行 规 则 管 理，透 明 度 和 灵 活 性 低，
ａｎｄＴｅ
ｃｈｎｏ
ｌ ４）：５５９－５６１，５６４．（
ｏｇｙ，２０１７，３６（ ｉｎＣｈ
ｉｎｅ
ｓｅ）
难以满足设计 审 查 规 则 开 放、共 享 和 重 用 的 需 求。
［
７］ ＤＩＭＹＡＤＩＪ，ＡＭＯＲ Ｒ．Ａｕ
ｔｏｍａ
ｔｅｄｂｕ
ｉｌｄ
ｉｎｇｃ
ｏｄｅｃ
ｏｍｐ
ｌｉａｎｃ
ｅ
基于开放规则建模语言构建透明、灵活的审查规则
ｃｈｅ
ｃｋｉ
ｎｇ－ｗｈｅ
ｒｅｉ
ｓｉ ｔ？［
ｔａ Ｃ］／／ Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓｏ
ｆｔｈｅ１９
ｔｈ ＣＩＢ
表达及共享方法至关重要。
Ｗｏ
ｒｌｄＢｕ
ｉｌｄ
ｉｎｇＣｏｎｇ
ｒｅｓ
ｓ．Ｂｒ
ｉｓｂａｎｅ，Ａｕｓ
ｔｒａ
ｌｉａ：ＣＩＢ，２０１３．
３）复 杂 空 间 关 系 分 析 与 大 规 模 推 理。作 为 当 ［
８］ ＤＥＬＩ
ＳＥ Ａ，ＤＥＬＩ
Ｓ Ａ．Ａｕ
ｔｏｍａ
ｔｉｃｆ
ｉｒ ｏｄｅｃｈｅ
ｅ－ｃ ｃｋｉ
ｎｇ ｕｓ
ｉｎｇ
前 ＢＩＭ 信息描述的主要形式，ＩＦＣ 标准缺乏完善的
ｅｘｐｅ
ｒｔ－ｓ
ｙｓｔ
ｅｍｔ
ｅｃｈｎｏ
ｌｏｇｙ ［
Ｊ］．Ｊ
ｏｕｒ
ｎａｌｏ
ｆＣｏｍｐｕ
ｔｉｎｇｉ
ｎＣｉ
ｖｉｌ
构件空间关系、拓 扑 连 通 关 系 等 信 息 的 描 述 能 力， Ｅｎｇ
ｉｎｅ
ｅｒｎｇ，１９９５，９（
ｉ ２）：１４１－１５６．
难以满足逃生路径、空间布局等一系列设计规范检 ［
９］ ＥＡＳＴＭＡＮ Ｃ，ＬＥＥ Ｊ Ｍ，ＪＥＯＮＧ Ｙ，ｅ
ｔａｌ． Ａｕ
ｔｏｍａ
ｔｉｃ
查的需求 ［６０］。目 前 有 关 自 动 设 计 审 查 的 研 究 多 局
ｒ
ｕｌｅ－ｂａ
ｓｅｄｃｈｅ
ｃｋｉ
ｎｇ ｏ
ｆｂｕ
ｉｌｄ
ｉｎｇ ｄｅ
ｓｉｇｎｓ ［
Ｊ］．Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎ
限于对构件属性、参 数 的 检 查，在 复 杂 空 间 关 系 分 Ｃｏｎｓ
ｔｒｕｃ
ｔｉ ８）：１０１１－１０３３．
ｏｎ，２００９，１８（
析检查方面尚显不足。此 外，既 有 的 研 究 均 以 小 规 ［
１０］ＮＡＷＡＲＩＮ Ｏ．Ａｕ
ｔｏｍａ
ｔｉｎｇｃ
ｏｄｅ
ｓｃｏｎ
ｆｏｒｍａｎｃ
ｅｉｎｓ
ｔｒｕｃ
ｔｕｒ
ａｌ
模数据验证为主，在 大 规 模、复 杂 规 则 及 空 间 关 系 ｄｏｍａ
ｉｎ［
Ｃ］／／Ｉ
ｎｔｅ
ｒｎａ
ｔｉｏｎａ
ｌ Ｗｏ
ｒｋｓｈｏｐｏｎＣｏｍｐｕ
ｔｉｎｇｉ
ｎＣｉ
ｖｉｌ
场景下的推理、检查 研 究 尚 属 空 白，难 以 满 足 实 际 Ｅｎｇ
ｉｎｅ
ｅｒｉ ａｍｉ，ＵＳＡ：ＡＳＣＥ，２０１１：５６９－５７７．
ｎｇ．Ｍｉ
大型复杂工程的设计 审 查 需 求。突 破 大 规 模、复 杂 ［
１１］ＳＡＬＡＭＡ Ｄ Ｍ，ＥＬ－ＧＯＨＡＲＹ Ｎ Ｍ．Ｓｅｍａｎ
ｔｉｃｍｏｄｅ
ｌｉｎｇｆ
ｏｒ
规则和空间场景推理、仿真是未来设计审查进入实 ａｕ
ｔｏｍａ
ｔｅｄ ｃ
ｏｍｐ
ｌｉａｎｃ
ｅ ｃｈｅ
ｃｋｉ
ｎｇ ［
Ｃ］／／ ｎ
Ｉｔｅ
ｒｎａ
ｔｉｏｎａ
ｌ
用化、自动化以及全面覆盖的关键难点之一。 Ｗｏ
ｒｋｓｈｏｐｏｎＣｏｍｐｕ
ｔｉｎｇｉ
ｎＣｉ
ｖｉｌＥｎｇ
ｉｎｅ
ｅｒｉ ａｍｉ，ＵＳＡ：
ｎｇ．Ｍｉ
ＡＳＣＥ，２０１１：６４１－６４８．

［
１２］ＳＡＬＡＭＡ Ｄ Ａ，ＥＬ－ＧＯＨＡＲＹ Ｎ Ｍ．Ａｕ
参考文献 （
Ｒｅｆ
ｅｒｅｎｃ
ｅｓ） ｔｏｍａ
ｔｅｄｃ
ｏｍｐ
ｌｉａｎｃ
ｅ

［
１］ ＴＡＮ Ｘ Ｙ， ＨＡＭＭＡＤ Ａ， ＦＡＺＩＯ Ｐ． Ａｕ
ｔｏｍａ
ｔｅｄ ｃ
ｏｄｅ ｃｈｅ
ｃｋｉ
ｎｇｏ
ｆｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ｏｐｅ
ｒａｔ
ｉｏｎ ｐ
ｌａｎｓｕｓ
ｉｎｇａｄｅｏｎ
ｔｏｌ
ｏｇｙ

ｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｉ
ｎｇｆ
ｏｒｂｕ
ｉｌｄ
ｉｎｇｅｎｖｅ
ｌｏｐｅｄｅ
ｓｉｇｎ ［
Ｊ］．Ｊ
ｏｕｒ
ｎａｌ ｆ
ｏｒｔ
ｈｅ ｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ｄｏｍａ
ｉｎ［
Ｊ］．Ｊ
ｏｕｒ
ｎａｌｏ
ｆ Ｃｏｍｐｕ
ｔｉｎｇｉ
ｎ

ｏ
ｆＣｏｍｐｕ
ｔｉｎｇｉ
ｎＣｉ
ｖｉｌＥｎｇ
ｉｎｅ
ｅｒｉ ２）：２０３－２１１．
ｎｇ，２０１０，２４（ Ｃ
ｉｖｉ
ｌＥｎｇ
ｉｎｅ
ｅｒｎｇ，２０１３，２７（
ｉ ６）：６８１－６９８．
８７８ 清 华 大 学 学 报 （自 然 科 学 版） ２０２０，
６０（
１０）

［
１３］ＤＩＭＹＡＤＩ Ｊ， ＡＭＯＲ Ｒ． Ｒｅｇｕ
ｌａｔ
ｏｒｙ ｋｎｏｗｌ
ｅｄｇｅ ［
２５］ＦＯＲＴＩＮＥＡＵ Ｖ，ＰＡＶＩＯＴ Ｔ，ＬＯＵＩ ＩＤＮＥＹ Ｌ，ｅ
Ｓ－Ｓ ｔａｌ．
ｒ
ｅｐｒ
ｅｓｅｎ
ｔａｔ
ｉｏｎｆ
ｏｒａｕ
ｔｏｍａ
ｔｅｄｃ
ｏｍｐ
ｌｉａｎｃ
ｅａｕｄ
ｉ ｆＢＩＭ－ｂａ
ｔｏ ｓｅｄ ＳＷＲＬａ
ｓａｒ
ｕｌｅｌ
ａｎｇｕａｇｅｆ
ｏｒｏｎ
ｔｏｏｇｙ－ｂａ
ｌ ｓｅｄ ｍｏｄｅ
ｌｓｉ
ｎｐｏｗｅ
ｒ
ｍｏｄｅ
ｌｓ［
Ｃ］／／Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓｏ
ｆｔｈｅ３０
ｔｈＣＩＢ Ｗ７８Ｉ
ｎｔｅ
ｒｎａ
ｔｉｏｎａ
ｌ ｌ
ｐａｎ
ｔｄｅ
ｓｉｇｎ ［
Ｃ］／／Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓｏ
ｆＩＦＩＰ ＷＧ５．
１Ｉｎ
ｔｅｒ
ｎａｔ
ｉｏｎａ
ｌ
Ｃｏｎ
ｆｅｒ
ｅｎｃ
ｅ．Ｂｅ
ｉｉ
ｊｎｇ：ＣＩＢ，２０１３：６８－７８． Ｃｏｎ
ｆｅｒ
ｅｎｃ
ｅ ｏｎ Ｐｒ
ｏｄｕｃ
ｔＬｉ
ｆｅｃ
ｙｃｌ
ｅ Ｍａｎａｇｅｍｅｎ
ｔ． Ｔｏｗａ
ｒｄｓ
［
１４］ＳＯＬＩＨＩＮ Ｗ，ＥＡＳＴＭＡＮ Ｃ．Ａ ｋｎｏｗｌ
ｅｄｇｅｒ
ｅｐｒ
ｅｓｅｎ
ｔａｔ
ｉｏｎ Ｋｎｏｗｌ
ｅｄｇｅ－Ｒｉ
ｃｈ Ｅｎ
ｔｅｒ
ｐｒｉ
ｓｅｓ．Ｂｅ
ｒｌｎ， Ｇｅ
ｉ ｒｍａｎｙ：Ｓｐ
ｒｉ ｒ，
ｎｇｅ
ａｐｐ
ｒｏａ
ｃｈ ｉ
ｎ ＢＩＭ ｒ
ｕｌｅ ｒ
ｅｑｕ
ｉｒｅｍｅｎ
ｔ ａｎａ
ｌｙｓ
ｉｓ ｕｓ
ｉｎｇ ｔ
ｈｅ ２０１２：５８８－５９７．
ｃ
ｏｎｃ
ｅｐｔ
ｕａｌｇ
ｒａｐｈ ［
Ｊ］．Ｊ
ｏｕｒ
ｎａｌｏ
ｆＩｎ
ｆｏｒｍａ
ｔｉｏｎ Ｔｅ
ｃｈｎｏ
ｌｏｇｙｉ
ｎ ［
２６］ＰＡＲＫ Ｓ， ＬＥＥ Ｈ， ＬＥＥ Ｓ， ｅ
ｔ ａ
ｌ． Ｒｕ
ｌｅ ｃｈｅ
ｃｋｉ
ｎｇ
Ｃｏｎｓ
ｔｒｕｃ
ｔｉ ２４）：３７０－４０１．
ｏｎ，２０１６，２１（ ｍｅ
ｔｈｏｄ－ｃ
ｅｎｔ
ｅｒｅｄ ａｐｐ
ｒｏａ
ｃｈ ｔ
ｏ ｒ
ｅｐｒ
ｅｓｅｎ
ｔ ｂｕ
ｉｌｄ
ｉｎｇ ｐｅ
ｒｍｉ
ｔ
［
１５］ＬＥＥ Ｙ Ｃ，ＳＯＬＩＨＩＮ Ｗ，ＥＡＳＴＭＡＮ Ｃ Ｍ．Ｔｈｅ ｍｅ
ｃｈａｎ
ｉｓｍ ｒ
ｅｑｕ
ｉｒｅｍｅｎ
ｔｓ［
Ｃ］／／ Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓ ｏ
ｆｔｈｅ ３２ｎｄ Ｉ
ｎｔｅ
ｒｎａ
ｔｉｏｎａ
ｌ
ａｎｄ ｃｈａ
ｌｌｅｎｇｅ
ｓｏｆ ｖａ
ｌｉｄａ
ｔｉｎｇ ａ ｂｕ
ｉｌｄ
ｉｎｇ ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｍｏｄｅ
ｌ Ｓｙｍｐｏ
ｓｉｕｍ ｏｎ Ａｕ
ｔｏｍａ
ｔｉｏｎ ａｎｄ Ｒｏｂｏ
ｔｉｃ
ｓｉｎ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ．
ｒ
ｅｇａ
ｒｄｉ
ｎｇ ｄａ
ｔａ ｅｘｃｈａｎｇｅ ｓ
ｔａｎｄａ
ｒｄｓ ［
Ｊ］． Ａｕ
ｔｏｍａ
ｔｉｏｎ ｉ
ｎ Ｏｕ
ｌｕ，Ｆ
ｉｎａｎｄ：ＩＡＡＲＣ，２０１５．
ｌ
Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１９，１００：１１８－１２８． ［
２７］ＺＨＯＮＧ Ｂ Ｔ，ＧＡＮ Ｃ，ＬＵＯ Ｈ Ｂ，ｅ
ｔａｌ．Ｏｎ
ｔｏｏｇｙ－ｂａ
ｌ ｓｅｄ
［
１６］ＬＩＳ，ＣＡＩＨ Ｂ，ＫＡＭＡＴ Ｖ Ｒ．Ｉ
ｎｔｅｇ
ｒａｔ
ｉｎｇｎａ
ｔｕｒ
ａｌｌ
ａｎｇｕａｇｅ ｆ
ｒａｍｅｗｏ
ｒｋ ｆ
ｏｒ ｂｕ
ｉｌｄ
ｉｎｇ ｅｎｖ
ｉｒｏｎｍｅｎ
ｔａｌ ｍｏｎ
ｉｔｏ
ｒｉｎｇ ａｎｄ
ｒ
ｐｏｃ
ｅｓｓ
ｉｎｇ ａｎｄ ｓｐａ
ｔｉａ
ｌｒｅ
ａｓｏｎ
ｉｎｇ ｆ
ｏｒ ｕ
ｔｉｌ
ｉｔｙ ｃ
ｏｍｐ
ｌｉａｎｃ
ｅ ｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｉ
ｎｇ ｕｎｄｅ
ｒ ＢＩＭ ｅｎｖ
ｉｒ ｔ［
ｏｎｍｅｎ Ｊ］．Ｂｕ
ｉｌｄ
ｉｎｇ
ｃｈｅ
ｃｋｎｇ ［
ｉ Ｊ］． Ｊ
ｏｕｒ
ｎａｌｏ
ｆ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ Ｅｎｇ
ｉｎｅ
ｅｒｉ
ｎｇ ａｎｄ ａｎｄＥｎｖ
ｉｒ ｔ，２０１８，１４１：１２７－１４２．
ｏｎｍｅｎ
Ｍａｎａｇｅｍｅｎ １２）：４０１６０７４．
ｔ，２０１６，１４２（ ［
２８］ＺＨＡＮＧ Ｓ Ｊ，ＢＯＵＫＡＭＰ Ｆ，ＴＥＩＺＥＲ Ｊ．Ｏｎ
ｔｏｌ
ｏｇｙ－ｂａ
ｓｅｄ
［
１７］ＸＵ Ｘ， ＣＡＩ Ｈ Ｂ． Ｓｅｍａｎ
ｔｉｃｆ
ｒａｍｅ－ｂａ
ｓｅｄ ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｓ
ｅｍａｎ
ｔｉｃ ｍｏｄｅ
ｌｉｎｇ ｏ
ｆ ｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ｓ
ａｆｅ
ｔ ｅｄｇｅ：
ｙ ｋｎｏｗｌ
ｅｘ
ｔｒａ
ｃｔｉ
ｏｎ ｆ
ｒｏｍ ｕ
ｔｉｌ
ｉｔｙｒ
ｅｇｕ
ｌａｔ
ｏｒｙ ｄｏ
ｃｕｍｅｎ
ｔｓｔ
ｏ ｓｕｐｐｏ
ｒｔ Ｔｏｗａ
ｒｄｓａｕ
ｔｏｍａ
ｔｅｄ ｓ
ａｆｅ
ｔ ｌ
ｙｐａｎｎ
ｉｎｇｆ
ｏｒｊ
ｏｂ ｈａ
ｚａｒ
ｄ ａｎａ
ｌｙｓ
ｉｓ
ｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｎｇ ［Ｍ］
ｉ Ｓ Ｉ， ＨＡＲＴＭＡＮＮ Ｔ．
／／ ＭＵＴＩ （ Ｊ］．Ａｕ
ＪＨＡ）［ ｔｏｍａ
ｔｉｏｎｉ
ｎＣｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１５，５２：２９－４１．
Ａｄｖａｎｃ
ｅｓｉ
ｎ Ｉ
ｎｆｏ
ｒｍａ
ｔｉｃ
ｓ ａｎｄ Ｃｏｍｐｕ
ｔｉｎｇ ｉ
ｎ Ｃ
ｉｖｉ
ｌ ａｎｄ ［
２９］ＺＨＯＮＧ Ｂ Ｔ，ＤＩＮＧ Ｌ Ｙ，ＬＵＯ Ｈ Ｂ，ｅ
ｔａｌ．Ｏｎ
ｔｏｌ
ｏｇｙ－ｂａ
ｓｅｄ
Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ Ｅｎｇ
ｉｎｅ
ｅｒｎｇ． Ｃｈａｍ： Ｓｐ
ｉ ｒｉ ｒ， ２０１９： ２２３
ｎｇｅ ｓ
ｅｍａｎ
ｔｉｃ ｍｏｄｅ
ｌｉｎｇ ｏ
ｆｒｅｇｕ
ｌａｔ
ｉｏｎ ｃ
ｏｎｓ
ｔｒａ
ｉｎｔｆ
ｏｒ ａｕ
ｔｏｍａ
ｔｅｄ

－２３０． ｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎｑｕａ
ｌｉｙｃ
ｔ ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｎｇ ［
ｉ Ｊ］．Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎ
［
１８］ＳＯＬＩＨＩＮ Ｗ． Ｌｅ
ｓｓｏｎｓ ｌ
ｅａｒ
ｎｅｄ ｆ
ｒｏｍ ｅｘｐｅ
ｒｉｅｎｃ
ｅ ｏ
ｆ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１２，２８：５８－７０．
ｏｄｅ－ｃｈｅ
ｃ ｃｋｉ
ｎｇｉｍｐ
ｌｅｍｅｎ
ｔａｔ
ｉｏｎｉ
ｎＳｉ
ｎｇａｐｏ
ｒｅ［
Ｒ］．Ｓ
ｉｎｇａｐｏ
ｒｅ： ［
３０］ＹＵＲＣＨＹＳＨＹＮＡ Ａ， ＺＡＲＬＩ Ａ． Ａｎ ｏｎ
ｔｏｏｇｙ－ｂａ
ｌ ｓｅｄ
Ｂｕ
ｉｌｄ
ｉｎｇＳＭＡＲＴ，２００４． ａｐｐ
ｒｏａ
ｃｈ ｆ
ｏｒｆ
ｏｒｍａ
ｌｉｓ
ａｔｉ
ｏｎ ａｎｄ ｓ
ｅｍａｎ
ｔｉｃｏ
ｒｇａｎ
ｉｓａ
ｔｉｏｎ ｏ
ｆ
［
１９］ＫＡＮＮＡＬＡ Ｍ．Ｅｓ
ｃａｐｅ ｒ
ｏｕｔ
ｅ ａｎａ
ｌｙｓ
ｉｓ ｂａ
ｓｅｄ ｏｎ ｂｕ
ｉｌｄ
ｉｎｇ ｃ
ｏｎｆ
ｏｒｍａｎｃ
ｅｒｅｑｕ
ｉｒｅｍｅｎ
ｔｓｉ
ｎｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ［
Ｊ］．Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎ
ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｍｏｄｅ
ｌｓ： Ｄｅ
ｓｉｇｎ ａｎｄ ｉｍｐ
ｌｅｍｅｎ
ｔａｔ
ｉｏｎ ［
Ｄ］． Ｃｏｎｓ
ｔｒｕｃ
ｔｉ ８）：１０８４－１０９８．
ｏｎ，２００９，１８（
Ｈｅ
ｌｓｉ
ｎｋｉ，Ｆ
ｉｎａｎｄ：Ｈｅ
ｌ ｌｓｉ
ｎｋｉＵｎ
ｉｖｅ
ｒｓｉ
ｔｙｏ
ｆＴｅ
ｃｈｎｏ
ｌｏｇｙ，２００５． ［
３１］ＤＩＭＹＡＤＩ Ｊ， ＣＬＩＦＴＯＮ Ｃ， ＳＰＥＡＲＰＯＩＮＴ Ｍ， ｅ
ｔａｌ．
［
２０］ＺＨＡＮＧ Ｊ Ｓ， ＥＬ－ＧＯＨＡＲＹ Ｎ Ｍ．Ｓｅｍａｎ
ｔｉｃ ＮＬＰ－ｂａ
ｓｅｄ Ｃｏｍｐｕ
ｔｅｒ
ｉｚｎｇｒ
ｉ ｅｇｕ
ｌａｔ
ｏｒｙｋｎｏｗｌ
ｅｄｇｅｆ
ｏｒｂｕ
ｉｌｄ
ｉｎｇｅｎｇ
ｉｎｅ
ｅｒｉ
ｎｇ
ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｅｘ
ｔｒａ
ｃｔｉ
ｏｎ ｆ
ｒｏｍ ｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ｒ
ｅｇｕ
ｌａｔ
ｏｒｙ ｄｅ
ｓｉｇｎ ［
Ｊ］．Ｊ
ｏｕｒ
ｎａｌｏ
ｆＣｏｍｐｕ
ｔｉｎｇｉ
ｎＣｉ
ｖｉｌＥｎｇ
ｉｎｅ
ｅｒｎｇ，２０１６，
ｉ
ｄｏ
ｃｕｍｅｎ
ｔｓｆ
ｏｒａｕ
ｔｏｍａ
ｔｅｄｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｎｇ ［
ｉ Ｊ］．Ｊ
ｏｕｒ
ｎａｌｏ
ｆ ３０（５）：Ｃ４０１６００１．
·
Ｃｏｍｐｕ
ｔｉｎｇｉ
ｎＣｉ
ｖｉｌＥｎｇ
ｉｎｅ
ｅｒｎｇ，２０１３，３０（
ｉ ２）：０４０１５０１４． ［
３２ ＩＬＡＬＳ Ｍ，ＧＮＡＹＤＩＮ Ｈ Ｍ．Ｃｏｍｐｕ
］ ｔｅｒｒ
ｅｐｒ
ｅｓｅｎ
ｔａｔ
ｉｏｎｏ
ｆ
［
２１］ ＨＪＥＬＳＥＴＨ Ｅ，ＮＩ
ＳＢＥＴ Ｎ．Ｃａｐ
ｔｕｒ
ｉｎｇｎｏ
ｒｍａ
ｔｉｖｅｃ
ｏｎｓ
ｔｒａ
ｉｎｔ
ｓ ｂｕ
ｉｌｄ
ｉｎｇ ｃ
ｏｄｅ
ｓｆｏ
ｒ ａｕ
ｔｏｍａ
ｔｅｄ ｃ
ｏｍｐ
ｌｉａｎｃ
ｅ ｃｈｅ
ｃｋｎｇ ［
ｉ Ｊ］．
ｂｙｕｓ
ｅｏｆｔ
ｈｅｓ
ｅｍａｎ
ｔｉ ｒｋ－ｕｐ ＲＡＳＥ ｍｅ
ｃ ｍａ ｔｈｏｄｏ
ｌｏｇｙ ［
Ｃ］／／ Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎＣｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１７，８２：４３－５８．
Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓ ｏ
ｆｔｈｅ ２８
ｔｈＩ
ｎｔｅ
ｒｎａ
ｔｉｏｎａ
ｌ Ｃｏｎ
ｆｅｒ
ｅｎｃ
ｅｏｆ ＣＩＢ ［
３３］ ＭＡＲＴＩＮＳ Ｊ Ｐ， ＭＯＮＴＥＩＲＯ Ａ． Ｌ
ｉｃＡ： Ａ ＢＩＭ ｂａ
ｓｅｄ
Ｗ７８．Ｓｏｐｈ
ｉａＡｎ
ｔｉｐｏ
ｌｉｓ，Ｆｒ ｅ：ＣＩＢ，２０１１：１－１０．
ａｎｃ ａｕ
ｔｏｍａ
ｔ ｏｄｅ－ｃｈｅ
ｅｄ ｃ ｃｋｎｇ ａｐｐ
ｉ ｌｉｃ
ａｔｉ
ｏｎ ｆ
ｏｒ ｗａ
ｔｅｒｄ
ｉｓｔ
ｒｉｂｕ
ｔｉｏｎ
［
２２］ＬＥＥ Ｈ，ＬＥＥ Ｊ Ｋ，ＰＡＲＫ Ｓ，ｅ
ｔａｌ．Ｔｒ
ａｎｓ
ｌａｔ
ｉｎｇ ｂｕ
ｉｌｄ
ｉｎｇ ｓ
ｙｓｅｍｓ ［
ｔ Ｊ］． Ａｕ
ｔｏｍａ
ｔｉｏｎ ｉ
ｎ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１３，２９：１２
ｌ
ｅｇｉ
ｓｌａ
ｔｉｏｎｉ
ｎｔｏ ａｃ
ｏｍｐｕ
ｔｅｒ－ｅｘｅ
ｃｕｔ
ａｂｌ
ｅｆｏ
ｒｍａ
ｔｆｏ
ｒｅｖａ
ｌｕａ
ｔｉｎｇ －２３．
ｂｕ
ｉｌｄ
ｉｎｇ ｐｅ
ｒｍｉ
ｔ ｒ
ｅｑｕ
ｉｒｅｍｅｎ
ｔｓ ［
Ｊ］． Ａｕ
ｔｏｍａ
ｔｉｏｎ ｉ
ｎ ［
３４］ＹＡＮＧ Ｑ Ｚ，ＸＵ ＸＪ．Ｄｅ
ｓｉｇｎｋｎｏｗｌ
ｅｄｇ
ｅ ｍｏ
ｄｅｌ
ｉｎｇａ
ｎｄｓ
ｏｆｔｗａ
ｒｅ
Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１６，７１：４９－６１． ｉｍｐ
ｌｅｍｅ
ｎｔａ
ｔｉｏｎ ｆ
ｏｒ ｂｕ
ｉｌｄ
ｉｎｇ ｃ
ｏｄｅｃ
ｏｍｐ
ｌｉａ
ｎｃｅｃ
ｈｅｃ
ｋｉｎｇ ［
Ｊ］．
［
２３］ＺＨＡＮＧ ＪＳ，ＥＬ－ＧＯＨＡＲＹ Ｎ Ｍ．Ａｕ
ｔｏｍａ
ｔｅｄｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ Ｂｕ
ｉｌｄ
ｉｎｇａ
ｎｄＥｎｖ
ｉｒｏｎｍｅ
ｎ ６）：６８９－６９８．
ｔ，２００４，３９（
ｔ
ｒａｎｓ
ｆｏｒｍａ
ｔｉｏｎｆ
ｏｒａｕ
ｔｏｍａ
ｔｅｄｒ
ｅｇｕ
ｌａｔ
ｏｒｙｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｉ
ｎｇ ［
３５］ＣＨＯＩ Ｊ， ＣＨＯＩ Ｊ， ＫＩＭ Ｉ． Ｄｅｖｅ
ｌｏｐｍｅｎ
ｔｏｆ ＢＩＭ－ｂａ
ｓｅｄ
ｉ
ｎ ｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ［
Ｊ］． Ｊ
ｏｕｒ
ｎａｌ ｏ
ｆ Ｃｏｍｐｕ
ｔｉｎｇ ｉ
ｎ Ｃ
ｉｖｉ
ｌ ｅｖａ
ｃｕａ
ｔｉｏｎ ｒ
ｅｇｕ
ｌａｔ
ｉｏｎ ｃｈｅ
ｃｋｉ
ｎｇ ｓ
ｙｓｔ
ｅｍ ｆ
ｏｒｈ
ｉｇｈ－ｒ
ｉｓｅ ａｎｄ
Ｅｎｇ
ｉｎｅ
ｅｒｎｇ，２０１５，２９（
ｉ ４）：Ｂ４０１５００１． ｃ
ｏｍｐ
ｌｅｘｂｕ
ｉｌｄ
ｉｎｇｓ ［
Ｊ］．Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１４，
［
２４］ ＵＨＭ Ｍ， ＬＥＥ Ｇ， ＰＡＲＫ Ｙ，ｅ
ｔａｌ． Ｒｅｑｕ
ｉｒｅｍｅｎ
ｔｓｆ
ｏｒ ４６：３８－４９．
ｃ
ｏｍｐｕ
ｔａｔ
ｉｏｎａ
ｌｒｕ
ｌｅｃｈｅ
ｃｋｉ
ｎｇｏ
ｆｒｅｑｕｅ
ｓｔｓｆ
ｏｒｐ
ｒｏｐｏ
ｓａｓ（
ｌ ＲＦＰｓ） ［
３６］ ＭＡＬＳＡＮＥ Ｓ， ＭＡＴＴＨＥＷＳ Ｊ， ＬＯＣＫＬＥＹ Ｓ， ｅ
ｔ ａ
ｌ．
ｆ
ｏｒ ｂｕ
ｉｌｄ
ｉｎｇ ｄｅ
ｓｉｇｎｓ ｉ
ｎ Ｓｏｕ
ｔｈ Ｋｏ
ｒｅａ ［
Ｊ］． Ａｄｖａｎｃ
ｅｄ Ｄｅ
ｖｅｌ
ｏｐｍｅ
ｎｔｏ
ｆａｎ ｏｂ
ｊｅｃ
ｔ ｍｏ
ｄｅｌｆ
ｏｒａ
ｕｔｏｍａ
ｔｅｄｃ
ｏｍｐ
ｌｉａ
ｎｃｅ
Ｅｎｇ
ｉｎｅ
ｅｒｉ
ｎｇＩ
ｎｆｏ
ｒｍａ
ｔｉｃ ３）：６０２－６１５．
ｓ，２０１５，２９（ ｃ
ｈｅｃ
ｋｉｎｇ ［
Ｊ］．Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎＣｏｎ
ｓｔｒ
ｕｃｔ
ｉｏｎ，２０１５，４９：５１－５８．
林佳瑞，等： 基于 ＢＩＭ 的合规性自动审查 ８７９

［
３７］ＬＥＥＪＫ，ＬＥＥＪ，ＪＥＯＮＧ Ｙ Ｓ，ｅ
ｔａｌ．Ｄｅｖｅ
ｌｏｐｍｅｎ
ｔｏｆｓｐａ
ｃｅ ［
５０］ＣＬＡＹＴＯＮ Ｍ，ＦＵＤＧＥＰ，ＴＨＯＭＰＳＯＮＪ．Ａｕ
ｔｏｍａ
ｔｅｄｐ
ｌａｎ
ｄａ
ｔａｂａ
ｓｅｆ
ｏｒａｕ
ｔｏｍａ
ｔｅｄｂｕ
ｉｌｄ
ｉｎｇｄｅ
ｓｉｇｎｒ
ｅｖｉ
ｅｗ ｓ
ｙｓｅｍｓ ［
ｔ Ｊ］． ｒ
ｅｖｉ
ｅｗ ｆ
ｏｒ ｂｕ
ｉｌｄ
ｉｎｇ ｃ
ｏｄｅ ｃ
ｏｍｐ
ｌｉａｎｃ
ｅ ｕｓ
ｉｎｇ ＢＩＭ ［
Ｃ］／／
Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎＣｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１２，２４：２０３－２１２． Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓｏ
ｆｔｈｅ２０
ｔｈＩ
ｎｔｅ
ｒｎａ
ｔｉｏｎａ ｒｋｓｈｏｐ：Ｉ
ｌ Ｗｏ ｎｔｅ
ｌｌ
ｉｇｅｎ
ｔ
［
３８］ＳＯＬＩＨＩＮ Ｗ．Ａ ｓ
ｉｍｐ
ｌｉｆ
ｉｅｄ ＢＩＭ ｄａ
ｔａｒ
ｅｐｒ
ｅｓｅｎ
ｔａｔ
ｉｏｎｕｓ
ｉｎｇａ Ｃｏｍｐｕ
ｔｉｎｇｉ
ｎＥｎｇ
ｉｎｅ
ｅｒｎｇ （
ｉ ＥＧ－ＩＣＥ２０１３）．Ｖｉ
ｅｎｎａ，Ａｕｓ
ｔｒａ，
ｉ
ｒ
ｅｌａ
ｔｉｏｎａ
ｌ ｄａ
ｔａｂａ
ｓｅｓ
ｃｈｅｍａ ｆ
ｏｒ ａｎ ｅ
ｆｆｉ
ｃｉｅｎ
ｔｒｕ
ｌｅ ｃｈｅ
ｃｋｉ
ｎｇ
２０１３：１－１０．
ｓ
ｙｓｔ
ｅｍ ａｎｄ ｉ
ｔｓａ
ｓｓｏ
ｃｉａ
ｔｅｄ ｒ
ｕｌｅ ｃｈｅ
ｃｋｉ ａｎｇｕａｇｅ ［
ｎｇ ｌ Ｄ］． ［
５１］ＺＨＡＮＧＪＳ，ＥＬ－ＧＯＨＡＲＹ Ｎ Ｍ．Ｉ
ｎｔｅ
ｇｒａ
ｔｉｎｇｓ
ｅｍａｎ
ｔｉｃＮＬＰ
Ａｔ
ｌａｎ
ｔａ，ＵＳＡ：Ｇｅｏ
ｒｇｉ
ａＩｎｓｔ
ｉｔｕ
ｔｅｏｆＴｅｃｈｎｏｏｇｙ，２０１５．
ｌ
ａｎｄｌ
ｏｇｉ
ｃｒｅ
ａｓｏｎ
ｉｎｇｉ
ｎｔｏａｕｎ
ｉｆｉ
ｅｄｓ
ｙｓｔ
ｅｍｆ
ｏｒｆ
ｕｌｙ－ａｕ
ｌ ｔｏｍａ
ｔｅｄ
［
３９］ＢＲＡＭＥＲ Ｍ． Ｌｏｇｉｃ ｐｒ
ｏｇｒａｍｍｉｎｇ ｗｉｔ
ｈ Ｐｒ ｏ
ｌｏｇ ［Ｍ］．
ｃ
ｏｄｅｃｈｅ
ｃｋｎｇ ［
ｉ Ｊ］．Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１７，７３：
Ｌｏｎｄｏｎ，ＵＫ：Ｓｐ
ｒｉ ｒ－Ｖｅ
ｎｇｅ ｒｌａｇ，２００５．
４５－５７．
［
４０］ＰＡＵＷＥＬＳＰ，ＶＡＮ ＤＥＵＲＳＥＮ Ｄ，ＶＥＲＳＴＲＡＥＴＥＮ Ｒ，ｅ
ｔ
［
５２］ＺＨＡＮＧ Ｓ Ｊ， ＴＥＩＺＥＲ Ｊ， ＬＥＥ Ｊ Ｋ， ｅ
ｔａｌ． Ｂｕ
ｉｌｄ
ｉｎｇ
ａ
ｌ． Ａ ｓ
ｅｍａｎ
ｔｉｃｒ
ｕｌｅ ｃｈｅ
ｃｋｉ
ｎｇ ｅｎｖ
ｉｒｏｎｍｅｎ
ｔｆｏ
ｒ ｂｕ
ｉｌｄ
ｉｎｇ
ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｍｏｄｅ
ｌｉｎｇ （
ＢＩＭ）ａｎｄ ｓ
ａｆｅ
ｔｙ： Ａｕ
ｔｏｍａ
ｔｉｃｓ
ａｆｅ
ｔｙ
ｐｅ
ｒｆｏ
ｒｍａｎｃ
ｅ ｃｈｅ
ｃｋｎｇ ［
ｉ Ｊ］． Ａｕ
ｔｏｍａ
ｔｉｏｎ ｉ
ｎ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，
５）：５０６－５１８．
２０１１，２０（ ｃｈｅ
ｃｋｉ
ｎｇ ｏ
ｆ ｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ｍｏｄｅ
ｌｓ ａｎｄ ｓ
ｃｈｅｄｕ
ｌｅｓ ［
Ｊ］．
［
４１］ＧＨＡＮＮＡＤ Ｐ，ＬＥＥ Ｙ，ＤＩＭＹＡＤＩＪ，ｅ
ｔａｌ．Ａｕ
ｔｏｍａ
ｔｅｄＢＩＭ Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎＣｏｎｓ
ｔｒｕｃ
ｔｉｏｎ，２０１３，２９：１８３－１９５．

ｄａ
ｔａｖａ
ｌｉｄａ
ｔｉｏｎｉ
ｎｔｅｇ
ｒａｔ
ｉｎｇｏｐｅｎ－ｓ
ｔａｎｄａ
ｒｄｓ
ｃｈｅｍａ ｗｉ
ｔｈｖ
ｉｓｕａ
ｌ ［
５３］ＧＥＴＵＬＩ Ｖ， ＶＥＮＴＵＲＡ Ｓ Ｍ， ＣＡＰＯＮＥ Ｐ， ｅ
ｔａｌ．
ｒ
ｐｏｇ
ｒａｍｍｉ
ｎｇ ｌ
ａｎｇｕａｇｅ ［
Ｊ］． Ａｄｖａｎｃ
ｅｄ Ｅｎｇ
ｉｎｅ
ｅｒｉ
ｎｇ ＢＩＭ－ｂａ
ｓｅｄｃ
ｏｄｅｃｈｅ
ｃｋｉ
ｎｇｆ
ｏｒｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ｈｅ
ａｌｔ
ｈ ａｎｄｓ
ａｆｅ
ｔｙ
Ｉ
ｎｆｏ
ｒｍａ
ｔｉｓ，２０１９，４０：１４－２８．
ｃ ［
Ｊ］．Ｐｒ
ｏｃｅｄ
ｉａＥｎｇ
ｉｎｅ
ｅｒｎｇ，２０１７，１９６：４５４－４６１．
ｉ
［
４２］ ＨＩＥＴＡＮＥＮＪ，ＦＩＮＡＬＳ．ＩＦＣ ｍｏｄｅ
ｌｖｉ
ｅｗ ｄｅ
ｆｉｎ
ｉｔｉ
ｏｎｆ
ｏｒｍａ
ｔ ［
５４］Ｊ
ＩＡＮＧ Ｌ，ＬＥＩＣＨＴ Ｒ Ｍ．Ａｕ
ｔｏｍａ
ｔｅｄｒ
ｕｌｅ－ｂ
ａｓｅ
ｄｃｏｎ
ｓｔｒ
ｕｃｔ
ａｂｉ
ｌｉ
ｔｙ
［
Ｒ］．Ｓ
ｉｎｇａｐｏ
ｒｅ：Ｉ
ｎｔｅ
ｒｎａ
ｔｉｏｎａ
ｌ Ａｌ
ｌｉ
ａｎｃ
ｅｆｏ
ｒＩｎ
ｔｅｒ
ｏｐｅ
ｒａｂ
ｉｌｉ
ｔｙ， ｃ
ｈｅｃ
ｋｉｎｇ：Ｃａ
ｓｅｓ
ｔｕｄｙｏ
ｆｆｏ
ｒｍｗｏ
ｒｋ［
Ｊ］．Ｊ
ｏｕｒ
ｎａｌｏ
ｆＭａ
ｎａｅｍｅ
ｇ ｎｔｉ
ｎ
２００６：１－２９．
Ｅｎｇ
ｉｎｅ
ｅｒｎｇ，２０１４，３１（
ｉ １）：Ａ４０１４００４．
［
４３］ＰＲＥＩＤＥＬ Ｃ，ＢＯＲＲＭＡＮＮ Ａ．Ａｕ
ｔｏｍａ
ｔｅｄｃ
ｏｄｅｃ
ｏｍｐ
ｌｉａｎｃ
ｅ
［
５５］ＢＥＡＣＨ Ｔ Ｈ， ＲＥＺＧＵＩ Ｙ， ＬＩ Ｈ，ｅ
ｔａｌ． Ａ ｒ
ｕｌｅ－ｂａ
ｓｅｄ
ｃｈｅ
ｃｋｉ
ｎｇｂａ
ｓｅｄｏｎａｖ
ｉｓｕａ
ｌｌａｎｇｕａｇｅａｎｄｂｕ
ｉｌｄ
ｉｎｇｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ
ｓ
ｅｍａｎ
ｔｉｃａｐｐ
ｒｏａ
ｃｈｆ
ｏｒａｕ
ｔｏｍａ
ｔｅｄｒ
ｅｇｕ
ｌａｔ
ｏｒｙｃ
ｏｍｐ
ｌｉａｎｃ
ｅｉｎｔ
ｈｅ
ｍｏｄｅ
ｌｉｎｇ ［
Ｃ］／／ Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓ ｏ
ｆｔｈｅ ３２ｎｄ Ｉ
ｎｔｅ
ｒｎａ
ｔｉｏｎａ
ｌ
ｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎｓ
ｅｃｔ
ｏｒ［
Ｊ］．Ｅｘｐｅ
ｒｔＳｙｓ
ｔｅｍｓ ｗｉ
ｔｈ Ａｐｐ
ｌｉｃ
ａｔｏｎｓ，
ｉ
Ｓｙｍｐｏ
ｓｉｕｍ ｏｎ Ａｕ
ｔｏｍａ
ｔｉｏｎａｎｄ Ｒｏｂｏ
ｔｉｃ
ｓｉｎ Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎａｎｄ
１２）：５２１９－５２３１．
２０１５，４２（
Ｍｉ
ｎｉｎｇ．Ｒｅｄ Ｈｏｏｋ，ＵＳＡ：Ｃｕｒ
ｒａｎ Ａｓ
ｓｏｃ
ｉａｔ
ｅ ｎｃ，２０１５．
ｓＩ
［
５６］ＣＨＥＮＧ Ｊ Ｃ Ｐ， ＤＡＳ Ｍ． Ａ ＢＩＭ－ｂａ
ｓｅｄ ｗｅｂ ｓ
ｅｒｖ
ｉｃｅ
［
４４］ＰＬＵＭＥ Ｊ， ＭＩＴＣＨＥＬＬ Ｊ．Ｃｏ
ｌｌａｂｏ
ｒａｔ
ｉｖｅ ｄｅ
ｓｉｇｎ ｕｓ
ｉｎｇ ａ
ｆ
ｒａｍｅｗｏ
ｒｋｆ
ｏｒｇ
ｒｅｅｎ ｂｕ
ｉｌｄ
ｉｎｇ ｅｎｅ
ｒｇｙ ｓ
ｉｍｕ
ｌａｔ
ｉｏｎ ａｎｄ ｃ
ｏｄｅ
ｓｈａ
ｒｅｄＩＦＣ ｂｕ
ｉｌｄ
ｉ ｌ—Ｌｅ
ｎｇ ｍｏｄｅ ａｒｎ
ｉｎｇｆ
ｒｏｍ ｅｘｐｅ
ｒｉ ｅ［
ｅｎｃ Ｊ］．
Ａｕ
ｔｏｍａ
ｔｉｏｎｉ
ｎＣｏｎｓ
ｔｒｕｃ
ｔｉ １）：２８－３６．
ｏｎ，２００７，１６（ ｃｈｅ
ｃｋｎｇ ［
ｉ Ｊ］． Ｊ
ｏｕｒ
ｎａｌ ｏ
ｆ Ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ Ｔｅ
ｃｈｎｏ
ｌｏｇｙ ｉ
ｎ

４５］ 邓亚 ．三维建筑消防 设 计 图 纸 审 查 系 统 的 研 究 与 实 现 ［
［ Ｄ］． Ｃｏｎｓ
ｔｒｕｃ
ｔｉｏｎ （ ｏｎ），２０１４，１９（
ＩＴｃ ８）：１５０－１６８．
北京：北京建筑大学，２０１６． ［
５７］ＮＡＷＡＲＩ Ｎ， ＮＡＷＡＲＩ Ｏ． Ａ ｇｅｎｅ
ｒａｌ
ｉｚｅｄ ａｄａｐ
ｔｉｖｅ
ＤＥＮＧ Ｙ．Ｔｈｅ ｒ
ｅｓｅ
ａｒｃｈ ａｎｄ ｉｍｐ
ｌｅｍｅｎ
ｔａｔ
ｉｏｎ ｏ
ｆｔｈｅ ｔ
ｈｒｅ
ｅ ｆ
ｒ ｒｋ （
ａｍｅｗｏ ＧＡＦ）ｆ
ｏｒａｕ
ｔｏｍａ
ｔｉｎｇｃ
ｏｄｅｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｉ
ｎｇ
ｄ
ｉｍｅｎｓ
ｉｏｎａ
ｌｂｕ
ｉｌｄ
ｉｎｇｆ
ｉｒｅｄｅ
ｓｉｇｎｄ
ｒ ｎｇｒ
ａｗｉ ｅｖｉ
ｅｗｓ
ｙｓｅｍ ［
ｔ Ｄ］． ［
Ｊ］．Ｂｕ
ｉｌｄ
ｉｎｇｓ，２０１９，９（
４）：８６．
Ｂｅ
ｉｉ
ｊｎｇ： Ｂｅ
ｉｉ
ｊｎｇ Ｕｎ
ｉｖｅ
ｒｓｉ
ｔｙ ｏ
ｆ Ｃ
ｉｖｉ
ｌ Ｅｎｇ
ｉｎｅ
ｅｒｎｇ ａｎｄ
ｉ ［
５８］ＰＡＵＷＥＬＳ Ｐ，ＤＥ ＦＡＲＩＡＳ Ｔ Ｍ，ＺＨＡＮＧ Ｃ，ｅ
ｔａｌ．Ａ
Ａｒ
ｃｈｉ
ｔｅｃ
ｔ ｅ，２０１６．（
ｕｒ ｉｎＣｈ
ｉｎｅ
ｓｅ） ｐｅ
ｒｆｏ
ｒｍａｎｃ
ｅ ｂｅｎｃｈｍａ
ｒｋ ｏｖｅ
ｒ ｓ
ｅｍａｎ
ｔｉｃ ｒ
ｕｌｅ ｃｈｅ
ｃｋｉ
ｎｇ
［
４６］ＺＨＡＮＧ Ｓ，ＬＥＥＪ Ｋ，ＶＥＮＵＧＯＰＡＬ Ｍ，ｅ
ｔａｌ．Ｉ
ｎｔｅｇ
ｒａｔ
ｉｎｇ
ａｐｐ
ｒｏａ
ｃｈｅ
ｓ ｉ
ｎ ｃ
ｏｎｓ
ｔｒｕｃ
ｔｉｏｎ ｉ
ｎｄｕｓ
ｔｒｙ ［
Ｊ］． Ａｄｖａｎｃ
ｅｄ
ＢＩＭ ａｎｄｓ
ａｆｅ
ｔｙ：Ａｎ ａｕ
ｔｏｍａ
ｔｅｄｒ
ｕｌｅ－ｂａ
ｓｅｄｃｈｅ
ｃｋｉ
ｎｇｓ
ｙｓｔ
ｅｍ
Ｅｎｇ
ｉｎｅ
ｅｒｉ
ｎｇＩ
ｎｆｏ
ｒｍａ
ｔｉｓ，２０１７，３３：６８－８８．
ｃ
ｆ
ｏｒｓ
ａｆｅ
ｔ ｌ
ｙｐａｎｎ
ｉｎｇａｎｄｓ
ｉｍｕ
ｌａｔ
ｉｏｎ ［
Ｃ］／／ Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓｏ
ｆｔｈｅ
５９］ 吉 久茂，童华炜，张家立 ．基于 Ｓｏ
［ ｌｉｂｒ
ｉｍｏｄｅ
ｌｃｈｅ ｒ的 ＢＩＭ
ｃｋｅ
ＣＩＢ Ｗ０９９．Ｗａ
ｓｈｉ
ｎｇｏｎＤＣ，ＵＳＡ：ＣＩＢ，２０１１．
ｔ
Ｊ］．土木建筑工程信 息 技 术，２０１４，
模型质量检查方法探究 ［
［
４７］ＢＡＬＡＢＡＮ ，ＫＩＬＩＭＣＩ Ｅ Ｓ Ｙ，ＡＧ̌ＤＡＳ Ｇ．Ａｕ
ｔｏｍａ
ｔｅｄ
６（
１）：１４－１９．
ｃ
ｏｄｅｃ
ｏｍｐ
ｌｉａｎｃ
ｅｃｈｅ
ｃｋｉ
ｎｇ ｍｏｄｅ
ｌｆｏ
ｒｆｉ
ｒｅｅｇ
ｒｅｓ
ｓｃ ｓ［
ｏｄｅ ／／
Ｃ］
ＩＪ Ｍ，ＴＯＮＧ Ｈ Ｗ，ＺＨＡＮＧＪＬ．Ｉ
Ｊ ｎｑｕ
ｉｒｙｏ
ｆｔｈｅｍｅ
ｔｈｏｄｏ
ｆ
Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓｏ
ｆｔｈｅ３０
ｔｈｅＣＡＡＤｅＣｏｎ
ｆｅｒ
ｅｎｃ ａｇｕｅ，Ｃｚ
ｅ．Ｐｒ ｅｃｈ
Ｒｅｐｕｂ
ｌｉｃ，２０１２． ＢＩＭ ｍｏｄｅ
ｌｃｈｅ
ｃｋｉ
ｎｇｂａ
ｓｅｄＳｏ
ｌｉｂｒ
ｉｍｏｄｅ
ｌｃｈｅ ｒ［
ｃｋｅ Ｊ］．Ｊ
ｏｕｒ
ｎａｌ

［
４８］ＪＥＯＮＧＪ，ＬＥＥＧ．Ｒｅ
ｑｕｉ
ｒｅｍｅ
ｎｔｓｆ
ｏｒａ
ｕｔｏｍａ
ｔｅｄｃ
ｏｄｅｃ
ｈｅｃ
ｋｉｎｇｆ
ｏｒ ｏ
ｆ Ｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ Ｔｅ
ｃｈｎｏ
ｌｏｇｙ ｉ
ｎ Ｃ
ｉｖｉ
ｌ Ｅｎｇ
ｉｎｅ
ｅｒｉ
ｎｇ ａｎｄ

ｆ
ｉｒｅｒ
ｅｓｉ
ｓｔａ
ｎｃｅａ
ｎｄｅ
ｇｒｅ
ｓｓｒ
ｕｌｅｕ
ｓｉ ＩＭ ［
ｎｇＢ Ｃ］／／Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓｏ
ｆｔｈ
ｅ Ａｒ
ｃｈｉ
ｔｅｃ
ｔｕｒ １）：１４－１９．（
ｅ，２０１４，６（ ｉｎＣｈ
ｉｎｅ
ｓｅ）

ＩＣＣＥＭＩＣＣＰＭ ２００９．Ｊ
ｅｊｕ，Ｋｏ
ｒｅａ，２００９：３１６－３２２． ［
６０］ＺＨＯＵ Ｙ Ｗ，ＨＵ ＺＺ，Ｌ
ＩＮＪＲ，ｅ
ｔａｌ．Ａｒ
ｅｖｉ
ｅｗｏｎ３Ｄｓ
ｐａｔ
ｉａｌ
［
４９］ＳＨＩＨ Ｓ，ＳＨＥＲ Ｗ，ＧＩＧＧＩＮＳ Ｈ，ｅ ｔａｌ．Ａｓ
ｓｅｓｓｍｅｎ
ｔｏｆｔ
ｈｅ ｄ
ａｔａａ
ｎａｌ
ｙｔｉ
ｃｓｆ
ｏｒｂｕ
ｉｌｄ
ｉｎｇｉ
ｎｆｏ
ｒｍａ
ｔｉｏｎ ｍｏ
ｄｅｓ［
ｌ Ｊ］．Ａｒ
ｃｈｉ
ｖｅｓｏ
ｆ
ｂｕ
ｉｌｄ
ｉｎｇ ｃ
ｏｄｅ ｏ
ｆ Ａｕｓ
ｔｒａ
ｌｉａｔ
ｏｉｎ
ｆｏｒｍ ｔ
ｈｅ ｄｅｖｅ
ｌｏｐｍｅｎ
ｔｏｆ Ｃｏｍｐｕ
ｔａｔ
ｉｏｎ
ａｌＭｅ
ｔｈｏ
ｄｓｉ
ｎＥｎｇ
ｉｎｅ
ｅｒｎｇ，２０１９：１－５．
ｉ
ＢＩＭ－ｅｎａｂ
ｌｅｄｃ
ｏｄｅ－ｃｈｅ
ｃｋｉ
ｎｇｓ
ｙｓｅｍｓ［
ｔ Ｃ］／／Ｐｒ
ｏｃｅ
ｅｄｉ
ｎｇｓｏ
ｆｔｈｅ
１９
ｔｈ ＣＩＢ Ｗｏ
ｒｌｄ Ｂｕ
ｉｌｄ
ｉｎｇ Ｃｏｎｇ
ｒｅｓ
ｓ．Ｂｒ
ｉｓｂａｎｅ， Ａｕｓ
ｔｒａ
ｌｉａ， （责任编辑 汤梅）
２０１３：１－１２．