MODELADO: ANLISIS ESTRUCTURADO MODERNO

UNIDAD 5 Ingeniera de Software I

ANTECEDENTES
Las metodologas de anlisis de tareas o

funcionales surgieron en la dcada de los setenta y se han perfeccionado durante treinta aos.

Hay varios mtodos funcionales, pero todos

guardan una forma de trabajar muy parecida a la Metodologa de Anlisis Estructurado Moderno (Edward Yourdon, 1993)

ANLISIS ESTRUCTURADO MODERNO

MODELO ANLISIS

MODELO ESENCIAL
Es un modelo de lo qu el sistema debe hacer

para satisfacer los requerimientos del usuario.

Para lograrlo se debe suponer un costo nulo de la

tecnologa y no tratar de escribir la especificacin de los procesos.

1 -PASO PARA CONSTRUIR EL MODELO ESENCIAL

Realizar varios DFD de temas separados y de

tamaos medianos.

Los datos que fluyen de un proceso a otro deben

empaquetarse (varios datos juntos) segn las necesidades de cada proceso.

No detallar los procesos en subprocesos, slo

deben estar los esenciales.

2 -PASO PARA CONSTRUIR EL MODELO ESENCIAL

Eliminar procesos cuyo objetivo sea nicamente

transportar datos de un lugar a otro.

entrada o salida.

No incluir los procesos de verificacin de datos de

Englobar los almacenamientos que intervengan en

el mismo proceso.

3 -PASO PARA CONSTRUIR EL MODELO ESENCIAL

Eliminar datos que no intervengan en ningn

proceso y aquellos datos y almacenamiento que puedan ser derivados.

Evitar poner aquellos almacenamientos que son

de apoyo para la implantacin.

PARTES DEL MODELO ESENCIAL

El Modelo Esencial se divide en:
MODELO AMBIENTAL y MODELO DE COMPORTAMIENTO.

MODELO AMBIENTAL (ENVIRONMENTAL

MODEL)
En ste se debe definir los elementos que son parte del

sistema y los que no lo son.

Para ello hay que tener en mente que: No importa cun importante sea este modelo pues, al fin y al cabo es slo una parte de los procesos de la empresa y Como tal hay que fijar sus lmites o fronteras. Deben definirse las interfaces entre el sistema y el

resto de los elementos que lo rodean.

MODELO AMBIENTAL
Cuenta con tres elementos: Declaracin de PROPOSITOS.
Enunciado del propsito del sistema. Un solo prrafo

Diagrama de CONTEXTO Es un DFD que consta de una sola burbuja (el sistema) incluye personas, datos, sistemas que entran o salen e interactan con el sistema a realizar. Lista de ACONTECIMIENTOS Narra los estmulos que ocurren fuera del sistema y a los cules ste debe responder.

EJEMPLO DE DECLARACIN DE PROPSITOS

El propsito del Sistema de Procesamiento de

Libros AJAX es manejar todos los detalles de los pedidos de libros de los clientes, adems del envo, facturacin y cobro retroactivo a clientes con facturas vencidas.
La informacin acerca de los pedidos de libros debe estar disponible para otros sistemas, tales como: mercadeo, ventas y contabilidad.

MODELO AMBIENTAL
Es un diagrama de contexto, las partes que

corresponden al sistema deben distinguirse de alguna manera de las que son externas, para ello se propone que se enmarquen las partes que corresponden al sistema.

EJEMPLO DE DIAGRAMA DE CONTEXTO

EJEMPLO DE LISTA DE ACONTECIMIENTOS

Un cliente hace un pedido (F) Un cliente cancela un pedido (F) La administracin pide un reporte de ventas (T) Llega un pedido de reimpresin de un libro a la bodega (C)

Etiquetas: F = Flujo (llegan datos) T = Temporal C = Control

MODELO PRELIMINAR DE COMPORTAMIENTO

Esto involucra el desarrollo de: 1 Diagrama de Flujo de Datos y 1 Diagrama de Entidad Relacin. Este enfoque implica: Dibujar el borrador del DFD Se dibujan almacenamientos en el borrador del DFD Se conectan los flujos de entrada y salida apropiados a las burbujas.

EL ENFOQUE CLSICO
Que se proceder directamente de la burbuja nica del

diagrama de contexto a un DFD del nivel superior (el cero), en donde cada burbuja representa un subsistema principal.

Iterativamente, cada burbuja del nivel n-1, se parte en

ms burbujas en varios DFD de nivel n, hasta haber alcanzado el nivel n+m donde cada burbuja es atmica.

EL DESARROLLO DESCENDENTE DEL MODELO DE COMPORTAMIENTO

