Supplementary Material for "To Do or Not to Do: Semantics and Patterns for Do Activities in UML PSSM State Machines"

This dataset provides artifacts about the semantics of doActivity in the Precise Semantics of UML State Machines (PSSM) specification. It collects execution traces and screenshots from two simulators (Cameo, Papyrus Moka), and analysis about doActivity features present in PSSM test suite, focusing on concurrency.