Executable UML

A Foundation for Model-Driven Architecture

Stephen J. Mellor
Marc J.Balcer

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.