Especificacin de Procesos (EP)

Definiciones
Esencia de la especificacin
Relacin entre DFD y EP
Pre y post-condiciones
Lenguaje estructurado

Modelamiento de Sistemas de Informacin: EP

[v6.04]

Definiciones
Tambin conocidas como descripcin de
procedimientos o mini-especificaciones.
Propsitos:
Describir qu sucede en cada proceso
elemental del DFD.
Definir lo que debe hacerse para
transformar las entradas en salidas.
Representar en detalle la esencia o lgica
del dominio del sistema.

Modelamiento de Sistemas de Informacin: EP

[v6.04]

Esencia de la Especificacin
Se debe destilar la esencia del
procedimiento: qu debe hacer el proceso?
No debe describirse ninguna implementacin
de esta esencia: NO cmo el proceso realiza

lo que tiene que hacer

Ejemplo muy hipottico (pero didctico):

x

Modelamiento de Sistemas de Informacin: EP

factor w

Calcular
factor w

[v6.04]

...Esencia de la Especificacin
Procedimiento descrito por un usuario:

1. El factor w, que lo calculamos para un valor dado de x, es el

resultado de varias operaciones a partir de un valor inicial.
Nosotros preferimos usar el nmero 14 como primera
estimacin.
2. Dividimos x por la estimacin.
3. Restamos esta divisin a la estimacin y el resultado lo
dividimos por 2. Este resultado es nuestra nueva estimacin.
4. Si la nueva estimacin y la anterior son muy parecidas,
digamos con una diferencia menor a una diez milsima,
entonces podemos detenernos. La nueva estimacin es el
factor w. De otro modo, tenemos que volver al paso 2,
repitiendo todo.

Modelamiento de Sistemas de Informacin: EP

[v6.04]

...Esencia de la Especificacin
Descripcin matemtica compacta del
procedimiento descrito anteriormente:
w0 = 14
REPETIR para n = 0 en pasos de 1
wn+1 = ( wn - x / wn ) / 2
HASTA | wn+1 - wn | < 0.0001

Esta no es la esencia del procedimiento!

(por qu?)
Modelamiento de Sistemas de Informacin: EP

[v6.04]

...Esencia de la Especificacin
Una descripcin de la esencia no depende de
ninguna implementacin especfica, sino que
debe permitir diferentes implementaciones.
Usando pre y post-condiciones para el
procedimiento anterior:
PRE-CONDICION
Ocurre un nmero x no negativo

POST-CONDICION
Se produce un factor w tal que x = factor w * factor w

Modelamiento de Sistemas de Informacin: EP

[v6.04]

Relacin entre DFD y EP

Existe una EP para cada proceso
elemental en el DFD y viceversa.
EP debe respetar el entorno local del
proceso:
recibir entrada(s)
emitir salida(s)
consultar depsito(s)
actualizar depsito(s)
Modelamiento de Sistemas de Informacin: EP

e
g

Proceso
elemental

f
X
Y

[v6.04]

...Relacin entre DFD y EP

No requieren EP

a
b

b
3

Sistema

Diagrama 0

Diagrama de Contexto

3.1
3.2

Si son procesos
elementales requieren
una EP cada uno

Diagrama 3
3.3

3.4

z
Modelamiento de Sistemas de Informacin: EP

[v6.04]

...Relacin entre DFD y EP

Ley de la Complejidad Inevitable:

Nivel ms bajo de granularidad: Cuanto

menor sea el tamao de los procesos
elementales

ms simples tienden a ser las EP respectivas y

ms complejo el DFD.

Nivel ms alto de granularidad: Cuanto

mayor sea el tamao de los procesos
elementales

ms complejas tienden a ser las EP respectivas

ms simple el DFD.

Modelamiento de Sistemas de Informacin: EP

[v6.04]

Pre y Post-Condiciones (PPC)

Describen la funcin que debe realizar el
proceso en el sistema sin usar algoritmos.
Son particularmente tiles cuando:
se conoce el procedimiento slo en trminos de su
implementacin
el modelador considera la aplicabilidad de distintos
algoritmos, pero su evaluacin cabe en etapas
posteriores del desarrollo del sistema
el modelador desea definir el proceso como una
caja negra (o a lo ms gris)
Modelamiento de Sistemas de Informacin: EP

[v6.04]

10

nota de venta

...PPC

tem con error

Ejemplo:

Calcular
impuesto a
la venta

impuesto a la venta

CATEGORIAS IMPUESTO

PRE-CONDICION 1
Ocurre nota de venta con tipo item que concuerda con categora
item en el depsito CATEGORIAS IMPUESTO
POST-CONDICION 1
Se emite impuesto a la venta como monto venta * impuesto
PRE-CONDICION 2
Ocurre nota de venta con tipo item que NO concuerda con
categora item en el depsito CATEGORIAS IMPUESTO
POST-CONDICION 2
Se genera item con error incluyendo tipo item
Modelamiento de Sistemas de Informacin: EP

[v6.04]

11

