Feature model

In software development, a feature model is a compact representation of all the products of the Software Product Line (SPL) in terms of "features". Feature models are visually represented by means of feature diagrams. Feature models are widely used during the whole product line development process and are commonly used as input to produce other assets such as documents, architecture definition, or pieces of code.

A SPL is a family of related programs. When the units of program construction are features—increments in program functionality or development—every program in an SPL is identified by a unique and legal combination of features, and vice versa.

Feature models were first introduced in the Feature-Oriented Domain Analysis (FODA) method by Kang in 1990.^[1] Since then, feature modeling has been widely adopted by the software product line community and a number of extensions have been proposed.

A "feature" is defined as a "prominent or distinctive user-visible aspect, quality, or characteristic of a software system or system".^[1] The focus of SPL development is on the systematic and efficient creation of similar programs. FODA is an analysis devoted to identification of features in a domain to be covered by a particular SPL.^[1]

Current feature modeling notations may be divided into three main groups, namely:

• Basic feature models
• Cardinality-based feature models
• Extended feature models

La semántica de un modelo de características es el conjunto de configuraciones de características que permite dicho modelo. El enfoque más común consiste en utilizar lógica matemática para capturar la semántica de un diagrama de características. ^{[ 5 ]} Cada característica corresponde a una variable booleana y la semántica se captura como una fórmula proposicional . Las valuaciones que satisfacen esta fórmula corresponden a las configuraciones de características permitidas por el diagrama de características. Por ejemplo, si${\displaystyle f_{1}}$es una subcaracterística obligatoria de${\displaystyle f_{2}}$La fórmula contendrá la restricción.${\displaystyle f_{1}\Leftrightarrow f_{2}}$. ^{[ 6 ]}

La siguiente tabla proporciona una traducción de las primitivas básicas. Suponemos que el diagrama es un árbol con raíz.${\displaystyle r}$La semántica de un diagrama completo es una conjunción de las traducciones de los elementos que contiene. Por lo tanto, si todos los elementos están escritos en forma normal conjuntiva (FNC), los términos se pueden combinar fácilmente con la operación lógica AND y la expresión lógica resultante permanecerá en FNC.

Un producto del SPL se especifica de forma declarativa seleccionando o deseleccionando características según las preferencias del usuario. Dichas decisiones deben respetar las restricciones impuestas por el modelo de características. Un "configurador" es una herramienta que asiste al usuario durante el proceso de configuración. Por ejemplo, seleccionando o deseleccionando automáticamente las características que deben o no deben seleccionarse, respectivamente, para que la configuración se complete correctamente. Los enfoques actuales utilizan propagación de unidades ^{[ 7 ]} y solucionadores CSP ^{[ 4 ]} .

Un análisis de un modelo de características se centra en ciertas propiedades del modelo que son importantes para las estrategias de marketing o las decisiones técnicas. En la literatura se identifican varios análisis. ^{[ 8 ] [ 9 ]} Los análisis típicos determinan si un modelo de características está vacío (no representa ningún producto), si contiene características muertas (características que no pueden formar parte de ningún producto) o el número de productos de la línea de productos de software representada por el modelo. Otros análisis se centran en comparar varios modelos de características (por ejemplo, para comprobar si un modelo es una especialización , una refactorización o una generalización de otro). ^{[ 10 ]}

• Análisis de dominio
• Ingeniería de dominios
• Programación orientada a características : un paradigma para la síntesis de líneas de productos de software.
• Ingeniería de Familias de Productos
• Líneas de productos de software

• Wiki del repositorio de modelos de características
• Ingeniería de líneas de productos de software con modelos de características