Paper information
Title
Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos
Published in
Desarrollo de Software Dirigido por Modelos - DSDM'05 (Junto a JISBD'05). September 2005. Granada, Spain. - 2005
Abstract
Los métodos formales proporcionan buenas propiedades para abordar problemas en Ingeniería del Software. Sin embargo, en muchos casos no se suelen aplicar en un ámbito industrial debido a prejuicios o malas experiencias. En este artículo, se presenta un caso de éxito de la aplicación de especificaciones algebraicas en un entorno industrial de modelado para dar soporte a la Gestión de Modelos. Esta disciplina es una nueva tendencia dentro de la Ingeniería de Modelos que trata a los modelos como ciudadanos de primer orden y que proporciona una serie de operadores genéricos para manipularlos. Se ha especificado algebraicamente un conjunto de operadores de este tipo utilizando el lenguaje Maude. Estos operadores se utilizan de forma visual desde Eclipse Modeling Framework (EMF). En este artículo se presenta el soporte que se ofrece para la interoperabilidad entre Maude y EMF en una herramienta de gestión de modelos.


BibTeX
@misc{issi_web:id:171,
        title =  "Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos",
        author = "Artur Boronat Moll and José Iborra López and Jose Angel Carsí Cubel and Isidro Ramos Salavert and Abel Gómez Llana",
        booktitle = "Desarrollo de Software Dirigido por Modelos - DSDM'05 (Junto a JISBD'05). September 2005. Granada, Spain.",
        year = "2005",
        eprint = "http://issi.dsic.upv.es/publications/archives/",
        url = "",
        abstract = "Los métodos formales proporcionan buenas propiedades para abordar problemas en Ingeniería del Software. Sin embargo, en muchos casos no se suelen aplicar en un ámbito industrial debido a prejuicios o malas experiencias. En este artículo, se presenta un caso de éxito de la aplicación de especificaciones algebraicas en un entorno industrial de modelado para dar soporte a la Gestión de Modelos. Esta disciplina es una nueva tendencia dentro de la Ingeniería de Modelos que trata a los modelos como ciudadanos de primer orden y que proporciona una serie de operadores genéricos para manipularlos. Se ha especificado algebraicamente un conjunto de operadores de este tipo utilizando el lenguaje Maude. Estos operadores se utilizan de forma visual desde Eclipse Modeling Framework (EMF). En este artículo se presenta el soporte que se ofrece para la interoperabilidad entre Maude y EMF en una herramienta de gestión de modelos."
}