PROBLEMAS CUANDO INTENTAN SEGUIR UN ENFOQUE DESCENDIENTE

Parlisis del Anlisis: No existe pista alguna que gule al analista a pasar al nivel 0 desde el nivel de contexto El fenmeno de los seis analistas: En un sistema grande y complejo suele haber ms de un analista viendo el diagrama de contexto y deciden hacer 6 burbujas de tamao equivalente. Una particin fsica arbitraria: Un sistema nuevo se basa en uno existente o representa la computarizacin de una organizacin existente.

NUEVO ENFOQUE: IDENTIFICACIN DE RESPUESTAS A ACONTECIMIENTOS

Este enfoque incluye cuatro pasos: 1. Se dibuja una burbuja para cada acontecimiento de la lista 2. La burbuja se nombra describiendo la respuesta que el sistema

debe dar al acontecimiento asociado.

3. Se dibuja las entradas y salidas apropiadas de tal forma que la

burbuja pueda dar la respuesta requerida y se dibujan los almacenamientos, para la comunicacin entre burbujas.

4. El borrador de DFD que resulta se compara con el diagrama de

contexto y la lista de acontecimientos para asegurar que este completo y sea consistente.

DOS CASOS ESPECIALES

Acontecimientos nicos que causan respuestas

mltiples:

Un solo caso puede causar mltiples respuestas, cada una de

las cuales se modela con su propia burbuja en el DFD preliminar.

Acontecimientos mltiples que causan la misma

respuesta:

Habr situaciones ocasionales en las que un proceso se asocia

con ms de un acontecimiento.

MLTIPLES RESPUESTAS DEL MISMO ACONTECIMIENTO

MLTIPLES ACONTECIMIENTOS CON LA MISMA RESPUESTA

CONEXIN DE LAS RESPUESTAS A ACONTECIMIENTOS

La respuesta a un acontecimiento puede requerir datos

producidos por algn otro.

acontecimientos.

No hay forma de saber cuando ocurrirn los

Debe suponerse que: Cada proceso realizar su labor de manera infinitamente rpida. Cada flujo de datos acta como producto que puede trasmitir con rapidez infinita.

MODELO INAPROPIADO DE LA COMUNICACIN RETARDADA ENTRE PROCESOS

MODELO APROPIADO DE LA COMUNICACIN RETARDADA ENTRE PROCESOS

MODELO INICIAL DE DATOS

DFD inicial implica el dibujo de almacenamientos de

datos entre procesos no sincronizados.

Como el DER y el DFD se estn desarrollando en

paralelo, pueden usarse para revisarse entre s. controla al otro.

Ningn modelo debe considerarse el dominante que

Cada uno puede proporcionar asistencia invaluable al otro.

TERMINADO DEL MODELO DE COMPORTAMIENTO

Terminado del modelo del proceso Nivelacin del DFD
Lo primero es reorganizar el DFD ste consiste en un solo nivel, con demasiadas burbujas. Por ello se necesita una nivelacin ascendente del DFD preliminar.

NIVELACIN ASCENDENTE DEL DFD (1)

Existe tres reglas que se debe tener en cuenta al hacer

esto:

1. Cada agrupacin de procesos debe involucrar respuestas

relacionadas cercanamente.

2. Busque la oportunidad de esconder o enterrar datos

almacenados que aparecen en el nivel inferior.

3. Tenga en mente que la persona que ve sus DFD, ser un usuaria

u otro analista, no querr ver demasiado a la vez.

NIVELACIN ASCENDENTE DEL DFD (2)

Tal vez se necesiten varios intentos de nivelacin

ascendente.

Por ejemplo: Si se empezara con un DFD preliminar que tuviera 98 procesos y se organiza el diagrama en grupos de 7 burbujas, entonces se creara un diagrama de nivel superior con 14 burbujas, cada una de las cuales representa una abstraccin de siete de las de nivel inferior.

NIVELACION ASCENDENTE DEL DFD (3)

NIVELACION ASCENDENTE DEL DFD (4)

NIVEL DESCENDENTE DEL DFD (1)

En otros casos pudiera ser evidente que la nivelacin

descendente se requiere hasta que de hecho se intente escribir la especificacin del proceso. preliminar y que hay mucho ms qu decir, de nuevo tiene un buen indicio de que se necesita la particin descendiente.

Si encuentra que lleva tres pgina sobre la burbuja

ALGUNAS REGLAS PARA LLEVAR A CABO LA NIVELACIN DESCENDENTE

Es apropiado un enfoque de descomposicin funcional

pura.

