— In this paper, we present a tool named UmpleRun that allows modelers to run the textually specified state machines under analysis with an execution scenario to validate the model's dynamic behavior. In addition, trace specification will output execution traces that contain model construct links. This will permit analysis of behavior at the model level. Keywords— UmpleRun; Umple; UML; MOTL; state machine; execution trace; analysis
Hamoud I. Aljamaan, Timothy Lethbridge, Miguel Gar