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

Abstract

Para las +AFw-emph+AHs-Líneas de Productos Software+AH0 (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álisis extendido son parcialmente soportadas, en el mejor de los casos, por los razonadores estado-del-arte. Para este desafío, podemos aplicar un enfoque de +AFw-emph+AHs-Teoría de Categorías+AH0 (TC)+ADs 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.