Analisis Tiemp Real

ANALISIS DE SISTEMAS
Qu tiene que hacer el Sistema?
Anlisis de Requisitos
Especificacin de requisitos del software
Tcnicas de especificacin
Modelizacin de funciones
Modelizacin de datos
Especificacin de control
7.010
Anlisis de requisitos:
-El proceso de estudio de las necesidades de los usuarios para llegar a
una definicin de los requisitos del sistema, de hardware o de software
- El proceso de estudio y refinamiento de requisitos
Requisito:
-Una condicin o capacidad que necesita el usuario para resolver un
problema o conseguir un objetivo determinado
Requisito se aplica a las condiciones:
-que debe cumplir o poseer un sistema o uno de sus componentes para
satisfacer un contrato, una norma o una especificacin.
La definicin de requisitos
debe ser el fruto de trabajo
conjunto porque
El cliente no entiende del proceso de

diseo y desarrollo de software
Los analistas no suelen entender
completamente el problema del cliente
7.015
ANALISIS DE REQUISITOS
Definir requisitos a partir
de la informacin obtenida
de las tcnicas de recogida
de informacin
Fases del AR
Definir los requisitos del software

Definir los requisitos de las interfaces
Del software con

otros elementos como
los usuarios, el
hardware u otras
aplicaciones software
Integrar los requisitos en un documento de especific.

Asignarles prioridades
Obtenemos la especificacin de requisitos software (ERS) definitiva
7.020
Otra forma de describir el anlisis

de requisitos
ANALISIS DE REQUISITOS
Mediante tcnicas de recogida
de informacin
Extraccin
Anlisis de requisitos
Especificacin de requisitos
Validacin de los requisitos
Razonar los requisitos y

solucionar posibles
inconsistencias o conflictos
Redactar o registrar
los requisitos
Confirmar con los

usuarios la correccin de
los requisitos
7.030
ESPECIFICACION DE REQUISITOS DEL SOFTWARE

Especificacin: es un documento que define, de forma
completa, precisa y verificable, los requisitos, el diseo,
el comportamiento u otras caractersticas de un sistema o
componente de un sistema
Software: es el conjunto de programas, procedimientos y
documentacin asociada a la operacin de un sistema
informtico
ERS es la documentacin de los requisitos esenciales (funciones,
rendimiento, diseo, restricciones y atributos) del software y de
sus interfaces externas
7.040
CARACTERISTICAS FUNDAMENTALES DE ERS
Debe incluir informacin veraz

Debe comunicar dicha informacin de forma eficaz
Describir correctamente todos los requisitos del software
No describir ningn detalle del diseo del software, de
su verificacin o de la direccin del proyecto.
ERS debe indicar qu, no cmo ni cundo
7.050
CARACTERISTICAS DE UNA BUENA ERS

No ambigua
Completa
Fcil de verificar
Consistente
Fcil de modificar
Fcil para identificar el origen de cada requisito
Fcil de utilizar durante las fases de explotacin y
mantenimiento
7.055
EVOLUCIN DE LA ERS
Habitualmente la ERS necesitar ser modificada a medida
que progresa el producto software. Consideraciones:
Los requisitos deben ser especificados lo ms

completamente posible
Debe existir una gestin de la configuracin
formal para identificar, controlar, seguir e
informar de cambios proyectados tan pronto como
sean identificados
7.060
ESTRUCTURA PARA LA ERS

1. Introduccin
1.1. Objetivo
1.2. mbito
1.3. Definiciones, Siglas y Abreviaturas
1.4. Referencias
1.5. Visin Global
2. Descripcin general
Estndar de 1984
2.1. Perspectiva del producto
(existen revisiones de 1993 y 1998)
2.2. Funciones del producto
2.3. Caractersticas del usuario
2.4. Limitaciones generales
2.5. Supuestos y dependencias
3. Requisitos especficos
Apndices
Indice
http://course.cs.ust.hk/comp211/2002Spring/Project/
Project-resources/Documentation/srs-guidelines.html
7.070
ESTRUCTURA PARA LA ERS

3. Requisitos especficos
3.1. Requisitos funcionales
3.1.1. Requisito funcional 1
3.1.1.1. Introduccin
3.1.1.2. Entradas
3.1.1.3. Procedamiento
3.1.1.4. Salidas
3.1.2. Requisito funcional 2
..................
3.1.n. Requisito funcional n
3.2. Requisito de Interfaz externa
3.2.1. Interfaces de usuario
3.2.2. Interfaces hardware
3.2.3. Interfaces software
3.2.4. Interfaces de comunicaciones
3.3. Requisitos de ejecucin
3.4. Restricciones de diseo
3.4.1. Acatamiento de estndares
3.4.2. Limitaciones hardware
3.5. Atributos de calidad
3.5.1. Seguridad
3.5.2. Mantenimiento
3.6. Otros requisitos
3.6.1. Base de datos
3.6.2. Operaciones
3.6.3. Adaptacin de situacin
7.080
CLASIFICACION DE LAS TECNICAS DE ESPECIFICACION

