In the 1960's we learned how to compile assembly language into machine language. Twenty years later, we learned how to do the same for high-level languages such as C. Now it is time to compile models ...

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 ...

In the first article in this series, we introduced the notion of an executable UML, but we did not describe the elements of which it consists. These elements must be sufficiently primitive to be ...