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

本数据集用以支撑“智能合约与法律的创新理论及方法”国家重点研发计划的研究，系统汇集了基于业务流程建模语言（BPMN）的多类型法律合同流程数据，为法律合约的结构化表达、流程理解与自动化生成提供基础性数据支撑。数据集选取销售、拍卖、采购与租赁四类具有代表性的法律合同类型，在统一建模规范下对合同履行过程进行 BPMN 形式化建模，涵盖合同触发、条件判断、流程分支与执行终止等关键流程要素，体现了法律合同在实际运行中的流程复杂性与差异性。数据采集与建模工作于 2024 年 6 月至 2024 年 9 月期间完成，所有合同流程均由研究人员依据一致的建模标准进行构建，以确保不同合同类型在流程粒度、元素语义与结构表达上的可比性。四类合同对应的 BPMN 元素数量分别为 14、13、23 和 17，总计 67 个流程元素，形成规模适中、结构清晰且具有代表性的流程样本集合。在数据质量控制方面，通过统一建模模板与多轮校验，保障了流程元素定义的规范性与流程结构的合理性，避免因建模差异引入噪声干扰。该数据集可为大模型在 BPMN 流程生成、法律合约流程理解、结构化建模评测以及智能合约流程化表示等研究方向提供可复用的数据基础，并为后续扩展更多合同类型或对比不同建模与生成方法提供参考基准。