Autor:
Pinto, Mónica

Foto de perfil

E-mails conocidos

pinto@lcc.uma.es
mpinto@uma.es

Fecha de nacimiento

Proyectos de investigación

Unidades organizativas

Puesto de trabajo

Apellidos

Pinto

Nombre de pila

Mónica

Nombre

Nombres alternativos

Pinto Alarcon, Monica
Pinto, Mónica

Afiliaciones conocidas

ITIS Software, Spain
ITIS Software, Universidad de Malaga, Spain
Universidad de Málaga, Spain
Universidad de Málaga, Andalucía Tech, España, Spain
University of Málaga, Spain
University of Malaga
Universidad de Málaga
Andalucía Tech, Universidad de Málaga

Páginas web conocidas

http://caosd.lcc.uma.es
Página completa del ítem
Notificar un error en este autor

Filtros

2016 - 201942020 - 20242
Restablecer filtros

Ajustes

Autor: Horcas Aguilera, José Miguel ×

Resultados de la búsqueda

Mostrando 1 - 6 de 6
  • 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
    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
    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.