Innovator is the integrated modeling platform for methodically sound and efficient realization of MDA development. Absolute focus towards OMG standards guarantees methodical accuracy and clarity throughout the entire development process. Innovator offers a broad range of use, from business process modeling, object-orientated and structured software analysis and design, right through to the manufactured software model. Innovator uses UML for business process modeling, which allows for a uniform, standardized notation of the business process model right through to the system design model. Innovator is particularly suitable for MDA application, as the product can be used with UML profiles for language extension.

gModeler is a free online UML diagramming and documentation tool, targetted at developers working with ECMA 262 languages such as FlashMX's Actionscript, and Javascript. In addition to it's diagramming capabilities, it exports HTML documentation, FlashMX XML documentation (for the Action Panel and Reference Panel) and stub code (class code).

The Organization Modelling Environment (OME) is a general, goal-oriented and/or agent-oriented modeling and analysis tool. It provides users with a graphical interface to develop models, and supports access to a powerful knowledge base that allows for sophisticated computer-aided analysis. This tool is intended to provide software developers with a clear link between the requirements, specification and architectural design phases of development.

Umple is a programming language family. It adds abstractions such as Associations and Attributes derived from UML to object-oriented programming languages such as Java and PHP. Umple can also be used to create UML class diagrams textually.

Persistate is a completely new way of developing applications using the .Net framework which is agile, intuitive, astonishingly quick and easily scalable. Persistate allows you to define your application structure using an intuitive English-like language, which is easy to learn, and completely self-documenting. Persistate generates a full model/view/controller application from this definition, including a complete database, corresponding .Net classes modelling the data, a ready to use user interface, and a controller with stub methods ready for you to code your business logic.

Executable, translatable UML (xtUML) is an extension to UML based upon the Shlaer-Mellor Method of Model-Driven Architecture (MDA), which supports a powerful approach to Model-Driven Development (MDD). xtUML.org provides the system design community with access to xtUML editing, execution and translation capabilities, along with a forum to advance the use of this methodology. Find the BridgePoint tool along with models, training materials and community discussion here.

WinTranslator is used with WinA&D, QuickCRC or QuickUML to generate class models or CRC cards from object-oriented software written in C++, C#, Java, Delphi or Ada. Code written in C, Pascal, procedural Basic or Fortran generates structure charts. Large software systems are partitioned into multiple diagrams with objects linked to related source code. Detailed information can be extracted from the code including data types, parameter lists and descriptive comments. An dialog steps the user through the reengineering process. Rich data models can be generated from SQL.

Reactive Systems offers the Reactis testing and validation package for Simulink and Stateflow models. Reactis Tester generates comprehensive yet compact test suites from models. Reactis Simulator enables users to visualize test execution, track test coverage, and fine-tune Tester-generated tests. Reactis Validator automatically searches models for violations of user-specified requirements. Reactis for C Plugin offers white-box analysis of the C code portions of models (S-Functions and Stateflow custom C code). The tool integrates seamlessly with (and requires) Reactis.

NClass is a free, UML-based class diagram editor with full C# and Java language support. The user interface is designed to be simple and user-friendly for easy and fast development. Properties, enums, delegates and other language specific elements are fully supported with strict syntactical and semantical verification, and declaration parsers provide a handy way for skipping the old mouse-controlled editing.

UNICASE is a CASE-Tool integrating models from the different development acitivities, such as requirements, use cases, UML models, schedules, bug and feature models into a unified model.