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...
The overall approach of MegaM@Rt2 is to scale up the use of model-based techniques by offering proper methods and related tooling interacting between both design time and runtime, as well as to val...
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...
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...
The ArchiMate add-in is an open-source initiative founded by Adocus. The add-in enables you to model enterprise architecture models based upon the well recognized and popular ArchiMate® 2.1 notatio...
JAS-mine simulation project plugin for Eclipse IDE.
This plugin allows the easy creation of a new JAS-mine simulation project within the Eclipse IDE. New projects containing a simple ...
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...
The Bonita platform is designed for multidisciplinary development teams to create and continuously improve enterprise-grade living applications.
It's a low-code digital business automation platfor...
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...
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...
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...
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.
...
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)....
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...
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...
The GEMOC Studio provides generic components through Eclipse technologies for the development, integration, and use of heterogeneous executable modeling languages. This includes:
metaprogramm...
K3 (Kermeta 3) is an action language build on top of the Xtend programming language in order to use it for executable metamodeling.
Its key feature allows to "re-open" classes of an Ec...
Melange is a language workbench that provides a modular approach for customizing, assembling and integrating multiple domain-specific language (DSL) specifications and implementations. It helps to ...
Nasdanika Tool Suite provides tooling for model-driven development (MDD) and code generation.
Currently the Tools Suite features Nasdanika Vinci - an Eclipse Sirius-based tool for visual develop...
Annotated Functional Decomposition Tool enables functional decomposition of a problem using AFD as a text-based language, compile code written in AFD language and generates corresponding&...
DBeaver Enterprise Edition.
Includes all features of DBeaver Community plus:
- NoSQL/BigData databases (MongoDB, DynamoDB, Bigtable, Cassandra, Couchbase, Redis, InfluxDB, Hive)
- Advanced fea...
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...
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...)
...
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...
