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

Márton Elekes, Vince Molnár, Zoltán Micskei

State machines are used in engineering many types of software-intensive systems. UML State Machines extend simple finite state machines with powerful constructs. Among the many ext…