Analisis de Sistemas

Análisis de Sistemas 1

4.2. Análisis de sistemas

• Análisis de requisitos• Técnicas de especificación• Modelado de funciones• Modelado de datos• Especificación del control• Comprobaciones de los elementos de análisis


Análisis de Requisitos (i)

• Análisis de Requisitos (AR): Fase del ciclo de vida consistente en producir un documento de especificación de requisitos que describa lo que el futuro sistema debe hacer.

• Requisito: Condición o capacidad que necesita el usuario para resolver un problema o conseguir un objetivo determinado.


Análisis de Requisitos (ii)

• Fases del Análisis de Requisitos (IEEE):– Definir los requisitos del software.– Definir los requisitos de las interfaces.– Integrar los requisitos en un documento de especificación.– Asignar prioridades a los requisitos.

• Otra manera de describir las actividades de la fase de AR:– Extracción– Análisis de requisitos– Especificación de requisitos– Validación de los requisitos


Análisis de Requisitos (iii)

• Especificación de Requisitos del Software (ERS):– Especificación: Documento que define, de forma completa,

precisa y verificable, los requisitos, el diseño, el comportamiento u otras características de un sistema o componente de un sistema.

– Software: Conjunto de programas, procedimientos y documentación asociada a la operación de un sistema informático.

– Características fundamentales:Debe incluir información veraz

Debe comunicar dicha información de forma eficaz


Análisis de Requisitos (iv)

• Implicaciones:– Describir correctamente todos los requisitos del software– No describir ningún detalle del diseño del software

• Características de una buena ERS (IEEE):– No ambigua– Completa– Fácil de verificar– Consistente– Fácil de modificar– Fácil para identificar el origen de cada requisito– Fácil de utilizar durante las fases


Análisis de Requisitos (v)

• Estructura para la ERS:1. Introducción

1.1. Objetivo1.2. Ámbito1.3. Definiciones, Siglas y Abreviaturas1.4. Referencias1.5. Visión Global

2. Descripción general2.1. Perspectiva del producto2.2. Funciones del producto2.3. Características del usuario2.4. Limitaciones generales2.5. Supuestos y dependencias

3. Requisitos específicosApéndicesÍndice

3. Requisitos específicos3.1. Requisitos funcionales

3.1.1. Requisito funcional 13.1.1.1. Introducción3.1.1.2. Entradas3.1.1.3. Procedimiento3.1.1.4. Salidas

3.1.2. Requisito funcional 2..................3.1.n. Requisito funcional n

3.2. Requisito de Interfaz externa3.2.1. Interfaces de usuario3.2.2. Interfaces hardware3.2.3. Interfaces software3.2.4. Interfaces de comunicaciones

3.3. Requisitos de ejecución3.4. Restricciones de diseño

3.4.1. Acatamiento de estándares3.4.2. Limitaciones hardware

3.5. Atributos de calidad3.5.1. Seguridad3.5.2. Mantenimiento

3.6. Otros requisitos3.6.1. Base de datos3.6.2. Operaciones3.6.3. Adaptación de situación


Técnicas de Especificación (i)

• Clasificación de las Técnicas de Especificación:

– Según la forma de representaciónGráficasTextualesMarcos o plantillas

– Según el enfoque de modelado:FunciónInformaciónTiempo

INFORMACION

FUNCION TIEMPO


Técnicas de Especificación (ii)

INFORMACION

FUNCION TIEMPO

Sistemas deTiempo Real

INFORMACION

FUNCION TIEMPO

Sistemas de GestiónOrientados a Objetos

INFORMACION

FUNCION TIEMPO

Sistemas de GestiónOrientados a Funciones


Técnicas de Especificación (iii)

• Clasificación de las principales técnicas de modelado:

Información Función Tiempo

Información Diagramas de entidadinterrelación (E/R).Diagramas de estructura de datos(DED).Matriz entidad/entidad.

Función Diagramas de Flujo de datos.Matriz función/entidad.

Diagramas de flujo de datos.Diagramas de descomposiciónfuncional.Diagramas de estructura.Diagramas de flujo.Diagramas HIPO.Diagramas de Warnier/Orr

