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...
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...
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).
...
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...
Rule Designer is the Eclipse-based development environment of IBM Operational Decision Manager for Developers, for making rule applications that automate the implementation of business policies. De...
The free UML tool UMLet lets you draw UML diagrams with a light-weight, pop-up-free user interface. It lets you draw diagram sketches fast; export diagrams to pdf, eps, jpg, gif, svg, bmp, png, and...
This is an Eclipse [1] plugin that enables to use the tool bar, the menu bar, the context menu or a keyboard shortcut in order to transform a state machine conforming to the SCXML [2] meta-model in...
The "Virtual Developer Modeler" is a generic modeling tool based on EMFText. It is shipped with one single DSL-editor. With its built-in gapp-DSL you can define your own DSLs that can all...
AcceCite provides a graphical solution to design accessible e-services.
AcceCite complies with the W3C WAI standard (WCAG AA level) including W3C CSS and XHTML standards.
AcceCite is part of ...
Acceleo is a pragmatic implementation of the Object Management Group (OMG) MOF Model to Text Language (MTL) standard. You do not need to be an expert to start using the plug-ins and create your fir...
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...
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...
AMPLDev is an Integrated Development Environment (IDE) for AMPL and SAMPL based on the Eclipse infrastructure.
It has,
A smart editor with context-sensitive syntax highlighting.
Effi...
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&...
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...
It support eclipse 3.2,3.3,3.4,3.5.
<br>
The following issues lists the features:<br>
<ul>
<li>Database Modeling(Table,View,Procedure and other models are
supported,t...
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...
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...
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...
This plug in provides a diagram editor for modeling a process of model transformations in ATL. It describes the structure of a transformation flow. The plug in has also the ability to execute the t...
BLU AGE Classic automatically extracts the business logic of complex and large legacy applications and accelerates their modernization into the target architecture of your choice.
BLU AGE FORWARD module is the first Integrated Modeling Environment to build and debug your models and generate an application. The applications developed with Blu Age Forward are directly generate...
BLU AGE Legacy Modernization module automatically extracts the business logic of complex and large legacy applications and accelerates their modernization into the target architecture of your choic...
BPM inspire is a complete BPM suite comprising modelling, automation, graphical user interfaces, monitoring and controlling functions for use in automating business processes. BPM inspire helps red...
<P><STRONG>BPMN Composer</STRONG> is a high extensible and intuitive graphic tools for BPMN modeling. It implements:
<UL><LI>Full object model of the specification &...
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...
Butterflyzer is not just a new software product, but an entirely new category of software. We're calling it a "Content Intelligence Environment". Butterflyzer is an integrated desktop application f...
