Autor:
Horcas Aguilera, José Miguel

Foto de perfil

E-mails conocidos

jhorcas@us.es
horcas@lcc.uma.es
horcas@uma.es

Fecha de nacimiento

ORCID

0000-0002-7771-0575

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Horcas Aguilera

Nombre de pila

José Miguel

Nombre

Nombres alternativos

Horcas, José Miguel
Horcas, Jose-Miguel

Afiliaciones conocidas

University of Seville, Spain
University of Málaga, Spain
Universidad de Málaga
Andalucía Tech, Universidad de Málaga
Universidad de Málaga, Spain
ITIS Software, University of Málaga, Spain
ITIS Software, Universidad de Málaga, Spain

Páginas web conocidas

https://sites.google.com/view/josemiguelhorcas
Página completa del ítem
Notificar un error en este autor

Filtros

2016 - 201952020 - 20248
Restablecer filtros

Ajustes

Resultados de la búsqueda

Mostrando 1 - 10 de 13
  • Miniatura
    Artículo
    Evolución arquitectónica de servicios basada en modelos CVL con cardinalidad
    Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia. Actas de las XXI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2016), 2016-09-13.
    La computación en la nube se está convirtiendo en un mecanismo predominante para desplegar fácilmente aplicaciones con requisitos especiales, tales como el almacenamiento masivo compartido, o el equilibrado de carga. Esta funcionalidad se proporciona normalmente como servicios por las plataformas en la nube. Un desarrollador puede mejorar tanto el despliegue de sus aplicaciones como la productividad siguiendo un enfoque multi-tenancy, donde diferentes variantes de la misma aplicación pueden adaptarse rápidamente a las necesidades de cada usuario (tenant). Sin embargo, gestionar la variabilidad inherente a las aplicaciones multi-tenant, con cientos de usuarios y miles de configuraciones arquitectónicas diferentes, puede llegar a ser una tarea intratable de abordar manualmente. En este artículo, se propone un enfoque de línea de producto software en el cual: (1) usamos modelos de variabilidad con cardinalidad para modelar cada tenant como una característica clonable, (2) automatizamos el proceso de evolución de las arquitecturas de aplicaciones multi-tenant, y (3) demostramos que la implementación de los procesos de evolución es correcta y eficiente para un número elevado de tenants en un tiempo razonable.
  • Miniatura
    Artículo
    Una herramienta para aplicar técnicas de Montecarlo al análisis de modelos de características
    Horcas Aguilera, José Miguel; Márquez Trujillo, Antonio Germán; Galindo, José A.; Benavides, David. Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021), 2021-09-22.
    La mayoría de los sistemas configurables describen un amplio espacio de soluciones que hacen intratable su exploración exhaustiva. En la literatura encontramos técnicas de análisis como la resolución SAT o la programación de restricciones. Sin embargo, ninguna de ellas ha explorado los métodos basados en la simulación de la toma de decisiones cuando configuramos un sistema. Nosotros proponemos usar el método de Montecarlo el cual simula la búsqueda en espacios de soluciones colosales de manera aleatoria. Este trabajo presenta la implementación de un marco conceptual que aborda varios de esos análisis utilizando métodos de Montecarlo, los cuales, han demostrado tener éxito en otros dominios con espacios de búsqueda colosales como la teoría de juegos. Concretamente presentamos una implementación en Python del marco de trabajo que muestra la viabilidad de nuestra propuesta con la que prevemos que se pueden abordar diferentes problemas y que nuestro marco pueda utilizarse para avanzar el estado del arte.
  • Miniatura
    Artículo
    Transformo: a tool for data transformation using SPL techniques
    Romero-Organvidez, David; Horcas Aguilera, José Miguel; Gómez López, Maria Teresa; Benavides, David. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.
    Software modernization often involves complex data migration projects, which can result in resource loss and delays. Data migration typically requires ETL (Extraction, Transformation, and Load) operations, but there is limited literature on reusing data migration artifacts to reduce complexity. This paper introduces a tool that employs software product line techniques in data migration projects, specifically in the data transformation stage, to systematize artifact reuse. The proposed solution enables the automatic creation of scripts through configuration techniques, streamlining the data transformation process. This tool's feasibility is demonstrated in web information systems modernization, where data is migrated between Drupal and WordPress portals. Various migration scripts are generated by selecting different features, showcasing the method's versatility. This innovative tool is the first to utilize a complete stack of software product line techniques, enabling the reuse of artifacts for data migration. This tool opens up new opportunities for further applications of software product line techniques in data migration projects across various domains.
  • Miniatura
    Artículo
    vEXgine: Extendiendo el Motor de Ejecución de CVL
    Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
    El Lenguaje CVL (textit{Common Variability Language}) carece de una herramienta flexible que permita poner en práctica las necesidades industriales del modelado de la variabilidad en Líneas de Producto Software. Las herramientas existentes que proporcionan soporte para CVL son prototipos incompletos, o se centran principalmente en la especificación de la variabilidad, sin llegar a resolverla sobre modelos reales. Además, no existe una API que permita la interacción directa con el motor CVL para extenderlo o usarlo en una aplicación independiente. Este artículo presenta vEXgine, una implementación adaptable y extensible del motor de ejecución de la variabilidad de CVL.
  • Miniatura
    Artículo
    Un analizador de modelos de variabilidad basado en el árbol de características
    Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia. Actas de las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023), 2023-09-12.
    Un árbol de características generalizado (GFT) es un modelo de variabilidad en el que las restricciones textuales han sido eliminadas manteniendo la semántica del modelo. La ventaja de un GFT es que se puede analizar directamente razonando sobre las relaciones jerárquicas del árbol de características sin tener que transformar el modelo a SAT o construir un árbol de decisión binario (BDD). La desventaja de un GFT es que puede contener características duplicadas y su tamaño en número de características con respecto al modelo de variabilidad original es considerablemente mayor, lo que complica el análisis automático. En este artículo se propone un analizador de modelos GFT basado en las relaciones jerárquicas del árbol de características teniendo en cuenta la existencia de características duplicadas. Se definen un conjunto de operaciones de análisis sobre GFT y se compara su eficiencia con solvers SAT y BDD. El solver GFT mejora la eficiencia del análisis sobre solvers BDD para modelos de hasta diez mil características.
  • Miniatura
    Artículo
    Modelando la Variabilidad de Características Complejas en Líneas de Productos Software
    Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia. Actas de las XXIV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2019), 2019-09-02.
    A pesar de la gran cantidad de trabajos y de herramientas existentes en el ámbito de las Líneas de Productos Software, muchos dominios de aplicación actuales no pueden verse beneficiados del uso de una Línea de Producto Software. Además, fuera del mundo académico, la empresa sigue siendo bastante reticente a usar este enfoque. En este artículo reflexionamos sobre las razones de esta falta de adopción, tanto desde el punto de vista de las características complejas que son imprescindibles en los sistemas actuales, como del soporte que las herramientas existentes proporcionan.
  • Miniatura
    Artículo
    Una Línea de Productos Software para la Visualización de Datos
    Horcas Aguilera, José Miguel; Galindo, José A.; Benavides, David. Actas de las XXVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2022), 2022-09-05.
    La visualización de datos expone una gran cantidad de variabilidad a nivel de diseño de gráficos y su implementación con las herramientas existentes. Sin embargo, no todas las configuraciones son igual de efectivas para representar datos. Nosotros proponemos una línea de productos software (SPL) para la visualización de datos que sintetiza la variabilidad y los principios y buenas prácticas de diseño en visualización de datos, modelando aquellas opciones recomendadas por los expertos en visualización y reduciendo la variabilidad expuesta por las librerías software existentes. Este trabajo presenta la implementación de la SPL de visualización de datos. Concretamente se presentan los artefactos desarrollados en la SPL, incluyendo el modelo de variabilidad y la implementación de las visualizaciones usando plantillas variables, y se muestra la viabilidad de nuestra propuesta con la que se abre una nueva línea de investigación donde se aplican técnicas de variabilidad a la visualización de datos.
  • Miniatura
    Artículo
    Mecanismos de Reconfiguración Eco-eficiente de Código en Aplicaciones Móviles Android
    Canete, Angel; Horcas Aguilera, José Miguel; Fuentes, Lidia. Actas de las XXIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2018), 2018-09-17.
    Los dispositivos móviles ofrecen cada vez mayores prestaciones a costa de un mayor consumo energético. La energía consumida por un móvil no sólo depende de las aplicaciones en sí, sino también de las interacciones del usuario con la aplicación. Si un recurso no está siendo utilizado por la aplicación, no debería estar consumiendo energía. En este artículo se presenta un modelo de adaptación de aplicaciones móviles al contexto del usuario con el objetivo de reducir el consumo energético de las aplicaciones. Se desarrollan y evalúan cuatro implementaciones diferentes de la propuesta en busca del mecanismo de reconfiguración más eficiente energéticamente.
  • Miniatura
    Artículo
    Configuración Eco-Eficiente de Atributos de Calidad Funcionales
    Horcas Aguilera, José Miguel; Pinto, Mónica; Fuentes, Lidia. Actas de las XXII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2017), 2017-07-19.
    Los atributos de calidad funcionales (FQAs) son aquellos que para satisfacerlos se necesita incorporar funcionalidad adicional a la arquitectura de las aplicación (e.g., seguridad). La nueva funcionalidad incorporada por estos FQAs (e.g., encriptación) afecta a otro atributo de calidad como es el consumo de energía de la aplicación. Hasta el momento no se han explorado suficientemente las interdependencias entre, por ejemplo diferentes niveles de seguridad y su incidencia en el consumo de energía. En este artículo se propone una solución para ayudar al arquitecto software a generar la configuración de los FQAs que optimiza la eficiencia energética de la aplicación. Para ello se define un modelo de uso para cada FQA, teniendo en cuenta las variables que influyen en el consumo de energía y como el valor de estas variables cambia en función del punto de la aplicación donde se requiere ese FQA. Se extiende una Línea de Productos Software que modela una familia de FQAs para incorporar la variabilidad del modelo de uso y los frameworks existentes que implementan los FQAs. Generamos la configuración más eco-eficiente seleccionando el framework y las características más adecuadas para cada FQA y configurándolo según los requisitos de la aplicación.
  • Miniatura
    Artículo
    Heurísticas para mejorar el rendimiento en la eliminación de restricciones en modelos de características
    Horcas Aguilera, José Miguel; Ballesteros, Joaquin; Pinto, Mónica; Fuentes, Lidia. Actas de las XXVIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2024), 2024-06-17.
    El análisis automático de los modelos de variabilidad se realiza habitualmente transformando el modelo a SAT o construyendo un árbol de decisión binario. Una alternativa que se está explorando en los últimos años es la eliminación de las restricciones del modelo, manteniendo su semántica. La principal ventaja de este enfoque es la posibilidad de analizar el modelo directamente sobre el árbol de características, razonando sobre las relaciones jerárquicas del árbol. La principal desventaja es que el tamaño del árbol crece sustancialmente para modelos grandes y complejos, dando lugar a problemas de escalabilidad tanto a nivel de tiempo de análisis como de espacio de almacenamiento. En un trabajo previo definimos la propuesta FMSans para la eliminación de todas las restricciones de un modelo de variabilidad, basada en el uso de árboles disjuntos y en el uso de paralelismo tanto para la generación de los árboles como para su análisis. En este artículo se proponen cuatro heurísticas para reordenar las restricciones del modelo y reducir el tiempo necesario para identificar los árboles disjuntos resultantes de eliminar las restricciones del modelo de variabilidad.