El metamodelo de (Core) Maude está ahora disponible como parte de nuestro zoo de metamodelos. Descárgalo desde aquí (y para una corta introducción a nuestro zoo de metamodelos puedes leer este post ).

Maude es ” a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications”. El metamodelo está basado en el lenguaje Maude pero no lo cubre en su totalidad. Se focaliza en los (muchos) elementos necesarios para formalizar los modelos y metamodelos propuestos en el seno del grupo Atenea. Para más información y una descripción detallada del metamodelo, dirigiros a la página de Maude en el grupo Atenea

Éste es un excelente trabajo que facilita el dar semántica a nuevos DSLs . Y, por supuesto, me alegra ver que se han usado las tecnologías del grupo AtlanMod para definir el metamodelo ( KM3) y las correspondientes transformaciones modelo a texto ( TCS). Por cierto, estamos ahora mismo trabajando en una nueva versión de ambas herramientas. Os mantendré informado.

Si te ha gustado esta entrada, puedes subscribirte a este Software Modeling blog, a la lista de distribución del portal , seguirme en twitter y/o leer los posts más poopulares . Y si realmente te ha gustado ayúdame a hacerlo llegar a otros utilizando los bookmarks que tienes a continuación:

Jordi Cabot

FNR Pearl Chair. Head of the Software Engineering RDI Unit at LIST. Affiliate Professor at University of Luxembourg.  More about me.

A metamodel FOR (Core) Maude has been added TO our metamodel zoo. Download it FROM here (FOR a brief intro TO our zoo OF metamodels see this previous post).

Maude IS IS a high-performance reflective LANGUAGE AND system supporting BOTH equational AND rewriting logic specification AND programming FOR a wide range OF applications. This metamodel IS based ON the Maude LANGUAGE definition, but it does NOT cover the whole Maude
language: it IS restricted TO the (big SET OF) elements used IN the formalization OF models AND metamodels proposed by the Atenea GROUP. FOR a MORE complete description OF the metamodel see the Atenea Maude MM page

Great WORK that helps TO give semantics TO DSLs . AND, OF course, I’m really happy that they chose AtlanMod technologies to define the metamodel ( KM3) and the corresponding text-to-model and model-to-text transformations ( TCS). Btw, we are working on updated releases of both tools. I’ll keep you posted.

Jordi Cabot

FNR Pearl Chair. Head of the Software Engineering RDI Unit at LIST. Affiliate Professor at University of Luxembourg.  More about me.