Especificaciones

de
software
Modelos
del
Anlisis
Modelado del Anlisis

Anlisis Estructurado

Anlisis Orientado a Objetos
Anlisis Estructurado
Elementos del modelo de anlisis
Modelo de datos
Qu es un modelo?
MODELO

REALIDAD
Representacin
Abstracta
de la realidad
Modelo de datos
Diagramas de Entidad-Relacin
Modelo de Datos
Cules son los objetos de datos primarios que
va a procesar el sistema?
Cul es la composicin de cada uno de estos
objetos y qu atributos los describen?
Cul son las relaciones entre dichos objetos?
Primitivas de los DER
Entidades
Relaciones
Atributos
Entidades y atributos
Entidad
Abstraccin de un objeto del mundo real.
Representa una coleccin de objetos que tienen
propiedades comunes.
Ejemplo: CLIENTE
Atributo
Propiedad de una entidad
Ejemplo: Nombre y apellido, edad, direccin, etc.
Instancia de una entidad
Ejemplo.
Entidades y atributos

numero_cliente

nombre
direccion
CLIENTE
Area de Datos (Atributos no-clave)
Area de Clave Primaria (Atributos de
clave primaria).
Relaciones


compra
CLIENTE PRODUCTO
Modelo conceptual
Relaciones uno a muchos


esta_formado
EQUIPO JUGADOR
Entidad hijo
Entidad padre
Cardinalidad: cero, una o ms
Cardinalidades
P indica uno o ms.
Z indica cero o una.
n indica exactamente n.
ausencia de smbolo indica cero o ms.


esta_formado
EQUIPO JUGADOR
22
Relaciones muchos a muchos
No especficas
No hay padre ni hay hijo



alquila
PERSONA COPIA_PELICULA


COPIA_PELICULA

ALQUILER
PERSONA
registra
es_registrada
Entidad
asociativa
Entidades dependientes e independientes

id_alumno
CURSO

INSCRIPCION
id_alumno (FK)
id_curso (FK)
id_curso
nombre
max_inscriptos

ALUMNO
Entidad
independiente
Entidad dependiente
Entidad
independiente
Relaciones Recursivas

es_dueo
COMPAIA
compaa_id
nombre
dueo.compaa_id (FK)
Conclusiones DER


Notacin semi-formal
Descriptiva
Expresividad limitada
Altamente intuitivos
Modelo de Procesos
Diagrama de Flujo de Datos (DFD)

Caractersticas
Fciles de comunicar
Notacin operacional semi-formal
Variedad de nombres y notacin
Aplicabilidad amplia
Descomposicin por niveles


DD
DFD
DER
DTE
Componentes de un DFD
Procesos
Flujos de datos
Almacenes
Terminadores o Entidades Externas.

Procesos
Una actividad, tarea, proceso, funcin, etc.
Transforma entradas en salidas
Representacin Grfica





1
SOLICITAR
TARJETA

proceso
burbuja
funcin
transformacin

verbo-objeto (qu)
en modelos de procesadores
(quin)
Flujo de Datos
Representan datos en movimiento
lgicamente relacionados.
Describen el movimiento de paquetes
de datos de una parte del sistema a
otra.
etiqueta del flujo
Flujo de Datos
Entra a o sale de
proceso
entidad externa
almacn
2
VALIDAR
USUARIO
contrasea +
nro_usuario

respuesta de
validacin
direccin
Elegir nombres
significativos
Flujos de Datos
Dilogo
pregunta sobre
estado de pedido
respuesta sobre
estado de pedido
1
DETERM.
ESTADO DEL
PEDIDO
pregunta sobre
estado de pedido
respuesta sobre
estado de pedido
1
DETERM.
ESTADO DEL
PEDIDO
Flujos de Datos Divergentes
OBTENER
DETALLE
DE
ORDEN

GENERAR
FACTURA
detalle de
pedidos orden de compra
ACTUALIZ
AR
INVENTA
RIO
VALIDAR
NUMERO
TELEFO-
NO
VALIDAR
CODIGO
POSTAL
domicilio

VALIDAR
CALLE
cdigo postal
numero telfono
calle
Flujos de Datos Convergentes
OBTENER
NUMERO
TELEFO-
NO
OBTENER
CODIGO
POSTAL
domicilio

OBTENER
CALLE
cdigo postal
numero telfono
calle

VALIDAR
DOMICILIO
Aplicabilidad
1
MEZCLAR
INGRE-
DIENTES
harina
masa
leche
azcar
manteca
huevos
2

