Documente Academic
Documente Profesional
Documente Cultură
flujo de datos
P1
Proceso
D ALMACN DE
DATOS
flujo de datos
P1
Proceso
D ALMACN DE
DATOS
1.- Introduccin:
Visin panormica del AyDE
Anlisis Estructurado
Mtodo clave en el desarrollo
estructurado o convencional
Aparece a finales de los 70
Facilita la comunicacin en el proceso de
desarrollo de un sistema de informacin
anlisis y diseo
usuarios y analistas
1.- Introduccin:
Visin panormica del AyDE.
Caractersticas
Amplia difusin
Descomposicin funcional
(Originariamente) Orientada a procesos
(Originariamente) Top/down
Bibliografa
Texto principal
Mario Piattini,Jose Calvo-Manzano,Joaqun
Cervera,Luis Fernandez, Anlisis y diseo
detallado de Aplicaciones Informticas de
gestin. Edit. Ra-ma
Yourdon, E., Anlisis estructurado moderno.
1993: Prentice-Hall Hispanoamericana
Bibliografa (II)
Entre la bibliografa bsica...
MAP, MTRICA versin 2.1. Gua de Tcnicas. 1995, Madrid: Ministerio de
Administraciones Pblicas. Secretara de Estado para la Administracin Pblica.
Consejo Superior de Informtica.
Referencias clsicas...
DeMarco, T., Structured analysis and system specification. 1979, Englewood
Cliffs, New Jersey: Yourdon Press.
Gane, C. and T. Sarson, Anlisis estructurado de sistemas. 1990, Buenos Aires:
El Ateneo (traduccin de Gane, C. and T. Sarson, Structured systems analysis,
tools and techniques. Software series. 1979, New Jersey: Prentice-Hall.)
1.- Introduccin:
Visin panormica del AyDE.
Componentes
1.- Introduccin:
Visin panormica del AE. componentes
Lgica de procesos
Lenguaje estructurado
Pre y post-condiciones
Tablas de decisin
rboles de decisin
1.- Introduccin:
Visin panormica
del AE. DFD
ENTIDAD
EXTERNA
flujo de datos
P1
Proceso
D ALMACN DE
DATOS
1.- Introduccin:
Visin panormica del AE. DFD
Tipos de smbolos en los DFDs
(notacin de Yourdon/De Marco)
ENTIDAD
EXTERNA
flujo de datos
P1
Proceso
D ALMACN DE
DATOS
1.- Introduccin:
Visin panormica del AE. DFD: Ejemplo
Prctico
Ejemplo
Sistema de distribucin sin
inventario
Se trata de un sistema que sirve pedidos de
libros a unos clientes, con la particularidad
de que no mantiene un stock o inventario
interno. El sistema puede agrupar los
pedidos que clientes distintos hacen a un
mismo editor, de manera que se puedan
Adaptado del captulo 2 de Gane, C. and T. Sarson, Anlisis estructurado de sistemas.
descuentos.
1990, conseguir
Buenos Aires: El Ateneo.
1.- Introduccin:
Visin panormica del AE. DFD: Ejemplo
Prctico
pedidos
rdenes de compra
libros entregados
en principio, no
son materiales,
son datos
0.
Sistema de
Pedidos
EDITOR
libros pedidos
1.- Introduccin:
Visin panormica del AE. DFD: Ejemplo
Prctico
0. Sistema de pedidos
pedidos
D LIBROS
rdenes de compra
1.
Verificar
validez
de pedido
pedidos vlidos
D PEDIDOS
PENDIENTES
2.
Armar
pedidos
a editores
D RDENES DE
COMPRA
pedidos en lote
direccin
libros entregados
libros entregados =
albarn + lista-novedades
5.
Armar
entrega
a clientes
libros por
clientes
4.
Asignar
libros a
pedidos
3.
Verificar
envo
de editores
libros
recibidos
libros recibidos =
{ttulo + cantidad}
libros pedidos
1.- Introduccin:
Visin panormica del AE. Diccionario de
Datos
Es un conjunto de metadatos, es decir, de
informacin (datos) sobre datos
Contiene las definiciones de todos los
elementos de los diagramas
Implementacin
Manual
Procesador de textos
Base de datos
Automtico e integrado
1.- Introduccin:
Visin panormica del AyDE. Diccionario de
Datos
Flujo de datos: entrega
Descripcin: Conjunto de libros enviados por un
proveedor a la biblioteca, basado en la relacin
que previamente haba recibido.
Sinnimos: *** none ***
Componente de: *** none ***
Composicin:
Libros
+ { Albarn }
Informacin de entrada y salida
Origen
Destino
*** Off the diagram ***
Compra libros
PROVEEDORES
Biblioteca
Procesos asociados:
Proc_cancelacin
Proc_consultas
1.- Introduccin:
Visin panormica del AyDE. Pseudocdigo.
Proceso: Verificar estado del socio
Nmero: 1.1.1
Descripcin: Se examina si el socio no est sancionado
Miniespecificacin:
Recibir Socio ID del socio
Leer SOCIOS para
Leer Flag-de-precaucin
Si OK, enviar Socio ID vlido
Complejidad:
Ratio de transacciones:
Prioridad:
Memoria requerida (Kb):
Tiempo de proceso:
1.- Introduccin:
Visin panormica del AyDE. Modelado de
Datos
1.- Introduccin:
Visin panormica del AE. Ejemplo de
E/R .
Departamento
(1,n)
pertenece
(1,1)
Empleado
asignado
(0,n)
Proyecto
(1,m)
Departamento
DED
Proyecto
pertenece
Empleado
requiere
tiene
Asignacin
1.- Introduccin:
Visin panormica del AyDE. Lgica de
Proceso.
1.- Introduccin:
Visin panormica del AyDE. Lgica de
Proceso.
Lenguaje estructurado
SI la factura excede de 300
SI la cuenta del cliente tiene alguna factura sin pagar ms
de 60 das, dejar la confirmacin pendiente de este pago.
SI NO (la cuenta est en buen estado)
hacer confirmacin y factura
FIN-SI.
1.- Introduccin:
Visin panormica del AE. Lgica de
Proceso.
Pre y post-condiciones
Pre1 (la factura excede de 300) Y (la cuenta del cliente tiene alguna
factura sin pagar ms de 60 das)
Pos1 (confirmacin pendiente de este pago)
Pre2 (la factura excede de 300) o (la cuenta del cliente no tiene
ninguna factura sin pagar ms de 60 das)
Pos2 (confirmacin y factura realizadas)
Pre3 (la factura no excede de 300) Y (la cuenta del cliente tiene
alguna factura sin pagar ms de 60 das)
Pos3 (confirmacin y factura realizadas) Y (mensaje impreso sobre
informe de crdito)
Pre4 (la factura no excede de 300) Y (la cuenta del cliente no tiene
ninguna factura sin pagar ms de 60 das)
Pos4 (confirmacin y factura realizadas)
1.- Introduccin:
Visin panormica del AyDE. Lgica de
Proceso.
Tablas de decisin
ESTADO DE LA
CUENTA
CORRECTO
NETO-FACTURA
>300
CONFI RMACI N
PENDI ENTE
I MPAGADO CORRECTO
>300
I MPAGADO
<=300
<=300
HACER
CONFI RMACI N
HACER FACTURA
ESCRI BI R MENSAJ E
1.- Introduccin:
Visin panormica del AyDE. Lgica de
Proceso.
rboles de decisin
Factura
excede de
300
Cuentas impagadas ms
de 60 das
Cuentas en buen estado
Poltica
contabl
e
Factura
menos de
300
Cuentas impagadas ms
de 60 das
Cuentas en buen estado
1. Dejar confirmacin
pendiente de los pagos
debidos.
2. Hacer confirmacin y
factura
pet aceptada
informe prstamo
pet aceptada
Recibir
peticiones
pet prstamo
informe prstamo
Elaborar
informe
pet rechazada
pet prstamo
Leer
peticiones
ok
Consultar
stock
Rechazar
peticin
Informar
peticin
Visin panormica AE
Esquema resumen
Diagrama de
flujo de
datos
B
PROC
PROC
Y
FUENTE
Descri
p.
E. E.
PROC
Descripci
n
del
proceso
PROC
Definici
n del FD
DESTINO
PROC
D ALMACN DE
DATOS
Diagrama ER
(o DED)
Diccionario
de Datos
Definicione
s de la BD
Definiciones
de los
Paso al
diseo
Diagrama
de
estructura
s
Entidad Externa
Flujo de datos
Flujo de eventos
D ALMACN DE
DATOS
Transformaciones o procesos
(funciones, clculo, seleccin)
Terminadores (Fuentes o Destinos)
(personas, entidades)
Flujos de informacin
(inputs-outputs)
Flujos de control (Ward & Mellor 85)
Ficheros o depsitos temporales de
informacin (base de datos, armario,
clasificador, etc.)
(notacin Mtrica/SSADM)
ID
Localizacin
Proceso
Transformaciones o procesos
Entidad
Externa
Flujo de datos
ALMACN DE
DATOS
Flujos de informacin
Ficheros o depsitos temporales de
informacin
Procesos
TRANSFORMACIN
(clculo, operacin)
FILTRO
(verificacin fecha, validacin transaccin)
DISTRIBUCIN
(men, seleccin transaccin)
E1
P
E2
E3
Transformacin
S1
S2
Procesos (II)
Diagrama de contexto
Entidades externas
FUENTE
FUENTE
DESTINO
P
Sistema
DESTINO
DESTINO
Flujos de datos
pago
autorizacin crdito
P
solicitud crdito
Aceptar pago
recibo
denegacin
crdito
P
Analizar
Peticin
crdito
P
B
P
A
P
B
EDITORIALES
Selecc. y
pedir nuevos
libros
INTERVENTOR
nuevas ofertas
D3
INVENTARIO
Registrar libros
ajuste de signaturas
nuevos
D4
SIGNATURAS
P3
P2
Examinar
nuevos libros
libros nuevos
nuevos libros
libros nuevos
D9
CARRITO
LIBROS NUEVOS
libros nuevos
D1 LISTA MAESTRA
DE ISBN
P4
P5
Enviar al dpto.
comprador
Poner libros
nuevos en
estantes
libros nuevos
libros nuevos
D2
ESTANTES
cod postal
direccin cli
telef
nmero de cuenta
calle
P
B
P
Validar
calle
P
Validar
Telef.
Observaciones:
Slo los procesos pueden separar FD
(Piattini et al.
96)
P
Determinar
prescripcin
P
Rellenar
prescripcin
prescripcin
AND
cuando todos los datos
siguen por ambos caminos
P
Actualizar
registro
paciente
P
Confirmar
empleo
datos de pago
P
Aceptar pago
a crdito
XOR
cuando los mismos
datos provienen de
cualquier direccin
P
Transferir
pago
historial
de crdito
P
Confirmar
historial de
crdito
historial de
empleo
historia
combinada
AND
cuando los subconjuntos
son combinados en uno
P
Conceder
tarjeta de
crdito
P
Evaluar pedido
El proceso pide el FD
pedido?
criterios valoracin
Flujos de control
Almacenes de datos
(MAP 95)
Descomposicin funcional
Descomposicin funcional
A
P
Sist
(II)
DESTINO
FUENTE
P
f2
P
f4
P
f5
P
f1
Y
P
f3
P
f43
x1
x2
P
f41
y2
y1
P
f45
P
f42
P
f44
Consistencia en el DFD
Descomposicin paralela
Descomposiciones de funciones
Proceso en subprocesos (DFD)
P1
envo
P6
P5
pedido
P3
envo
autorizacin
P6.2
P4
cupn de
pedido
P6.1
pago
P6.3
Jerarqua de DFDs
DFD 1.2
P 1.2.2
f2
V
Y
P 1.2.1
f1
A
P 1.2.3
f3
Jerarqua de DFDs
DFD 0
P
A
FICH
P
B.1
P
A.1
D
P
A.2
P
B
FICH
P
B.2
FICH
Mtric
a
Diagrama
Diagrama
Diagrama
Diagrama
Diagrama
de
de
de
de
de
contexto / sistema
subsistemas
funciones
subfunciones
procesos (opcional)
informes anuales
D
CENTROS DE
INVESTIGACIN
CLIENTE
datos de
investigacin
P
SIST. DE
INVESTIG. DE
MERCADOS
DATOS DEL
MERCADO
(II)
P
Sumidero
DFDs - Conclusiones
Diseo Estructurado
Introduccin
Mdulo(laridad)
Abstraccin
Refinamiento
Factores de calidad
Acoplamiento
Cohesin
Tipos de Acoplamiento
Tipos de Cohesin
Consideraciones para un Diseo de Calidad
Resultados del Diseo
construir
que
se
software
acompaa
que se
de
los
Larry Constantine 78
diseo
estructurado
es
un
mtodo
de
que
contiene
la
especificacin
de
poder
evaluar
la
efectividad
de
una
se
denomina
en
Ingeniera
de
software,
independencia.
Disminucin de la posibilidad de errores al reducir la
complejidad.
Programas que pueden evaluarse por partes, por lo cual todo test
se hace ms fcil.
Programas ms fciles de alterar ya que son menores las
de cdigo a considerar para incorporar los cambios.
Mdulos de funcin nica que pueden ser reutilizados.
lneas
Mdulo Superordinado
Mdulo Subordinado
Fanout : 2
Fanin : 1
N Mdulos
Costos Mnimos
terminologia orientada al
de
abstraccin
permite
implementarse directamente
que
la
solucin
pueda
Abstraccin
Mdulo A
Modularidad
A1
A2
Factorizacin
Factores de Calidad
Acoplamiento
Corresponde al grado de independencia entre dos mdulos. Entendido
as,
minimizar
el
acoplamiento
aparece
entonces
como
una
Factores de Calidad
Cohesin
Factores de Calidad
Acoplamiento
Cohesin
Principios de un
Buen Diseo
Tipos de Acoplamiento
1. Acoplamiento Normal
2. Acoplamiento por Datos
3. Acoplamiento por Estampado o Imagen
4. Acoplamiento de Control
5. Acoplamiento Comn
6. Acoplamiento por Contenido
Tipos de Acoplamiento
Mejor Acoplamiento
NORMAL
DATOS
ESTAMPADO
CONTROL
EXTERNO (caso especial de COMN)
COMN
CONTENIDO
Grado de
Acoplamiento
Tipos de Acoplamiento
1.Acoplamiento Normal
Dos Mdulo A y B estn Normalmente Acoplados si:
B retorna el control a A
No se produce traspaso de parmetros entre ellos, slo existe la
llamada de uno a otro.
A
Tipos de Acoplamiento
2. Acoplamiento por Datos
Obtener
Datos
Cliente
acoplamiento
por
datos
corresponde a la comunicacin de
datos necesaria entre mdulos. Toda
vez que los mdulos tienen que
comunicarse entre s,
la ligazn por
Rut_cliente
Leer Rut
Tipos de Acoplamiento
3. Acoplamiento por Estampado
Calcular
Deuda
Cliente
o Imagen
Dos
acoplados
mdulos
por
aparecen
estampado
Cliente
Leer Cliente
cual,
por
su
parte,
se
Cliente= rut+nombres+apellido_paterno+
Apellido_materno+direccin+fono+e_mail
Tipos de Acoplamiento
4. Acoplamiento de Control
Dos mdulos estn acoplados
Obtener
Datos
Cliente
Tipo_dato
Cliente
Leer Cliente
dependencia
de
Tipos de Acoplamiento
5. Acoplamiento Comn
Los
mdulos
presentan
Actualizar
Stock
Video
Obtener
Nombre
Video
video
Leer Registro
Video
Tipos de Acoplamiento
6. Acoplamiento por Contenido
Este es un tipo de Acoplamiento
Inaceptable.
acoplamiento
contenido
(o
..
Srch: Move..
..
.
.
..
..
Jump to Srch
.
comando de otro.
Tipos de Acoplamiento
Dos mdulos pueden estar relacionados por ms de un tipo de
acoplamiento. Si esto ocurre, el acoplamiento que caracteriza la relacin
entre ellos queda definido por el peor tipo que presenten. Por ejemplo, si
dos mdulos estn ligados por acoplamiento de imagen y acoplamiento
comn a la vez, se dir que los mdulos estn ligados por acoplamiento
comn.
Tipos de Cohesin
Mayor Cohesin
FUNCIONAL
Mdulo como
Caja Negra
SECUENCIAL
COMUNICACIONAL
PROCEDURAL
TEMPORAL
Mdulo
Transparente
LGICA
COINCIDENTAL
Grado de
Cohesin
Tipos de Cohesin
1. Cohesin Funcional
Ejemplos
con
cohesin
funcional
es
aquel
que
contiene
elementos
que
contribuyen a la ejecucin
de una y slo una tarea
relacionada
al
objeto de diseo,.
problema
Tipos de Cohesin
2. Cohesin Secuencial
Un
mdulo
cohesionado
secuencialmente
es
aquel
cuyos
prxima actividad.
Tipos de Cohesin
3. Cohesin Comunicacional
Ejemplo:
Obtener
datos
Video
comunicacional
elementos
cuando
contribuyen
sus
a
3. Obtener ubicacin
4. Obtener precio
....
Tipos de Cohesin
4. Cohesin Procedimental
un mdulo cohesionado por
Ejemplos:
una oficina
diferentes
Actividades
posiblemente no relacionadas,
4. Solicitar cotizacin
....
en
Tipos de Cohesin
5. Cohesin Temporal
Ejemplo:
Un mdulo con cohesin
temporal
es
aquel
cuyos
que
estn
Actividades
iniciar el da
1. Apagar despertador
2. Tomar una ducha
3. Vestirse
4. Hacer la cama
5. Tomar desayuno
....
al
Tipos de Cohesin
6. Cohesin Lgica
Un mdulo tiene cohesin
lgica,
contribuyendo al
desarrollo de actividades de
una misma categora general,
donde
la
actividad
las
Tipos de Cohesin
7. Cohesin Coincidental
Un mdulo coincidentemente
Ejemplo:
1. Comprar un libro
elementos
3. Ir al teatro
actividades
desarrollan
sin
significativa entre s.
relacin
4. Lavar la ropa
5. Dormir
....
rbol de Cohesin
Consideraciones Importantes
para un Diseo de Calidad
La factorizacin consiste en separar la funcionalidad de un mdulo, en
subfunciones claramente identificables, en trminos tales que sea posible
considerarla como constitutiva de un mdulo independiente.
1. La necesidad de reducir el tamao de un mdulo.
2. Obtener las ventajas de la modularizacin mediante un diseo
"top_down". => Sistema ms comprensible el sistema y facilitamiento de
cambios
3. Evitar que una misma funcin aparezca en diferentes partes del
sistema, es decir, en ms de un mdulo.
4. Proveer mdulos de uso general.
5. Simplificar la implementacin.
Reducir el Tamao de un
Mdulo
1. De Marco seala,
un tamao razonable para un mdulo
corresponde a un conjunto de lneas de cdigo de alrededor de
media pgina de listado (30 lneas ms o menos),
2. PageJones, seala que toda la codificacin de un mdulo
debera, idealmente, ser visible en una pgina de listado (una
exigencia que impone un lmite no superior a 60 lneas)
3. Geral Weinberg (WEI72) muestran que la habilidad del hombre
para entender un mdulo y encontrar errores depende de la
capacidad de aprehender el mdulo como un todo de una sola vez.
Diseo Arquitectnico
Diccionario de Datos
Especificacin de procesos
Interfaz
Diseo de Datos
Diseo de Datos
Votante
Clave_Vot A10
Rut_Vot
A10
Nom_Vot
A30
Voto
Id_Voto A10
Detalle_Voto
Id_Voto
A10
Id_Partido A30
Servicio
Cod_Serv
N5
Descrip_Serv A30
Candidato
Id_Partido
Nom_Cand
Municipalidad
Id_Orga
A10
Nom_Orga A30
Servcio
A30
Direccin
A30
Fono
N10
Comuna
A20
A30
A30
Diseo de Interfaz
Leer Registro
Video
Mdulo
Mdulo
Predeterminado
MDULOJEFE
(INVOCADOR)
MDULOSUBORDINADO
(INVOCADO)
Flujo de Control
Flujo de Dato
Cliente
Leer Cliente
Iteracin
Profundidad y Ancho de un
Diagrama de Estructura
Profundidad y ancho
proporcionan una idea del
nmero de niveles de control
y el mbito global de control
respectivamente.
El grado de salida es una
medida del nmero de
mdulos que son controlados
directamente por otro
mdulo.
El grado de entrada indica
cuntos mdulos controlan
directamente un mdulo
dado.
Diseo Centrado en
Transacciones
Anlisis
Diseo
Diagrama de
Estructura
Estrategia de Diseo
Diseo Centrado en
Transformaciones
1.1
1.2
3
4.1
2.1
2.2
4.2
Flujo de Llegada
Flujo de
Centro
Salida
de
Transformacin
Estrategia de Diseo
Diseo Centrado en
Camino de
Accin 1
Transacciones
2.1
Se presenta un centro de
2.2
1
Centro
de
Transaccin
3.1
3.2
4.1
4.2
Camino de
Accin 2
Camino de
Accin 3
Estrategia de Diseo:
Transformacin
1. Revisin del Modelo Fundamental del sistema
DFD, mnimo tres niveles
2. Determinar si el DFD tiene caractersticas de Transformacin o
Transaccin
Analizar el centro de transformacin propiamente tal
3. Aislar el centro de Transformacin, especificando los lmites del
flujo de llegada y de salida
Delimitar el centro de transformacin (depende del
diseador)
4. Realizar el primer corte del diagrama de estructura
Primer nivel de factorizacin, se incorporan mdulos
coordinadores
Estrategia de Diseo:
Transformacin
Mdulos a incorporar
1.1
el
resto
de
los
mdulos
Mdulo
2.1
coordinador
de
1.2
la
Informacin de Entrada, Ce
4.1
2.2
Centro
4.2
de
Flujo de Llegada
Transformacin Flujo de
Salida
transformacin,
que
Diagrama de
Contexto
Cp
los datos, Ct
Mdulo
controlador,
procesamiento
de
del
la
Ce
Ct
informacin de salida, Cs
Nombres representativos
Cs
Estrategia de Diseo:
Transformacin
5. Ejecucin del segundo nivel de factorizacin
a
1.1
1.2
3
2.1
4.1
2.2
Centro
4.2
de
Flujo de Llegada
Transformacin Flujo de
Salida
Cp
z
Ce
1.2
2.2
1.1
2.1
Leer a
Leer b
Ct
3
Cs
4.1
4.2
Escribir
z
Estrategia de Diseo:
Transformacin
6. Refinar la estructura obtenida, utilizando las guas, principios y
conceptos, para un diseo de calidad
Aumentar o Disminuir el N de mdulos (ejemplo Ct)
Incorporar flujos de datos (DFD) y de control
7. Asegurarse del trabajo realizado, representado en el diseo
construido
Verificar funcioanalidad, orden de mdulos, etc.
Estrategia de Diseo:
Transaccin
1. Revisin del Modelo Fundamental del sistema
DFD, mnimo tres niveles
2. Determinar si el DFD tiene caractersticas de Transformacin o
Transaccin
Analizar el centro de transaccin propiamente tal
3. Aislar el centro de Transaccin, especificando los lmites del flujo
de llegada y de salida
El centro de transaccin se encuentra ligado al origen de
varios caminos de informacin que fluyen radialmente de l
4. Realizar el primer corte del diagrama de estructura
Primer nivel de factorizacin, se incorporan mdulos
coordinadores
Estrategia de Diseo:
Transaccin
Mdulos a incorporar
Mdulo principal Cp, que
controla
el
resto
de
los
a
A
mdulos
Mdulo
z
coordinador
de
la
Informacin de Entrada, Ce
transaccin, D
Mdulo
controlador,
los
Ce
informacin de salida,
Ci
C2
C3
Estrategia de Diseo:
Transaccin
a
A
Camino 2
Ce
P
b
z
a
Camino 3
C1
C2
C3
Leer a
P
Leer b
R
Escribir
z
Estrategia de Diseo:
Transaccin
Diseo Detallado
1. Especificacin por interfaz-funcin
Permite definir un mdulo sin entrar en excesivos detalles. La interfaz del
mdulo contiene los parmetros de entrada y de salida, mientras la funcin
del mdulo describe las tareas que este lleva a cabo. Se permite el uso de
tablas, frmulas, lenguaje natural, etc. Permite variar el grado de
formalismo en la definicin del mdulo, generalmente, dando bastante
libertad a los programadores. Su inclusin como comentario en el cdigo
final facilita el mantenimiento.
Ejemplo:
Diseo Detallado
2. Especificacin Mediante las Miniespecificaciones del Anlisis
Este mtodo
especificacin
de
mdulos.
Se
considera,
en
de
especificar
flujo
de
datos
es
suficiente
para
Diseo Detallado
2. Especificacin por pseudocdigo
Pseudocdigo es un lenguaje informal similar al lenguaje estructurado, el
cual es ms preciso y detallado que la especificacin por interfaz-funcin.
Tiene sintaxis fija para constructores, declaracin de datos y mdulos, y
sintaxis libre para describir caractersticas de procesamiento