数据集概述
本数据集是ASE 2022会议投稿的补充材料，包含PUSH/PULL数据传输代数架构模型的证明文档、图基重构工具、案例研究模型文件、生成的原型代码、性能评估数据及完整实现文件，为该模型的验证与应用提供支持。
文件详解
- 证明文档：
- ASE2022_proofs.pdf：PDF格式，包含定理1、2、3及其他引理的详细正确性证明
- 工具文件：
- GraphBasedRefactor.jar：JAR格式，图基重构工具，需Java 13及以上运行
- 模型文件：
- models.zip：ZIP格式，压缩的案例研究模型文件（含WOS、POS、类Twitter服务、跳跃游戏架构）
- 原型文件：
- prototypes.zip：ZIP格式，压缩的生成原型代码文件
- 评估文件：
- evaluations.xlsx：Excel格式，API调用性能评估结果（含WOS、类Twitter服务、POS系统）
- 完整实现文件：
- JumpingGame.zip：ZIP格式，跳跃游戏的完整Java实现及可执行JAR文件
- PosSystem.zip：ZIP格式，POS系统的完整Java实现及可执行JAR文件
适用场景
- 架构设计研究：分析PUSH/PULL数据传输模型在不同系统架构中的应用效果
- 工具验证：测试图基重构工具对Java项目数据传输方式的重构能力
- 性能评估：对比不同数据传输策略下API调用的计算时间差异
- 案例分析：研究WOS、POS等典型系统架构的PUSH/PULL传输设计方案
- 原型生成：基于模型文件快速生成Java或JAX-RS原型代码
