Para cada proceso del sistema haga lo siguiente:

CONTEXTO DEL PROCESO

1.- Describa el propósito del proceso e identifique su alfabeto (señales de entrada y señales de salida)

Resultado:

     Declaración del Propósito del Proceso;
     Alfabeto del Proceso.

SERVICIOS DEL PROCESO

2.- Identifique los servicios del proceso así:

a.) Evalúe si el proceso puede ser dividido en subcomportamientos independientes, pero que no pueden
ejecutarse simultáneamente (comportamientos cuasiparalelos o “corrutinas”).
b.) Si el proceso puede ser dividido, asigne un nombre apropiado a cada uno de los servicios o
subcomportamientos;
c.) Describa informalmente cada servicio e identifique su alfabeto (señales de entrada y señales de
salida);
d.) Elabore la representación estructural del proceso.

Resultado:

     Conjunto de Servicios del Proceso;
     Representación Estructural del Proceso.

BOSQUEJO DEL PROCESO/SERVICIOS

3.- Elabore un bosquejo de la especificación del proceso/servicios, teniendo como referencia el siguiente
procedimiento:

a.) Identifique los casos de uso más representativos del proceso/servicios (situaciones o secuencias
típicas de interacción con su ambiente);
b.) Describa cada uno de estos casos de uso;
c.) Empezando desde el símbolo START, construya un árbol de estados que cubra estos casos de uso del
proceso (o un árbol de estados por cada servicio), pero usando solamente los símbolos INPUT y
OUTPUT.

Resultado:

     Casos de Uso típicos del Proceso/Servicios;
     Bosquejo del Proceso/Servicios.

ESPECIFICACIÓN INFORMAL DEL PROCESO

4.- Elabore la especificación informal del proceso, teniendo en cuenta el siguiente procedimiento:

a.) Adicione los símbolos TASK y DECISION que sean requeridos en las transiciones, pero utilice sólo
texto informal;
b.) Incluya los temporizadores que sean requeridos para supervisión de tiempo;
c.) Identifique y defina posibles trayectorias adicionales, considerando para cada estado todo el
conjunto de señales de entrada. Use el símbolo SAVE cuando sea necesario;
d.) Revise las TASKs definidas y reemplace las que estime convenientes por llamadas a procedimientos,
dándoles un nombre apropiado. Describa informalmente cada procedimiento y efectúe su respectiva
declaración;
e.) Identifique las TASKs que correspondan a creación de procesos y reemplácelas por el símbolo
CREATE.

Resultado:

     Especificación Informal del Proceso.

FORMALIZACIÓN

5.- Complete y formalice la especificación del proceso, teniendo en cuenta el siguiente procedimiento:

a.) Asegúrese que todos los temporizadores están definidos completa y formalmente;
b.) Defina informalmente los nuevos tipos de datos que sean requeridos;
c.) Introduzca debidamente formalizados los parámetros en llamadas a procedimientos, creaciones de
procesos, INPUTs y OUTPUTs. Asegúrese de declarar adecuadamente las variables que se requieran.
d.) Reemplace las TASKs por expresiones formales. Asegúrese de declarar correctamente las variables
que sean necesarias;
e.) Formalice la definición de los nuevos tipos de datos definidos previamente de manera informal;
f.) Complete la especificación del proceso desde el punto de vista semántico y sintáctico;
g.) Para los procedimientos que así lo ameriten, elabore su especificación formal teniendo como
referencia los pasos 3, 4 y 5.

Resultado:

     Especificación Formal del Proceso.