Preprint Open Access

Teoría de Categorías Aplicada a Variabilidad

Daniel-Jesus Munoz; Monica Pinto; Lidia Fuentes

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.
Files (342.7 kB)
Name Size
Daniel_Jesus_Munoz_JISBD21.pdf
md5:dd15729c1389a4a986c9bcae4e438d03
342.7 kB Download
  • 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)

89
41
views
downloads
All versions This version
Views 8989
Downloads 4141
Data volume 14.1 MB14.1 MB
Unique views 7777
Unique downloads 3838

Share

Cite as