Modeling Tools

Nuseen is an eclipse-based environment for the model checker NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of the NuSMV tool by means of graphical...

Ecore Documentation Generator is a small utility for adding documentation to EMF metamodels (Ecore and Genmodel files) and generating HTML or LaTeX output.

With YAKINDU Statechart Tools, you can easily create complex systems in a visual way. Simulate and test your system’s behavior already while you are modeling. Code generators...

GMF-Tooling is back in Juno. By defining a tooling, graphical and mapping model definition, one can generate a fully functional graphical editor in Eclipse.

The user may easily create a diagram (and the corresponding business model along with it) as part of any JPA-enabled project and may view and edit the model through this diagram...

EMF Validation Builder is an eclipse plugin that automates the validation process (“on save” validation). By default, EMF doesn't validate an EMF resource when it is saved (like...

EMF To Graphviz (emf2gv) allows to generate a graphical representation of an EMF model (using GraphViz utility). It may be considered as a lightweight readonly alternative to GMF...

Sourcecode Visualizer is an Eclipse plugin for visualizing Java sourcecode. It draws a control flow graph alongside of Java source code. It is an indispensable tool for sourcecode...

Kermeta workbench is a powerful metaprogramming environment based on an model-oriented language optimized for metamodel engineering and DSL engineering. Kermeta features a...

Kermeta 2 is the evolution of Kermeta workbench. This is a powerful metaprogramming environment based on an model-oriented language optimized for metamodel engineering and DSL...