| Main | News | Resources | Tools | Mailing List | Search | Contribute | Publish | About |
| 2002--0-6- |
| UMLAUT: Unified Modeling Language All pUrposes Transformer |
|
UMLAUT is a framework for building tools dedicated to the manipulation of models described using the Unified Modeling Language (UML).
It is oriented towards the production of reliable software whose components and their assembly are described using the UML. From the point of view of Aspect Oriented Software Development, UMLAUT can be seen as a framework for building application specific weavers to weave multi-dimentional high level UML design models (functional, dynamic, deployment, and static aspects annotated with design pattern occurences, stereotypes and tag values) into detailed design models suitable for either implementation, simulation or validation. UMLAUT builds on various technologies, including formal specification based on the OCL at both the model and the meta-model level, and validation of distributed software systems based on model-checking related technologies. UMLAUT is developed within the Triskell Project and once completed, will be distributed as freeware. UMLAUT is one of the projects related to the Trusted Components Initiative. |
| Resource Location: http://www.irisa.fr/pampa/UMLAUT/ |
| [back] |
|
||||
 |
Contact Webmaster: webmaster@xmiforum.org