1. Descripción de requerimientos, R, como teoremas.
Los requerimientos para la síntesis R son descritos como teoremas.
2. Extracción de requerimientos de interés.
A partir de R, sólo centramos nuestro interés en hechos observables como Fo.
3. Selección de axiomas o el conocimiento.
4. Derivar soluciones a partir de los requerimientos y los axiomas, es decir, derivar
soluciones a partir de los requerimientos y el conocimiento.
Las soluciones Fd se derivan a partir de K y Fo. El razonamiento básico para derivar
soluciones es el de abducción, aunque también se pueden utilizar otros algoritmos
para llegar a las soluciones.
5. Derivar teoremas a partir de axiomas y hechos, es decir, derivar requerimientos a
partir de conocimiento y soluciones.
Los teoremas (requerimientos) se derivan a partir del conocimiento K y Fd
(soluciones) deductivamente.
6. Verificar teoremas frente a los requerimientos.
Verificación de las especificaciones de las soluciones frente a los requerimientos
iniciales. Es decir, verificar si se cumplen las especificaciones y con ello comprobar
que la solución Fd es satisfactoria.
7. Verificar teoremas frente a otros axiomas conocidos, es decir, verificar
especificaciones frente a otro conocimiento no considerado inicialmente.
Los teoremas derivados (especificaciones de las soluciones) se comprueban frente a
otros conjuntos de axiomas (conocimiento). El test verifica si Fd (solución) es
compatible no sólo con K (conocimiento seleccionado inicialmente) sino también con
K’ (nuevo conocimiento).
El bloque independiente del modelo computacional se encarga de controlar la
actuación sobre el nivel dependiente y en él se definen las operaciones de
modificación, ...)
0 comentarios:
Publicar un comentario