数据集概述
本数据集为论文《Formal Verification of Storm Topologies through D-VerT》的配套研究数据，包含论文中展示的UML模型、D-VerT自动生成的时序逻辑模型实例及实验输出文件，用于支持Storm流处理拓扑的形式化验证研究，总计一个压缩文件。
文件详解
- 文件名称：SAC2017.zip
- 文件格式：ZIP
- 字段映射介绍：压缩包内包含三类核心内容：论文中图7和图8对应的UML模型文件、D-VerT工具自动生成的时序逻辑模型实例文件、形式化验证实验的输出结果文件，具体文件结构需解压后查看。
数据来源
论文“Formal verification of storm topologies through D-VerT”（SAC '17会议论文）
适用场景
- Storm拓扑形式化验证研究：用于复现论文中基于D-VerT的Storm流处理拓扑验证实验，分析验证方法的有效性。
- 流处理系统可靠性分析：通过UML模型和时序逻辑实例，研究Storm拓扑的行为特性与潜在缺陷。
- 形式化方法工具评估：以D-VerT生成的模型和实验输出为基础，评估该工具在流处理系统验证中的性能。
- 学术论文数据复现：为相关领域研究者提供论文实验的原始数据，支持结果验证与扩展研究。
