[发明专利]一种用于建筑工程质量验收的智能合约生成方法和装置

摘要

本发明公开了一种用于建筑工程质量验收的智能合约生成方法和装置，属于建筑工程领域。包括：建立建筑工程质量验收规范本体模型，基于本体模型检索出建筑工程质量验收规则；构建建筑工程质量验收智能合约的有限状态机模型，实现智能合约的形式化；结合有限状态机模型，将建筑工程质量验收规则映射为有限状态机中的状态集以及转换条件，建立建筑工程质量验收的有限状态机模型；利用建模工具将建筑工程质量验收的有限状态机模型转换为智能合约代码。本发明采用建筑工程质量验收有限状态机，可实现建筑工程质量验收智能合约代码的自动生成，并建立建筑工程质量验收规范本体模型，确保检索出的建筑工程质量验收规则与原规范条文表意一致。