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...
"ParallelJ : Parallel Computing at its best"
ParallelJ is a Java Open Source framework for parallel computing, distributed under LGPL license. It comes with a rich tooling set, a complete docume...
OPBUS (OPtimization BUsiness process Security) is a framework composed of different tools for automated risk management for business process models. OPBUS strives the automatic risk assessment of b...
EcoreTools is a graphical modeler to create, edit and analyze Ecore models. It provides several a class diagram editor (similar to UML Class Diagrams), a package dependencies diagram editor and s...
Nasdanika Information Center can be used to host web-based ECore model documentation. Model elements can be documented with annotations or documentation can be linked to model elements. The informa...
ModelBus is a model-driven tool integration framework which allows you to build a seamlessly integrated tool environment for your system engineering process.
Dart Designer is a graphical tool for Dart Developers.
It allows you to specify your Dart application directly from Eclipse thanks to several kinds of diagrams (Class, Explorer, Library, Module,...
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 ...
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...
ArCon is a tool for architecture conformance validation of systems modelled in UML/SysML. ArCon can provide an easy to use and intuitive way of specifying architectural rules and a mechanism to aut...
Capella is a Comprehensive, extensible and field-proven MBSE solution to successfully design systems architecture.
It provides provides methodological guidance, intuitive model editing, and viewin...
The CDO (Connected Data Objects) Model Repository is a distributed shared model framework for EMF models and meta models. CDO is also a model runtime environment with a focus on orthogonal aspects ...
Dart Designer is a graphical tool for Dart Developers.
It allows you to specify your Dart application directly from Eclipse thanks to several kinds of diagrams (Class, Explorer, Library, Module,...
The Eclipse BPMN2 Modeler is a graphical modeling tool for authoring BPMN 2.0 compliant business processes. The editor is fully customizable for any process engine that supports BPMN 2.0. Installab...
With Xtext you can easily create your own programming languages and domain-specific languages (DSLs). The framework supports the development of language infrastructures including compilers and inte...
EcoreTools is a graphical modeler to create, edit and analyze Ecore models. It provides several a class diagram editor (similar to UML Class Diagrams), a package dependencies diagram editor and s...
The EMF Client Platform is a framework for building EMF-based client applications. The goal is to provide a one-click application based on a given EMF model. No additional components have to be dev...
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...
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...
Are you looking for developer tools that supports data anonymizing, database sub-setting, creation of synthetic data, GDPR erasure and subject access requests? g9 Anonymizer provides a fully progra...
Do you need to create Java classes, or an Xcore or Ecore representation of your exisiting database? g9 Database Model Import is a free g9 Eclipse plugin producing models based on structure informat...
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...
NOW WITH COMPLETE SUPPORT FOR OPEN API 3.0.2 spec, full compatibility with Eclipse Oxygen & Photon releases.
KaiZen OpenAPI Editor is RepreZen's open source, Eclipse-based editor f...
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...
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...
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 Ecor...
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 ...
