{"references": ["Al-Qutaish, R.E.: Quality models in software engineering literature: an analytical and comparative study. Journal of American Science 6(3), 166{175 (2010)", "Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., Wasowski, A.: Clafer: unifying class and feature modeling. Software & Systems Modeling 15(3), 811{845 (2016)", "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{20. Springer, Berlin (2005)", "Batory, D., Azanza, M., Saraiva, J.: The objects and arrows of computational design. In: International Conference on Model Driven Engineering Languages and Systems. pp. 1{20. Springer (2008)", "Benavides, D., Trinidad, P., Ruiz-Cortes, A., Segura, S.: FaMa, pp. 163{171. Springer Berlin Heidelberg, Berlin, Heidelberg (2013)", "Budiardjo, E.K., Zamzami, E.M., et al.: Feature modeling and variability modeling syntactic notation comparison and mapping. Computer and Communications ('14)", "Czarnecki, K., Grunbacher, P., Rabiser, R., Schmid, K., Wkasowski, A.: Cool features and tough decisions: A comparison of variability modeling approaches. In: Proceedings of the Sixth International Workshop on Variability Modeling of Software-Intensive Systems. p. 173{182. ACM, New York, NY, USA (2012)", "Feichtinger, K., Rabiser, R.: Variability model transformations: Towards unifying variability modeling. In: 2020 46th Euromicro Conference on Software Engineering and Advanced Applications (SEAA). pp. 179{182 (2020)", "Genovese, F., Spivak, D.I.: A categorical semantics for guarded petri nets. In: Gadducci, F., Kehrer, T. (eds.) Graph Transformation. pp. 57{74. Springer International Publishing, Cham (2020)", "Gonzalez-Huerta, J., Insfran, E., Abrah~ao, S., McGregor, J.D.: Non-functional requirements in model-driven software product line engineering. In: Proceedings of the Fourth InternationalWorkshop on Nonfunctional System Properties in Domain Specic Modeling Languages. NFPinDSML '12, NY, USA (2012)", "Horcas, J.M., Pinto, M., Fuentes, L.: An automatic process for weaving functional quality attributes using a software product line approach. Journal of Systems and Software 112, 78 { 95 (2016)", "Lliteras, A.B., Torres, D., Collazos, C.A., Fernandez, A.: Development, reuse, and repurposing of software artifacts in digital citizen science. are we reinventing the wheel? In: CEUR Workshop Proceedings (2020)", "Munoz, D.J., Pinto, M., Fuentes, L.: Hadas: analysing quality attributes of software congurations. In: Proceedings of the 23rd International Systems and Software Product Line Conference-Volume B. pp. 13{16 (2019)", "SCHULTZ, P., WISNESKY, R.: Algebraic data integration. Journal of Functional Programming 27, e24 (2017)", "Taentzer, G., Salay, R., Struber, D., Chechik, M.: Transformations of software product lines: A generalizing framework based on category theory. In: 20th Int. Conference on Model Driven Engineering Languages and Systems (MODELS) (2017)"]}

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. Este trabajo est ́a financiado por el programa de investigación e innovación H2020 de la Uni ́on 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.

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.