7. ANLISIS DE REQUISITOS Tema 4.

Ingeniera de Requisitos

Los objetivos del Anlisis de Requisitos son:

Descubrir conflictos en los requisitos-C.

Profundizar en el conocimiento del problema mediante la construccin de
Modelos Conceptuales (requisitos-D), que sean ms fcilmente entendibles por
los desarrolladores y que puedan servir de base en la fase de diseo.

Es importante un Modelo de Anlisis pues [Jacobson et al., 1999]:

Ofrece una especificacin ms precisa de los requisitos que la obtenida en la

elicitacin.
Describe en el lenguaje de los desarrolladores (introduciendo mayor formalismo).
Estructura los requisitos de modo que facilita su comprensin, preparacin,
modificacin y en general, su mantenimiento.
Puede considerarse como una primera aproximacin al Modelo de Diseo y es,
por tanto, una entrada fundamental cuando se da forma al sistema en el diseo y
en la implementacin.

66
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

Aspectos Datos que gestiona el

Estticos sistema
(DATOS)

Funciones que realiza el

Modelado
Aspectos
sistema sobre la
Funcionales
de un
informacin.
(FUNCIONES) Sistema de
Informacin

Aspectos Eventos que provocan

Dinmicos que el sistema realice
(EVENTOS) las funciones

67
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

Han sido las tcnicas predominantes (y an son importantes) sobre todo en metodologas oficiales europeas como la espaola MTRICA o
la britnica SSADM (Structured Systems Analysis and Design Method).

Modelado Esttico
Diagramas Entidad-Interrelacin (ERD)
(DATOS)

Modelado Funcional Diagramas de Flujo de Datos (DFD) y Diccionarios de Datos (DD) que es la
(FUNCIONES) descripcin textual de los elementos del DFD.

Diagramas de Transicin de Estados (DTE),

Modelado Dinmico Historia de Vida de Entidad (HVE)
(EVENTOS) Catlogo de Eventos (descripcin textual de eventos que complementa a
los DTE y HVE).

68
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

DIAGRAMA ENTIDAD-RELACIN

Entidad: concepto sobre el cual se debe almacenar informacin.

Interrelaciones: relaciones entre las entidades.
Atributos: caracterizan a las entidades y a las relaciones.
Cardinalidad: caracterizan una interrelacin indicando el nmero mnimo y mximo de
instancias de entidades que pueden participar.

Tambin ser necesario realizar descripciones textuales de las entidades, de sus atributos
y de las interrelaciones.
69
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

DIAGRAMA ENTIDAD-RELACIN

70
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

DIAGRAMA DE FLUJO DE DATOS
Concepto bsico Descomposicin Funcional

Los procesos representan transformaciones de informacin, de forma

que los flujos de salida son siempre una funcin de los flujos de entrada.

Elementos bsicos en un DFD:

Procesos,
Flujos de datos entre procesos,
Almacenes de datos, y
Entidades externas.
Los DFDs representan transformaciones de informacin,
Para describir los procesos: pero no especifican cundo ocurren.
Lenguaje natural,
Pseudocdigo,
Lenguaje estructurado,
Minispecs (pre y postcondiciones).
71
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

DIAGRAMA DE FLUJO DE DATOS

En el nivel superior est el proceso que indica toda la

funcionalidad del sistema (define los lmites), y se
representa en el Diagrama de Contexto.

72
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

DIAGRAMA DE FLUJO DE DATOS

73
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

DIAGRAMA DE TRANSICIN DE ESTADOS

Los DTEs se suelen utilizar para representar la respuesta del sistema, o de una parte del sistema,
ante un determinado conjunto de eventos.

Modelan los procesos de un DFD que representan transformaciones de control.

Elementos principales:
los estados,
los eventos que provocan transiciones,
las acciones asociadas a las transiciones y
las actividades asociadas a los estados.

74
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

DIAGRAMA DE TRANSICIN DE ESTADOS

75
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

HISTORIA DE VIDA DE LAS ENTIDADES

La HVE est orientada a modelar cmo los eventos

internos y externos al sistema afectan a cada
entidad del sistema.

Adems puede representar de forma cronolgica

las posibles sucesiones de eventos sobre la misma.

HVE se aplica casi terminando la fase de Anlisis de

Requisitos.

HVE forma parte de la metodologa SSADM y de

Mtrica 3 y est soportada por varias herramientas
CASE.

76
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ESTRUCTURADAS DE MODELADO

HISTORIA DE VIDA DE LAS ENTIDADES

77
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ORIENTADAS A OBJETOS DE MODELADO

Modelado Esttico
(DATOS)
Diagrama de Clases o de Tipos

Modelado Funcional Diagrama de Secuencia y

(FUNCIONES) Diagrama de Colaboracin

Modelado Dinmico
(EVENTOS)
Diagrama de Estados (Statechart)

78
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ORIENTADAS A OBJETOS DE MODELADO

DIAGRAMA DE CLASES O DE TIPOS
Elementos bsicos:
Tipos de objetos, A las instancias de los tipos se les denomina objetos
Atributos de los objetos, y y a las instancias de las asociaciones enlaces.
Asociaciones entre tipos de objetos.

Se pueden incluir anotaciones textuales

para expresar restricciones que no se
pueden hacer grficamente.

Estas restricciones pueden expresarse,

en lenguaje natural o por ejemplo en
OCL (Object Constraing Language,
Lenguaje de Restricciones de Objetos).

79
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ORIENTADAS A OBJETOS DE MODELADO

DIAGRAMA DE CLASES O DE TIPOS

80
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ORIENTADAS A OBJETOS DE MODELADO

DIAGRAMA DE CLASES O DE TIPOS

Para atributos y operaciones se puede indicar la visibilidad:

Pblica, +
Protegida, #
Privada, -
Paquete, ~

AGREGACIN/COMPOSICIN, indican que un objeto forma parte de otro.

ASOCIACIN, mostrando nombre, direccionalidad,

atributos, cardinalidad, roles

GENERALIZACIN, con flecha hacia la superclase.

Tipos: completa o incompleta, solapada o disjunta.
81
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ORIENTADAS A OBJETOS DE MODELADO

DIAGRAMA DE SECUENCIA

La comunicacin entre objetos se realiza mediante el paso de mensajes.

La funcionalidad del sistema se logra mediante una secuencia de envo de mensajes a los distintos
objetos que lo forman.

82
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ORIENTADAS A OBJETOS DE MODELADO

DIAGRAMA DE SECUENCIA: Diagrama de Secuencia del Sistema (DSS)

83
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ORIENTADAS A OBJETOS DE MODELADO

DIAGRAMA DE SECUENCIA: Diagrama de Secuencia del Sistema (DSS)

84
7. ANLISIS DE REQUISITOS Tema 4. Ingeniera de Requisitos

TCNICAS ORIENTADAS A OBJETOS DE MODELADO

DIAGRAMA DE ESTADOS (Statechart)

Un Diagrama de Estados muestra:

Conjunto de Estados por los que pasa un

objeto durante su vida en una aplicacin
en respuesta a eventos,

Transiciones.

Evento: Acontecimiento a tomar en cuenta.

Estado: Condicin de un objeto en un momento
determinado (entre dos eventos).
Transicin: Relacin entre dos estados, e indica que,
Transicin etiquetada con sus eventos. cuando ocurre un evento, el objeto pasa del estado
Estado. anterior al siguiente.

85