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

本数据集面向可编程语言引擎研究，系统构建了法律合约、有限状态机模型与智能合约代码之间的对应数据资源。数据集以真实法律合同为基础，通过将合同条款映射为有限状态机（Finite State Machine, FSM），刻画合同执行过程中的状态演化与控制逻辑，为法律语义向可执行智能合约的转换提供结构化支撑。数据集选取了联合品牌、合作、开发、分销、许可、推广、服务与供应等合同类型，覆盖顺序流程、条件分支、并行执行、时间约束及异常处理等多种合同控制模式。所有合同样本均由研究人员在统一建模规范下进行人工标注与建模，逐条抽取状态与状态转换关系，并生成与之对应的智能合约代码，以保证法律文本、FSM 模型与程序实现之间的语义一致性与可追溯性。在数据质量控制方面，通过人工校验与一致性检查，确保不同合同类型在状态建模粒度、控制结构表达及代码映射规则上的统一性与规范性。该数据集于 2024 年 11 月至 2025 年 3 月期间完成采集与构建，数据来源可靠，标注过程可复现。本数据集采用开放共享方式发布，具有较高的复用价值，可为法律合约形式化表示、有限状态机建模、智能合约自动生成与验证等研究方向提供基础数据支持。