Modelado
Tcnicas de Verificacin
Construccin Incremental
Una forma de verificar que el modelo es
correcto, es usar una tcnica de construccin
incremental.
Esto significa que el modelo es construido por
etapas y que se realiza una corrida al terminar
cada etapa, para verificar que se comporte
como se espera.
Otras
Otras tcnicas de verificacin incluyen contar
los elementos del modelo y agregar
animaciones.
ELEMENTOS Y VALORES
Elementos
Dentro de un modelo de simulacin en Extend,
un elemento es un elemento de un proceso que
est siendo:
rastreado (entidades transitorias); Ej. trabajos,
llamadas telefnicas, pacientes, paquetes de datos.
o utilizado (entidades residentes);
trabajadores, mquinas de fax, computadoras.
Ej.
Los Valores
Los valores proveen informacin de los
elementos y el estado de los procesos
simulados. Los valores pueden ser utilizados
para generar datos de salida.
Por ejemplo, el tiempo de espera en una cola
o tiempo actual de procesamiento de una
actividad. Estos valores son llamados valores
de salida.
Generacin de Elementos
La simulacin de un proceso de negocios tpicamente
comienza con un trabajo entrando al proceso. Las llegadas
son generalmente aleatorias, porque la mayora de
situaciones no cumplen un horario y resulta difcil predecir
la llegada del prximo trabajo.
Los analistas pueden asignar un patrn (una funcin de
distribucin de probabilidad) para el tiempo entre una
llegada y la siguiente. El mtodo ms comn para generar
llegadas aleatorias en Extend es la utilizacin del bloque
"Import" del submen "Generators" de la librera BPR o el
bloque "Generator" de la librera "Discrete Event".
COLAS
Colas
El bloque "Stack" en el submen "Queues" de la librera
"BPR" provee diferentes tipos de colas o lneas de espera:
"FIFO" (primero en entrar primero en salir)
"LIFO" (ltimo en entrar primero en salir)
"Priority" verifica las prioridades de los elementos y elige el
de mayor prioridad (el de menor valor de prioridad, si todos
tuviesen la misma prioridad utiliza el modelo "FIFO")
"Reneging" puede ser usado para especificar cunto
esperar un elemento antes de incumplir o irse
prematuramente (un elemento esperar en cola en orden
"FIFO" hasta que finalice su tiempo de inclumpliento "renege
time", la cantidad mxima de tiempo que un elemento tiene
permitido estar en cola).
BLOQUEOS
Las colas son utilizadas para evitar bloqueos.
Un bloqueo ocurre cuando un elemento
finaliza su procesamiento pero no puede salir
del bloque porque la siguiente actividad no
est lista para recibirlo. El bloqueo puede
ocurrir en procesos en serie donde las
actividades son precedidas por colas.
OBSTACULIZADO
Un proceso se considera obstaculizado cuando
tiene una llegada y una cola muy grande,
entonces
el
elemento
abandona
inmediatamente dicho proceso. El bloque
"Decision" del submen "Routing" de la
librera "BPR" puede ser utilizado para para
modelar la obstaculizacin.
ABANDONO
Otro fenmeno importante en las colas es el
abandono (incumplimiento). Este ocurre cuando
un elemento que est listo en la cola se va antes
de ser liberado por el procesamiento.
Por ejemplo, alguien que cuelga antes de ser
atendido por haber sido puesto en espera. El
tiempo de abandono puede ser ajustado
dinmicamente utilizando el conector "R" del
bloque "Stack" simplemente marcando la casilla
"R".
PRIORIDAD EN COLAS
Una cola que recibe varios elementos a la vez,
debe buscar el elemento de mayor prioridad
para liberarlo. El bloque "Stack" puede ser
ajustado para operar por prioridad al
seleccionar la opcin "Priority" del men popup de la opcin "Type of Stack".