Tiempo Diagrama de Historia y vida deentidad.Matriz evento/entidad.

Redes de Petri.Diagramas de transición de estados.

Lista de eventos.Diagramas de transición de estados.


Técnicas de Especificación (iv)

• Clasificación de las principales técnicas de especificación:

Información Función TiempoInformación Especificación de entidad.

Especificación de interrelación.Especificación de entidadasociativa.Especificación de subtipos.Especificación de tipos abstractosde datos (TAD).

Función Diccionario de datos.Especificación de procesos.Especificación de entidadesexternas.

Tiempo Definición de Función Especificación de eventos


Modelado de Funciones (i)

• Diagrama de Flujo de Datos (DFD): 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 del sistema.

• Componentes:– Procesos– Almacenes– Entidades externas– Flujos de datos

Yourdon, DeMarco Gane y Sarson

Flujos de datos

Procesos

Almacenes dedatos

Entidades externas

SSADMMÉTRICA


Modelado de Funciones (ii)

• Procesos: Componentes funcionales del sistema.– Función que transforma datos de entrada en uno o varios

flujos de salida.– Regla de conservación de datos: El proceso debe poder

generar los flujos de datos de salida a partir de los de entraday de información local.

– Pérdida de información: Se produce cuando el flujo de datos de entrada no se utiliza para generar flujos de salida.

nNombre


Modelado de Funciones (iii)

• Almacenes de datos: Representa información del sistema almacenada de forma temporal.– Se pueden representar varias veces legibilidad.– Si un almacén sólo tiene conexión con un proceso, el almacén

es local y no debe aparecer. Se representará en el DFD que especifique el proceso.

– Almacén de estructura simple: Si es de tipo registro.– Almacén de estructura compleja: Se representan mediante

Diagramas Entidad/Relación.

Nombre


Modelado de Funciones (iv)

• Entidades externas: Generador o consumidor de información que no pertenece al sistema.– Son externos Los flujos definen la interfaz.– Las relaciones entre entidades no son objeto de estudio del

modelo. Si es necesario es que no son externas y son procesos.

– Se pueden dibujar varias veces legibilidad.– Suelen aparecer en el diagrama de mayor nivel (Diagrama de

Contexto).

Nombre *Nombre Nombre

Entidad externa... dibujada varias

veces Entidad con variasocurrencias


Modelado de Funciones (v)

• Flujos de Datos: Camino a través del cual viajan datos de composición conocida.– Se representan mediante arcos dirigidos.– Contenido del flujo: elemento, grupo, par de diálogo, múltiple.– Los flujos de datos no se pueden desdoblar/unir en el mismo

DFD.– Flujo discreto: Datos en movimiento en un momento

determinado.– Flujo continuo: Datos persistentes en el tiempo.

Nombre Nombre

Flujo discreto Flujo continuo


Modelado de Funciones (vi)

• Conexiones permitidas mediante flujos de datos:

NONO *SÍENTIDADEXTERNA

NO *NOSÍALMACÉN

SÍSÍSÍPROCESO

ENTIDADEXTERNA

ALMACÉNPROCESODestino/Fuente

Paso de datos síncrono

Permitida sólo en el Diagrama de Contexto


Modelado de Funciones (vii)

• Paso de datos entre procesos:

ALMACEN TEMPORAL

PROCESOA

PROCESOA

PROCESOB

PROCESOB

Paso síncrono de informaciónentre procesos

Paso asíncrono de informaciónentre procesos


Modelado de Funciones (viii)

• La conexión entre entidades externas y almacenes de datos es posible (en el Diagrama de Contexto) con almacenes externos que sirven de interfaz entre el sistema y una entidad externa.

GestionarPréstamosbiblioteca

Libros Sistema de

mantenimientode publicaciones


Modelado de Funciones (ix)

• Un DFD queda definido por:– Diagrama de Contexto– Niveles medios– Funciones primitivas

• Diagrama de Contexto:– Delimita la frontera entre el sistema y el mundo exterior,

definiendo sus interfaces (flujos externos).– Contiene:

Un procesoEntidades externasFlujos