SEGUN LA FORMA DE REPRESENTACION
Utiliza un conjunto de elementos grficos para
representar componentes particulares de modelos
Graficas
Textuales
Especifican con ms detalle los componentes definidos

en los grficos mediante una gramtica concreta
Formulario para especificar informacin de un

componente de un modelo con un conjunto de
propiedades
Marcos (o plantillas (<templates>)
7.090

SEGUN EL ENFOQUE DE MODELADO
INFORMACION
Qu hace el
sistema
Qu informacin
utiliza el sistema
Cundo sucede
algo en el sistema
FUNCION
TIEMPO
7.090

SEGUN EL ENFOQUE DE MODELADO
INFORMACION
- DFD
- Matriz Entidad-funcin
DFD
FUNCION
ER
- Diagrama de historia de
vida
- Matriz entidad-evento
- Diagrama
Transicin-estado
- Redes de petri
TIEMPO
Lista de
eventos
7.100
VISION TRIDIMENSIONAL DE ALGUNOS SISTEMAS

INFORMACION
FUNCION
TIEMPO
Sistemas de Tiempo Real
7.101

INFORMACION
FUNCION
TIEMPO
Sistemas de Gestin Orientados a Objetos
7.102

INFORMACION
FUNCION
TIEMPO
Sistemas de Gestin Orientados a Funciones
7.110
CLASIFICACION DE LAS PRINCIPALES TECNICAS

DE MODELADO
Informacin
Funcin
Informacin
Diagramas de entidad
interrelacin (E/R).
Diagramas de estructura de datos
(DED).
Matriz entidad/entidad.
Funcin
Diagramas de Flujo de datos.

Matriz funcin/entidad.
Diagramas de flujo de datos.

Diagramas de descomposicin
funcional.
Diagramas de estructura.
Diagramas de flujo.
Diagramas HIPO.
Diagramas de Warnier/Orr
Tiempo
Diagrama de Historia y vida de

entidad.
Matriz evento/entidad.
Redes de Petri.
Diagramas de transicin de estados.
Tiempo
Lista de eventos.
Diagramas de transicin de estados.
7.120
CLASIFICACION DE LAS PRINCIPALES TECNICAS

DE ESPECIFICACION
Informacin
Informacin
Funcin
Tiempo
Funcin
Tiempo
Diccionario de datos.
Especificacin de procesos.
Especificacin de entidades
externas.
Definicin de Funcin
Especificacin de eventos
Especificacin de entidad.
Especificacin de interrelacin.
Especificacin de entidad
asociativa.
Especificacin de subtipos.
Especificacin de tipos abstractos
de datos (TAD).
7.130
DIAGRAMAS DE FLUJO DE DATOS

Es un diagrama en forma de red que representa el flujo de datos y
las transformaciones que se aplican sobre ellos al moverse desde
la entrada hasta la salida
Es la tcnica ms difundida dentro del anlisis estructurado.
Componentes
Procesos: que son los componentes funcionales del sistema

Almacenes: que representan datos almacenados o en reposo
Entidades externas: que representan la fuente y/o el
destino de la informacin del sistema
Flujos de datos: que representan los datos que fluyen entre
las funciones
7.140

NOTACIONES
Yourdon, DeMarco
Flujos de datos
Procesos
Almacenes de
datos
Entidades
externas
Gane y Sarson
SSADM
MTRICA
7.142

Procesos
Representan una funcin que transforma los flujos de datos de
entrada en uno o varios flujos de datos de salida.
Deben ser capaces de generar los flujos de datos de salida a partir
de los de entrada (mas quizs una informacin local al proceso)
Conservacin de datos: disponer de todos los datos de entrada
suficientes para llevar a cabo el proceso y generar los datos de
salida
Prdida de informacin: cuando algn dato muere dentro de un
proceso
Los nombres deben ser: Representativos, Breves y nicos
7.144

Almacenes de datos
Representan informacin del sistema almacenados de forma
temporal. Son depsitos lgicos de almacenamiento y pueden
representar cualquier dato almacenado (independientemente del
dispositivo utilizado)
Pueden aparecer de manera repetida para mejorar la legibilidad
Aparecen en el nivel ms alto en el que sirvan de interconexin entre dos o
ms procesos (y en todos los niveles inferiores)
Son de estructura simple cuando representan a un tipo registro. Si son de
estructura simple se definen en el diccionario de datos.
Los almacenes con estructuras complejas se especifican a travs de
diagramas entidad-interrelacin
7.146

Entidades externas
Representan un generador o consumidor de informacin

del sistema y que no pertenece al mismo. Puede
representar un sistema, persona, departamento,
organizacin, etc. que proporcione datos al sistema o que
los reciba de l
Son EXTERNOS al sistema
Generalmente, slo aparecern en el diagrama de contexto, y
no en los niveles inferiores (algunos autores discrepan)
7.148

Flujos de datos
Representan caminos a travs de los que viajan datos de
composicin conocida de una parte del sistema a otra. Representan
los datos en movimiento en un momento y con una cardinalidad
determinada
Flujo de datos discreto
Flujo de datos continuo
7.150

CONEXIONES PERMITIDAS
Destino
ENTIDAD
Fuente
PROCESO ALMACEN EXTERNA
S
S
S
PROCESO
S
No
No *
ALMACN
ENTIDAD
EXTERNA
No *
No
7.160

FORMAS DE PASO DE DATOS ENTRE PROCESOS
Paso sncrono de informacin

entre procesos
PROCESO
A
PROCESO
B
Paso asncrono de informacin

entre procesos
PROCESO
A
ALMACEN TEMPORAL
PROCESO
B
7.170

CONEXIONES ENTRE PROCESOS Y ALMACENES
FLUJO DE
FLUJO DE
FLUJO DE
CONSULTA
ACTUALIZACION
DIALOGO
7.175

Flujo de dilogo y de actualizacin
LIBROS
USUARIO
Peticin
de libro
GESTIONAR
PETICIONES
DE USUARIO
PRESTAMOS
7.177

Flujo de dilogo y de consulta
INFORMES
CLIENTE
Peticin de
informe
Informe a
cliente
GESTIONAR
PETICIONES
DE USUARIO
CLIENTES
7.178

Conexin entre almacn y entidad externa
SISTEMMA DE
MANTENIMIENTO
DE PUBLICACIONES
Peticin
de libro
USUARIO
GESTIONAR
PRESTAMOS DE
BIBLIOTECA
Resguardo de
aceptacin
LIBROS
7.180

DESCOMPOSICION EN NIVELES
A
DIAGRAMA 1:
1.1
A3
1.3
A1
SISTEMA
X
GESTION
DIAGRAMA DE CONTEXTO
E1
1.2
B
A1
A2
A2
A1
A2
1.2.2
DIAGRAMA 0: GESTION SISTEMA X
DIAGRAMA 1.2:
1.2.1
1.2.3
B
C
E3
DIAGRAMA 2:
E2
A3
7.180

Diagrama de contexto
Se conoce como diagrama de nivel 0

Su objetivo es delimitar la frontera entre el sistema y
el mundo exterior, y definir sus interfaces (flujos de
datos de entrada y salida)
Est formado por un solo proceso (caja negra) y un
conjunto de entidades externas que representan la
procedencia y destino de los datos
7.180

Diagrama del sistema
Se conoce como diagrama de nivel 1

Tambin se conoce como diagrama 0, porque
representa la explosin del nivel 0.
En l se representan las funciones principales
Se representarn procesos que sean conceptualmente
independientes entre s para poder dividir el
trabajo
7.180

Procesos primitivos
Son los procesos de un DFD que ya no se

descomponen en ms diagramas de nivel inferior
Cada proceso primitivo tendr que ser descrito a
travs de una especificacin
Son primitivos si sucede que:
Puede especificarse en menos de una pgina mediante
pseudocdigo
Tiene pocos flujos de entrada y salida
Resulta ser demasiado sencillo
7.190

METODOLOGIA METRICA
Nivel 0: diagrama de contexto

Nivel 1: subsistemas
Nivel 2: funciones de cada subsistema
Nivel 3: subfunciones asociadas a cada uno
de los eventos del sistema
Nivel 4: procesos necesarios para el tratamiento
de cada subfuncin
7.200

CONSISTENCIA ENTRE NIVELES
Todos los flujos de datos que entran en un diagrama
hijo deben estar representados en el padre por el mismo
flujo de datos entrando en el proceso asociado.
Las salidas del diagrama hijo deben ser las mismas salidas
del proceso padre asociado con una excepcin: los rechazos
triviales (caminos de rechazo que no requieren ninguna
revisin de la informacin establecida) no necesitan estar
balanceados entre padre e hijo.
7.200
DIAGRAMAS DE FLUJO DE DATOS Recomendaciones

Crear el diagrama de contexto localizando todas las
entidades externan que proporcionan o consumen
informacin
Construir el diagrama de sistema enfocndolo en sus
funciones principales (no en los flujos de datos
definidos en el diagrama de contexto)
Posteriormente, centrarse en las interfaces entre
procesos, escogiendo comunicacin sncrona (poco
habitual en este nivel) o asncrona (utilizando
almacenes intermedios)
Despus hay que centrarse en las entradas y salidas
definidas en el diagrama de contexto.
7.200
DIAGRAMAS DE FLUJO DE DATOS Recomendaciones

En los dems diagramas intermedios, no debemos
descomponer al mximo, sino centrarnos en los principales
subprocesos de cada proceso, intentando que todos sean del
mismo nivel de abstraccin (aunque es habitual que surjan
procesos primitivos en niveles intermedios)
En una descomposicin (o explosin) es habitual que los
flujos de alto nivel se descompongan en otros ms concretos
Pueden surgir subgrafos inconexos, lo que indica grupos de
funcionalidad separados. En este caso habr que subir de
nivel y separar los grupos de funcionalidad en dos procesos
en lugar de uno
7.200
DIAGRAMAS DE FLUJO DE DATOS Ejemplo

Se trata de gestionar los prstamos de libros de una biblioteca en la
que se va a estudiar exclusivamente el funcionamiento de las
peticiones y devoluciones de libros.
Peticin de libros. Un usuario puede realizar una peticin de uno o
ms libros a la biblioteca. Para ello, es necesario presentar el carnet
de usuario de la biblioteca y una ficha en la que se detallan los libros
pedidos. Puede haber varios tipos de prstamo (prstamo de sala,
colaborador, proyecto fin carrera, doctorado) en funcin de los
cuales el usuario puede disponer de los ejemplares durante un
perodo de tiempo especfico, como se indica en la siguiente tabla:
7.200
Una vez entregados el carnet y la ficha, el sistema comprobar y

aceptar la peticin de los libros solicitados siempre que pueda
satisfacer la peticin, es decir, cuado haya ejemplares disponibles. Si
se acepta la peticin, se actualiza el nmero de unidades de los libros
de la biblioteca y se guarda la ficha de prstamo.
7.200

Devoluciones de libros. Un usuario no puede realizar ms
peticiones hasta que no haya efectuado todas las devoluciones de la
peticin anterior. El usuario, para hacer la peticin, necesita el
carnet, que no se le entrega hasta que no haya devuelto todos los
libros. S puede hacer una devolucin parcial de los libros. Cuando
un usuario realice una devolucin, el sistema actualizar el stock de
libros y comprobar la fecha de devolucin de cada ejemplar para
estudiar, en el caso de que la devolucin se haga fuera de tiempo, la
imposicin de una sancin que tiene un coste de X ud. monetarias
por cada ejemplar y das de retraso en la devolucin. En este caso, la
sancin se emite cuando el usuario entrega el ltimo ejemplar.
El bibliotecario se encarga de las altas y bajas de los libros de la
biblioteca.
7.200
Diagrama de Contexto
Bibliotecario
Altas_Bajas_Libros
Peticin_Libros
Usuario
Devol_Libros
Sancin
0
Gestionar
Biblioteca
7.200

Devol_Libros
Peticin_Libros
Prstamos
1
Gestionar
Peticiones
Diagrama
de
Sistema
2
Gestionar
Devoluciones
Libros
3
Actualizar
Libros
Altas_Bajas_Libros
Sancin
7.200
Gestionar Peticiones
Peticin_Libros
Prstamos
1.1
Validar
Prstamo
Prstamo_Validado
Libros
1.2
Realizar
Prstamo
7.200
Gestionar Devoluciones
Devol_Libros
Prstamos
2.1
Recoger
Libros
Devol_Libros
2.2
Gestionar Fin
de Prstamo
Libros
Devueltos
Sancin
Libros
7.200
DICCIONARIO DE DATOS
Es una lista organizada de los datos utilizados por el
sistema que grficamente se encuentran representados por
los flujos de datos y almacenes presentes sobre el conjunto
de DFDs (las entradas deben ser nicas)
Enfoque descendente (top-down)
A=B1+B2+B3+C1+C2
Mejor
A=B+C
B = B1 + B2 + B3
C = C1 + C2
7.210
DEFINICION DE FLUJOS DE DATOS
SIMBOLO
=
+
[]
{}
()
* texto *
@
SIGNIFICADO
Composicin : est compuesto de, o es equivalente a
Inclusin : y
Seleccin : seleccin una de la opciones encerradas entre corchetes, y
separadas por el smbolo |
Iteracin: iteraciones del componente encerrado entre llaves
Opcin: significa que el componente encerrado es opcional (puede
estar presente o ausente)
Comentario : el texto entre asteriscos es un comentario aclarativo de
una entrada del DD
Identificador: se utiliza para sealar un campo o conjunto de campos
que identifican cada ocurrencia de un almacn
7.220
EJEMPLO
PETICION LIBROS =CARNET BIBLIOTECA + FICHA LIBROS
CARNET BIBLIOTECA =NUM. CARNET + APELLIDOS + NOMBRE +
TIPO CARNET
TIPO CARNET =[SALA
FIN DE SEMANA
COLABORADOR
PROYECTO DOCTORADO]
7.230
EJEMPLO
FICHA LIBROS = {LIBROS}
LIBROS = SIGNATURA + TITULO + AUTOR
FICHA LIBROS = 1 {LIBROS} 5
CARNET BIBLIOTECA = NUM. CARNET + APELLIDOS + NOMBRE +
TIPO CARNET + (NUMERO TELEFONO)
7.240
DEFINICION DE ALMACENES
LIBROS DISPONIBLES = @ SIGNATURA + TITULO +

AUTOR + NUMERO UNIDADES
7.250
ESPECIFICACION DE PROCESOS
Es una tcnica que define el procedimiento que realiza un
proceso primitivo
Debe describir de una manera ms o menos formal cmo se
obtienen los flujos de datos de salida a partir de los flujos de
datos de entrada ms quizs una informacin local del
proceso
- Lenguaje estructurado
- rboles de decisin
- Tablas de decisin
- Diagramas de accin
- Pre y post condiciones
7.250
LENGUAJE ESTRUCTURADO
Es un lenguaje formado por un subconjunto de

palabras (del idioma elegido) para formar
construcciones de la programacin estructurada.
Representa el tpico pseudocdigo de alto nivel
que utiliza sentencias en castellano
7.250
LENGUAJE ESTRUCTURADO
Alternativa
Repetitiva
Secuencia
SI condicin
bloque
SI NO
bloque
FIN SI
MIENTRAS condicin
bloque
FIN MIENTRAS
REPETIR
bloque
HASTA condicin
Est formada por un conjunto de sentencias (bloque) donde cada una
puede ser o una accin sencilla o una estructura de las anteriores.
7.260
RBOLES DE DECISION
Es un modelo de una funcin discreta en la que se
determina el valor de una variable y en funcin de su valor
se lleva a cabo una accin.
Es una representacin en forma de rbol que representa los
valores de las variables y las acciones tomadas (que
dependen del valor de la vble y de las acciones anteriores).
Se suele utilizar cuando hay muchas condiciones
7.260
RBOLES DE DECISION
Supongamos la poltica de descuentos que realiza una empresa sobre
los pedidos de sus clientes dependiendo del volumen de compras del
ao anterior. Si se trata de clientes con ms de 5 aos de antigedad
se le aplica un descuento del 25% si el valor de los pedidos anuales
es superior a 5.000.000 pts. Si el montante de los pedidos se encuentra
entre los valores 3.000.000 pts. y 5.000.000 pts., el descuento efectuado
ser del 15% y si no se alcanza la cifra de 3.000.000 pts., se aplicar el
10%. Para clientes entre 3 y 5 aos de antigedad se aplicar el 11%
para compras por valor superior a 4.000.000 pts. y el 5% por valor
igual o inferior. Si tienen menos aos de antigedad, se aplicar el 9%
si el valor de compras es superior a 4.000.000 pts. A los clientes
clasificados como especiales se les aplicar un descuento de 25% si el
volmen de compras supera los 5.000.000 pts. o del 20% en caso contrario
7.270
VOLUMEN
CLIENTE
DE COMPRAS
ESPECIAL
> 5.000.000
Aplicar 25% descuento
S
<= 5.000.000

VOLUMEN DE COMPRAS
AOS ANTIGEDAD
>5
> 5.000.000
<= 5.000.000 y >= 3.000.000
< 3.000.000
No
Aplicar 15 % descuento
Aplicar 10 % descuento
> 4.000.000
<= 5 y >= 3

<= 4.000.000
> 4.000.000
<3
<= 4.000.000
Sin descuento
7.280
TABLAS DE DECISION
Es un modelo alternativo que muestra la funcin

en forma tabular o matricial.
Para ello hay que definir la parte de condicin,
formada por un conjunto de condiciones y entradas
de condiciones y la parte de accin formada por un
conjunto de acciones y entradas de accin.
7.280
TABLAS DE DECISION
CONDICIONES
Cliente especial
Vol. compras > 5.000.000 pts.
Vol. compras <= 5.000.000 pts.
5.000.000 >= Vol. compras >= 3.000.000
Vol. compras < 3.000.000 pts.
Vol. compras > 4.000.000 pts.
Vol. compras <= 4.000.000 pts.
Aos ant. > 5
5 >= Aos ant. >= 3
Aos ant. < 3
S
S
-
S
S
-
NO
S
S
-
NO
NO
S
S
-
NO
S
S
-
NO
S
S
-
NO
S
S
-
NO
S
S
NO
S
S
ACCIONES
Aplicar 25 % descuento.
Aplicar 20% descuento.
Sin descuento.
X
X
X
X
X
X
X
X
7.290
DIAGRAMAS DE ACCION
Es una tcnica de especificacin que utiliza niveles

anidados de corchetes que representan la estructura
lgica utilizada para transformar los datos de
entrada en los datos de salida.
En la fase de anlisis se preparan de forma general
para especificar slo las normas de transformacin
de los datos de entrada en datos de salida.
Durante el diseo se detallan ms esos diagramas.
7.290
DIAGRAMAS DE ACCION
SECUENCIA
-----------------------------------------------------
ALTERNATIVA
IF ...
--------------------------ENDIF
REPETITIVA
LOOP WHILE ...
--------------------------ENDLOOP
LOOP
Definicin de Procedimiento
ENTER
----------------------------------------------------EXIT
IF ...
ELSEIF ...
ELSEIF ...
ENDIF
--------------------------UNTIL ...
ENDLOOP
FOR ...
--------------------------ENDFOR
7.300
DIAGRAMAS DE ACCION
F O R T o d o s lo s C L IE N T E S
L E E R C L IE N T E , V O L U M E N D E C O M P R A S
I F C L IE N T E e s e s p e c ia l
I F V O L U M E N D E C O M P R A S > 5 .0 0 0 .0 0 0
G E N E R A R P E D I D O c o n 2 5 % d to .
E L S E IF
G E N E R A R P E D ID O c o n 2 0 % d to .
E N D IF
E L S E IF
I F A o s a n tig e d a d > 5
E L S E I F 5 .0 0 0 .0 0 0 > = V O L U M E N D E C O M P R A S > = 3 .0 0 0 .0 0 0
E L S E IF
E N D IF
E L S E IF
5 > = A o s a n tig e d a d > = 3
E L S E IF
G E N E R A R P E D ID O c o n 5 % d to .
E N D IF
E L S E IF
G E N E R A R P E D I D O c o n 9 % d to .
E L S E IF
G E N E R A R P E D I D O s in d e s c u e n to
E N D IF
E N D IF
E N D IF
E N D F O R
7.310
PRE-POST CONDICIONES
Se centran ms en la relacin que deben tener las entradas
y salidas del proceso que en su algoritmo. Por un lado se indican
las condiciones que se tienen que cumplir para que el proceso pueda
comenzar (precondiciones), as como las condiciones que deben
cumplirse cuando el proceso ha concluido (postcondiciones).
7.320
DIAGRAMAS DE DESCOMPOSICION FUNCIONAL
El objetivo de esta tcnica es representar la jerarqua de los

procesos del sistema en diferentes niveles de abstraccin.
Para ello se descompone una funcin de alto nivel (que en
este caso es nuestro sistema) en funciones de ms bajo
nivel, y as sucesivamente.
Los DDF se utilizan principalmente para representar las
funciones, pero tambin pueden ayudar a representar otros
tipos de informacin, como estructura de organizaciones,
estructura de documentos, de mens, etc.
7.320

Diagrama para
representar las funciones
de un sistema de
alquileres en un
videoclub
GESTIN DE
ALQUILERES
DE UN VIDEOCLUB
GESTIN DE
CLIENTES
GESTIN DE
PROVEEDORES
GESTIN DE
PELCULAS
GESTIONAR
INFORMES
GESTIONAR
PEDIDOS
GESTIONAR
ALQUILERES
GESTIONAR
ALTAS/BAJAS
GESTIONAR
ENTREGAS
GESTIONAR
DEVOLUCIONES
GESTIONAR
FACTURAS
GESTIONAR
RESERVAS
GESTIONAR
PAGOS
GESTIONAR
ALTAS/BAJAS
GESTIONAR
ALTAS/BAJAS
7.330

Diagrama para
representar los procesos
de diferentes unidades
organizativas de una
empresa
GESTIN
EMPRESA X
PLANIFICACIN
ANLISIS DE
MERCADO
PREVISIN
VENTAS
VENTAS
ADMINISTRACIN
VENTAS
DISTRIBUCIN
PERSONAL
CONTABILIDAD
SERVICIO
PEDIDOS
GESTIN DE
CONTRATACIN
PLANIFICACIN
PRESUPUESTO
REALIZACIN
VENTAS
CONTROL DE
STOCKS
FORMACIN
CAJA
GESTIN DE
TERRITORIOS
GESTIN DE
ENVOS
7.340
COMPROBACIONES DE UNA ESPECIFICACION

ESTRUCTURADA
Complecin
Integridad
Exactitud
Calidad
Factores de calidad que debemos

comprobar a travs de revisiones
(las herramientas CASE solucionan
automticamente algunos de estos
controles)
7.350
LISTA DE COMPROBACION DE UNA

ESPECIFICACION ESTRUCTURADA
PREGUNTA
Aut S
C Todos los componentes tienen nombres
s
C Todos los procesos tienen nmeros
s
C Todos los procesos primitivos tienen una especificacin de proceso s
asociado
C Todos los flujos estn definidos en el DD
s
C Todos los elementos de datos estn definidos
s
I Hay elementos definidos en el DFD no incluidos en el DD
s
I Los almacenes de datos representados en los DFD estn definidos s
en el DD
no
I Los elementos de datos referenciados en las especificaciones de
proceso estn definidos en el DD
s
I Los flujos de datos de entrada y salida de un proceso primitivo se
corresponden con las entradas y salidas de la especificacin de
proceso
I Hay errores de balanceo
s
I Hay procesos que tienen slo entradas o slo salidas
s
I Por cada proceso se cumple la regla de conservacin de datos
no
I Hay flujos de entrada superflos a un proceso
no
I Hay flujos de control o flujos de datos como activadores de procesos no
I Los procesos pueden generar los flujos de salida a partir de los de no
entrada ms una informacin local al proceso
I Hay prdida de informacin en los procesos
no
I Hay almacenes slo con entradas o slo con salidas
no
I Hay conexiones incorrectas entre los elementos del DFD
s
I Hay almacenes locales
no
I Es correcta la direccin de las flechas de los DFD
no
I Existen redes desconectadas
s
s
E Cada requisito funcional del usuario tiene asociado uno o ms
procesos primitivos en los DFD
CA El diagrama es claro (posicin correcta de las etiquetas, existencia de no
cruces de lnea, etc.)
CA Hay nombres de componentes con poca significacin
no
CA Hay muchos flujos de entrada y salida (complejidad de interfaz alta) no
en procesos primitivos
No
7.500
ESPECIFICACION DE DATOS
Modelo Entidad-Interrelacin
Diagrama de Estructura de Datos
7.500
TECNICAS DE ESPECIFICACION DE CONTROL
Anlisis de Eventos (listas de eventos)

Diagramas de transicin de estados
Redes de Petri
7.500
LISTAS DE EVENTOS
Tipos de Eventos
Un evento es algo que ocurre en el mundo real y

provoca una reaccin por parte del sistema
Generados externamente
Reconocidos internamente
Basados en el tiempo
Provienen de flujos que

entran en el sistema
(peticin de libro)
Sucede algo en el
sistema (cambio de
estado) que
desencadena una accin
Son eventos que se
producen pasado un tiempo
y desencadenan una accin
7.510
DIAGRAMAS DE TRANSICION DE ESTADOS
Componentes
Es una tcnica de modelado enfocada en el

comportamiento dependiente del tiempo en un sistema
El estado, que representa un modo externo de
comportamiento
La transicin, que obliga al paso de un estado a
otro (o bien al mismo estado) si se cumple una
condicin.
7.520

Representacin
ESTADO 1
Condicin de transicin
Transicin
Accin, o acciones de
transicin
ESTADO 2
7.531

EJEMPLO
Sensor Aproximacin
Izquierdo
Sensor Salida
Izquierdo
Vias del Tren
Sensor Salida
Derecha
Sensor Aproximacin
Derecho
7.540

Tren sale izda.
Activar
alarma
Desactivar alarma
Tren sale dcha.
Tren aprox. dcha.
CONTROL
DE PASO
A NIVEL
Abrir barrera
Tren aprox. izda
Cerrar
Barrera
abierta
Barrera
cerrada
barrera
7.550

Barrera abierta
D esactivar alarm a
BARR ERA
ABIERTA
Tren aprox. dcha. o izda.

Cerrar barrera
A ctivar alarm a
T=1

T=1
cerrar barrera
CE RR AN DO
BA RR ER A
AB RIEN DO
BA RR ER A
(Tren sale dcha. o izda.) y T=1
Barrera cerrada
D esactivar alarm a
T=0
A brir barrera
A ctivar alarm a
BA RR ER A
CE RR A D A

T=T+1
(Tren sale dcha. o izda.) y T>1

T=T-1
Ejem
esta plo de
dos
diag
en n
r
otac ama de
in
UM
L
7.550
7.560
REDES DE PETRI
Es una tcnica muy apropiada para la descripcin del control
en sistemas de comportamiento asncrono y concurrente
Un conjunto finito de lugares, representados por crculos
Un conjunto finito de transiciones, representados por segmentos
Un conjunto finito de conexiones o arcos de un lugar con una
transicin o viceversa, representadas por flechas
Un conjunto de tokens en los lugares, que definen el estado del
sistema
7.570
REDES DE PETRI
REPRESENTACION GRAFICA
l2
l1
l3
t2
t1
l4
l5
Cada transicin consta de lugares de

entrada y lugares de salida. Una
transicin est habilitada cuando
existe, al menos, una marca en cada
uno de sus lugares de entrada (si las
conexiones no tiene pesos).
t3
l6
l7
Una transicin habilitada puede dispararse.

Si se dispara se consume una marca de
cada lugar de entrada y se produce una
marca en cada lugar de salida
7.580
REDES DE PETRI
EVOLUCION DEL MARCADO
P1
P1
P1
T1
T1
T1
P2
P2
P2
T2
T2
T2
T6
T6
T6
P3
P3
P4
P5
P6
P5
P6
P7
T4
P5
P6
T5
T5
T5
P4
T3
T4
T3
T4
T3
P3
P4
P7
P7
7.580
REDES DE PETRI
EVOLUCION DEL MARCADO
P1
P1
P1
T1
T1
T1
P2
P2
P2
T2
T2
T2
T6
T6
P3
T6
P3
P4
T4
T3
T4
T3
P4
P5
P5
T5
T5
P7
P4
T4
T3
P6
P6
P3
P5
P6
T5
P7
P7
7.580
REDES DE PETRI
Exclusin Mutua
Process A
Process B
Waiting for
critical
section
Waiting for
critical
section
Mutex
semaphore
Executing
outside
critical
section
Executing
outside
critical
section
Executing
inside
critical
section
Executing
inside
critical
section
7.590
COMPROBACIONES ENTRE LOS DISTINTOS

MODELOS DEL ANALISIS
PLANO INFORMACION-FUNCION
Comprobar que todos los elementos (o datos elementales)
definidos en los diagramas entidad/interrelacin estn
definidos como entradas en el DD, es decir, estn en algn
flujo de datos o almacn.
Realizar la misma comprobacin con los diagramas de
estructuras de datos.
Comprobar que cada entidad o interrelacin del DE/R es
consultada y actualizada al menos una vez por alguna
funcin primitiva del DFD.
7.600

PLANO INFORMACION-TIEMPO
Comprobar que por cada entidad existe un evento

que la crea.
Comprobar que en las HVE de las entidades
maestro se tratan las posibles repercusiones que
tiene el borrado de dicha entidad sobre las
entidades detalle
7.610

PLANO TIEMPO-FUNCION
Comprobar que existe un proceso primitivo

dentro de los DFD que trate cada uno de los
eventos identificados en la HVE.
7.620

TECNICAS MATRICIALES
FUNCION
INFORMACIN
TIEMPO
FUNCION
INFORMACIN
Matriz
entidad/funcin
Matriz
entidad/entidad
Matriz
evento/entidad
TIEMPO
7.630

MATRIZ ENTIDAD/FUNCION
Funciones
Gestionar Presupuesto
Entidades
Cliente
CLIENTE
PRESUPUESTO
....
I, M, B
Gestionar Cliente
.....
I, M, B
.....
.....
.....
7.640

MATRIZ ENTIDAD/ENTIDAD
Entidad
CLIENTE
PRESUPUESTO
Entidad
CLIENTE
PRESUPUESTO
Realiza
7.650

MATRIZ ENTIDAD/EVENTO
Entidades
Eventos
Datos del Cliente
Datos de Presupuesto
CLIENTE
PRESUPUESTO
I, M, B
I
I, M, B
7.660
MODELADO EVENTO/ENTIDAD
HISTORIA DE LA VIDA DE LAS ENTIDADES
.
Nombre
Entidad
Evento 1
Efecto de Creacin
Evento n
Vida
Efecto de Borrado
-/1
Eventos*
o
Evento 2
Efecto X
3
1,2,3/2
Eventos Z
Efecto Z
Evento 3o
Efecto Y
1/4
4
1,2,3/3
2,3,4/-
7.660
7.670
HISTORIA DE LA VIDA DE LAS ENTIDADES
Crear la matriz evento/entidad
Dibujar las primeras aproximaciones de la HVE
Revisar las HVE
Aadir las operaciones
Aadir los indicadores de estado

Analisis Tiemp Real

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Analisis Tiemp Real

Transféré par

Droits d'auteur :

Formats disponibles

ANALISIS DE SISTEMAS

Qu tiene que hacer el Sistema?

El cliente no entiende del proceso de

Definir los requisitos del software

Del software con

Integrar los requisitos en un documento de especific.

Otra forma de describir el anlisis

Razonar los requisitos y

Confirmar con los

ESPECIFICACION DE REQUISITOS DEL SOFTWARE

CARACTERISTICAS FUNDAMENTALES DE ERS

Debe incluir informacin veraz

ERS debe indicar qu, no cmo ni cundo

CARACTERISTICAS DE UNA BUENA ERS

Los requisitos deben ser especificados lo ms

ESTRUCTURA PARA LA ERS

ESTRUCTURA PARA LA ERS

CLASIFICACION DE LAS TECNICAS DE ESPECIFICACION

Especifican con ms detalle los componentes definidos

Formulario para especificar informacin de un

Marcos (o plantillas (<templates>)

CLASIFICACION DE LAS TECNICAS DE ESPECIFICACION

CLASIFICACION DE LAS TECNICAS DE ESPECIFICACION

VISION TRIDIMENSIONAL DE ALGUNOS SISTEMAS

Sistemas de Tiempo Real

VISION TRIDIMENSIONAL DE ALGUNOS SISTEMAS

Sistemas de Gestin Orientados a Objetos

VISION TRIDIMENSIONAL DE ALGUNOS SISTEMAS

Sistemas de Gestin Orientados a Funciones

CLASIFICACION DE LAS PRINCIPALES TECNICAS

Diagramas de Flujo de datos.

Diagramas de flujo de datos.

Diagrama de Historia y vida de

CLASIFICACION DE LAS PRINCIPALES TECNICAS

DIAGRAMAS DE FLUJO DE DATOS

Procesos: que son los componentes funcionales del sistema

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMAS DE FLUJO DE DATOS

Representan un generador o consumidor de informacin

DIAGRAMAS DE FLUJO DE DATOS

Flujo de datos discreto

Flujo de datos continuo

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMAS DE FLUJO DE DATOS

Paso sncrono de informacin

Paso asncrono de informacin

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMAS DE FLUJO DE DATOS

DIAGRAMA 0: GESTION SISTEMA X

DIAGRAMAS DE FLUJO DE DATOS

Se conoce como diagrama de nivel 0

DIAGRAMAS DE FLUJO DE DATOS

Diagrama del sistema

Se conoce como diagrama de nivel 1

DIAGRAMAS DE FLUJO DE DATOS

Son los procesos de un DFD que ya no se

DIAGRAMAS DE FLUJO DE DATOS

Nivel 0: diagrama de contexto

DIAGRAMAS DE FLUJO DE DATOS