PDF de programación - SISTEMAS DE INFORMACIÓN PARA ADMINISTRACIÓN DE OPERACIONES

SISTEMAS DE INFORMACIÓN PARA

ADMINISTRACIÓN DE OPERACIONES

2003

CIMOSA Reglas

CIMOSA describe el comportamiento de procesos
CIMOSA
reglas.
estructurados y sin estructura por medio de reglas

Procesos con estructura

Reglas disparadoras de procesos
Reglas de secuenciamiento forzado
Reglas de secuenciamiento condicional
Reglas de paralelización
Reglas Rendez-vous
Reglas de repetición
Reglas de terminación de procesos

Procesos sin estructura

Reglas de elección en tiempo de ejecución
Reglas de conjuntos sin orden
Reglas temporales
Reglas de exepción

1

Reglas disparadoras de procesos
Reglas disparadoras de procesos

WHEN (START WITH event-i) DO EF1

EFiEFi: función de la empresa, esto representa tanto una
actividad como un proceso
actividad
El proceso comienza con la función EF1 en cualquier
momento que ocurra el evento event-i

proceso de de negocio
negocio

WHEN (START WITH event-i AND event-j)

DO EF1

El proceso comienza cuando ocurren el evento-i y el
evento-j. Uno de ellos podría ser un “timer”.

Reglas de secuenciamiento forzado
Reglas de secuenciamiento forzado

WHEN (ES(EF1) = any) DO EF2

) = stati

ES(ES(EFiEFi) =
stati
resultado igual a stati

stati ; ; establece que la función produce un

Estas reglas se emplean cuando la función EF2 debe
ser ejecutada luego de la función EF1, cualquiera sea el
estatus de terminación de EF1. “any” es una palabra
reservada.

2

Reglas de secuenciamiento condicional
Reglas de secuenciamiento condicional

Estas reglas se emplean para representar condiciones
de ramificación en el flujo de control, siendo
equivalente a un OR.

WHEN (ES(EF1) = estat_final_1) DO EF2
WHEN (ES(EF1) = estat_final_2) DO EF3
WHEN (ES(EF1) = estat_final_3) DO EF4

La condición de ramificación depende el estatus de
terminación de la función.

Reglas de paralelización
Reglas de paralelización
Estas reglas se emplean para la ejecución paralela de
funciones en un flujo de control. & es el operador de
paralelización. Se pueden definir dos tipos de reglas.

Paralelización asincrónica

WHEN (ES(EF1) = value) DO EF2 & EF3 & EF4

Paralelización sincrónica (todas las funciones que
aparecen en el consecuente deben comenzar
simultáneamente).

WHEN (ES(EF1) = value)

DO SYNC (EF2 & EF3 & EF4)

SYNC es una palabra reservada.

3

Regla Rendez-vous
Regla Rendez-vous
Estas reglas se emplean para sincronizar la terminación
de reglas de paralelización.

WHEN (ES(EF2) = value_2 AND ES(EF3) = value_3

AND ES(EF4) = value_4 ) DO EF5

Regla de Repetición
Regla de Repetición
Estas reglas se emplean para ejecutar nuevamente una
función.

WHEN (ES(EF1) = value ) DO EF1

Regla terminación de procesos
Regla terminación de procesos
Estas reglas se emplean para finalizar procesos. Las
cláusulas de éstas contienen la palabra reservada FINISH.

WHEN (ES(EF2) = fin_estat_x) DO FINISH

El antecedente de
combinación de condiciones mediante el conectivo AND.

las reglas puede contener una

4

Reglas de elección en tiempo de ejecución
Reglas de elección en tiempo de ejecución
Estas reglas se emplean cuando hay una elección exclusiva
entre un conjunto de opciones. Se ejecutará una única
función

WHEN (ES(EF1) = fin_estat_1) DO (EF1 | EF2 | EF3)

Reglas de conjuntos sin orden
Reglas de conjuntos sin orden
Estas reglas se especifican que un conjunto de funciones
deben ser ejecutadas a continuación, pero que se desconoce el
orden.

WHEN (ES(EF1) = fin_estat_1) DO A = {EF1 , EF2 , EF3}

Reglas temporales
Reglas temporales
El flujo de control para un conjunto de funciones sin orden
pueden ser restringido a ser governado por relaciones establecidas
por la lógica temporal de Allen:

A before B

A

B

A equals B

A
B

A meets B

A

B

fin(A)<comi(B)

fin(A)=fin(B)

fin(A)=comi(B)

A overlaps B

A includes B

A starts B

A finishes B

A

B

A
B

A

B

A

B

comi(A)<comi(B) comi(A)<comi(B) comi(A)=comi(B) comi(B)<fin(A)
comi(B)<fin(A)
fin(A)=fin(B)
fin(A)<fin(B)

fin(B)<fin(A)



5

de manejo

manejo de

de exepción
exepción

Reglas de
Reglas
Estas reglas se definen para detectar situaciones anormales y
reaccionar a las mismas.

Timeout: define el tiempo máximo de duración del
Timeout:
proceso. Si se excede el tiempo de duración, el
proceso se aborta y se llama un procedimiento
procedimiento de de
manejo de
manejo
timeaout(10000):
timeaout

de excepciones
excepciones..
(10000): CreateEvent

CreateEvent(e10)
(e10)

Watch-dogs: son mecanismos en los cuales se define una
Watch-dogs:
condición. Sí la condición es true, se ejecuta la
acción de la regla watch-dog.
watch-dog.

El comportamiento de un Proceso de Dominio o de un
Proceso de Negocio
encuentra
en CIMOSA,
completamente especificado por la sintáxis

se

Comportamiento de Proceso: <reglas de comportamiento>

[Subject to <reglas temporales>]
[Exception Handling: <reglas de exception>]
End Process

<reglas de comportamiento> := <regla> <próximas-reglas>
<proximas-reglas> := <regla> <próximas-reglas> | NIL
<regla> := WHEN (<condición>) DO <acciones>
<reglas temporales> := <antes> | <durantes> | <comenzar> | <terminación> |
<encontrar>
<reglas de exepción> := <time-out> | <watch-dog> | ……..

6

S41

e3

EA3

e1

S3

S21

e3

EA1

S1

EA2

START

S42

EA4

S22

BP1

S11

BP2

S21

EA5

EA6

S5

EA7

B

Process P1
TRIGGERING EVENTS: e1
ENDING STATUSES: s5
PROCESS BEHAVIOUR:

END PROCESS

Timeout(10000): CreateEvent (e10)

WHEN (START WITH e1) DO EA1
WHEN (ES(EA1) = s1) DO EA2
WHEN (ES(EA2) = s21) DO EA3
WHEN (ES(EA2) = s22) DO EA4
WHEN (ES(EA3) = s3) DO EA1
WHEN (ES(EA4) = s41) DO EA3
WHEN (ES(EA4) = s42) DO SYNC (BP1 & BP2)
WHEN (ES(BP1) = s1 AND ES(BP2)=s21)

DO B = {EA5 , EA6 , EA7}

WHEN (ES(B) = s5) DO FINISH
SUBJECT TO EA6 BEFORE EA7
EXCEPTION HANDLING

7

ESPECIFICACIÓN DE FUNCIONALIDAD

Las actividades

actividades definen las funcionalidades

funcionalidades de la empresa.

entidades
entidades
funcionales
funcionales

r
e
c
u
r
s
o

vista de
vista de
objetos
objetos

entrada

actividad
actividad

salida
salida

vista de
vista de
objetos
objetos

Especificación de
Especificación

de Actividad
Actividad

Identificador y nombre
nombre
••
Identificador
Objetivos, restricciones
•• Objetivos
Descripción de
•• Descripción
Entradas de
•• Entradas
El El conjunto

restricciones y reglas declarativas
reglas declarativas
de las funciones
función
de función
de vistas de objetos

las funciones de

objetos a ser

de transformación
transformación

a ser procesados

procesados o o

(vistas de objetos físicos

objetos físicos o o

conjunto de vistas de
transformados (vistas de
transformados
información).).
información
función
de función

de vistas de objetos

conjunto de vistas de
transformados (vistas de
transformados
información).).
información

