Queued and Pooled Semantics for State Machines in the Umple Model-Oriented Programming Language