Maquinas De Estado

ARQUITECTURA DE SOFTWARE
Práctica dirigida 5

1. Construya diagramas DME para los siguientes casos


Caso 1: Ascensores
Un sistema de n ascensores debe ser instalado en un edificio de m pisos.Los ascensores y el mecanismo de control son entregados por el fabricante. Los mecanismos internos de aquellos se asumen como dados. El problema concierne a la lógica para mover los ascensores entrelos pisos teniendo en cuenta las siguientes restricciones:

← Cada ascensor tiene un conjunto de botones, uno para cada piso. Estos se encienden cuando son presionados y esto causa que el ascensorvisite el piso seleccionado. El botón se apaga cuando el ascensor llega al piso en cuestión.
← Cada piso tiene dos botones (excepto la planta baja y la azotea), uno para solicitar un ascensor parasubir y otro uno para bajar. Los botones se encienden cuando son presionados. Se apagan cuando uno de los ascensores se detiene en el piso y o bien continúa en cualquier sentido, o bien se detiene puesno tiene otros pedidos que satisfacer. En este último caso, si los dos botones para solicitar un ascensor están encendidos, sólo uno debe apagarse. El algoritmo para decidir cual solicitud se satisfaceprimero debe minimizar el tiempo de espera para ambos pedidos.
← Cuando un ascensor no tiene más pedidos que servir debe permanecer en su último destino con las puertas cerradas y esperar por máspedidos (también se podría modelar un piso especial de espera).
← Todos los pedidos de ascensores efectuados desde cualquiera de los pisos deben ser eventualmente satisfechos; teniendo todos los pisosigual prioridad.
← Todos los pedidos para ir hacia un piso determinado efectuados desde cualquiera de los ascensores deben ser eventualmente satisfechos; siendo que los pisos son visitadossecuencialmente en el sentido del movimiento.
← Cada ascensor tiene un botón de emergencia que al ser presionado enciende una alarma en la sala de control. El ascensor es puesto fuera de servicio. Cada...