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...
GEF3D is an Eclipse GEF extension bringing 3D to diagram editing. That is with GEF3D you can create 3D diagrams, 2D diagrams and combine 3D with 2D diagrams. GEF3D extends GEF by providing 3D enabl...
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...
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...
HCL RTist is a modeling and development environment for creating stateful event-driven realtime applications in C++. Such applications are often embedded and/or IoT applications. HCL RTist supports...
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...
Envision - Agile Pseudocode Development Tool (APDT) speeds up planning and application modeling. The tool helps decrease the gap between developers and non-technical guys on a project, so you can m...
Obeo Designer allows you to easily create your own graphical modeling workbenches for specific domains (industrial systems, software applications or the organization of major companies).
Powered...
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...
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...
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)....
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.
...
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,...
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...
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...
