Metodologa Estructurada de Ward-Mellor

Esteban Villacs PUCE(Pontificia Universidad Catlica del Ecuador)

Introduccin
El modelo de Ward-Mellor se origina del mtodo de Yourdon, el que ha sido usado en el software del mundo para las especificaciones funcionales de grandes sistemas en lnea. Las especificaciones estructurales tienen las siguientes caractersticas:

Especificaciones Estructurales

Es orientado a grficos, porque una imagen es muchas veces ms fcil de entender que palabras. La especificacin slo contiene los aspectos esenciales del sistema. La especificacin solo muestra lo que el sistema debe hacer, no como es implementado. El diseador tiene la oportunidad de hacer correcciones en los diagramas de especificacin, lo que es ms fcil que buscar errores en el cdigo.

Modelo de Ward-Mellor
El modelo esencial de Ward-Mellor consiste en dos partes: un modelo de interaccin con el medio externo y otro de comportamiento.

1. Anlisis y Especificaciones. 1.1 Listas de Eventos

Una de las primeras preguntas que un ingeniero de software tienen que ver con las condiciones en las cuales va a reaccionar un sistema. El resultado esperado de esta fase de interrogacin es un catlogo de los escenarios en los cuales el sistema debe responder, llamado lista de eventos. Una pequea interpretacin de lo que un sistema de facturacin debera hacer

1.2 Diagrama de Contexto

Otra consideracin importante es el diagrama de contexto. El diagrama de contexto expresa el lugar de concepcin del sistema y la interfaz esperada entre el sistema y el medio externo.

1.3 Esquema de Transformacin

Ahora ya podemos proceder a expresar ms claramente qu clase de respuesta requiere cada evento. Nuestro primer paso para hacer esto es modelar cada evento - respuesta usando un diagrama de flujos de datos(DFD) con extensiones de comportamiento.

1.4 El Diccionario de Datos

Ahora ya podemos aadir los detalles de los datos guardados y comunicados en el esquema de transformacin. Esto se logra con el diccionario de datos. El diccionario de datos es usado para describir todas las estructuras de datos utilizadas por el sistema en trminos de las secuencias de, seleccin de, e iteracin sobre otras estructuras de datos y elementos de datos primitivos.

1.5 Mini-Especificaciones
La descripcin final necesitada para el modelo
esencial son las mini especificaciones. La parte de la interfaz de las mini-especificaciones declara las diferentes conexiones que tiene el funcional primitivo tiene con el medio externo.

2. Validacin
La validacin en un modelo estructurado se consigue de dos maneras. Cada una de las preguntas realizadas en el proceso de anlisis y especificaciones son re-examinadas por los ing. de requerimientos. Otra forma es mediante herramientas de caso de uso que revisan la consistencia entre las tcnicas que hacen el modelo.

3. Anlisis y Especificacin
La primera cosa a considerar eventos. Esto va a consistir en sistema como se lo present eventos extras que muestran sistema. es la lista extendida de los eventos que llaman al anteriormente, pero con las otras actividades del

Diagrama de Contexto Final