La Teoría de Categorías es un álgebra abstracta que capta los componentes comunes de estructuras aparentemente diferentes. Sus principios organizadores pretenden remodelar y reformular problemas, facilitando su resolución y abriendo puertas a nuevas vías de investigación. En este trabajo analizamos su aplicabilidad a Modelos de Variabilidad con los objetivos de estandarizar su expresividad y expandir el conjunto tradicional de herramientas de razonamiento y optimización.
Autores: Daniel-Jesus Munoz / Mónica Pinto / Lidia Fuentes /
Palabras Clave: atributo de calidad - característica - modelo de variabilidad - razonador - teoría de categorías
Para las +AFw-emph+AHs-Líneas de Productos Software+AH0 (LPS) se necesitan operaciones que nos permitan analizar dicho software y el reúso de sus características. Los razonadores son herramientas que automatizan estas operaciones. Desde la extensión de LPS con diversos tipos atributos de calidad, el tipo y número de operaciones de razonamiento ha crecido más rápido que el desarrollo de los respectivos razonadores. En consecuencia, las operaciones de análisis extendido son parcialmente soportadas, en el mejor de los casos, por los razonadores estado-del-arte.Para este desafío, podemos aplicar un enfoque de +AFw-emph+AHs-Teoría de Categorías+AH0 (TC)+ADs el álgebra abstracta que capta los componentes comunes de estructuras aparentemente diferentes. Basándonos en la flexibilidad de sus razonamientos, proponemos una metodología donde las operaciones extendidas sean composiciones configurables de un conjunto de operaciones reusables independientes. Por tanto, buscamos definir e implementar un framework de razonamiento funcional de LPS extendidas basado en TC.
Autores: Daniel-Jesus Munoz / Mónica Pinto / Lidia Fuentes /
Palabras Clave: atributo de calidad - Consultas - modelo de variabilidad - razonador - teoría de categorías
The impact of energy consumption on the environment andthe economy is raising awareness of «green»software engineering. HADASis an eco-assistant that makes developers aware of the influence oftheir designs and implementations on the energy consumption and performanceof the final product. In this paper, we extend HADAS to bettersupport the requirements of users: researchers, automatically dumpingthe energy-consumption of different software solutions; and developers,who want to perform a sustainability analysis of different software solutions.This analysis has been extended by adding Pearson’s chi-squareddifferentials and Bootstrapping statistics, to automatically check the significanceof correlations of the energy consumption, or the execution time,with any other variable (e.g., the number of users) that can influencethe selection of a particular eco-efficient configuration. We have evaluatedour approach by performing a sustainability analysis of the mostcommon web servers (i.e. PHP servers) using the time and energy datameasured with the Watts Up? Pro tool previously dumped in HADAS.We show how HADAS helps web server providers to make a trade-offbetween energy consumption and execution time, allowing them to selldifferent server configurations with different costs without modifying thehardware.
Autores: Daniel-Jesus Munoz / Mónica Pinto / Lidia Fuentes /
Palabras Clave: Energy Efficiency - Linux - Performance - Web Servers
