数据集概述
本数据集作为论文《To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines》的补充材料，包含UML状态机精确语义规范（PSSM）中doActivity语义的相关成果，具体涉及两个模拟器的执行轨迹与截图、PSSM测试套件中doActivity特性分析、三十米望远镜（TMT）SysML模型中的状态机模型及doActivity模式集合。
文件详解
- README.md
- 文件格式：MD
- 字段映射介绍：包含数据集基本信息，包括UML PSSM状态机doActivity语义研究的背景、数据内容摘要及作者信息
- supplementary-material-v2.zip
- 文件格式：ZIP
- 字段映射介绍：压缩包内包含两个模拟器（Cameo、Papyrus Moka）的执行轨迹与截图、PSSM测试套件doActivity特性（聚焦并发）分析文档、三十米望远镜（TMT）SysML模型中的状态机模型及doActivity模式集合
数据来源
论文《To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines》（arXiv:2309.14884）
适用场景
- UML状态机语义研究: 分析PSSM规范中doActivity的语义定义与执行逻辑
- 建模工具验证: 对比Cameo与Papyrus Moka模拟器对doActivity的实现差异
- 并发特性分析: 研究PSSM测试套件中doActivity的并发行为模式
- 系统建模实践参考: 提取TMT SysML模型中的doActivity模式，指导复杂系统的状态机设计
