{"id":773,"date":"2010-10-25T09:02:22","date_gmt":"2010-10-25T09:02:22","guid":{"rendered":""},"modified":"-0001-11-30T00:00:00","modified_gmt":"-0001-11-30T00:00:00","slug":"maude-metamodel","status":"publish","type":"post","link":"https:\/\/modeling-languages.com\/maude-metamodel\/","title":{"rendered":"Maude metamodel"},"content":{"rendered":"<p>El metamodelo de (Core) Maude est\u00e1 ahora disponible como parte de nuestro zoo de metamodelos. Desc\u00e1rgalo desde <a href=\"http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/ZooFederation#Maude_1.0\" target=\"_blank\" rel=\"noopener\"> aqu\u00ed <\/a> (y para una corta introducci\u00f3n a nuestro zoo de metamodelos puedes leer este <a href=\"https:\/\/modeling-languages.com\/blog\/content\/collection-metamodel-samples\" target=\"_blank\"> post <\/a>).<\/p>\n<p>  Maude es &#8221; a high-performance reflective language and system supporting both equational and rewriting logic specification and programming for a wide range of applications&#8221;. El metamodelo est\u00e1 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\u00e1s informaci\u00f3n y una descripci\u00f3n detallada del metamodelo, dirigiros a <a href=\"http:\/\/atenea.lcc.uma.es\/index.php\/Main_Page\/Resources\/MaudeMM\" target=\"_blank\" rel=\"noopener\"> la p\u00e1gina de Maude en el grupo Atenea <\/a>\n<\/p>\n<p> \u00c9ste es un excelente trabajo que facilita el <a href=\"https:\/\/modeling-languages.com\/blog\/content\/semantics-real-time-domain-specific-modeling-languages\" target=\"_blank\"> dar sem\u00e1ntica a nuevos DSLs <\/a>. Y, por supuesto, me alegra ver que se han usado las tecnolog\u00edas del grupo <a href=\"http:\/\/www.emn.fr\/x-info\/atlanmod \" target=\"_blank\" rel=\"noopener\"> AtlanMod <\/a> para definir el metamodelo (<a href=\"http:\/\/wiki.eclipse.org\/index.php\/KM3\" target=\"_blank\" rel=\"noopener\"> KM3<\/a>) y las correspondientes transformaciones modelo a texto  (<a href=\"http:\/\/wiki.eclipse.org\/index.php\/TCS\" target=\"_blank\" rel=\"noopener\"> TCS<\/a>). Por cierto, estamos ahora mismo trabajando en una nueva versi\u00f3n de ambas herramientas. Os mantendr\u00e9 informado.<\/p>\n<p>\nSi te ha gustado esta entrada, puedes subscribirte a este <strong> <a href=\"http:\/\/feeds2.feedburner.com\/ModelingLanguages-blog-es\" target=\"_blank\" rel=\"noopener\"> Software Modeling blog<\/strong><\/a>, a la <a href=\"http:\/\/lists.modeling-languages.com\/mailman\/listinfo\/news\">lista de distribuci\u00f3n del portal <\/a>, seguirme en <a href=\"http:\/\/twitter.com\/softmodeling\" target=\"_blank\" rel=\"noopener\"> twitter <\/a> y\/o leer <a href=\"https:\/\/modeling-languages.com\/popular\/all\"> los posts m\u00e1s poopulares <\/a>. Y si <em> realmente <\/em> te ha gustado ay\u00fadame a hacerlo llegar a otros utilizando los bookmarks que tienes a continuaci\u00f3n: <\/p>\n<span class=\"et_bloom_bottom_trigger\"><\/span>","protected":false},"excerpt":{"rendered":"<p>El metamodelo de (Core) Maude est\u00e1 ahora disponible como parte de nuestro zoo de metamodelos. Desc\u00e1rgalo desde <a href=\"http:\/\/www.emn.fr\/z-info\/atlanmod\/index.php\/ZooFederation#Maude_1.0\" target=\"_blank\"> aqu\u00ed <\/a> (y para una corta introducci\u00f3n a nuestro zoo de metamodelos puedes leer este <a href=\"https:\/\/modeling-languages.com\/blog\/content\/collection-metamodel-samples\" target=\"_blank\"> post <\/a>).<\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_et_pb_use_builder":"","_et_pb_old_content":"","_et_gb_content_width":"","footnotes":""},"categories":[],"tags":[],"hashtags":[],"_links":{"self":[{"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/posts\/773"}],"collection":[{"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/comments?post=773"}],"version-history":[{"count":0,"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/posts\/773\/revisions"}],"wp:attachment":[{"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/media?parent=773"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/categories?post=773"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/tags?post=773"},{"taxonomy":"hashtags","embeddable":true,"href":"https:\/\/modeling-languages.com\/wp-json\/wp\/v2\/hashtags?post=773"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}