{"references": ["Barr, M., Wells, C.: Category theory for computing science. Prentice Hall (1990)", "Batory, D.: Feature models, grammars, and propositional formulas. In: Obbink, H., Pohl, K. (eds.) Software Product Lines. pp. 7\u201320. Springer, Berlin (2005)", "Breiner, S., Breiner, S., Pollard, B., Subrahmanian, E.: Workshop on Applied Category Theory: Bridging Theory and Practice. US Department of Commerce, National Institute of Standards and Technology (2020)", "Horcas, J.M., Pinto, M., Fuentes, L.: Software product line engineering: A practical experience. In: Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A. p. 164\u2013176. SPLC '19, Association for Computing Machinery, New York, NY, USA (2019)", "K\u00e4k\u00f6la, T., Duenas, J.C.: Software product lines. Springer (2006)", "Munoz, D.J.: Achieving energy efficiency using a software product line approach. In: Proceedings of the 21st SPLC. p. 131\u2013138. SPLC '17, ACM, NY, USA (2017)", "Munoz, D.J., Gurov, D., Pinto, M., Fuentes, L.: Category theory framework for variability models with non-functional requirements. In: Advanced Information Systems Engineering. pp. 397\u2013413. Springer, Cham (2021)", "SCHULTZ, P., WISNESKY, R.: Algebraic data integration. Journal of Functional Programming 27, e24 (2017)", "Siegmund, N., Sobernig, S., Apel, S.: Attributed variability models: Outside the comfort zone. In: Proceedings of the 11th Joint Meeting on Foundations of Software Engineering. p. 268\u2013278. ACM, New York, New York, USA (2017)", "Trinidad, P., Ruiz-Cort\u00b4es, A., Benavides, D.: Automated Analysis of Stateful Feature Models, pp. 375\u2013380. Springer Berlin Heidelberg, Berlin, Heidelberg (2013)"]}

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.