A Maude Metamodel

[Francisco Durán]

Hi all,

For those interested in integrating Maude specifications into
Model-Driven Software Development (MDSD) processes, a metamodel for
Maude has been developed and made available in:

http://atenea.lcc.uma.es/index.php/Main_Page/Resources/MaudeMM

The metamodel can be downloaded as KM3, Ecore and UML (MagicDraw 15.0)
models. Model-to-text transformations that allow models to be serialized
into Maude code are also available.

More information at:
http://atenea.lcc.uma.es/images/e/e0/MaudeMM.pdf

Any comment or suggestion is very welcome!

Best regards,

Jose E. Rivera, Antonio Vallecillo y Francisco Durán

_______________________________________________
Maude-users mailing list
Maude-users@...
http://maude.cs.uiuc.edu/cgi-bin/mailman/listinfo/maude-users