Modelado de Funciones (x)

• DFD no caben en una página se representan por capas.

• Aproximación top-down.• Ventajas:

– Ayuda a construir especificaciones de arriba abajo.

– Distintos niveles dirigidos a distintas personas.

– Facilita el trabajo de los analistas.– Facilita la documentación del

sistema.

Diagramade Contexto

Diagramade Sistema


Modelado de Funciones (xi)

• Consistencia entre niveles en los DFD:

– Regla del balanceo: 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 excepción: los rechazos triviales (caminos de rechazo que no requieren ninguna revisión de la información establecida) no necesitan estar balanceados entre padre e hijo.


Modelado de Funciones (xii)

• Diagramas de Flujo de Datos en la metodología MÉTRICA:– 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

subfunción


Modelado de Funciones (xiii)

• Diccionario de Datos: Lista organizada de los datos utilizados por el sistema, que gráficamente se encuentran representados por los flujos de datos y almacenes presentes en el conjunto de DFD.– Las entradas son de tres tipos:

Flujos de datosAlmacenesDatos elementales

– Se sigue una aproximación top-down.


Modelado de Funciones (xiv)

• Ejemplo:– PETICION_LIBROS = CARNET_BIBLIOTECA + FICHA_LIBROS– CARNET_BIBLIOTECA = NUM_CARNET + APELLIDOS + NOMBRE +

TIPO_CARNET– TIPO_CARNET = [ SALA | FIN_SEMANA | COLABORADOR | PROYECTO |

DOCTORADO]

SIMBOLO SIGNIFICADO= Composición : está compuesto de, o es equivalente a+ Inclusión : y[ ] Selección : selección una de la opciones encerradas entre corchetes, y

separadas por el símbolo “|”{ } Iteración: iteraciones del componente encerrado entre llaves( ) Opción: significa que el componente encerrado es opcional (puede

estar presente o ausente)* texto * Comentario : el texto entre asteriscos es un comentario aclarativo de

una entrada del DD@ Identificador: se utiliza para señalar un campo o conjunto de campos

que identifican cada ocurrencia de un almacén


Modelado de Funciones (xv)

• Ejemplos:– FICHA_LIBROS = {LIBROS}– LIBROS = SIGNATURA + TITULO + AUTOR– FICHA_LIBROS = 1{LIBROS}5– CARNET_BIBLIOTECA = NUM_CARNET + APELLIDOS +

NOMBRE + TIPO_CARNET + (NUMERO_TELEFONO)

• Definición de almacenes:– LIBROS_DISPONIBLES = @SIGNATURA + TITULO + AUTOR

+ NUMERO_UNIDADES


Modelado de Funciones (xvi)

• Especificación de Procesos:– Técnica que define el procedimiento que realiza un proceso

primitivo.– Alternativas:

Lenguaje estructuradoÁrboles de decisiónTablas de decisiónDiagramas de acciónPre-post condiciones


Modelado de Funciones (xvii)

• Lenguaje Estructurado: Lenguaje formado por un subconjunto de palabras, unas para formar construcciones propias de la programación estructurada y otras que incluyen un conjunto de verbos que reflejan acciones simples.

Alternativa SI condiciónbloque

SI NObloque

FIN SIRepetitiva MIENTRAS condición

bloqueFIN MIENTRASREPETIR

bloqueHASTA condición

Secuencia Está formada por un conjunto de sentencias (bloque) donde cada unapuede ser o una acción sencilla o una estructura de las anteriores.


Modelado de Funciones (xviii)

• Árboles de Decisión: Modelo de una función discreta en la que se determina el valor de una variable y en función de su valor se lleva a cabo una acción.– Se representan:

Los valores de las variablesLas acciones a tomarEl orden en que se realiza la decisión


Modelado de Funciones (xix)

CLIENTEESPECIAL

Sí

No

VOLUMENDE COMPRAS

> 5.000.000

<= 5.000.000

Aplicar 25% descuento


AÑOS ANTIGÜEDAD

> 5

<= 5 y >= 3

< 3

VOLUMEN DE COMPRAS

> 5.000.000

<= 5.000.000 y >= 3.000.000

