Formal_Methods_Playground_Based_Alloy模型编辑分析数据集

数据集概述

本数据集包含在Formal Methods Playground平台（https://play.formal-methods.net/）上编辑和分析的Alloy模型数据，核心记录Alloy模型实验的关键信息，支持形式化方法领域的模型研究与分析。数据集包含一个文件。

文件详解

• 文件名称：fmp_als.json
• 文件格式：JSON
• 字段映射介绍：每条记录包含id（唯一标识符）、parent（父记录标识）、code（模型完整代码）、permalink（平台模型永久链接，可通过https://play.formal-methods.net/?check=ALS&p=访问）、time（时间戳）、cmd（命令索引，从1开始）。

数据来源

论文“On Writing Alloy Models: Metrics and a new Dataset”（ABZ 2025会议论文）

适用场景

• 形式化方法模型研究: 分析Alloy模型的结构特征、编写模式及实验演化过程。
• Alloy语言学习与教学: 作为教学案例，辅助理解Alloy模型的编辑逻辑和实验验证流程。
• 形式化工具性能评估: 基于模型代码和实验记录，评估Formal Methods Playground平台的功能支持与处理效率。
• 模型版本演化分析: 通过parent字段追踪模型的迭代关系，研究形式化模型的开发演化规律。