El desarrollo de software orientado a características (FOSD, por sus siglas en inglés) es un paradigma general para la generación de software, en el que un modelo de una línea de productos es una tupla de funciones 0-arias y 1-arias (transformaciones de programas). En esta página se analiza un concepto más abstracto de modelos de líneas de productos de líneas de productos (PL**2) denominados metamodelos, y líneas de productos de líneas de productos de líneas de productos denominadas metametamodelos (PL**3), así como otros conceptos abstractos.
Un metamodelo es un modelo cuyas instancias son modelos. [1] Un modelo GenVoca de una línea de productos es una tupla cuyos componentes son características (funciones 0-arias o 1-arias). Una extensión (también conocida como delta o refinamiento) de un modelo es una "metacaracterística", que es una tupla de deltas que pueden modificar una línea de productos existente modificando características existentes y agregando características nuevas. Como ejemplo simple, considere el modelo GenVoca M que contiene tres características ac:
Supongamos que el metamodelo MM contiene tres metacaracterísticas AAA-CCC, cada una de las cuales es una tupla con una única característica no identitaria:
donde 0 es la característica nula. El modelo M se construye añadiendo las metacaracterísticas de MM, donde + es la operación de composición (véase FOSD ).
MM modela una línea de productos de líneas de productos (PL**2). Es decir, diferentes expresiones MM corresponden a modelos GenVoca de diferentes líneas de productos.
![{\displaystyle M=[a,b,c]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ec1e7cc4916e97375cc3eb943f8ad28de8e05306)
![{\displaystyle {\begin{aligned}MM&=[AAA,BBB,CCC]\\&=[[a,0,0],[0,b,0],[0,0,c]]\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/58197c293a95cb57b3801ea609415933f9e32345)
![{\displaystyle {\begin{aligned}M&=AAA+BBB+CCC&{\text{expresión}}\\&=[a,0,0]+[0,b,0]+[0,0,c]&{\text{sustitución}}\\&=[a+0+0,0+b+0,0+0+c]&{\text{composición}}\\&=[a,b,c]&{\text{simplificación donde }}0+x=x+0=x\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/c1b2b380089a45381df13211f69345ee9243a4d4)