Pre-Condicin
Describe todo lo que debe darse antes que el
proceso se ejecute.
Se lee: Para que el proceso pueda iniciarse es
necesario que...
Puede considerar una o ms posibilidades:
estmulo activador
relaciones entre entradas
relaciones entre entradas y depsitos
relaciones intra/inter depsitos
Modelamiento de Sistemas de Informacin: EP

[v6.04]

12

...Pre-Condicin
Estmulo activador. Ejemplo:

tasa inters

PRE-CONDICION
Ocurre cierre de mes
observacin

Emitir
estados de
cuenta

estados de cuenta

CLIENTES

En el ejemplo:

TRANSACCIONES

cierre de mes es el estmulo activador (sin flujo de datos) del

proceso Emitir estados de cuenta
el proceso solicita las entradas tasa inters y observacin
tasa inters y observacin no son necesarios para que se inicie el
proceso
una vez reunidas todas las entradas, se emite finalmente estados
de cuenta

Modelamiento de Sistemas de Informacin: EP

[v6.04]

13

...Pre-Condicin
Relaciones entre las entradas.
Ejemplos:
datos con un mismo valor
Ocurre temperatura del horno que concuerda con
temperatura del programa

valores dentro de cierto rangos

Ocurre temperatura del horno mayor que 500C, pero
menor que 800C

Modelamiento de Sistemas de Informacin: EP

[v6.04]

14

...Pre-Condicin
Relaciones entre entradas y depsito de
datos.
Ejemplo:
valor de entrada debe ser igual a un dato
en el depsito
Ocurre un pedido cliente con nmero cuenta cliente
que corresponde con un nmero cuenta cliente en el
depsito CLIENTES

Modelamiento de Sistemas de Informacin: EP

[v6.04]

15

...Pre-Condicin
Relaciones intra e inter depsitos.
Ejemplos:
Intra depsito
Existe un pedido en el depsito PEDIDOS con fecha
envo igual a la fecha actual

Inter depsitos
Existe un pedido en el depsito PEDIDOS que
corresponde, a travs del relacionamiento es hecho
por, a un cliente en el depsito CLIENTES
Modelamiento de Sistemas de Informacin: EP

[v6.04]

16

Post-Condicin
Describe todo lo que debe darse despus que
el proceso se haya ejecutado.
Se lee: Una vez que el proceso haya
finalizado se cumple que...
Puede considerar una o ms posibilidades:
salidas generadas
relaciones entre entradas y salidas
relaciones entre salidas y depsitos
cambios en los depsitos
Modelamiento de Sistemas de Informacin: EP

[v6.04]

17

...Post-Condicin
Salidas generadas. Ejemplo:
Se emitir una ficha mdica
(por qu es suficiente esto en algunos casos?)

Relaciones entre entradas y salidas.

Ejemplos:
Se produce un factor w tal que x = factor w * factor w
factura total se calcula como la suma de cada precio
unitario de artculo multiplicado por cantidad ms
costo envo
Modelamiento de Sistemas de Informacin: EP

[v6.04]

18

...Post-Condicin
Relaciones entre salidas y
depsitos. Ejemplo:
Se incrementa stock actual con cantidad
recibida en el depsito ARTCULOS y se
emite el nuevo stock actual

Modelamiento de Sistemas de Informacin: EP

[v6.04]

19

...Post-Condicin
Cambios en los depsitos. Ejemplos:
agregacin

Se anexa suscripcin al depsito

SUSCRIPCIONES

eliminacin

Se elimina cliente del depsito CLIENTES

modificacin

Se actualiza status trabajo como terminado

en el depsito TRABAJOS
Modelamiento de Sistemas de Informacin: EP

[v6.04]

20

Alternativas en las PPC

El 1er par de PPC debe tratar de la
situacin estndar, normal o ms comn.
A partir del 2 par de PPC se deben
tratar las variaciones (alternativas y/o
excepciones) con respecto a la situacin
del 1er par de PPC.
Agregar tantos pares de PPC como sean
necesarios para todos los casos que se
desee considerar.
Modelamiento de Sistemas de Informacin: EP

[v6.04]

21

...Alternativas en las PPC

Ejemplo de un procedimiento descrito
por un cajero de un local de ventas:

Si un cliente me dice que tiene crdito al venir a

pagar la nota de venta, verifico su cuenta en el
sistema. Si la encuentro y no est calificada como
suspendida o cancelada, registro el cargo en su
cuenta con el valor de la venta y emito una factura
con sus datos y los de la compra. Si la cuenta tiene
algn impedimento, informo al cliente que tendr
que pagar en efectivo o hablar con el jefe de
ventas para obtener una autorizacin.

Modelamiento de Sistemas de Informacin: EP

[v6.04]

22

...Alternativas en las PPC

