Tarea 9: Sistema de Transiciones

Sistema: Tostador de Pan

Componentes:

• Tostador: El tostador en sí es el que regula cuando se baja el resorte, cuando se sube y que hacer mientras estas transiciones ocurren.
• Resorte: El resorte, por lo menos en los tostadores pasados, es el que se encargaba de bajar el pan y encender el tostador para calentarlo, y subirlo cuando este estuviera listo.
• Persona(facor externo): Si bien una persona no es parte del sistema de un tostador, es el elemento que da entrada al sistema para que se puedan realizar las transiciones.Esta entrada es insertar el pan en el tostador y presionar el botón para que se inicie a calentar el pan.

Los diagramas de los componentes se pueden ver a continuación:

Persona

• Estados:
• Inicio: La persona se encuentra sin realizar nada con el tostador.
• Espera: La persona espera a que el pan se tueste.
• Acciones Involucradas:
• Insertar Pan: La persona inserta el pan al tostador.
• Devolver Pan: El tostador devuelve el pan.

Tostador

• Estados:
• Standby: El tostador permanece esperando a que se inserte el pan.
• Pan Dentro. El pan es insertado y se espera a que el resorte baje para calentar el pan.
• Calentando Pan: El resorte baja y se inicia calentar el pan, al terminar se sube el resorte.
• Fin: El pan es devuelto tostado a la persona, y se regresa al estado de inicio.
• Acciones Involucradas:
• Insertar Pan: La persona inserta el pan al tostador.
• Devolver Pan: El tostador devuelve el pan.
• Bajar resorte: El tostador baja el resorte para calentar el pan.
• Subir resorte: El tostador sube el resorte para devolver el pan.

Resorte

• Estados:
• Arriba: El resorte se encuentra estirado, o en la parte de arriba esperando una entrda(insertar pan).
• Abajo: El resorte se encuentra comprimido, o en la parte de abajo , calentando el pan.
• Acciones Involucradas:
• Subir resorte: Subir el resorte para devolver el pan.
• Bajar resorte: Bajar el resorte para calentar el pan.

Diagrama de transiciones:

El diagrama de transiciones se puede observar a continuación. En el se puede observar que al realizar transiciones desde el primer componente (Persona) los demás pueden ser modificados. Por ejemplo, al insertar el pan en el primer componente, se cambia al estado esperar. En el segundo componente se cambia al estado Pan Dentro, pero el tercero permanece inmutado. 

Para simplificar el diagrama, se toma lo siguiente:

Estados:

0, 1 = Estados del componente Persona (Inicio, Espera)

A, B, C, D = Estados del componente Tostador(Standby, Pan Dentro, Calentando Pan, Fin)

X, Y = Estados del componente resorte (Arriba, Abajo)

Acciones:

1, 2, 3, 4: insertar_pan, devolver_pan, bajar_resorte, subir_resorte

Referencias:

• Principles of Model Checking