< 3.000.000

> 4.000.000

<= 4.000.000

> 4.000.000

<= 4.000.000


Aplicar 15 % descuento

Aplicar 10 % descuento




Sin descuento

Supongamos la política de descuentos que realiza una empresa sobre los pedidos de sus clientes dependiendo del volumen de compras del año anterior. Si se trata de clientes con más de 5 años de antigüedad 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 años de antigüedad 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 años de antigüedad, 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 volumen de compras supera los 5.000.000pts. o del 20% en caso contrario.


Modelado de Funciones (xx)

• Tablas de Decisión: Modelo alternativo que muestra la función en forma tabular o matricial.

CONDICIONESCliente especialVol. compras > 5.000.000 pts.Vol. compras <= 5.000.000 pts.5.000.000 >= Vol. compras >= 3.000.000Vol. compras < 3.000.000 pts.Vol. compras > 4.000.000 pts.Vol. compras <= 4.000.000 pts.Años ant. > 55 >= Años ant. >= 3Años ant. < 3

SÍSÍ--------

SÍ-

SÍ-------

NOSÍ-----

SÍ--

NO-

NOSÍ---

SÍ--

NO---

SÍ--

SÍ--

NO----

SÍ--

SÍ-

NO-----

SÍ-

SÍ-

NO----

SÍ---

SÍ

NO-----

SÍ--

SÍ

ACCIONESAplicar 25 % descuento.Aplicar 20% descuento.Aplicar 15% descuento.Aplicar 11% descuento.Aplicar 10% descuento.Aplicar 9% descuento.Aplicar 5% descuento.Sin descuento.

XX

X

X

XX

XX

X


Modelado de Funciones (xxi)

• Diagramas de Acción: Técnica de especificación que utiliza niveles anidados de corchetes que representan la estructura lógica utilizada para transformar los datos de entrada en los datos de salida.– Son útiles en todo el ciclo de vida.

SECUENCIA ALTERNATIVA REPETITIVA

--------------

--------------

--------------

--------------

--------------

--------------

--------------

--------------

Definición de Procedimiento

ENTER

EXIT

LOOP WHILE ...

ENDLOOP

LOOP

UNTIL ...ENDLOOP

FOR ...

ENDFOR

----------------------------

----------------------------

----------------------------

IF ...

ENDIF

----------------------------

IF ...

ENDIF

ELSEIF ...

ELSEIF ...


Modelado de Funciones (xxii)

• Diagramas de Acción:

F O R T o d o s l o s C L I E N T E SL E E R C L I E N T E , V O L U M E N D E C O M P R A S

I F C L I E N T E e s e s p e c i a 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 t o .

E L S E I F


E N D I F

E L S E I F

I F A ñ o s a n t i g ü e d a d > 5


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

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 I F G E N E R A R P E D I D O c o n 1 0 % d t o .

E N D I FE L S E I F 5 > = A ñ o s a n t i g ü e d a d > = 3

I F V O L U M E N D E C O M P R A S > 4 . 0 0 0 . 0 0 0 G E N E R A R P E D I D O c o n 1 1 % d t o .

E L S E I F G E N E R A R P E D I D O c o n 5 % d t o .

E N D I F

E L S E I F

I F V O L U M E N D E C O M P R A S > 4 . 0 0 0 . 0 0 0 G E N E R A R P E D I D O c o n 9 % d t o .

E L S E I F G E N E R A R P E D I D O s i n d e s c u e n t o

E N D I FE N D I F

E N D I FE N D F O R


Modelado de Funciones (xxiii)

• Pre-post Condiciones:– Se centran más en la relación que deben tener las entradas y

salidas del proceso que en su algoritmo.– Se indican las condiciones que se tienen que cumplir para que

el proceso pueda comenzar (pre-condiciones), así como las condiciones que deben cumplirse cuando el proceso ha concluido (post-condiciones).


Modelado de Funciones (xxiv)

• Diagramas de Descomposición Funcional (DDF):– Hay metodologías que utilizan otra técnica para representar la

descomposición de las funciones que realiza un sistema.– Objetivo: Representar jerárquicamente procesos en diferentes

