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 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...
EMF Validation Builder is an eclipse plugin that automates the validation process (“on save” validation). By default, EMF doesn't validate an EMF resource when it is saved (like the JDT does for ex...
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...
Information System Designer provides a set of tools to help you in the design and the development of applications. It brings a complete development environment based on and integrated to Eclipse.
...
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...
ATL (ATL Transformation Language) is a model transformation language and toolkit. In the field of Model-Driven Engineering (MDE), ATL provides ways to produce a set of target models from a set of s...
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...
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...
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...
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...
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...
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...
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...
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)....
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...
This project will help you to separate properly the EMF generated code and your developed code. When you generate the EMF code, you probably override it with the @generated annotation. This is corr...
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...