Si encuentra una burbuja de proceso que realiza una funcin

compleja, trate de identificar subfunciones, cada una de las cuales puede ser hechas por una burbuja de nivel inferior.

En otros casos, los flujos de datos de entrada y salida

proporcionarn la mejor gua para la nivelacin descendente.

COMPLETAR EL DICCIONARIO DE DATOS

Es bastante comn empezar el diccionario de datos cuando se est

desarrollando el diagrama de contexto.

De ninguna manera estar completo an.

Comnmente ser necesario llenar la descripcin del significado de

cada dato; tambin sera apropiado dividir los datos complejos en elementos menores por claridad. est completo y sea consistente.

Al irse completando el diccionario de datos, tambin verifique que Revise que el diccionario sea consistente internamente, que est

balanceado con el diagrama de entidad relacin y las especificaciones del proceso.

CMO COMPLETAR LAS ESPECIFICACIONES DEL PROCESO

Para cuando desarrolle el DFD preliminar, es probable que no

haya escrito especificaciones de proceso.

Puede haber algunos cuantos casos en los que haya una

especificacin de proceso individual por algn inters en particular de parte suya o del usuario. mismo.

Su principal preocupacin ser simplemente organizar el DFD

De hecho, suele ser mala idea dedicar tiempo a la escritura de las

especificaciones de proceso antes de terminar el DFD preliminar, porque el desarrollo inicial del DFD se ve sujeto a muchos cambios, correcciones y revisiones.

TERMINADO DEL MODELO DE DATOS

El DER se desarrolla de una manera similar a la

descripta para el DFD.

Se desarrolla un DER tosco y luego, se refina y se mejora. Tenga en mente que muchas veces el DER se desarrolla

casi al mismo tiempo que el DFD.

Es muy comn encontrar a alguien dentro del mismo grupo

que trabaja en el DER mientras que otrotrabaja en el DFD.

MODELO DE IMPLEMENTACIN DEL USUARIO

MODELO DE IMPLEMENTACIN DEL USUARIO

En este modelo deben definirse las interfaces del sistema con el

medio ambiente que lo rodea. tcnico.

Este modelo se realizar con ayuda del diseador grfico y apoyo

El modelo de Implementacin del usuario consisten en: 1. Determinar las metas de la automatizacin. 2. Determinar la Interfaces del usuario. 3. Identificar las actividades manuales para el soporte del sistema. 4. Especificar las restricciones operacionales.

DETERMINAR LAS METAS DE LA AUTOMATIZACION

Al llegar a este punto ya se han definido las actividades

esenciales (funciones) y tambin todos los datos esenciales. automticamente as como aquellas que se manejarn manualmente.

Lo que ahora se definirn son funciones y datos que se realizarn

En la eleccin pueden intervenir varios factores, entre otros

estn los temores del usuario, las condiciones ambientales y econmicas.

Los DFD sern modificados para sealar cules procesos son

manuales y cules no, para distinguirlos se pueden utilizar sombreados o colores.

DETERMINAR LA INTERFAZ DEL USUARIO

sta es la que lleva ms tiempo, debido a que consta de

cuatro temas:

1. Escoger dispositivos de entrada / salida 2. El formato de todas las entradas, incluyendo el diagrama de

transicin para el manejo de la entrada. 3. El formato de todas las salidas, incluyendo el diagrama de transicin para el manejo de la salida. 4. La secuencia y los tiempos de todas las entradas salidas de un sistema en lnea.

IDENTIFICAR LAS ACTIVIDADES MANUALES PARA EL SOPORTE DEL SISTEMA

Dado que en el modelo esencial se supuso una tecnologa

perfecta y de precio nulo, aqu se deben determinar las fallas que pueden suceder y la forma en que se deben solucionar: duplicados), errores lgicos, de conexin entre partes del sistema, dao de dispositivos de almacenamiento o de manejo de entrada salida.

