Executable UML is a graphical specification language. It combines a subset of the UML (Unified Modeling Language) graphical notation with executable semantics and timing rules taken from the Shlaer-Mellor Method - the best of both worlds. You can use this language to build a fully executable system specification consisting of class, state, and, action models. Unlike traditional specifications, an executable specification can be run, tested, debugged, and measured for performance. The tested specification (models) can then be translated into target code.
In this book, Leon has modeled a working elevator control application in Executable UML. These models are intended to demonstrate good modeling and analysis techniques. Emphasis is placed on separating the application from the implementation through layered domain analysis. Manager and controller classes are avoided to reflect a genuinely object oriented analysis. Good modeling techniques and careful domain separation reduce the potential complexity of the application models.

This book comes with two CDs. One CD contains the complete set of elevator application model diagrams. The other CD includes a trial version of an interactive model editor and execution/debugging environment. Using the content on these CDs, the reader is taken through a detailed, step by step simulation of these models.

Also available on CD is a trial version of a model compiler that transforms Executable UML models to C++ code for Windows NT / 98.