martes, 30 de octubre de 2012

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.



1 comentario:

  1. Las flechas que se ramifican no son sintaxis limpia... 8 pts.

    ResponderEliminar