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

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

搜集汇总

背景与挑战

背景概述

该数据集面向可编程语言引擎研究，基于拍卖类法律合约，采用事件驱动流程链（EPC）方法进行形式化建模，并通过规则映射生成语义一致的Solidity智能合约代码。它包含EPC模型、规则映射和合约实现结果，为研究流程模型到智能合约的规则化转换提供数据支持，适用于流程建模验证和代码生成等任务。