Published September 22, 2021 | Version v1
Preprint Open

Teoría de Categorías Aplicada a Variabilidad

  • 1. Universidad de Málaga | ITIS Software

Description

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.

Notes

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

Daniel_Jesus_Munoz_JISBD21.pdf

Files (342.7 kB)

Name Size Download all
md5:dd15729c1389a4a986c9bcae4e438d03
342.7 kB Preview Download

Additional details

Related works

Is source of
Conference paper: 10.5281/zenodo.4599585 (DOI)

Funding

DAEMON – Network intelligence for aDAptive and sElf-Learning MObile Networks 101017109
European Commission

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)