PRE-CONDICIN 1
Ocurre nota de venta con rut que corresponde a rut en el depsito CLIENTES con
estado cuenta igual a activa
POST-CONDICIN 1
Se registra valor venta en depsito TRANSACCIONES asociado, por medio del
relacionamiento realiza, al depsito CLIENTES y se emite factura con rut, nombre
cliente, direccin cliente, monto venta y fecha actual
PRE-CONDICIN 2
Ocurre nota de venta con rut que corresponde a rut en el depsito CLIENTES con
estado cuenta distinto a activa
POST-CONDICIN 2
Se genera crdito rechazado incluyendo rut y estado cuenta
PRE-CONDICIN 3
PRE-CONDICIN 2 falla por algn motivo
POST-CONDICIN 3
Se genera cuenta invlida incluyendo rut
Modelamiento de Sistemas de Informacin: EP

[v6.04]

23

Conjuntos de PPC
Verdadera

Verdadera
ejecutar proceso con
post-condicin i

SI

...

pre-condicin i

Falsa

SI

ejecutar proceso con

post-condicin i+1

pre-condicin i+1

existe
pre-condicin i+1?

Falsa

NO

Modelamiento de Sistemas de Informacin: EP

[v6.04]

...

NO ejecutar el
proceso

24

Lenguaje Estructurado
Histricamente, es el primer mtodo de
especificacin.
Se focaliza en el aspecto procedimental
del proceso.
Puede dificultar la captura de la esencia
del procedimiento (por qu?).
til para especificar procesos
propuestos en trminos algortmicos (p.
ej. una heurstica).
Modelamiento de Sistemas de Informacin: EP

[v6.04]

25

Espaol Estructurado
Subconjunto de la lengua materna con
restricciones lxicas y sintcticas.
Ejemplo de acciones en espaol
estructurado:
x = ( y * z ) / ( q + 14 )
calcular x = ( y * z ) / ( q + 14 )
fijar impuesto ventas como 19%
multiplicar precio unitario por cantidad para obtener total parcial
asignar rendimiento como ganancias actuales dividido por prdidas
actuales
Modelamiento de Sistemas de Informacin: EP

[v6.04]

26

Espaol Estructurado
Acciones: verbo activo + objeto
Ejemplos de verbos ms usados:
leer/aceptar/recibir
emitir/mostrar/escribir
sumar
restar
multiplicar
dividir
calcular
incrementar
decrementar
Modelamiento de Sistemas de Informacin: EP

acceder
fijar/asignar
borrar
encontrar
validar
rechazar
reemplazar
agregar
ordenar
[v6.04]

27

...Espaol Estructurado
Objetos deben pertenecer a:

Entorno local del proceso: flujos de datos

(entradas y salidas), depsitos de datos y
sus componentes.
Trminos locales: datos conocidos,
relevantes y significativos slo dentro de la
EP. Ejemplos:
sumas parciales para un total
datos para comparacin interna
constantes en general

Modelamiento de Sistemas de Informacin: EP

[v6.04]

28

...Espaol Estructurado
Estructuras bsicas de control:
Seleccin binaria (2 alternativas): SIENTONCES-SINO
Seleccin mltiple (3 o ms alternativas): CASO
Repeticin: HACER-MIENTRAS, PARA

Es posible construir estructuras ms

complejas a partir de las bsicas usando:
secuenciacin
anidamiento
Modelamiento de Sistemas de Informacin: EP

[v6.04]

29

...Espaol Estructurado
Seleccin binaria SI-ENTONCESSINO. Ejemplos:
SI cliente tiene ciudad domicilio igual a Valparaso
ENTONCES
agregar cliente a prospecto
FIN-SI
SI edad cliente es mayor que 65 ENTONCES
fijar cuota como cuota tercera edad
SINO
fijar cuota como cuota normal
FIN-SI
Modelamiento de Sistemas de Informacin: EP

[v6.04]

30

...Espaol Estructurado
Seleccin mltiple CASO. Ejemplo:
HACER CASO
CASO edad cliente < 13
fijar cuota como cuota nios
CASO edad cliente > 12 y edad cliente < 20
fijar cuota como cuota adolescente
CASO edad cliente > 19 y edad cliente < 65
fijar cuota como cuota adultos
OTRO
fijar cuota como cuota tercera edad
FIN-CASO
Modelamiento de Sistemas de Informacin: EP

[v6.04]

31

...Espaol Estructurado
Repeticin HACER-MIENTRAS. Ejemplo:
HACER MIENTRAS haya artculo en pedido cliente
total = total + precio unitario * cantidad
FIN-MIENTRAS

Repeticin PARA. Ejemplo:

PARA todo cliente con correo electrnico no vaco
calcular oferta crdito como 1,2 * cupo autorizado cliente
emitir mensaje cliente incluyendo correo electrnico y oferta
crdito
FIN-PARA
Modelamiento de Sistemas de Informacin: EP

[v6.04]

32

...Espaol Estructurado
Ejemplo:
gran total = 0
PARA cada pedido en el depsito PEDIDOS
total pedidos = 0
leer pedido del depsito PEDIDOS
PARA cada producto en el depsito PRODUCTOS EN PEDIDO de acuerdo a nmero
pedido
total pedidos = total pedidos + cantidad producto
FIN-PARA
mostrar nmero pedido y total pedidos
gran total = gran total + total pedidos
FIN-PARA
mostar gran total
Modelamiento de Sistemas de Informacin: EP

[v6.04]

33