2007
|
ConferenceAbel Gómez, Artur Boronat, José Á. Carsí, Isidro Ramos MOMENT CASE: Un prototipo de herramienta CASE Actas de las XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007., Thomson Editorial, 2007, ISBN: 978-84-9732-595-0. Abstract | Links | BibTeX | Tags: Computer Aided Design (CASE), DocBook, Maude, Model-Driven Engineering (MDE), MOMENT, Query/View/Transformation (QVT) @conference{Gomez:JISBD:demo:2007,
title = {MOMENT CASE: Un prototipo de herramienta CASE},
author = {Abel G\'{o}mez and Artur Boronat and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Xavier Franch},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jisbd-demo-2007.pdf
https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jisbd-poster-2007.pdf},
isbn = {978-84-9732-595-0},
year = {2007},
date = {2007-09-11},
booktitle = {Actas de las XII Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2007), Zaragoza, Spain, September 11-14, 2007.},
pages = {389--390},
publisher = {Thomson Editorial},
abstract = {MOMENT CASE es un prototipo que mediante un proceso de desarrollo de software dirigido por modelos permite generar el c\'{o}digo SQL necesario para la creaci\'{o}n de una base de datos de un sistema de informaci\'{o}n, partiendo de la especificaci\'{o}n de \'{e}ste mediante un diagrama de clases UML, y mediante transformaciones de modelos sucesivas. La herramienta proporciona adem\'{a}s capacidades de trazabilidad y generaci\'{o}n autom\'{a}tica de documentaci\'{o}n.
Como motor para las transformaciones emplea la herramienta MOMENT (http://moment.dsic.upv.es.), que usa como back-end un potente sistema de reescritura de t\'{e}rminos. MOMENT CASE constituye un caso de estudio en el que convergen un marco formal de gesti\'{o}n de modelos y una herramienta de modelado industrial dando soporte a est\'{a}ndares abiertos como UML.
},
keywords = {Computer Aided Design (CASE), DocBook, Maude, Model-Driven Engineering (MDE), MOMENT, Query/View/Transformation (QVT)},
pubstate = {published},
tppubtype = {conference}
}
MOMENT CASE es un prototipo que mediante un proceso de desarrollo de software dirigido por modelos permite generar el código SQL necesario para la creación de una base de datos de un sistema de información, partiendo de la especificación de éste mediante un diagrama de clases UML, y mediante transformaciones de modelos sucesivas. La herramienta proporciona además capacidades de trazabilidad y generación automática de documentación.
Como motor para las transformaciones emplea la herramienta MOMENT (http://moment.dsic.upv.es.), que usa como back-end un potente sistema de reescritura de términos. MOMENT CASE constituye un caso de estudio en el que convergen un marco formal de gestión de modelos y una herramienta de modelado industrial dando soporte a estándares abiertos como UML.
Full Text AvailablePreprintSpanish |
ConferenceArtur Boronat, Joaquín Oriente, Abel Gómez, José Á. Carsí, Isidro Ramos MOMENT-OCL: Algebraic Specifications of OCL 2.0 within the Eclipse Modeling Framework Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006), vol. 176, no. 4, Electronic Notes in Theoretical Computer Science Elsevier, 2007, ISSN: 1571-0661, (Viena, Austria). Abstract | Links | BibTeX | Tags: Algebraic Specifications, Maude, Model-Driven Development (MDD), MOMENT, Object Constraint Language (OCL) @conference{Boronat:WRLA:2006,
title = {MOMENT-OCL: Algebraic Specifications of OCL 2.0 within the Eclipse Modeling Framework},
author = {Artur Boronat and Joaqu\'{i}n Oriente and Abel G\'{o}mez and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
doi = {10.1016/j.entcs.2007.06.018},
issn = {1571-0661},
year = {2007},
date = {2007-07-28},
booktitle = {Proceedings of the 6th International Workshop on Rewriting Logic and its Applications (WRLA 2006)},
volume = {176},
number = {4},
pages = {233--247},
publisher = {Elsevier},
chapter = {Rewriting Logic Systems},
series = {Electronic Notes in Theoretical Computer Science},
abstract = {Model-Driven Development is a field in Software Engineering that, for several years, has been representing software artifacts as models in order to improve productivity, quality, and economy. Models provide a more abstract description of a software artifact than the final code of the application. Interest in this field has grown in software development companies such as the Model-Driven Architecture (MDA), supported by OMG, and the Software Factories, supported by Microsoft, ensuring a model-driven technology stock for the near future.
Model-Driven Development has evolved to the Model-Driven Engineering field, where not only design and code generation tasks are involved, but also traceability, model management, meta-modeling issues, model interchange and persistence, etc. To fulfill these requirements, model transformations and model queries are relevant issues that must be addressed. In the MDA context, they are handled from an open-standard point of view. The standard Meta-Object Facilities (MOF) provides a way to define meta-models. The standard proposal Query/Views/Transformations (QVT) indicates how to provide support for both transformations and queries. In QVT, while new languages are provided for model transformation, the Object Constraint Language (OCL) remains the best choice for queries.
OCL is a textual language that is defined as a standard “add-on” to the UML standard. It is used to define constraints and queries on UML models, allowing the definition of more precise and more useful models. It can also be used to provide support for meta-modeling (MOF-based and Domain Specific Meta-modeling), model transformation, Aspect-Oriented Modeling, support for model testing and simulation, ontology development and validation for the Semantic Web, among others. Despite its many advantages, while there is wide acceptance for UML design in CASE tools, OCL lacks a well-suited technological support.
In this demonstration, we present the MOMENT-OCL tool, which integrates an algebraic specification of the operational semantics of part of the OCL 2.0 standard into the Eclipse Modeling Framework (EMF). EMF is a modeling environment that is plugged into the Eclipse platform and that provides a sort of implementation of the MOF. EMF enables the automatic import of software artifacts from heterogeneous data sources: UML models, relational schemas, and XML schemas. In MOMENT- OCL, OCL queries and invariants can be executed over instances of EMF models in Maude. An interesting feature of this algebraic specification of the OCL 2.0 is the use of the parameterization to reuse the OCL specification for any metamodel/model and the simulation of higher-order functions for the sake of the reuse of collection operator definitions. },
note = {Viena, Austria},
keywords = {Algebraic Specifications, Maude, Model-Driven Development (MDD), MOMENT, Object Constraint Language (OCL)},
pubstate = {published},
tppubtype = {conference}
}
Model-Driven Development is a field in Software Engineering that, for several years, has been representing software artifacts as models in order to improve productivity, quality, and economy. Models provide a more abstract description of a software artifact than the final code of the application. Interest in this field has grown in software development companies such as the Model-Driven Architecture (MDA), supported by OMG, and the Software Factories, supported by Microsoft, ensuring a model-driven technology stock for the near future.
Model-Driven Development has evolved to the Model-Driven Engineering field, where not only design and code generation tasks are involved, but also traceability, model management, meta-modeling issues, model interchange and persistence, etc. To fulfill these requirements, model transformations and model queries are relevant issues that must be addressed. In the MDA context, they are handled from an open-standard point of view. The standard Meta-Object Facilities (MOF) provides a way to define meta-models. The standard proposal Query/Views/Transformations (QVT) indicates how to provide support for both transformations and queries. In QVT, while new languages are provided for model transformation, the Object Constraint Language (OCL) remains the best choice for queries.
OCL is a textual language that is defined as a standard “add-on” to the UML standard. It is used to define constraints and queries on UML models, allowing the definition of more precise and more useful models. It can also be used to provide support for meta-modeling (MOF-based and Domain Specific Meta-modeling), model transformation, Aspect-Oriented Modeling, support for model testing and simulation, ontology development and validation for the Semantic Web, among others. Despite its many advantages, while there is wide acceptance for UML design in CASE tools, OCL lacks a well-suited technological support.
In this demonstration, we present the MOMENT-OCL tool, which integrates an algebraic specification of the operational semantics of part of the OCL 2.0 standard into the Eclipse Modeling Framework (EMF). EMF is a modeling environment that is plugged into the Eclipse platform and that provides a sort of implementation of the MOF. EMF enables the automatic import of software artifacts from heterogeneous data sources: UML models, relational schemas, and XML schemas. In MOMENT- OCL, OCL queries and invariants can be executed over instances of EMF models in Maude. An interesting feature of this algebraic specification of the OCL 2.0 is the use of the parameterization to reuse the OCL specification for any metamodel/model and the simulation of higher-order functions for the sake of the reuse of collection operator definitions. Open Access |
2006
|
ConferenceAbel Gómez, Artur Boronat, Pascual Queralt, José Á. Carsí, Isidro Ramos MOMENT: una herramienta de Gestión de Modelos aplicada a la Ingeniería Dirigida por Modelos Actas de las V Jornadas de Trabajo DYNAMICA, Ingeniería del Software y Sistemas de Información research group Universitat Politècnica de València, Valencia, Spain, 2006, ISBN: 84-690-2623-2. Abstract | Links | BibTeX | Tags: Algebraic Specifications, Maude, Model Management, Model Transformation (MT), Model-Driven Engineering (MDE), MOMENT @conference{Gomez:DYNAMICA:2006,
title = {MOMENT: una herramienta de Gesti\'{o}n de Modelos aplicada a la Ingenier\'{i}a Dirigida por Modelos},
author = {Abel G\'{o}mez and Artur Boronat and Pascual Queralt and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Jennifer P\'{e}rez and Manuel Llavador and Crist\'{o}bal Costa and Nour Ali},
url = {http://issi.dsic.upv.es/projects/DYNAMICA/jornadas06/actas/actasDYNAMICA06.pdf},
isbn = {84-690-2623-2},
year = {2006},
date = {2006-11-23},
booktitle = {Actas de las V Jornadas de Trabajo DYNAMICA},
pages = {141--142},
publisher = {Universitat Polit\`{e}cnica de Val\`{e}ncia},
address = {Valencia, Spain},
organization = {Ingenier\'{i}a del Software y Sistemas de Informaci\'{o}n research group},
abstract = {La Ingenier\'{i}a Dirigida por modelos es un campo en la Ingenier\'{i}a del Software que, durante a\~{n}os, ha representado los artefactos software como modeles con el objetivo de incrementar la productividad, calidad, y reducir los gastos en el proceso de desarrollo de software. Los modelos proporcionan una descripci\'{o}n m\'{a}s abstracta de un artefacto software que el c\'{o}digo final de la aplicaci\'{o}n. Las compa\~{n}\'{i}as de desarrollo de software han aumentado su inter\'{e}s en este campo. Como por ejemplo encontramos las aproximaciones Model Driven Architecture, apoyada por la OMG, as\'{i} como las Software Factories, apoyadas en este caso por Microsoft.
El Desarrollo Dirigido por Modelos ha evolucionado del campo de la Ingenier\'{i}a Dirigida por Modelos. En \'{e}l, no s\'{o}lo las tareas de dise\~{n}o y generaci\'{o}n de c\'{o}digo est\'{a}n involucradas, sino que tambi\'{e}n se incluyen las capacidades de trazabilidad, gesti\'{o}n de modelos, tareas de meta-modelado, intercambio y persistencia de modelos, etc. Para poder abordar estas tareas, las operaciones entre modelos, transformaciones, y consultas sobre ellos son problemas relevantes que deben ser resueltos. En el contexto de MDA se abordan desde el punto de vista de los est\'{a}ndares abiertos. El este caso, el est\'{a}ndar Meta Object Facility (MOF), proporciona un mecanismo para definir metamodelos. Por su parte, el est\'{a}ndar Query/Views/Transformations (QVT) indica c\'{o}mo proporcionar soporte tanto para transformaciones como para consultas. A diferencia de otros lenguajes nuevos, QVT se apoya en el ya existente lenguaje Object Constraint Language (OCL) para realizar las consultas sobre los artefactos software. Adem\'{a}s, dentro de la ingenier\'{i}a dirigida por modelos se ha propuesto una nueva disciplina denominada Gesti\'{o}n de Modelos. \'{E}sta considera los modelos y las correspondencias entre ellos como entidades de primer orden, proporcionando un conjunto de operadores independientes de metamodelo y basados en teor\'{i}a de conjuntos para tratar con ellos (Merge, Cross, Diff, ModelGen, etc.). Estos operadores proporcionan una soluci\'{o}n reutilizable y componible para las tareas descritas anteriormente.
En esta demo presentamos la herramienta MOMENT, que da soporte a todas estas aproximaciones surgidas dentro de la Ingenier\'{i}a por modelos. MOMENT proporciona un soporte algebraico a los operadores de gesti\'{o}n de modelos, as\'{i} como a las tareas de transformaci\'{o}n y consulta de modelos mediante un eficiente sistema de reescritura de t\'{e}rminos \textemdashMaude\textemdash y desde un entorno de modelado industrial \textemdashEclipse Modeling Framework (EMF)\textemdash. EMF puede ser visto como una implementaci\'{o}n del est\'{a}ndar MOF, y permite la importaci\'{o}n autom\'{a}tica de artefactos software desde or\'{i}genes de datos heterog\'{e}neos: modelos UML, esquemas relacionales, esquemas XML, etc. En este sentido MOMENT aprovecha las capacidades de modularidad y parametrizaci\'{o}n de Maude para proporcionar un entorno de gesti\'{o}n, transformaci\'{o}n y consulta de modelos de forma gen\'{e}rica e independiente de metamodelo.
},
keywords = {Algebraic Specifications, Maude, Model Management, Model Transformation (MT), Model-Driven Engineering (MDE), MOMENT},
pubstate = {published},
tppubtype = {conference}
}
La Ingeniería Dirigida por modelos es un campo en la Ingeniería del Software que, durante años, ha representado los artefactos software como modeles con el objetivo de incrementar la productividad, calidad, y reducir los gastos en el proceso de desarrollo de software. Los modelos proporcionan una descripción más abstracta de un artefacto software que el código final de la aplicación. Las compañías de desarrollo de software han aumentado su interés en este campo. Como por ejemplo encontramos las aproximaciones Model Driven Architecture, apoyada por la OMG, así como las Software Factories, apoyadas en este caso por Microsoft.
El Desarrollo Dirigido por Modelos ha evolucionado del campo de la Ingeniería Dirigida por Modelos. En él, no sólo las tareas de diseño y generación de código están involucradas, sino que también se incluyen las capacidades de trazabilidad, gestión de modelos, tareas de meta-modelado, intercambio y persistencia de modelos, etc. Para poder abordar estas tareas, las operaciones entre modelos, transformaciones, y consultas sobre ellos son problemas relevantes que deben ser resueltos. En el contexto de MDA se abordan desde el punto de vista de los estándares abiertos. El este caso, el estándar Meta Object Facility (MOF), proporciona un mecanismo para definir metamodelos. Por su parte, el estándar Query/Views/Transformations (QVT) indica cómo proporcionar soporte tanto para transformaciones como para consultas. A diferencia de otros lenguajes nuevos, QVT se apoya en el ya existente lenguaje Object Constraint Language (OCL) para realizar las consultas sobre los artefactos software. Además, dentro de la ingeniería dirigida por modelos se ha propuesto una nueva disciplina denominada Gestión de Modelos. Ésta considera los modelos y las correspondencias entre ellos como entidades de primer orden, proporcionando un conjunto de operadores independientes de metamodelo y basados en teoría de conjuntos para tratar con ellos (Merge, Cross, Diff, ModelGen, etc.). Estos operadores proporcionan una solución reutilizable y componible para las tareas descritas anteriormente.
En esta demo presentamos la herramienta MOMENT, que da soporte a todas estas aproximaciones surgidas dentro de la Ingeniería por modelos. MOMENT proporciona un soporte algebraico a los operadores de gestión de modelos, así como a las tareas de transformación y consulta de modelos mediante un eficiente sistema de reescritura de términos —Maude— y desde un entorno de modelado industrial —Eclipse Modeling Framework (EMF)—. EMF puede ser visto como una implementación del estándar MOF, y permite la importación automática de artefactos software desde orígenes de datos heterogéneos: modelos UML, esquemas relacionales, esquemas XML, etc. En este sentido MOMENT aprovecha las capacidades de modularidad y parametrización de Maude para proporcionar un entorno de gestión, transformación y consulta de modelos de forma genérica e independiente de metamodelo.
Open AccessSpanish |
ConferenceAbel Gómez, Artur Boronat, Luis Hoyos, José Á. Carsí, Isidro Ramos Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos XI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain., CIMNE, Barcelona, Spain, 2006, ISBN: 84-95999-99-4, (Sitges, Barcelona, Spain). Abstract | Links | BibTeX | Tags: Domain-Specific Languages (DSLs), Maude, Model Management, Model-Driven Engineering (MDE), MOMENT @conference{DBLP:conf/jisbd/GomezBHCR06,
title = {Definici\'{o}n de operaciones complejas con un lenguaje espec\'{i}fico de dominio en Gesti\'{o}n de Modelos},
author = {Abel G\'{o}mez and Artur Boronat and Luis Hoyos and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
editor = {Jos\'{e} Riquelme and Pere Botella},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jisbd-2006.pdf},
isbn = {84-95999-99-4},
year = {2006},
date = {2006-10-03},
booktitle = {XI Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2006), Octubre 3-6, 2006, Sitges, Barcelona, Spain.},
pages = {215--224},
publisher = {CIMNE},
address = {Barcelona, Spain},
abstract = {La Ingenier\'{i}a dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas m\'{a}s interoperables y sencillas de mantener mediante t\'{e}cnicas que elevan el nivel de abstracci\'{o}n. En esta direcci\'{o}n ha aparecido la disciplina «Gesti\'{o}n de Modelos», que proporciona un conjunto de operadores gen\'{e}ricos basados en teor\'{i}a de conjuntos para tratar con modelos. Esta aproximaci\'{o}n muestra su potencia en las capacidades de composicionalidad de los operadores que proporciona. Este art\'{i}culo describe c\'{o}mo proporciona soporte a la definici\'{o}n de operadores complejos una herramienta del marco de la Gesti\'{o}n de Modelos mediante un lenguaje espec\'{i}fico de dominio.},
note = {Sitges, Barcelona, Spain},
keywords = {Domain-Specific Languages (DSLs), Maude, Model Management, Model-Driven Engineering (MDE), MOMENT},
pubstate = {published},
tppubtype = {conference}
}
La Ingeniería dirigida por Modelos permite incrementar la productividad en el proceso de desarrollo software, obteniendo herramientas más interoperables y sencillas de mantener mediante técnicas que elevan el nivel de abstracción. En esta dirección ha aparecido la disciplina «Gestión de Modelos», que proporciona un conjunto de operadores genéricos basados en teoría de conjuntos para tratar con modelos. Esta aproximación muestra su potencia en las capacidades de composicionalidad de los operadores que proporciona. Este artículo describe cómo proporciona soporte a la definición de operadores complejos una herramienta del marco de la Gestión de Modelos mediante un lenguaje específico de dominio. Full Text AvailableSpanish |
ConferenceArtur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José Á. Carsí An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework Model Driven Architecture -- Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings, vol. 4066, Lecture Notes in Computer Science Springer, Berlin, Heidelberg, 2006, ISBN: 978-3-540-35910-4. Abstract | Links | BibTeX | Tags: Algebraic Specifications, Maude, Model-Driven Architecture (MDA), MOMENT, Object Constraint Language (OCL) @conference{Boronat:ECMDA-FA:2006,
title = {An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework},
author = {Artur Boronat and Joaqu\'{i}n Oriente and Abel G\'{o}mez and Isidro Ramos and Jos\'{e} \'{A}. Cars\'{i}},
editor = {Arend Rensink and Jos Warmer},
doi = {10.1007/11787044_24},
isbn = {978-3-540-35910-4},
year = {2006},
date = {2006-07-10},
booktitle = {Model Driven Architecture -- Foundations and Applications: Second European Conference, ECMDA-FA 2006, Bilbao, Spain, July 10-13, 2006. Proceedings},
volume = {4066},
pages = {316--330},
publisher = {Springer},
address = {Berlin, Heidelberg},
series = {Lecture Notes in Computer Science},
abstract = {In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard, focusing on queries. This algebraic specification of OCL can be used within the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or transformations over software artefacts that can be represented as models: model instances, models, metamodels, etc. In addition, a prototype for executing such OCL queries and invariants over EMF models is presented. This prototype provides a compiler of the OCL standard language that targets an algebraic specification of OCL, which runs on the term rewriting system Maude.},
keywords = {Algebraic Specifications, Maude, Model-Driven Architecture (MDA), MOMENT, Object Constraint Language (OCL)},
pubstate = {published},
tppubtype = {conference}
}
In the Model-Driven Architecture initiative, software artefacts are represented by means of models that can be manipulated. Such manipulations can be performed by means of transformations and queries. The standard Query/Views/Transformations and the standard language OCL are becoming suitable languages for these purposes. This paper presents an algebraic specification of the operational semantics of part of the OCL 2.0 standard, focusing on queries. This algebraic specification of OCL can be used within the Eclipse Modeling Framework to represent models in an algebraic setting and to perform queries or transformations over software artefacts that can be represented as models: model instances, models, metamodels, etc. In addition, a prototype for executing such OCL queries and invariants over EMF models is presented. This prototype provides a compiler of the OCL standard language that targets an algebraic specification of OCL, which runs on the term rewriting system Maude. |
2005
|
ConferenceAbel Gómez, Artur Boronat, José Á. Carsí, Isidro Ramos Integración de un sistema de reescritura de términos en una herramienta de desarrollo software industrial Actas de las IV Jornadas de Trabajo DYNAMICA, Archena, Murcia, España, 2005. Abstract | Links | BibTeX | Tags: Application Programming Interface (API), Maude, MOMENT @conference{Gomez:DYNAMICA:2005,
title = {Integraci\'{o}n de un sistema de reescritura de t\'{e}rminos en una herramienta de desarrollo software industrial},
author = {Abel G\'{o}mez and Artur Boronat and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos},
url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-dynamica-2005.pdf},
year = {2005},
date = {2005-11-18},
booktitle = {Actas de las IV Jornadas de Trabajo DYNAMICA},
pages = {87-99},
address = {Archena, Murcia, Espa\~{n}a},
abstract = {Los m\'{e}todos formales proporcionan buenas propiedades para abordar problemas de Ingenier\'{i}a del Software: validaci\'{o}n de sistemas, integraci\'{o}n de artefactos software, etc. En este sentido, diversas han sido las aproximaciones formales para la resoluci\'{o}n de problemas en Ingenier\'{i}a de Modelos, por ejemplo, mediante teor\'{i}a de grafos, o reescritura de t\'{e}rminos. En esta \'{u}ltima aproximaci\'{o}n encontramos Maude: un potente sistema basado en l\'{o}gica ecuacional y l\'{o}gica de reescritura. A pesar de todo esto, debido a prejuicios o malas experiencias, las herramientas industriales no suelen apoyarse en estos m\'{e}todos, abordando la resoluci\'{o}n los problemas de forma ad-hoc. En este contexto se ha desarrollado un conjunto de herramientas que integran el sistema formal Maude en un entorno de desarrollo industrial como es Eclipse. Este art\'{i}culo muestra las caracter\'{i}sticas de estas herramientas y las posibilidades que ofrecen al usuario y futuros desarrolladores.},
keywords = {Application Programming Interface (API), Maude, MOMENT},
pubstate = {published},
tppubtype = {conference}
}
Los métodos formales proporcionan buenas propiedades para abordar problemas de Ingeniería del Software: validación de sistemas, integración de artefactos software, etc. En este sentido, diversas han sido las aproximaciones formales para la resolución de problemas en Ingeniería de Modelos, por ejemplo, mediante teoría de grafos, o reescritura de términos. En esta última aproximación encontramos Maude: un potente sistema basado en lógica ecuacional y lógica de reescritura. A pesar de todo esto, debido a prejuicios o malas experiencias, las herramientas industriales no suelen apoyarse en estos métodos, abordando la resolución los problemas de forma ad-hoc. En este contexto se ha desarrollado un conjunto de herramientas que integran el sistema formal Maude en un entorno de desarrollo industrial como es Eclipse. Este artículo muestra las características de estas herramientas y las posibilidades que ofrecen al usuario y futuros desarrolladores. Open AccessSpanish |
ConferenceArtur Boronat, José Iborra, José Á. Carsí, Isidro Ramos, Abel Gómez Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, Thomson, 2005, ISBN: 84-9732-434-X. Abstract | BibTeX | Tags: Algebraic Specifications, Maude, Model Management, MOMENT @conference{Boronat:JISBD:2005,
title = {Del m\'{e}todo formal a la aplicaci\'{o}n industrial en Gesti\'{o}n de Modelos: Maude aplicado a Eclipse Modeling Framework},
author = {Artur Boronat and Jos\'{e} Iborra and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos and Abel G\'{o}mez},
editor = {Jos\'{e} Ambrosio Toval \'{A}lvarez and Juan Hern\'{a}ndez N\'{u}\~{n}ez},
isbn = {84-9732-434-X},
year = {2005},
date = {2005-09-14},
booktitle = {Actas de las X Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain},
pages = {253--258},
publisher = {Thomson},
abstract = {Los m\'{e}todos formales proporcionan buenas propiedades para abordar problemas en Ingenier\'{i}a del Software. Sin embargo, en muchos casos no se suelen aplicar en un \'{a}mbito industrial debido a prejuicios o malas experiencias. En este art\'{i}culo, se presenta un caso de \'{e}xito de la aplicaci\'{o}n de especificaciones algebraicas en un entorno industrial de modelado para dar soporte a la Gesti\'{o}n de Modelos. Esta disciplina es una nueva tendencia dentro de la Ingenier\'{i}a de Modelos que trata a los modelos como ciudadanos de primer orden y que proporciona una serie de operadores gen\'{e}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\'{i}culo se presenta el soporte que se ofrece para la interoperabilidad entre Maude y EMF en una herramienta de gesti\'{o}n de modelos.},
keywords = {Algebraic Specifications, Maude, Model Management, MOMENT},
pubstate = {published},
tppubtype = {conference}
}
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. Spanish |
ConferenceArtur Boronat, José Iborra, José Á. Carsí, Isidro Ramos, Abel Gómez Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos Actas del II Taller sobre Desarrollo Dirigido por Modelos. MDA y Aplicaciones. (DSDM '05). Granada, España, Septiembre 13, 2005., vol. 157, CEUR Workshop Proceedings, Granada, Spain, 2005, ISSN: 1613-0073. Abstract | Links | BibTeX | Tags: Algebraic Specifications, Maude, Model Management, MOMENT @conference{Boronat:DSDM:2005,
title = {Utilizaci\'{o}n de Maude desde Eclipse Modeling Framework para la Gesti\'{o}n de Modelos},
author = {Artur Boronat and Jos\'{e} Iborra and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos and Abel G\'{o}mez},
editor = {Antonio Est\'{e}vez and Vicente Pelechano and Antonio Vallecillo},
url = {http://ceur-ws.org/Vol-157/paper05.pdf},
issn = {1613-0073},
year = {2005},
date = {2005-09-13},
booktitle = {Actas del II Taller sobre Desarrollo Dirigido por Modelos. MDA y Aplicaciones. (DSDM '05). Granada, Espa\~{n}a, Septiembre 13, 2005.},
volume = {157},
publisher = {CEUR Workshop Proceedings},
address = {Granada, Spain},
abstract = {Los m\'{e}todos formales proporcionan buenas propiedades para abordar problemas en Ingenier\'{i}a del Software. Sin embargo, en muchos casos no se suelen aplicar en un \'{a}mbito industrial debido a prejuicios o malas experiencias. En este art\'{i}culo, se presenta un caso de \'{e}xito de la aplicaci\'{o}n de especificaciones algebraicas en un entorno industrial de modelado para dar soporte a la Gesti\'{o}n de Modelos. Esta disciplina es una nueva tendencia dentro de la Ingenier\'{i}a de Modelos que trata a los modelos como ciudadanos de primer orden y que proporciona una serie de operadores gen\'{e}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\'{i}culo se presenta el soporte que se ofrece para la interoperabilidad entre Maude y EMF en una herramienta de gesti\'{o}n de modelos. },
keywords = {Algebraic Specifications, Maude, Model Management, MOMENT},
pubstate = {published},
tppubtype = {conference}
}
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. Open AccessSpanish |