HORNEAR
torta
Almacn de Datos
Coleccin de datos en reposo.
archivo en disco
microfichas
datos en un fichero de papel
etc.
Representacin grfica:
nombre del almacn
Almacn de Datos
Lectura
OBTENER
DATOS
PERSONALES
CLIENTES
datos_cliente
no destructiva
pasivo
nombre en plural
nro_cliente
datos_cliente
Almacn de Datos
Escritura
ACTUALIZAR
INFORMACION
DE CONTACTO
DE
CLIENTE
CLIENTES
info_contacto
escritura
slo paquetes que el almacn pueda guardar
nro_cliente
info_contacto
Diccionario de Datos - Notacin
= Est compuesto por
+ y
() Opcionalidad
{} Iteracin. Cero o ms ocurrencias.
[] Seleccin de una de varias alternativas.
| Separador de opciones alternativas.
* Principio y fin de comentario.
@ Identificador de clave para un almacn. Se
coloca precediendo la clave.
Entidad Externa o Terminador
Representan objetos con los cuales el sistema
se comunica.
personas
agrupamientos
organizaciones
otros sistemas de software o hardware
Se encuentran por fuera del sistema.
Representacin grfica:
nombre del terminador
Entidad Externa o Terminador
Proveen con datos al sistema y/o esperan
algn tipo de salida.
Cuando recibimos los formularios XYZ de
Contadura debemos producir los reportes
financieros para el Comit de finanzas.
CONTADURIA
COMIT DE
FINANZAS
PRODUCIR
REPORTES
FINANCIEROS
formularios_XYZ
reportes_financieros
DFDs por niveles
Cuando el DFD es muy complejo.
Organizacin por niveles
DFD de nivel inferior proporciona ms
detalles sobre proceso en DFD de nivel
superior.
DFDs por niveles
Diagrama de Contexto
Nivel ms alto. Visin ms abstracta del
sistema.
Da la visin externa del sistema.
Muestra todo el sistema
proceso nico
flujos de entrada y salida
entidades externas
Propsito: delinear el alcance del sistema.
DFDs por niveles
Figura 0
Muestra procesos de ms alto nivel y sus
interfaces.
Numerar burbujas.
Cada burbuja i de un nivel particular se
asocia con una figura del nivel siguiente
(si es que se explot).

0
EL
SISTEMA
E1
E2
E3
a b
c
Diagrama de
Contexto
Figura 3: PC
3.1
PE
3.2
PF
3.3
PG
z
y
x
o
t
1
PA
2
PB
4
PD
3
PC
a
z
b
y
x
c
w
v
Figura 0: EL SISTEMA
Gua prctica
Escoger nombres significativos.
Numerar los procesos.
Redibujar.
Evitar complejidad => niveles
Evitar los flujos y procesos no etiquetados.
Controlar consistencia entre niveles.
Tener cuidado con los almacenes de solo
lectura o solo escritura.
Observaciones sobre los DFDs
Fciles de comunicar.
Carecen de un significado preciso:
La semntica de los componentes usados
solamente se encuentra especificada por los
nombres elegidos por el analista.
Carecen de aspectos de control.
Modelo de Comportamiento
Diagramas de Transicin de Estados (DTE)
Notacin grfica semi-formal operacional.
Permite construir modelos de
comportamiento dependientes del tiempo.
Componentes:
Estados
Transiciones
Condiciones
Acciones
Estados
El sistema est esperando que:
algo ocurra en el ambiente externo (evento)
o,
alguna actividad que se est realizando en
ese momento cambie a otra.

Representacin grfica:
nombre del estado
Transiciones
Representan cambios de un estado a otro.

ESTADO 1
ESTADO 2
ESTADO 3
estado inicial
estado final
transicin
Condiciones y Acciones
Pueden aparecer asociadas a una
transicin.

ESTADO 1
ESTADO 2
Condicin
Accin
ESPERANDO TARJETA
ESPERANDO OPCION
Mostrar men de opciones
Se ingres contrasea
ESPERANDO CONTRASEA
Se ingres tarjeta
Mostrar Ingrese contrasea
Se puls Cancelar
Devolver Trajeta
EXTRACCION
Se puls Extraer efectivo
TRANSFERENCIA
Se puls Transferir Fondos
CONSULTAS
Se puls Realizar Consulta
Mostrar opciones de consulta
Se puls Cancelar
Devolver Tarjeta
Se puls Finalizar
Devolver Tarjeta
Mostrar men de opciones
ESPERANDO
ELECCION
IMPRIMIENDO SALDO
IMPRIMIENDO
MOVIMIENTOS
Se puls Consulta de Saldo
Se puls Consulta de
Ultimos Movimientos