Publications

@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}

}

@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}

}

@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}

}

@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}

}

@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}

}