This project provides a set of tools for the model checker NuSMV.
Following tools are contained, or will be contained in the near future:
Two metamodels based on the Eclipse Modeling Framewor...
This is an Eclipse [1] plugin that enables to use the tool bar, the menu bar, the context menu or a keyboard shortcut in order to transform a state machine conforming to the SCXML [2] meta-model in...
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 aim of that plugin is to provide a first class Eclipse integration for the Alloy 4 specification language and tool developed at the MIT (http://alloy.mit.edu/). The release 0.3.x is based on Xt...
MetaModelAgent for open source Papyrus , IBM RSAD/RTE and HCL RTist accelerates the implementation and usage of UML-based Domain-specific modeling languages (DSML) as well as providing static mode...
EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables developers to define textual Domain Specific Languages quickly and...
Are you developing Java applications that are taking forever to complete? Have you considered implementing web based UIs using React along with RESTful web services, but the time to code is overwhe...
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 the JDT does for ex...
Acceleo is a pragmatic implementation of the Object Management Group (OMG) MOF Model to Text Language (MTL) standard. You do not need to be an expert to start using the plug-ins and create your fir...
The ArchiMate add-in is an open-source initiative founded by Adocus. The add-in enables you to model enterprise architecture models based upon the well recognized and popular ArchiMate® 2.1 notatio...
BLU AGE Classic automatically extracts the business logic of complex and large legacy applications and accelerates their modernization into the target architecture of your choice.
BLU AGE FORWARD module is the first Integrated Modeling Environment to build and debug your models and generate an application. The applications developed with Blu Age Forward are directly generate...
BLU AGE Legacy Modernization module automatically extracts the business logic of complex and large legacy applications and accelerates their modernization into the target architecture of your choic...
The Bonita platform is designed for multidisciplinary development teams to create and continuously improve enterprise-grade living applications.
It's a low-code digital business automation platfor...
BPM inspire is a complete BPM suite comprising modelling, automation, graphical user interfaces, monitoring and controlling functions for use in automating business processes. BPM inspire helps red...
<P><STRONG>BPMN Composer</STRONG> is a high extensible and intuitive graphic tools for BPMN modeling. It implements:
<UL><LI>Full object model of the specification &...
Capella is a Comprehensive, extensible and field-proven MBSE solution to successfully design systems architecture.
It provides provides methodological guidance, intuitive model editing, and viewin...
Dart Designer is a graphical tool for Dart Developers.
It allows you to specify your Dart application directly from Eclipse thanks to several kinds of diagrams (Class, Explorer, Library, Module,...
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 feature is that the ...
The Eclipse BPMN2 Modeler is a graphical modeling tool for authoring BPMN 2.0 compliant business processes. The editor is fully customizable for any process engine that supports BPMN 2.0. Installab...
EcoreTools is a graphical modeler to create, edit and analyze Ecore models. It provides several a class diagram editor (similar to UML Class Diagrams), a package dependencies diagram editor and s...
The EMF Client Platform is a framework for building EMF-based client applications. The goal is to provide a one-click application based on a given EMF model. No additional components have to be dev...
EMF Compare brings model comparison to the EMF framework, this tool provides generic support for any kind of metamodel in order to compare and merge models. The objectives of this component are to ...
EMF Forms provides a new way of developing form-based UIs. Instead of manually coding form-based layouts, it allows you to describe the UI with a simple model instead of with code. The approach all...
EMFStore is a model repository for the Eclipse Modeling Framework (EMF) and features collaborative editing and versioning of models. Existing versioning systems such as git or SVN are focused on te...
eTrice provides an implementation of the ROOM modeling language together with editors, code generators for Java code and exemplary target middleware (soon a C generator and middleware will follow)....
Are you looking for developer tools that supports data anonymizing, database sub-setting, creation of synthetic data, GDPR erasure and subject access requests? g9 Anonymizer provides a fully progra...
