一种Event-B模型智能合约转换方法及系统

本发明公开了一种Event‑B模型智能合约转换方法及系统，包括：利用扩展巴科斯范式，设定转换工具的输入输出范围；基于所定义的输入输出范围，针对Event‑B模型语法子集中的每个元素，设计具体的转换规则；采用编程语言将Event‑B模型转换为Solidity代码，完成智能合约的形式化设计开发。本发明实现形式化模型与智能合约的在线转换，有效提高智能合约安全性。