An integrated software modeling environment for Eclipse. [Commercial, Free Trial]

Automatically generates UML class, sequence and execution flow diagrams from C# or Java source code. Supports export to IBM Rational Rose and Microsoft Visio. [Commercial, free Trial]

The P-UMLaut tool allows the user to transform UML 2.0 Sequence Diagrams to semantically equivalent Petri Nets. [Open Source, LGPL]

A CASE tool that translates natural English into logical models for software development, which should accelerate the systems analysis process. [Commercial, Free Trial]

Eclipse plugin for designing object-oriented event-driven applications using automata-based programming adapted for UML. [Open Source, LGPL]

Eclipse plugin for MDA and UML 1.4. Development Status: Alpha [Open source, GPL]

Converts UML models created with ArgoUML to the Eclipse UML dialect Ecore. [Open Source, CPL]

Slim modeling environment, is a lightweight UML Class Diagram drawing plug-in for the Eclipse Platform. [Free, Available on request]

HOL-OCL is an interactive proof environment for the Object Constraint Language (OCL) implemented in Isabelle/HOL.

Plugin for Eclipse, has an IDE for OCL (Object Constraint Language) and UML. [Open Source, BSD]