Publications

@inproceedings{Gomez:JISBD:2022,

title = {Hacia la (semi)automatizaci\'{o}n en la Industria 4.0 mediante UML y AsyncAPI},

author = {Abel G\'{o}mez and Jordi Cabot and Xavier Pi},

editor = {A. Go\~{n}i Sarriguren},

url = {http://hdl.handle.net/11705/JISBD/2022/572},

year  = {2022},

date = {2022-01-01},

urldate = {2022-01-01},

booktitle = {Actas de las XXVI Jornadas de Ingenier\'{i}a del Software y Bases de Datos (JISBD 2022)},

publisher = {SISTEDES},

abstract = {El uso y despliegue de los llamados sistemas ciberf\'{i}sicos ha calado profundamente en la industria, dando lugar a la Industria 4.0. T\'{i}picamente, las arquitecturas de la Industria 4.0 muestran un acoplamiento muy bajo entre sus componentes, siendo distribuidas, as\'{i}ncronas, y gui\'{a}ndose la comunicaci\'{o}n por eventos. Estas caracter\'{i}sticas, diferentes de las de arquitecturas que hasta ahora eran el foco de las t\'{e}cnicas de modelado, conllevan la necesidad de dotar a la Industria 4.0 de nuevos lenguajes y herramientas que permitan un desarrollo m\'{a}s eficiente y preciso. En este art\'{i}culo, proponemos el uso de UML para el modelado de este tipo de arquitecturas y una serie de transformaciones que permiten automatizar su procesamiento. M\'{a}s concretamente, presentamos un perfil UML para la Industria 4.0, as+AO0 como una transformaci\'{o}n de modelos capaz de generar una descripci\'{o}n abstracta \textemdashempleando la especificaci\'{o}n AsyncAPI\textemdash de las interfaces de programaci\'{o}n que subyacen a la arquitectura. A partir de dicha descripci\'{o}n abstracta en AsyncAPI, generamos el c\'{o}digo que dan soporte a dichas interfaces de forma autom\'{a}tica.},

keywords = {AsyncAPI, Industry, Model Transformation (MT), Publish-Subscribe, UML Profiles, Unified Modeling Language (UML)},

pubstate = {published},

tppubtype = {inproceedings}

}

@article{G\'{o}mez2019b,

title = {Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets},

author = {Abel G\'{o}mez and Ricardo J. Rodr\'{i}guez and Mar\'{i}a-Emilia Cambronero and Valent\'{i}n Valero},

doi = {10.1007/s10270-019-00716-1},

issn = {1619-1374},

year  = {2019},

date = {2019-01-22},

journal = {Software \& Systems Modeling},

volume = {18},

number = {5},

pages = {2973-3003},

abstract = {UML sequence diagrams are used to graphically describe the message interactions between the objects participating in a certain scenario. Combined fragments extend the basic functionality of UML sequence diagrams with control structures, such as sequences, alternatives, iterations, or parallels. In this paper, we present a UML profile to annotate sequence diagrams with combined fragments to model timed Web services with distributed resources under the publish/subscribe paradigm. This profile is exploited to automatically obtain a representation of the system based on Colored Petri nets using a novel model-to-model (M2M) transformation. This M2M transformation has been specified using QVT and has been integrated in a new add-on extending a state-of-the-art UML modeling tool. Generated Petri nets can be immediately used in well-known Petri net software, such as CPN Tools, to analyze the system behavior. Hence, our model-to-model transformation tool allows for simulating the system and finding design errors in early stages of system development, which enables us to fix them at these early phases and thus potentially saving development costs.},

keywords = {CPN Tools, Model Transformation (MT), Model-Driven Engineering (MDE), Petri net (PN), Publish-Subscribe, Unified Modeling Language (UML)},

pubstate = {published},

tppubtype = {article}

}

@article{Benelallam:JSS:2018,

title = {Distributing relational model transformation on MapReduce},

author = {Amine Benelallam and Abel G\'{o}mez and Massimo Tisi and Jordi Cabot },

doi = {10.1016/j.jss.2018.04.014},

issn = {0164-1212},

year  = {2018},

date = {2018-04-11},

journal = {Journal of Systems and Software},

volume = {142},

pages = {1 - 20},

abstract = {MDE has been successfully adopted in the production of software for several domains. As the models that need to be handled in MDE grow in scale, it becomes necessary to design scalable algorithms for model transformation (MT) as well as suitable frameworks for storing and retrieving models efficiently. One way to cope with scalability is to exploit the wide availability of distributed clusters in the Cloud for the parallel execution of MT. However, because of the dense interconnectivity of models and the complexity of transformation logic, the efficient use of these solutions in distributed model processing and persistence is not trivial. This paper exploits the high level of abstraction of an existing relational MT language, ATL, and the semantics of a distributed programming model, MapReduce, to build an ATL engine with implicitly distributed execution. The syntax of the language is not modified and no primitive for distribution is added. Efficient distribution of model elements is achieved thanks to a distributed persistence layer, specifically designed for relational MT. We demonstrate the effectiveness of our approach by making an implementation of our solution publicly available and using it to experimentally measure the speed-up of the transformation system while scaling to larger models and clusters.},

keywords = {ATL, Distributed Computing, MapReduce, Model Persistence, Model Transformation (MT), NeoEMF, Very Large Models (VLMs)},

pubstate = {published},

tppubtype = {article}

}

@conference{Diskin:FASE:2017,

title = {Traceability Mappings as a Fundamental Instrument in Model Transformations},

author = {Zinovy Diskin and Abel G\'{o}mez and Jordi Cabot },

editor = {Marieke Huisman and Julia Rubin},

doi = {10.1007/978-3-662-54494-5_14},

isbn = {978-3-662-54494-5},

year  = {2017},

date = {2017-03-22},

booktitle = {Fundamental Approaches to Software Engineering: 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings},

volume = {10202},

pages = {247--263},

publisher = {Springer},

address = {Berlin, Heidelberg},

series = {Lecture Notes in Computer Science},

abstract = {Technological importance of traceability mappings for model transformations is well-known, but they have often been considered as an auxiliary element generated during the transformation execution and providing accessory information. This paper argues that traceability mappings should instead be regarded as a core aspect of the transformation definition, and a key instrument in the transformation management.},

keywords = {ATL, Category Theory, Model Transformation (MT), Traceability},

pubstate = {published},

tppubtype = {conference}

}

@conference{Benelallam:SLE:2015,

title = {Distributed Model-to-model Transformation with ATL on MapReduce},

author = {Amine Benelallam and Abel G\'{o}mez and Massimo Tisi and Jordi Cabot},

doi = {10.1145/2814251.2814258},

isbn = {978-1-4503-3686-4},

year  = {2015},

date = {2015-01-01},

booktitle = {Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering},

pages = {37--48},

publisher = {ACM},

address = {New York, NY, USA},

series = {SLE 2015},

abstract = {Efficient processing of very large models is a key requirement for the adoption of Model-Driven Engineering (MDE) in some industrial contexts. One of the central operations in MDE is rule-based model transformation (MT). It is used to specify manipulation operations over structured data coming in the form of model graphs. However, being based on computationally expensive operations like subgraph isomorphism, MT tools are facing issues on both memory occupancy and execution time while dealing with the increasing model size and complexity. One way to overcome these issues is to exploit the wide availability of distributed clusters in the Cloud for the distributed execution of MT. In this paper, we propose an approach to automatically distribute the execution of model transformations written in a popular MT language, ATL, on top of a well-known distributed programming model, MapReduce. We show how the execution semantics of ATL can be aligned with the MapReduce computation model. We describe the extensions to the ATL transformation engine to enable distribution, and we experimentally demonstrate the scalability of this solution in a reverse-engineering scenario. },

note = {Pittsburgh, PA, USA},

keywords = {ATL, Distributed Computing, Language Engineering, MapReduce, Model Transformation (MT)},

pubstate = {published},

tppubtype = {conference}

}

@conference{Benelallam:SEPS:2015,

title = {ATL-MR: Model Transformation on MapReduce},

author = {Amine Benelallam and Abel G\'{o}mez and Massimo Tisi},

doi = {10.1145/2837476.2837482},

isbn = {978-1-4503-3910-0},

year  = {2015},

date = {2015-01-01},

booktitle = {Proceedings of the 2Nd International Workshop on Software Engineering for Parallel Systems},

pages = {45--49},

publisher = {ACM},

address = {New York, NY, USA},

series = {SEPS 2015},

abstract = {The Model-Driven Engineering (MDE) paradigm has been successfully embraced for manufacturing maintainable software in several domains while decreasing costs and efforts. One of its principal concepts is rule-based Model Transformation (MT) that enables an automated processing of models for different intentions. The user-friendly syntax of MT languages is designed for allowing users to specify and execute these operations in an effortless manner. Existing MT engines, however, are incapable of accomplishing transformation operations in an acceptable time while facing complex transformations. Worse, against large amount of data, these tools crash throwing an out of memory exception. In this paper, we introduce ATL-MR, a tool to automatically distribute the execution of model transformations written in a popular MT language, ATL, on top of a well-known distributed programming model, MapReduce. We briefly present an overview of our approach, we describe the changes with respect to the standard ATL transformation engine, finally, we experimentally show the scalability of this solution. },

note = {Pittsburgh, PA, USA},

keywords = {ATL, Distributed Computing, MapReduce, Model Transformation (MT), Tool},

pubstate = {published},

tppubtype = {conference}

}

@article{Cabello:IJIIDS:2012,

title = {SPL variability management, cardinality and types: an MDA approach},

author = {Mar\'{i}a Eugenia Cabello and Isidro Ramos and Jorge Rafael Guti\'{e}rrez and Abel G\'{o}mez and Rogelio Lim\'{o}n},

doi = {10.1504/IJIIDS.2012.045848},

issn = {1751-5866},

year  = {2012},

date = {2012-03-14},

journal = {International Journal of Intelligent Information and Database Systems (IJIIDS)},

volume = {6},

number = {2},

pages = {129-153},

abstract = {This paper presents a baseline-oriented modelling (BOM) approach to develop families of software products. BOM is a generic solution implemented as a framework that automatically generates software applications using executable architectural models by means of software product line (SPL) techniques. In order to cope with the variability problem, BOM considers its cardinality and type and implements two solutions: the BOM-EAGER and the BOM-LAZY approaches. BOM has been designed following the model-driven architecture (MDA) standard: all the SPL software artefacts are models, and model transformations enact the SPL production plan.},

keywords = {Expert Systems, Feature Modeling (FM), Intelligent Information, Metamodels, Model Transformation (MT), Model-Driven Architecture (MDA), Models, Query/View/Transformation (QVT), Software Product Line Production Plan, Software Product Lines (SPL), Variability Management},

pubstate = {published},

tppubtype = {article}

}

@conference{Gomez:SPLC:2010,

title = {BOM-Lazy: A Variability-Driven Framework for Software Applications  Production Using Model Transformation Techniques},

author = {Abel G\'{o}mez and Mar\'{i}a Eugenia Cabello and Isidro Ramos },

editor = {Goetz Botterweck and Stan Jarzabek and Tomoji Kishi and Jaejoon Lee and Steve Livengood},

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

isbn = {978-1-86220-274-0},

year  = {2010},

date = {2010-09-13},

booktitle = {Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools)},

pages = {139--146},

publisher = {Lancaster University},

address = {Lancaster, United Kingdom},

crossref = {DBLP:conf/splc/2010w},

abstract = {This paper presents Baseline Oriented Modeling\textendashLazy (BOM\textendashLazy): an approach to develop applications in a domain, Expert Systems, by means of Software Product Lines and model transformations techniques. A domain analysis has been done on the variability of Expert Systems that perform diagnostic tasks in order to determine the general and individual features, (i.e. common and variants features) of these systems. The variability of our Software Product Line is managed by means of models and model transformations; and the production plan is automatically generated and driven by the variability model and the core assets (which take part in the reference architecture) of the domain, in order to produce the base architecture of the Software Product Line.},

keywords = {BOM-Lazy, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Query/View/Transformation (QVT), Software Architectures, Software Product Lines (SPL), Variability Management},

pubstate = {published},

tppubtype = {conference}

}

@conference{Gomez:DSDM:2009,

title = {BOM\textendashLazy: gesti\'{o}n de la variabilidad en el desarrollo de Sistemas Expertos mediante t\'{e}cnicas de MDA},

author = {Mar\'{i}a G\'{o}mez and Abel G\'{o}mez and Mar\'{i}a Eugenia Cabello and Isidro Ramos},

editor = {Orlando Avila-Garc\'{i}a and Vicente Pelechano and Jos\'{e} Ra\'{u}l Romero},

url = {https://www.sistedes.es/files/actas-talleres-JISBD/Vol-3/No-2/DSDM09.pdf},

issn = {1988\textendash3455},

year  = {2009},

date = {2009-09-08},

booktitle = {Actas del VI Taller sobre Desarrollo de Software Dirigido por Modelos (DSDM 2009), junto a XIV Jornadas de Ingenier\'{i}a de Software y Bases de Datos (JISBD 2009)},

volume = {3},

number = {9},

pages = {91--100},

publisher = {SISTEDES},

abstract = {Este documento presenta BOM\textendashLazy, una aproximaci\'{o}n para desarrollar Sistemas Expertos mediante la utilizaci\'{o}n de t\'{e}cnicas de Desarrollo de Software Dirigido por Modelos y L\'{i}neas de Producto Software. Se ha realizado un estudio sobre la variabilidad de los Sistemas Expertos para determinar las caracter\'{i}sticas generales y particulares de dicho dominio. La variabilidad de tal dominio se gestiona mediante una transformaci\'{o}n de modelos que permite obtener autom\'{a}ticamente diferentes arquitecturas base a partir de la arquitectura gen\'{e}rica de la L\'{i}nea de Productos Software. },

note = {San Sebasti\'{a}n, Spain},

keywords = {BOM-Lazy, Expert Systems, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Model-Driven Architecture (MDA), Query/View/Transformation (QVT), Software Architectures, Software Product Lines (SPL), Variability Management},

pubstate = {published},

tppubtype = {conference}

}

@conference{Cabello:ACIIDS:2009,

title = {Baseline-Oriented Modeling: An MDA Approach Based on Software Product Lines for the Expert Systems Development},

author = {Mar\'{i}a Eugenia Cabello and Isidro Ramos and Abel G\'{o}mez and Rogelio Lim\'{o}n},

editor = {Ngoc Thanh Nguyen and Huynh Phan Nguyen and Adam Grzech},

doi = {10.1109/ACIIDS.2009.15},

isbn = {978-0-7695-3580-7},

year  = {2009},

date = {2009-04-01},

booktitle = {Intelligent Information and Database Systems, 2009. ACIIDS 2009. First Asian Conference on},

pages = {208-213},

publisher = {IEEE Computer Society},

abstract = {This paper presents our baseline oriented modeling (BOM) approach. BOM is a framework that automatically generates software applications as PRISMA architectural models using model transformations and software product line techniques. We follow the model-driven architecture initiative building domain models which are automatically transformed into platform independent models, and then compiled to an executable application (i.e. platform specific models). In order to illustrate BOM, we focus on a specific domain: the diagnostic expert systems.},

note = {Dong Hoi, Vietnam},

keywords = {BOM-Lazy, Expert Systems, Feature Modeling (FM), Model Transformation (MT), Query/View/Transformation (QVT), Software Product Lines (SPL)},

pubstate = {published},

tppubtype = {conference}

}

@conference{Gomez:ATEM:2007,

title = {Biological Data Migration Using a Model-Driven Approach},

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

editor = {Jean-Marie Favre and Dragan Gasevic and Ralk L\"{a}mmel and Andreas Winter},

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

issn = {0931-9972},

year  = {2007},

date = {2007-09-30},

booktitle = {Proceedings of the 4th International Workshop on Language Engineering (ateM 2007)},

number = {4/2007},

pages = {150--164},

publisher = {Institut f\"{u}r Informatik},

organization = {Johannes Gutenberg-Universit\"{a}t Mainz},

series = {Mainzer Informatik-Berichte},

abstract = {This paper shows how Model-Driven Software Development (MDSD) can be applied in the bioinformatics field since biological data structures can be easily expressed by means of models. The existence of several heterogeneous data sources is usual in the bioinformatics context. In order to validate the information stored in these data sources, several formalisms and simulation tools have been adopted. The process of importing data from the source databases and introducing it in the simulation tools is usually done by hand. This work describes how to overcome this drawback by applying MDSD techniques (e.g. model transformations). Such techniques allow us to automate the data migration process between source databases and simulation tools, making the transformation process independent of the data persistence format, obtaining more modular tools and generating traceability information automatically. },

note = {Nashville, TN, USA},

keywords = {Bioinformatics, Data Migration, Intergenomics, Model Driven Software Development (MDSD), Model Transformation (MT), Model-Driven Engineering (MDE), Petri net (PN), Query/View/Transformation (QVT)},

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}

}