BProVe a novel verification framework for BPMN 2.0. The analysis is based on a formal operational semantics, implemented using MAUDE, defined for the BPMN 2.0 modelling language, and is provided as...
Information System Designer provides a set of tools to help you in the design and the development of applications. It brings a complete development environment based on and integrated to Eclipse.
...
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...
ModelBus is a model-driven tool integration framework which allows you to build a seamlessly integrated tool environment for your system engineering process.
PlatformKit is a platform dependency management toolkit. It can be used to support platform-specific configuration in development processes based on the Model Driven Architecture and/or Software Pr...
Excalibur is a tool supporting the Messir methodology, a Scientific Method for the Software Engineering Master, used in Software Engineering Lectures at bachelor and master levels. Excalibur tool c...
Kermeta workbench is a powerful metaprogramming environment based on an model-oriented language optimized for metamodel engineering and DSL engineering. Kermeta features a comprehensive environment...
ATL (ATL Transformation Language) is a model transformation language and toolkit. In the field of Model-Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of s...
MCore is a platform specific modeling language (PSML) targeted to the Eclipse + ECore + OCL platform. It provides a generic tabular syntax (like Excel sheets) both for itself, as well as a speciali...
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 elements like bu...
Class based code generator for Eclipse Features
save output to file automatically
generate code based more than one classes with one step
generate code based more than one templates with ...
Problem Analysis Tool for the Open Requirements Engineering Lab supports modeling early requirements in the problem space using the original Problem Frames language created by Michael Jackson. It a...
Code Rocket for Eclipse integrates our unique and intuitive pseudocode and flowchart editors into your Eclipse IDE and has been specifically designed to improve the efficiency and reduce the cost o...
ATL (ATL Transformation Language) is a model transformation language and toolkit. In the field of Model-Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of s...
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...
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 engineering.
Kermet...
MTC Flow is a framework which allows model-driven developers to design, develop, test and deploy Model Transformation Chains (MTCs). The tool offers a graphical DSL for defining MTC workflows indep...
MaintainJ generates the runtime sequence diagrams for a use case. MaintainJ generated diagrams are dynamic, easy to explore and help Java developers to understand, debug, document and performance t...
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 review.
MDT: UML2 Modeler is a tool to be used for modeling of whole systems with the use of UML language. Its main functionality is to model system architectures in MDT environment as well as dynamically ...
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.
The power of th...
JetSet is a set of Eclipse plugins for the development of model translation tools and code generators. The editor adapts itself to provided source and (optionally) target meta models, making it ver...
OpenL Tablets is full-fledged open source Business Rules Management System (BRMS). Its business friendly approach to rules authoring and management allows keeping executable business rules as close...
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.
It is desig...
The main goal of this set of Eclipse plugins is to provide MDE utils developed by a MDE user for MDE users.
These plugins are developed upon EMF (Eclipse Modeling Framework).
All of the provide...
ModelGoon brings new points of view of a Java project. Thanks to its tight connection and interaction with the Eclipse Java Development Tools JDT. ModelGoon provides also round-trip features on Cla...
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 (Anderson, 2007) cogniti...
