Mazo, Raúl2023-07-112023http://hdl.handle.net/10784/32674Las líneas de productos (PL, por sus siglas en inglés) constituyen entidades complejas, y para gestionar proyectos basados en esta metodología, se requieren herramientas que simplifiquen la enorme complejidad de configurar cientos de productos compuestos por miles de componentes. Para abordar estas dificultades, se han desarrollado diversas herramientas destinadas a la implementación de líneas de producto. En la ingeniería de líneas de productos (PLE, por sus siglas en inglés), es común que ciertos casos de uso de estas herramientas requieran diferentes representaciones matemáticas que permitan evaluar los modelos que describen la línea de productos de diversas maneras. Uno de los principales desafíos en la PLE es habilitar un conjunto de herramientas lo suficientemente amplio como para modelar diferentes expresiones de modelos de PLE. En este documento, exploramos una propuesta que permite añadir componentes para el razonamiento acerca de las propiedades de varios modelos de líneas de productos. Investigamos operaciones de razonamiento que no son tradicionales en la literatura de PLE. Además, examinamos cómo desarrollar un conjunto de procesos y artefactos de código que faciliten la creación de diferentes representaciones de los modelos y permitan razonar con diversas herramientas.application/pdfspaTodos los derechos reservadosLínea de productosIngeniería de softwareRazonamiento automáticoIngeniería de línea de productosDiseño de un sistema genérico de Solvers para el modelado y razonamiento en herramientas de ingeniería de líneas de productosmasterThesisinfo:eu-repo/semantics/openAccessINGENIERÍA DE LA PRODUCCIÓNPRODUCTIVIDAD INDUSTRIALDESARROLLO DE PROCESOSAcceso abierto2023-07-11Piedrahíta Vélez, Francisco José005.1 P613