1. Fallas: puede haber en la entrada de los datos (perdidos o

2. Soluciones: redundancia de dispositivos y manejo de

transacciones.

ESPECIFICAR LAS RESTRICCIONES OPERACIONALES

Se tendr que definir el hardware, sistema operativo, facilidades

de comunicacin, lenguaje de programacin, estrategias de diseo y restricciones operacionales, tales como: esperan que crecer dicho volumen.

1. Volumen de datos. Qu tantos datos se manejan y cunto

2. Tiempo de espera. Debe ser puesto en trminos absolutos

ayudados de porcentajes. Ejemplo: en el 90% de los casos el proceso debe responder en 2 segundos como mximo.

ESPECIFICAR LAS RESTRICCIONES OPERACIONALES

3. Restricciones polticas existentes que se sobreponen a las

decisiones de implantacin.

4. Medio ambiente fsico. Temperatura, humedad, interfaz

elctrica, peso y tamao del equipo, entre otras. entre fallas y tiempo medio entre reparaciones.

5. Restricciones de seguridad y confiabilidad. Tiempo medio 6. Restricciones de acceso.

MODELOS DE DISEO

MODELOS DE DISEOS

RELACIN ENTRE LOS MODELOS DE ANLISIS Y DISEO

MODELO DE IMPLANTACIN DE SISTEMAS

Su objetivo es planear las relaciones entre la

arquitectura de software y hardware.

Se divide en:
Modelo de Procesador y Modelo de Tareas.

MODELO DE PROCESADOR (1)

El diseador debe decidir: Cmo asignar las partes automatizadas del modelo esencial a los procesadores. Cmo deben comunicarse entre s (definir las partes internas del sistema) Puede haber tres enfoques de asignacin de burbujas: Todo el modelo esencial a un procesador. Cada burbuja del nivel 0 a algunos de los distintos procesadores. Combinar burbujas en diferentes procesadores.

MODELO DE PROCESADOR (2)

Los almacenes tambin deben asignarse a los

diferentes procesadores y pueden:

Certificarse (en un procesador o servidor de datos) Distribuir los almacenes segn donde se ocupan con

mayor frecuencia. Duplicar algunos almacenes que sirven de consulta.

MODELO DE PROCESADOR (3)

Cualquier enfoque de distribucin de las burbujas

en distintos procesadores, deben revisar las conexiones entre procesadores que pueden ser:
TCP/IP. Mediante archivos fsicos que se trasladan de un equipo a otro.

Conexin directa mediante cable o red de reas local. Enlace va algn protocolo de comunicacin, ejemplo

MODELO DE PROCESADOR (4)

Factores a tomar en cuenta en la asignacin de

procesadores:
2. 3. 4. 5.

1. Costo. Depende de la estructura existente en la

organizacin. Eficiencia. Depender del tiempo de respuesta esperado. Seguridad. La transmisin de datos en red no es muy segura. Confiabilidad. Puede ser necesario tener copias redundantes por si falla un equipo. Restricciones polticas. Puede haber restricciones del usuario final o de tipo ambiental.

MODELO DE PROCESADOR (5)

Notacin: Una forma de anotar la distribucin de procesos (burbujas) y almacenes en procesadores (equipos) sera como en la tabla de la derecha.

MODELO DE TAREAS (1)

Una tarea est formada por procesos (puede ser uno) A las tareas se les asignan localidades especficas de la memoria

fsica y/o virtual de un procesador. comunican entre s.

En la figura se muestra la localizacin de varias tareas y cmo se

MODELO DE TAREAS (2)

Por regla general del sistema operativo asigna las

porciones de memoria donde correr cada tarea.

Si es posible y necesario El diseador deber asignar procesos y tareas en cada procesador. Fijndose que los procesos con mayor volumen queden dentro de la misma tarea.

MODELO DE IMPLANTACIN DE PROGRAMAS (1)

Dentro de una tarea de computadora trabaja de una

manera sincrna.

Slo se puede llevar a cabo una actividad a la vez.

El modelo ms comn de organizacin de actividad

sncrona es el DIAGRAMA DE ESTRUCTURAS

tarea.

Muestra la organizacin jerrquica de mdulos dentro de una

MODELO DE IMPLANTACIN DE PROGRAMAS (2)

Un Diagrama de Estructura tpico puede verse como en

la figura:

MTODOS Y OBJETIVOS DEL DISEO (1)

Se debe cuidar la calidad global para lograr una buena

modularidad y por lo tanto un mejor mantenimiento. Algunos atributos buscados, se aplican a continuacin:

Cohesin: Grado en el cual los componentes de un mdulo son necesarias y suficientes para llevar a cabo una sola funcin bien definida. Son preferibles los mdulos altamente cohesivos. Acoplamiento: Grado en el cual los mdulos se interconectan o se relaciones entre ellos. Es preferible que los mdulos tengan bajo acoplamiento.

MTODOS Y OBJETIVOS DEL DISEO (2)

Tamao de Mdulos Debe tratarse de tener mdulos que quepan en un slo pgina o que se pueda visualizar en una sola pantalla. Alcance de Control Un mdulo no debe llamar a ms de media docena de nivel inferior. Alcance del efecto / Alcance de control. Cualquier mdulo afectado por una decisin debe ser subordinado, de lo contrario se formarn conexiones patlogicas.