••

Salidas de
Salidas
El El conjunto

objetos a ser

a ser producidos

producidos o o

(vistas de objetos físicos

objetos físicos o o

8

Evento::
Evento

Procesar orden

de cliente

Vista de objeto
objeto::
Vista de
Orden-cliente
Id-cliente:
ListItemes:
Fecha-entrega:

Vista de objeto
objeto::
Vista de
BD-Partes
Part#:
Precio:
. . . . . . . .

Vista de objeto
objeto::
Vista de
BD-Clientes
Id-cliente:
Domicilio:
. . . . . . . .

Actividad:: Obtener
Actividad
detalles de orden

START

de Dominio
Dominio:
Proceso de
Proceso
Procesamiento
de
Ordenes de Clientes

Completado

Vista de objeto
objeto::
Vista de
Orden-completada
Id-cliente:
Domicilio:
ListItemes(Part#,Precio)

Entrada de
Entrada

de función
función

Salida de
Salida

de función
función

Especificación de
Especificación

de Actividad
Actividad

•• Entrada

Entrada de control
de control
El conjunto de vistas de objetos usados como control

o restricciones, pero no modificados o
transformado por la actividad (vistas de objetos
información).

••

Salida de control
de control
Salida
El conjunto de las condiciones de terminación al

finalizar la actividad o la lista de eventos
generados por la actividad.

9

Evento::
Evento

Procesar orden

de cliente

Vista de objeto
objeto::
Vista de
BD-Partes
Part#:
Precio:
. . . . . . . .

Vista de objeto
objeto::
Vista de
BD-Clientes
Id-cliente:
Domicilio:
. . . . . . . .

Vista de objeto
objeto::
Vista de
Orden-cliente
Id-cliente:
ListItemes:
Fecha-entrega:

Entrada de control
de control
Entrada

Salida de control
de control
Salida

Completado

Actividad:: Obtener
Actividad
detalles de orden

START

de Dominio
Dominio:
Proceso de
Proceso
Procesamiento
de
Ordenes de Clientes

Vista de objeto
objeto::
Vista de
Orden-completada
Id-cliente:
Domicilio:
ListItemes(Part#,Precio)

Entrada de
Entrada

de función
función

Salida de
Salida

de función
función

•• Recurso

Recurso de

Especificación de
Especificación
entrada
de entrada

de Actividad
Actividad

El conjunto de entidades funcionales
recursos requeridos para ejecutar la actividad.
recursos

entidades funcionales empleadas como

•• Recurso

Recurso de

salida
de salida
vista de objetos
Una vista de
recursos de
de recursos
reportar el empleo de recursos (opcional).

de información
recursos empleados como recursos

objetos de

información sobre los objetos
entrada para

de entrada

•• Duración máxima

Duración máxima y

y mínima
mínima

El tiempo que toma ejecutar una ocurrencia de la
actividad

• Especificación del comportamiento de la actividad

La función de transformación se especifica bajo la
forma de un algoritmo empleando operaciones
funcionales

•• Estados

Estados finales
finales

10

EV-5-Ejecución-
Requerida

BP-51
Schedule
de
Operaciones

Comp

START

DP-5 Ejecución
del Plan de
producción

Mod-Comp

EA-51
Presentar
Schedule
3 5 10

Mod-Req

EA-52
Modificar
Schedule
5 8