Sistema de Transiciones

Para ésta entrada se nos pidió realizar un sistema de transiciones, el sistema que modelaré, será lago básico del llenado y vaciado de una cisterna.

Componentes:

• Contenedor: Es donde se almacena el agua.
• Sensor: Es el que nos indica si ya esta lleno o vacío el contenedor.
• Válvula: Es el que abre o cierra la llave, para llenar o vaciar el contenedor.

Descripción de los componentes con estados y acciones:

• Contenedor:
• Estados:
• Vacío
• Llenando
• Lleno
• Vaciando
• Acciones
• get_agua
• set_agua

• Sensor:
• Estados:
• Activo, indicando el sensor que aún se puede ir llenando
• Inactivo, indicando el sensor que ya no puede estar llenando
• Acciones
• get_agua
• set_agua

• Válvula:
• Estados:
• Activo, es cuando abrimos la válvula
• Inactivo, es cuando abrimos la válvula
• Acciones
• Abrir
• Cerrar

Diagrama de transiciones:

Estados:

• Vacío, llenando, lleno, viciando (0,1,2,3)
• Activo, Inactivo (0,1)
• Activo, Inactivo (0,1)

Transiciones:

• get_agua, set_agua, abriendo, cerrando (1,2,3,4)

Referencias:

http://is.ifmo.ru/books/_principles_of_model_checking.pdf