Composición Categórica de Análisis Automáticos para Líneas de Productos Extendidas

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.