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),

analysis about doActivity features present in PSSM test suite, focusing on concurrency,

collection of state machine models and doActivity patterns used in the Thirty Meter Telescope (TMT) SysML model.

Find the related paper at arXiv:2309.14884.