The project creates a meta-model which describes a web application.

MDA-VERITAS is an [http://www.eclipse.org/ Eclipse] plugin under development to check the semantics of Petri nets models. It verifies whether models submitted to a Petri net partitioning operation called Split preserve the same semantics before and after the operation execution. The MDA-VERITAS plug...

An MDA Tool focused on software process authoring and enactment. * Besides essential elements of a software process, such as phases, tasks, roles and artifacts, an MDA Process requires metamodel definitions (also UML profiles) and transformation rules. * The Transforms tool focus on the MD...

=Appy Maker= ==Python web application generator from UML models to be deployed on Google App Engine infrastructure= === Update Site: http://appymaker.googlecode.com/svn/trunk/site.xml === --- === This project consists of two eclipse plugins === # com.appspot.appymaker (git://github...

LEDOM like a MDA tools more than a code generator, users must define models for his project and call LEDOM to explain it, and generate a complete project.

Model constraint with OCL and model transformation with ATL.

KobrA2 OCL Extension Compiler 4 Java

Runtime Integrity Checking Service

Using MDA tools to implement a logistics system

Framework to be used as a foundation for setting up large applications based on AndroMDA and GWT. This project relies on the [http://code.google.com/p/gwt-mda gwt-mda] project