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...
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...
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...
Imixs-BPMN is a free modelling tool which takes the full advantage of all the capabilities from the BPMN 2.0 standard and complements them with the requirements to a workflow management system. Imi...
DBeaver Enterprise Edition.
Includes all features of DBeaver Community plus:
- NoSQL/BigData databases:
MongoDB
DynamoDB
DocumentDB
Bigtable
Cassandra
Couchbase
CouchDB
Redi...
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...
UbiLoop is a solution to design m-services (mobile services) with both connected and offline modes.
It works against iOS, Android, BlackBerry OS etc.
UbiLoop is part of the e-Citiz iBPM Suite.
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...
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.
...
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...
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...
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，...
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...
Faktor-IPS is a MDSD tool for the insurance industry. It provides a domain language to model insurance contracts and products. Based on Eclipse it provides an integration platform for both develope...
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...
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)....
Imixs-BPMN is a free modelling tool which takes the full advantage of all the capabilities from the BPMN 2.0 standard and complements them with the requirements to a workflow management system. Imi...
This small plugin is just an entry in the pop-up menu for classes that allow you to see a preview of a Draw2d class while you are editing it.
I saves you a lot of time when you are developping fea...
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...
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...
