MagicDraw is a proprietary visual UML, SysML, BPMN, and UPDM modeling tool with team collaboration support.
[4] Active validation allows the checking of domain specific models in real time and suggests help and can even fix some issues.
[5] Also model-to-model transformations between the same or different meta-models can be defined and run directly in MagicDraw by using the QVT plugin.
OMG BPMN 2.0 support with all three diagrams (Process, Collaboration and Choreography), model validation and reports are available with the Cameo Business Modeler plugin The SysML plugin supports the latest OMG SysML Specification 1.6 version.
Cameo Simulation Toolkit provides the first in the industry extendable model execution framework based on OMG fUML and W3C SCXML standards.
It extends MagicDraw to validate system behavior by executing, animating, and debugging UML 2.0 State machines and Activity models in the context of realistic mock-ups of the intended user interface.