Sistemas de Transiciones

Sistema: 

Elevador

Componentes del sistema: 

• Elevador: máquina que se encarga de ascender o descender para transportar a la persona de un piso a otro.
• Botones de subir/bajar: se encargan de mandar una señal para saber si el elevador va a ascender o descender.
• Persona: es la persona que utiliza el elevador, para subir o bajar a otro piso. Presiona el botón de ascender o descender.

Cada componente cuenta con estados y acciones.

Elevador

Estados:

• En espera: cuando espera a que la persona presione el botón de subir o bajar.
• En funcionamiento: se dirige al piso donde se encuentra la persona que presionó el botón y cuando la persona se sube se dirige al piso que la persona desee.
• Detención: cuando el elevador se detiene en el piso que presiona la persona.

Transiciones:

• Recibir señal: recibe la señal para dirigirse al lugar donde se encuentra la persona que presiono el botón de Subir/Bajar
• Subir/Bajar: subir o bajar al piso donde se encuentra la persona que presiono el botón  y posteriormente a donde quiere llegar.
• Llegar: llevar a la persona al piso donde desea ir y detenerse.

Posición del elevador:

Estados:

• Arriba: Manda señal al elevador diciendo que va a ascender.
• Abajo: Manda señal al elevador diciendo que va a descender.

Transiciones:

• Ascender: si la persona presiona el botón de subir, el elevador sube/baja a donde se encuentre la persona y asciende al piso deseado.
• Descender: si la persona presiona el botón de subir, el elevador sube/baja a donde se encuentre la persona y desciende al piso deseado.

Persona

Estados:

• Inicio: cuando presiona el botón de subir o bajar.
• Espera: cuando espera a que el elevador llegue a donde se encuentra.

Transiciones:

• Presionar botón Subir/Bajar: cuando la persona llega a un elevador y presiona el botón de subir o bajar.
• Subir/Bajar del elevador: entra al elevador y presiona el botón del piso a donde desea ir o sale en el piso deseado. 

Se realiza un diagrama de transición para ver el comportamiento del sistema en conjunto.

Elevador || Botones || Persona

Estados:

Componente Elevador: A, B, C (detención, espera, en funcionamiento)

Componente Persona: 0, 1(inicio, espera)

Componente Posición del elevador: 0, 1 (arriba, abajo)

Transiciones:

1, 2, 3, 4, 5 (presionar botón, recibir señal, subir, bajar, llegar)

Este diagrama representa el sistema del elevador.

Referencias:

Libro Principles of Model Checking, Christel Baier & Joost-Pieter Katoen.