In this second article, we describe the elements of Executable and Translatable UML (xtUML, or just Executable UML) [1], how actions enable description of behavior at a higher level of abstraction, ...

We then use model mappings, coupled with marks that indicate which mapping rule to apply, to translate the application model into hardware and software description languages. This approach enables a ...

In-Depth From UML to Design by Contract By Christine Mingins, Yu Liu April 1, 2001 A trustworthy, reusable component will clearly advertise the set of services it provides in its interface. More ...