niveles de abstracción. G ESTIÓ N D EA LQ U IL ER ES

D E U N V ID E O C L U B

G ES TIÓ N D EC LIE N TE S

G ESTIÓ N D EPR O V EE D O R ES

G ESTIÓ N D EPE LÍC U LA S

G ES TIO N A RPE D ID O S

G ES TIO N A REN T R E G A S

G ES TIO N A RFA C TU R A S

G ES TIO N A RPA G O S

G ES TIO N A RA LT A S/B A JA S

G ES TIO N A RA LQ U IL ER ES

G ES TIO N A RD EV O LU C IO N E S

G ES TIO N A RR ESE R V A S

G ESTIO N A RA LT A S/B A JA S

G ESTIO N A RIN FO R M ES

G ES TIO N A RA LT A S/B A JA S


Modelado de Funciones (xxv)

• Tipos de DDF:– I: Representa las funciones del sistema pero no los flujos de datos.– II: Representa las funciones y las estructuras de datos de entrada/salida.– III: Representa funciones y datos, pero siguiendo reglas mediante

axiomas matemáticos.

.

GESTIÓN EMPRESA X

PLANIFICACIÓN

ANÁLISIS DEMERCADO

VENTAS DISTRIBUCIÓN PERSONAL CONTABILIDAD

PREVISIÓNVENTAS

REALIZACIÓNVENTAS

GESTIÓN DETERRITORIOS

ADMINISTRACIÓNVENTAS

SERVICIOPEDIDOS

CONTROL DESTOCKS

GESTIÓN DEENVÍOS

GESTIÓN DECONTRATACIÓN

FORMACIÓN

PLANIFICACIÓNPRESUPUESTO

CAJA


Modelado de Funciones (xxvi)

• Comprobaciones de una Especificación Estructurada:– Compleción: Si los modelos son completos.– Integridad: Si no existen contradicciones ni inconsistencias.– Exactitud: Si los modelos cumplen los requisitos del usuario.– Calidad: Estilo, legibilidad y facilidad de mantenimiento de los

productos producidos.


Modelado de Funciones (xxvii)

• Lista de comprobación:PREGUNTA Aut Sí No

C Todos los componentes tienen nombres síC Todos los procesos tienen números síC Todos los procesos primitivos tienen una especificación de proceso

asociadosí

C Todos los flujos están definidos en el DD síC Todos los elementos de datos están definidos síI Hay elementos definidos en el DFD no incluidos en el DD síI Los almacenes de datos representados en los DFD están definidos

en el DDsí

I Los elementos de datos referenciados en las especificaciones deproceso están definidos en el DD

no

I Los flujos de datos de entrada y salida de un proceso primitivo secorresponden con las entradas y salidas de la especificación deproceso

sí

I Hay errores de balanceo síI Hay procesos que tienen sólo entradas o sólo salidas síI Por cada proceso se cumple la regla de conservación de datos noI Hay flujos de entrada superflúos a un proceso noI Hay flujos de control o flujos de datos como activadores de procesos noI Los procesos pueden generar los flujos de salida a partir de los de

entrada más una información local al procesono

I Hay pérdida de información en los procesos noI Hay almacenes sólo con entradas o sólo con salidas noI Hay conexiones incorrectas entre los elementos del DFD síI Hay almacenes locales noI Es correcta la dirección de las flechas de los DFD noI Existen redes desconectadas síE Cada requisito funcional del usuario tiene asociado uno o más

procesos primitivos en los DFDsí

CA El diagrama es claro (posición correcta de las etiquetas, existencia decruces de línea, etc.)

no

CA Hay nombres de componentes con poca significación noCA Hay muchos flujos de entrada y salida (complejidad de interfaz alta)

en procesos primitivosno


Modelado de Datos (i)

• Técnicas:

– Modelado Entidad/Interrelación (Chen, 1976)Entidad: Objeto del que se quiere almacenar información.Relación: Asociación entre entidades.

Cardinalidad.

Atributo: Propiedad o característica de una entidad o relación.Generalización: Subtipos de entidades.

