Diagrama de Procesos de Control

(DPC)
Caractersticas del DPC
Componentes del DPC:
Controlador
Controlado
Terminador
Flujo de Control
Espectro de organizacin temporal
Simplicidad/Expresividad

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

Caractersticas del DPC

Tambin conocido como diagrama de flujo de
control.
Creado como una extensin dinmica de un
modelo funcional, en particular del DFD, en
1985 por P. Ward & S. Mellor.
Asume un modelo de control centralizado de
de los componentes (o procesos) del sistema.
No presenta jerarquizacin.

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

...Caractersticas del DPC

Requiere de modelos de comportamiento que
complementen la interaccin representada con
el DPC.
Responde a preguntas tales como:
cmo se organizan en el tiempo los
componentes del sistema?
qu interacciones son posibles entre estos
componentes?
qu controla la realizacin de los
componentes?

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

Componentes de un DPC

El DPC es un grafo dirigido etiquetado con los

siguientes elementos:
controlador
controlado
terminador
flujo de control
Ejemplo:
Cliente

trmino exitoso

error

activar

cliente identificado

cliente no identificado

Identificar
cliente

Control
sesin
cliente

transaccin fall
transaccin OK

activar
activar

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

Realizar
transaccin

Controlador
Rol de coordinacin que ejerce un componente
del sistema, que le permite organizar
temporalmente a los componentes controlados.
Centraliza el control, intermediando en todas
las comunicaciones que ocurren en el sistema.
Supervisa o coordina componentes
controlados, quienes ejercen un rol
complementario.

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

...Controlador
Emite y recibe flujos de control que le
permiten comunicarse con los terminadores,
controlados u otros controladores.
Su comportamiento debe ser descrito con algn
modelo de comportamiento.
Nombre se inicia con la palabra Control.
Representacin:

Control
produccin

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

Controlado
Rol que ejerce un componente del sistema, que
le permite formar parte de la organizacin
temporal coordinada por un componente
controlador.
Es activado por el controlador, en el momento
que le corresponda de acuerdo a la
organizacin temporal.
Puede responder al controlador para informar
sobre el resultado de su realizacin.

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

...Controlado
Su comportamiento puede ser descrito con un
modelo de comportamiento, si su complejidad
lo amerita.
Asumiendo que los componentes pueden ser
procesos, su nombre lleva la forma verbo +
objeto.
Representacin:

Evaluar
crdito
cliente

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

Terminador
Tambin conocido como agente.
Ente externo que interacta con el sistema,
recibiendo y/o emitiendo flujos de control.
Ejemplos: usuario, dispositivo, rol, cargo,
equipo, sistema
Representacin:

Vendedor

Sistema
contable

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

Flujo de Control

Activacin o evento que es comunicado por medio de

una seal binaria.
Existen 2 interpretaciones de los flujos, como:
activacin: emisor da actividad al receptor
evento: emisor comunica algo al receptor
La seal binaria implica 2 valores instantneos que
pueden entenderse como:
on/off
activo/inactivo
verdadero/falso
1/0
true/false
encendido/apagado

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

10

...Flujo de Control

Representacin:

Nombre debe ser significativo de lo que

comunica. Ejemplos:
proveedor asignado
stock insuficiente
cdigo OK

Modelamiento de Sistemas de Informacin: DPC

producto sin stock

[v6.01]

11

...Flujo de Control

activar
Cliente
transaccin
ok
transaccin
fall

Control
transaccin

activar

giro
realizado

activar

depsito
realizado

giro fall
depsito fall
activar

Control
depsito

Control giro
recibo
ok

saldo ok

activar

activar

recibo
ok

activar
saldo
insuficiente

Validar
saldo

giro ok

Realizar
giro

Modelamiento de Sistemas de Informacin: DPC

giro no
realizado

depsito no
realizado

depsito
ok

activar

Emitir
recibo

[v6.01]

Realizar
depsito

12

Espectro de organizacin temporal

Sistema
totalmente
secuencial
todos sus
componentes se
realizan de uno a
la vez

Sistema en parte secuencial

y en parte concurrente
algunos componentes se
realizan de uno a la vez
y otros al mismo tiempo

Sistema
totalmente
concurrente
todos sus
componentes se
realizan al mismo
tiempo

La decisin de qu controlador(es) se necesita(n) para

el DPC de un sistema depende de:
la situacin del sistema dentro del espectro
capacidad de concurrencia de los controladores:
concurrencia intercontroladores e intra
controlador (relacin con la MEF?)

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

13

...Espectro de organizacin
temporal

Un sistema con n controlados requiere, si:

es totalmente secuencial, un nico controlador,
independiente si presenta concurrencia interna.
es totalmente concurrente,
n controladores (sin concurrencia interna)
1 a n controladores (con concurrencia interna)
es en parte secuencial y en parte concurrente, de
1 a n controladores, dependiendo de las secuencias
y concurrencias necesarias

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

14

Ejemplo de DPC de un sistema

totalmente secuencial
Control
recepcin
encomienda

activar
aviso
recibido

activar

retiro
realizado

activar
aviso sin
respuesta
Avisar
recepcin
encomienda

Modelamiento de Sistemas de Informacin: DPC

pago
realizado
Pagar
impuesto
importacin

Retirar
encomienda

[v6.01]

15

Ejemplos de DPC de un sistema

totalmente concurrente
requiere
concurrencia
intracontrolado
r

activar
activar
nueva
suscripcin
ok

Solicitar
suscripcin
Control
nueva
suscripcin

nueva
suscripcin ok

Solicitar
suscripcin

Renovar
suscripcin

Consultar
estado
suscripcin

no requieren
concurrencia
intracontrolado
r

activar
consulta
suscripcin ok

renovacin
suscripcin ok

Renovar
suscripcin

renovacin
suscripcin
ok

Control
consulta
suscripcin

Control
renovacin
suscripcin

activar

activar

consulta
suscripcin
ok

Control
sistema
suscripciones

activar

Consultar
estado
suscripcin

Modelamiento de Sistemas de Informacin: DPC

[v6.01]

16

Simplicidad/Expresividad en DPC
Cliente

activar

transaccin
ok
transaccin
fall
saldo ok

depsito ok

Control
transaccin

activar

depsito no
realizado

activar

saldo
insuficiente

recibo
ok

giro ok
activar

activar
giro no
realizado
Validar
saldo

Realizar
giro

Modelamiento de Sistemas de Informacin: DPC

Emitir
recibo

[v6.01]

Realizar
depsito

17