Variability models in decision-making domains: Study case: cerebrovascular accidents' etiology

Abstract

Product lines' paradigm has proven to be of great utility in the context of decision making. Through the representation of product variance, and the selection of specific configurations the efficiency of this process has been greatly improved. Using methods like constraint programming as well as variability models, technology has supported a configuration process based on stakeholder's interests. Nevertheless, this approach's utility hasnþt been fully exploited as 1) it has been used, almost exclusively, in technologically-driven domains; and 2) performance issues have become a problem when dealing with large product lines and runtime environments. Therefore, this paper aims to elucidate how to extend the product's line paradigm impact. In the first place by illustrating its usage in a domain such as the medical one, and in the second place exploring an approach that can provide a response to the performance and scalability concerns. Thus, the employment of satisfiability modulo theories-based (SMT) algorithms is evaluated considering the evidence of their high efficiency and expressiveness

"El paradigma de líneas de producto ha demostrado ser de gran utilidad en el contexto de toma de decisiones. Mediante la representación de la variabilidad del producto y la selección de configuraciones específicas, la eficiencia de este proceso ha mejorado mucho. Al utilizar métodos como la programación basada en restricciones y modelos de variabilidad, la tecnología ha respaldado un proceso de configuración basado en los intereses de los stakeholders. Sin embargo, la utilidad de este enfoque no se ha explotado plenamente, ya que 1) se ha utilizado, casi exclusivamente, en dominios relacionados con tecnología; y 2) los problemas de rendimiento se han convertido en un problema cuando se trata de grandes líneas de productos y entornos de tiempo de ejecución. Por lo tanto, este documento tiene como objetivo dilucidar cómo extender el impacto del paradigma de línea del producto. En primer lugar, al ilustrar su uso en un dominio como el médico, y en segundo lugar, explorar un enfoque que pueda proporcionar una respuesta a los problemas de rendimiento y escalabilidad. Por lo tanto, el empleo de solvers basados en las teorías del módulo de satisfabilidad (SMT) se evalúa teniendo en cuenta la evidencia de su alta eficiencia y expresividad."--Tomado del Formato de Documento de Grado