A Foundation for Model-Driven Architecture
Stephen J. Mellor
Published by Addison-Wesley
Executable UML is a major innovation in the field of software
development. Use it to produce a comprehensive and understandable model of
a solution independent of the organization of the software implementation.
It is a highly abstract thinking tool that aids in the formalization of
knowledge, and is also a way of describing the concepts that make up abstract
solutions to software development problems.
As a foundation for Model-Driven
Architecture, Executable UML provides the key technology for expressing application
domains in a platform-independent manner.
But Executable UML can do more than formalize requirements and
use cases into a rich set of verifiable diagrams. The models have a
formal action semantics so that they are executable and testable and can
be translated directly into code by executable UML model compilers.