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...
The EMF Transformation Virtual Machine (EMFTVM) is a runtime engine for the ATL Transformation Language (ATL). Apart from mapping a set of read-only input models to a set of write-only output model...
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 ...
ecFeed is a tool for modelling generating and executing tests. Test cases are modeled as a classification tree. Extensive constraints provide a way to specify relationships between test case's ...
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...
Ecore Documentation Generator is a small utility for adding documentation to EMF metamodels (Ecore and Genmodel files) and generating HTML or LaTeX output.
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.
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,...
Contributes an ANTLR V4 grammar editor and builder to the Eclipse platform.
Features
Antlr Editor and Outline View – full syntax-directed editor
Grammar Formatter
Antlr eleme...
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.
...
DBeaver Enterprise Edition.
Includes all features of DBeaver Community plus:
- NoSQL/BigData databases:
MongoDB
DynamoDB
DocumentDB
Keyspaces
Bigtable
Cassandra
Couchbase
Co...
Moka provides three key features: Execution, Debugging and Animation.
Execution
The execution feature relies on implementation of OMG Executable UML standards: fUML 1.4, PSCS 1.2 and PSSM 1.0...
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.
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...
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...
S(imple) U(ML)-statemodeler enables you to develop state-based software systems with only little programming effort. The application is easy to use and does not require any programming skills. So y...
Actifsource is a code generator plug-in for the Eclipse IDE. Code generation is driven by models which are created according to user-defined meta-models. UML-like graphic editor assists modeling. G...
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...
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 translate your s...
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...
DSL Forge is a generator of domain-specific language (DSL) editors for web applications. The tool allows getting automatically web-based textual editors from ANTLR grammars: given a grammar specifi...
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，...
CodeMR Summary
CodeMR is a multi-language (Java and C++) software quality and static code analysis tool.
You can measure your software metrics and high-level quality attribu...
The VIATRA framework supports the development of model transformations with specific focus on event-driven, reactive transformations. Building upon the incremental query support of the EMF-IncQuery...
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...
