ANÁLISIS FUNCIONAL
9.1.- INTRODUCCIÓN
Hemos estado estudiando las distintas herramientas de modelado existentes en el análisis estructurado, pero no hemos definido el concepto de Análisis Funcional. El término análisis funcional indica el modelado de actividades dentro de una empresa; una función es una porción de una empresa. El análisis funcional se centra en el entendimiento de cómo cada función usa la información y cómo es intercambiada ésta entre las funciones. Es el primer paso hacia la especificación y diseño de programas de aplicación que operan sobre la base de datos. El análisis funcional se basa en las siguientes actividades a realizar:
9.2.- CUALIDADES DE UN ESQUEMA FUNCIONAL
Independencia funcional: esta propiedad se alcanza cuando cada proceso es lo bastante autónomo, es decir, que puede realizar una parte sustancial de sus funciones de manera independiente.
Compleción: un modelo es completo cuando representa todos los rasgos del dominio de aplicación en un nivel de detalle apropiado (es decir, cuando se especifican suficientes detalles sobre el mismo pero no se describen rasgos procedimentales)
Corrección: un modelo es correcto cuando usa de manera apropiada los conceptos del modelo para representar los requerimientos.
Legibilidad: un modelo es legible cuando representa los requisitos de manera natural y puede ser entendido fácilmente sin necesidad de otras explicaciones.
Minimalidad: un modelo es mínimo cuando cada aspecto de los requerimientos aparece sólo una vez en el esquema.
9.3.- RECONSTRUCCIÓN DE LOS MODELOS INICIALES
Hasta ahora, lo que se ha obtenido ha sido una versión inicial del modelo del comportamiento del sistema. Sin embargo, este modelo no puede ser presentado al usuario para su verificación, porque es demasiado complejo. El DFD preliminar tendrá una burbuja para cada acontecimiento identificado en la lista da eventos. Del mismo modo, el DER inicial puede tener muchas entidades como para ser revisado con el usuario. Por tanto, se necesita un refinamiento de los mismos para eliminar los objetos innecesarios y/o añadir nuevos.
TERMINADO DEL MODELO DE PROCESO (DFD)
Lo primero es reorganizar el DFD/1. Se necesita una nivelación ascendente del DFD preliminar, es decir, se deben agrupar procesos relacionados en agregados con significado, cada uno de los cuales representa una burbuja de nivel superior. Existen tres reglas que permiten hacer ésto:
Cada agrupación de procesos debe involucrar respuestas relacionadas cercanamente, es decir, se deben agrupar procesos que manejan datos relacionados cercanamente.
Se debe intentar esconder datos almacenados que aparecen en el nivel inferior. Si hay procesos que se refieren a un almacén común y no hay otros procesos en el DFD preliminar que se refieran a este almacén, entonces se puede crear una burbuja de nivel superior para esconderlo.
Se deben crear agregados de procesos que consistan en aproximadamente 7 más menos 2 bloques de información, donde un proceso y sus flujos relacionados, se considera como un bloque.
TERMINADO DEL DICCIONARIO DE DATOS (DD) Y LAS ESPECIFICACIONES DE PROCESO
Es necesario comprobar que se ha dado el significado de cada dato, se han dividido los datos complejos del sistema en elementos menores, que sea consistente, que esté balanceado con el DFD por niveles, el DER y las especificaciones de proceso.
Cuando el DFD preliminar empieza a estabilizarse y, cuando ha pasado la prueba de nivelación ascendente, entonces se puede empezar a escribir las especificaciones de proceso, que deberán ir balanceándose y comparándose con el DD y el DER.
TERMINADO DEL MODELO DE DATOS (DER)
Si el DFD y el DER se van realizando al mismo tiempo, se deben ir revisando al mismo tiempo para asegurar la existencia de almacenes comunes, flujos de datos, etc.
TERMINADO DEL MODELO DE COMPORTAMIENTO (DTE)
Si el sistema tiene características de tiempo real, se estará definiendo un DTE y un DER. Se deben encontrar los siguientes tipos de errores: