基于BIM的自动化建筑法规检测的架构
       (一)、准备模型(Building model preparation)
       进行法规检测时，被检测模型必须配合能检测的应对数据，而针对对象使用的命名，又通常具有一定的法令术语规定。因此，在建置模型的阶段，必要有一定的规范，以引导设计者可以设计出符合法规验证的模型出来。因此，提供此预先内置有针对法规所需属性命名标准的样板档案，是满足建置可供检测之模型的准备要件之一。另外，如何确保准备模型的数据质量亦为重要的议题之一。
       (二)、法规解译(Rule interpretation)
       如果用「里应外合」的成语来形容「准备模型」及「法规解译」间的关系，则「里应」就是「准备模型」，而「外合」就是「法规解译」。「法规解译」本身结合了建筑法规专业领域的知识，以及程序设计的信息技术，缺一不可，尤其以建筑法规专业领域的知识**为首要，而信息技术应该为辅。目前此部分大致有两种做法，一是经由程序设计师直接将法规利用一般的程序语言写成一个个程序模块。二是这些以人类语法逻辑所描述的法规，使用一种正规化发展出来的方法予以转译，然后再转换为可执行的程序语言。**种方法由于程序设计人员大都不是建筑法规专家，对法规的认知易生误差。而第二种发展一个正规化的方法，由业界法规专家对法规的逻辑进行阶段式的解译，使法规变成较具逻辑推演的描述，再交由程序人员进行软件法规的实作，应是一个较为可行的方法。
       在法规与法规转化的过程中，一阶谓词逻辑(First-Order Logic)可能是一个可行的逻辑描述方式之一，在逻辑上，「谓词」是一个定义明确的术语(或功能)，较容易产出明确的需求定义，而且较容易转换成标准的程序语法。而在处理上，法规转换主要处理两种要素：a.法规的条件与内容，及b.法规作用的属性，而这些都是与对象的名称与属性息息相关，Solibri 将前者内化为规则集，而将后者设计成参数化表格供输入来进行检测。就长远而言，下列两种不同的语言发展形式应该可以被考虑：1.以谓词逻辑为基础，经由谓词逻辑将法规与法规先行转译成谓词逻辑描述，再转换为可执行的程序代码；2.发展领域导向的程序语言(Rule-based)，让法规可以简单的被定义与实作测试，如BERA 语言。
       (三)、法规检测(Rule execution)
       前两项基本要素备妥后，即可进行检测运算，此阶段重点在执行过程的管理，例如在正式进行法规检测之前，需要先对受检模型进行语法检查(syntactic checking)，以确定建筑模型带有必要的属性、名称、所需的对象等，无论是整套的检测任务，或可能是对映检查规则集的一部分之局限型模型视域，皆需先做检查。另外a.法规检测完整性，及b.模型版本一致性的管理，也是此阶段的重点工作。
       (四)、输出结果(Rule reporting)
       检测结果的输出，目前以Solibri Model Checker 的做法较具代表性，就是包括a.法规实作图形化报告(Rule instance graphical reporting)，及b.对照法规条文(Reference to source rule)。将来应该可以考虑更积极的做法，即将抵触法规的部分能自动回馈成模型视域修正的建议，直接帮助建筑师调整设计，更省时间。