Modeling Tools
nuseen
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
Ecore Documentation Generator is a small utility for adding documentation to EMF metamodels (Ecore and Genmodel files) and generating HTML or LaTeX output.
YAKINDU Statechart Tools
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...
ModelBus
ModelBus is a model-driven tool integration framework which allows you to build a seamlessly integrated tool environment for your system engineering process.
Graphical Modeling Framework (GMF) - Tooling
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.
Eclipse 4 Tools: Application Model Editor
The Application Model Editor provides enhanced support for defining and refining Eclipse 4 model definition files (usually with an extension of .e4xmi). One particularly nifty...
JPA Diagram Editor
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...
LarCT-R
A jACT-R extension that uses RDF as its internal data-structure and allows LarKC workflows to be run from jACT-R models. jACT-R is a Java native implementation of the ACT-R...
EMF Validation Builder
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)
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...