A graphical language designed to be used to specify, visualize, and document models of software systems.