– Diagrama de Estructura de Datos:Más sencillo y de menor nivel de abstracción.Formado únicamente por relaciones 1:n.


Especificación del Control (i)

• Técnicas de especificación del control:

– En los sistemas se aprecia una perspectiva de aspectos funcionales y de datos y otra de control.

– Para describir el control se requieren técnicas adicionales:Listas de EventosDiagramas de Transición de EstadosRedes de Petri


Especificación del Control (ii)

• Lista de Eventos:– Evento: Algo que ocurre en la vida real y causa un cambio en

los datos.– Generalmente, el “disparador” se representa como un flujo de

datos que entra en el sistema.– Tipos:

Generados externamente flujo que entra en el sistema.Reconocidos internamente flujo que va desde un almacén al proceso.Basados en el tiempo flujo que va desde el proceso al almacén.


Especificación del Control (iii)

• Diagrama de Transición de Estados (DTE): Técnica que se enfoca en el comportamiento dependiente del tiempo de un sistema.– Definición (IEEE): Diagrama que representa los estados que

puede tomar un componente o un sistema y que, además, muestra los eventos o circunstancias que implican el cambio de un estado a otro.

– Estado: Representa un modo externo de comportamiento.– Transición: Obliga al paso de un estado a otro (o al mismo) si

se cumple una condición.ESTADO 1

ESTADO 2

Condición de transición

Acción, o acciones de transición

Transición


Especificación del Control (iv)

• Aplicaciones: Transformaciones de datos y de control.– Una transformación de datos simboliza, mediante un círculo, la

función que se realiza para generar unos flujos de datos de salida (flechas que parten del círculo) a partir de unos flujos de datos de entrada (flechas que apuntan hacia el círculo). El flujo de salida de una transformación de datos puede convertirse en el de entrada para otra transformación de datos.

– Una transformación de control es aquella que sólo admite flujos de control como entradas y salidas (por ejemplo, una orden de abrir un dispositivo). La transformación de control sólo genera unas señales a partir de otras, no transforma datos. La notación utilizada son círculos (para las transformaciones de control) y flechas (para los flujos de control) discontinuos. La salida de una transformación de control puede convertirse en entrada para otra, ya sea de datos o de control.


Especificación del Control (v)

• Ejemplo:– Se trata de representar el comportamiento de un controlador

de un paso a nivel. El acercamiento o alejamiento de los trenes se detecta por unos sensores situados a una cierta distancia. Cuando llega un tren se cierra la barrera de cada lado de la calzada. Cuando se detecta la salida de todos los trenes se abre la barrera. Hay que accionar una alarma cada vez que se abra o cierre la barrera para alertar a los automovilistas.


Especificación del Control (vi)

Controlde Paso a

Nivel

Tren sale izda.

Tren sale dcha.

Tren aprox. dcha.

Tren aprox. izda.

Barrera abierta

Barrera cerrada

Activar alarma

Desactivar alarma

Abrir barrera

Cerrar barrera

B A R R E R AA B IE R TA

A B R IE N D OB A R R E R A

C E R R A N D OB A R R E R A

B A R R E R AC E R R A D A

T ren aprox. dcha. o izda.

C errar barreraA ctivar alarm a T =1

B arrera abierta

D esactivar alarm a

T ren aprox. dcha. o izda.

T =1cerrar barrera

B arrera cerrada

D esactivar a larm a

(T ren sale dcha. o izda.) y T =1

T =0A brir barreraA ctivar alarm a

T ren aprox . dcha. o izda.

T =T +1

(T ren sale dcha. o izda.) y T >1

T =T -1


Especificación del Control (vii)

• Redes de Petri: Técnica muy apropiada para la descripción del control en sistemas de comportamiento asíncrono y concurrente.– Componentes del modelo:

Un conjunto finito de lugares, representados por círculos.Un conjunto finito de transiciones, representados por segmentos.Un conjunto finito de conexiones o arcos de un lugar con una transición o viceversa, representadas por flechas.


Especificación del Control (viii)

l1 l2 l3

l4 l5

l6 l7

t1 t2

t3

Op.1

a y b

ba

c

Op.1

a y b

ba

c

Disparo de Op.1


