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...
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...
EMFText is an Eclipse plug-in that allows you to define text syntax for languages described by an Ecore metamodel. EMFText enables developers to define textual Domain Specific Languages quickly and...
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，...
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.
This add-on allows users to collaborate on remotely shared models and representations
All changes on the models and representations are automatically propagated across all users’ view...
Nuseen is an eclipse-based environment for the model checker NuSMV, with the aim of helping NuSMV users. It mainly focuses in easing the use of the NuSMV tool by means of graphical elements like bu...
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).
...
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 elements...
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...
