Consistencia entre Modelos

7 Consistencia entre Modelos
Se han definido dos modelos, cada uno de ellos orientados a un aspecto crítico del
sistema (función y datos).
Hemos utilizado diferentes técnicas para modelizar estos aspectos, hemos puesto
énfasis en la correcta aplicación de cada una de las técnicas. ¿Pero es correcto el modelo
definido para todo el conjunto de técnicas aplicadas? Es muy importante detectar los
errores del sistema lo antes posible.
♦ Cuanto más tardemos en detectarlos, mas dificil será la solución y mas cara
las soluciones.
♦ Según, James Martin, consultor de empresas, el 50 % de los errores de un
sistema, y el 75 % del coste de la corrección de los errore, están asociados
♦ Se trata de cruzar los resultados de cada una de las técnicas utilizadas y
comprobar su consistencia.
7.1 Consistencia entre DFD y DD
♦ Cada flujo y cada almacenamiento del DFD debe estar definido en el DD. Si
falta la definicióm en el diccionario, el flujo o almacen se considera
indefinido.
♦ Cada dato, flujo y almacenamiento definido en el DD debe aparecer en algún
lugar del DFD. Si no aparece, dicho dato o almacen es un “fantasma”, es
decir, algo definido pero que no se usa en el sistema. Esta situación se puede
dar cuando se definieron con una versión temprana del DFD, el peligro que
puede darse es que este cambie, sin producir un cambio en el diccionario de
datos.
7.2 Consistencia entre DFD y EP
♦ Cada burbuja del DFD debe estar asociada a un DFD de mas bajo nivel, o
con una especificación de proceso. Pero, no con los dos.
♦ Cada EP debe estar asociada con una burbuja de mínimo nivel del DFD.
♦ Entradas y salidas deben de coincidir. Los flujos de E/S de un proceso, debe
de estar reflejados por sentencias del tipo LEER, ESCRIBIR, ENVIAR en el
EP.
7.3 Consistencia de los EP con los DFD y DD
Cada dato referenciado en el EP debe cumplir una de las siguientes reglas:
♦ Debe ser el nombre de un flujo o almacen conectado al proceso estudiado.
♦ Debe ser un término local, definido explicitamente en la especificación de
procesos.
♦ Debe de aparecer en el DD, como un componente de un flujo o
almacenamiento conectado al proceso estudiado.
7.4 Consistencia del DD con el DFD y EP
♦ Cada entrada del DD debe ser referenciada por una EP, o un DFD, u otra
entrada del DD.
7.5 Consistencia del DER con DFD y EP
♦ Cada almacén del DFD debe corresponder con un entidad, una relación o un
entidad-asociativo del DER.
♦ Los nombres de las entidades y almacenes deben de encajar. Forma singular
para las entidades, y plural para los almacenamientos.
♦ Debe haber una entrada en el DD, tanto por el entidad como para el almacen.
♦ Reglas que deben cumplir el conjunto de todas las EP:
♦ Debe haber sentencias de creación y borrado, y de lectura, para todos las
entidades y relaciónes del DER.