Publications

@conference{Navarro:ISD:2009,

title = {MORPHEUS: A Supporting Tool for MDD},

author = {Elena Navarro and Abel G\'{o}mez and Patricio Letelier and Isidro Ramos},

editor = {William Wei Song and Shenghua Xu and Changxuan Wan and Yuansheng Zhong and Wita Wojtkowski and Gregory Wojtkowski and Henry Linger},

url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/navarro-isd-2009.pdf},

doi = {10.1007/978-1-4419-7355-9_22},

isbn = {978-1-4419-7355-9},

year  = {2010},

date = {2010-10-30},

booktitle = {Information Systems Development: Asian Experiences},

pages = {255--267},

publisher = {Springer New York},

address = {New York, NY, USA},

abstract = {Model-driven development (MDD) approach is gaining more and more attention both from practitioners and academics because of its positive influences in terms of reliability and productivity in the software development process. ATRIUM is one of the current proposals following the MDD principles as the development is driven by models and a tool, MORPHEUS, supports both its activities and models. This tool provides facilities for modelling, metamodelling, and analysis and integrates an engine to execute transformations. In this work, this tool is presented describing both its architecture and its capabilities.},

note = {Nanchang, China},

keywords = {Model-Driven Development (MDD), Model-Driven Engineering (MDE), MORPHEUS, Requirements Engineering (RE), Software Architectures},

pubstate = {published},

tppubtype = {conference}

}

@conference{Gomez:JISBD:2007,

title = {Recuperaci\'{o}n y procesado de datos biol\'{o}gicos mediante Ingenier\'{i}a Dirigida por Modelos},

author = {Abel G\'{o}mez and Artur Boronat and Jos\'{e} \'{A}. Cars\'{i} and Isidro Ramos and Claudia T\"{a}ubner and Silke Eckstein},

editor = {Xavier Franch},

url = {https://abel.gomez.llana.me/wp-content/uploads/2017/11/gomez-jisbd-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 = {275--284},

publisher = {Thomson Editorial},

abstract = {Este art\'{i}culo muestra c\'{o}mo el proceso de desarrollo de software dirigido por modelos (DSDM) es aplicable al campo de la bioinform\'{a}tica ya que la estructura de los datos biol\'{o}gicos se puede expresar mediante modelos de forma muy natural. En el contexto de la bioinform\'{a}tica es com\'{u}n la existencia de fuentes de datos (rellenadas de forma manual) heterog\'{e}neas. Con el objetivo de validar la informaci\'{o}n de estas fuentes de datos, se han adaptado diversos formalismos y herramientas de simulaci\'{o}n. El proceso de introducci\'{o}n de datos ---obtenidos de estas bases de datos--- en las herramientas de validaci\'{o}n se realiza tradicionalmente de forma manual. Este trabajo describe c\'{o}mo se ha resuelto este problema siguiendo una metodolog\'{i}a de DSDM empleando transformaciones de modelos. Esto permite automatizar el proceso de migraci\'{o}n de datos, obtener herramientas modulares, aislar el proceso de transformaci\'{o}n de datos de los formatos de persistencia de estos, y disponer de informaci\'{o}n de trazabilidad.},

keywords = {Bioinformatics, Data Migration, Intergenomics, Model Driven Software Development (MDSD), Model-Driven Development (MDD), Query/View/Transformation (QVT)},

pubstate = {published},

tppubtype = {conference}

}

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

}