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...
Context Mapper provides a DSL to create Context Maps based on strategic Domain-driven Design (DDD). DDD with its Bounded Contexts offers an approach for decomposing a domain or system into multiple...
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...
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...
This add-on allows users to collaborate on remotely shared models and representations
All changes on the models and representations are automatically propagated across all users’ view...
Sirius is an Eclipse project (http://www.eclipse.org/sirius) that allows you to easily create your own graphical modeling tools. It leverages the Eclipse modeling technologies, including EMF for th...
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...
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...
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...
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...
Reverse engineer your database structure into java JPA classes. Create Java classes, or an Xcore or Ecore representation of your exisiting database. g9 Database Model Import is a free g9 Eclipse pl...
