To watch it in Youtube: https://youtu.be/jF7L0oqxwRg This is the live presentation of a conference paper. Please, access and cite the published version: https://biblioteca.sistedes.es/articulo/composicion-categorica-de-analisis-automaticos-para-lineas-de-productos-extendidas/ Para las Líneas de Productos Software (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´alisis extendido son en el mejor caso parcialmente soportadas por los razonadores estado-del-arte. Para este desafío, podemos aplicar un enfoque de Teoría de Categorías (TC); 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.

Este trabajo está financiado por el programa de investigación e innovación H2020 de la Unión Europea bajo el acuerdo de subvención DAEMON 101017109, por los proyectos también co-financiados por fondos FEDER LEIA UMA18-FEDERJA-15, MEDEA RTI2018-099213-B-I00 y Rhea P18-FR-1081, y la ayuda PRE2019-087496 del Ministerio de Ciencia e Innovación.