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

<p>This dataset provides artifacts about the semantics of doActivity in the Precise Semantics of UML State Machines (PSSM) specification. It collects:</p> <ul> <li>execution traces and screenshots from two simulators (Cameo, Papyrus Moka),</li> <li>analysis about doActivity features present in PSSM test suite, focusing on concurrency,</li> <li>collection of state machine models and doActivity patterns used in the Thirty Meter Telescope (TMT) SysML model.</li> </ul> <p>Find the related paper at <a href="https://arxiv.org/abs/2309.14884" target="_blank" rel="noopener">arXiv:2309.14884</a>.</p>