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...
Main features:
1. Auto-Generate Model Classes
2. Auto-Generate DTOs
3. Write multi-line strings easily
For more information, please click here and here
For example：
String name="z...
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...
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...
Butterflyzer is not just a new software product, but an entirely new category of software. We're calling it a "Content Intelligence Environment". Butterflyzer is an integrated desktop application f...
Interactive Objects Software presents "MoRE Player - PL/I", the first product within our new product-line "MoRE Players". "MoRE Player - PL/I" is an Eclipse-Plugin for...
A uml profile and a set of acceleo code generators to model smart contracts in uml and generate solidity code. Usable with the Papyrus UML modeler for eclipse.
Generates
Solidity
Jav...
The pxDoc Capella integration provides a ready-to-use integration of pxDoc for Capella.
INSTALLATION - Before installing the pxDoc-Capella Integration, please first install:
Xtext (v2.11 m...
DBeaver is free universal SQL client/database tool for developers and database administrators. It can work with any database server which has JDBC or ODBC driver. It supports pluggable extensions.
...
UML Designer is a graphical tool to edit and vizualize UML 2.5 models.
It uses the standard UML2 metamodel provided by Eclipse Foundation and it implements the following generic UML diagrams:
...
Edit class diagrams with your Eclipse IDE as needed. Get a light-weight but highly professional UML editor for class and package diagrams for your Eclipse IDE. With diagram export as svg, png, jpg,...
UML Lab provides truly agile modeling and coding with Eclipse. The tool integrates UML modeling with code generation and template-based reverse and round-trip engineering.
The free UML tool UMLet lets you draw UML diagrams with a light-weight, pop-up-free user interface. It lets you draw diagram sketches fast; export diagrams to pdf, eps, jpg, gif, svg, bmp, png, and...
UML Generators is a new Eclipse project (http://www.eclipse.org/umlgen) which provides components that automatically bridge the gap between UML models and source code. Either by extracting data fro...
This generator allows you to produce Java source code from a UML model. This module uses the standard UML2 metamodel provided by Eclipse Foundation and as such is compatible with any UML tools usin...
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...
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...
The "Telosys" plugin is designed to generated any kind of code (Java, PHP, JavaScript, Python, Golang, Scala, etc) for any kind of framework (Spring, AngularJS, JPA, CodeIgniter, etc...)
...
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...
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...
Papyrus Software Designer is a project of the Eclipse Papyrus’s galaxy. It enables code generation and reverse engineering for C++ (C soon to come) and Java. Code generation from state-charts...
Swagger-OpenAPI Zen In Your Eclipse IDE
KaiZen OpenAPI Editor is RepreZen's open source, Eclipse-based editor for the industry-standard OpenAPI Specification language, based on Swagger. &nbs...
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...
Jar2UML is an Eclipse plugin that imports and converts Java jar files into a UML model in the workspace. It is used to reverse engineer Java API class libraries for PlatformKit's Java platform ...
Developers can use the template(JSP-like) to generate any kind of language(Java, JavaScript, Python, PHP, etc.). Any kind of framework(JavaEE, springboot/springCloud/springMVC，...
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.
