The second primary benefit of UML for system specification comes from the fact that UML's behavioral model derives from Harel Statecharts, a well-defined executable language. You can execute and ...