可编程语言引擎EPC-to-Solidity数据集

本数据集面向可编程语言引擎研究，通过采集拍卖类法律合约，并由研究人员采用事件驱动流程链（Event-driven Process Chain, EPC）方法对合同执行过程进行形式化建模，并在此基础上，依据预定义的规则映射文件，生成语义一致的 Solidity 智能合约代码。数据集中系统保留了 EPC 模型、规则映射关系及对应的合约实现结果，为分析流程模型到智能合约代码的规则化转换机制提供了可复用的数据基础。该数据集于 2023 年 9 月至 11 月期间完成采集与构建，从研究视角看，该数据集可用于支持流程建模方法验证、规则驱动代码生成、合约一致性分析以及智能合约自动化工具链评测等研究任务，为法律合约执行逻辑的形式化表达与自动生成研究提供了重要的数据支撑。