Especificación del Control (ix)

• Evolución del estado de la red Regla de disparo de transiciones:– Cada transición consta de lugares de entrada y de salida. Se

habilita cuando existe al menos una marca en cada uno de sus lugares de entrada.

– Una transición habilitada puede dispararse. Cuando se dispara se consume la marca de cada lugar de entrada y se produce una marca en cada lugar de salida.

• Propiedades:– Limitación– Vivacidad


• Comprobaciones:– Dimensión de función Especificación Estructurada– Dimensión de información D E/R y DED– Dimensión del tiempo Lista de Eventos

• Plano información-función:– Comprobar que todos los elementos (o datos elementales)

definidos en los D E/R están definidos como entradas en el DD, es decir, están en algún flujo de datos o almacén.

– Realizar la misma comprobación con los DED.– Comprobar que cada entidad o interrelación del D E/R es

consultada y actualizada al menos una vez por alguna función primitiva del DFD.

Comprobaciones de los Elementos de Análisis (i)


Comprobaciones de los Elementos de Análisis (ii)

• Plano información-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.

• Plano tiempo-función:– Comprobar que existe un proceso primitivo dentro de los DFD

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


• Técnicas Matriciales: Se utilizan principalmente para ayudar a verificar la consistencia entre los componentes de distintos modelos de un sistema, ya sea centrada en las funciones, en la información o en el aspecto temporal (dinámico).

FUNCION INFORMACIÓN TIEMPOFUNCION

INFORMACIÓN Matrizentidad/función

Matrizentidad/entidad

TIEMPO Matrizevento/entidad

Comprobaciones de los Elementos de Análisis (iii)


• Matriz Entidad/Función: Visualiza las relaciones existentes entre las funciones que lleva a cabo un sistema y la información necesaria para soportar las mismas.– Filas: entidades, relaciones, subtipos... de un D E/R.– Columnas: funciones del sistema– Celdas: las posibles acciones que puede realizar una función

sobre las ocurrencias de las entidades, relaciones...

FuncionesEntidades

Gestionar PresupuestoCliente

Gestionar Cliente .....

CLIENTE L I, M, B .....

PRESUPUESTO I, M, B .....

.... .....

Comprobaciones de los Elementos de Análisis (iv)


• Matriz Entidad/Entidad: Ayuda a ver las relaciones que tiene una entidad con otro del modelo E/R.

• Matriz Entidad/Evento: Muestra los eventos que actúan sobre las entidades.

Entidad

Entidad

CLIENTE PRESUPUESTO

CLIENTE Realiza

PRESUPUESTO

EntidadesEventos

CLIENTE PRESUPUESTO

Datos del Cliente I, M, BDatos de Presupuesto I I, M, B

Comprobaciones de los Elementos de Análisis (v)


• Modelado Evento/Entidad:– Los DFD y el modelo de datos proporcionan una vista estática

de los datos.– El modelo Evento/Entidad proporciona el elemento dinámico

Acción del tiempo sobre el sistema.– Para ello utiliza la Historia de Vida de la Entidad (HVE):

Muestra el ciclo de proceso de una entidad desde su creación hasta su desaparición. Proporciona una forma de modelar todos los posibles cambios de valor de sus atributos durante la vida de la entidad y la secuencia en que dichas actualizaciones transcurren.Estructuras: secuencia, vida paralela, selección e iteración.

Comprobaciones de los Elementos de Análisis (vi)


Nombre

Entidad

Evento 1Efecto de Creación

Evento nEfecto de Borrado

Vida

Eventos

Evento 2Efecto X

Evento 3Efecto Y

o o

*

3

n

4

21

-/1

1,2,3/2 1,2,3/3

Eventos ZEfecto Z

Z

1/4

2,3,4/-

Comprobaciones de los Elementos de Análisis (vii)


• Modelado Evento/Entidad:– HVE:

Crear la matriz Evento/Entidad.Dibujar las primeras aproximaciones de la HVE.Revisar las HVE.Añadir las operaciones.Añadir los indicadores de estado.

Comprobaciones de los Elementos de Análisis (viii)

Documents

Analisis de Sistemas