|
Y los sistemas artificiales son productos humanos :D Un amigo que se está doctorando en Valencia me ha pasado ésto:
"A lift base system was described in M. Berry. Proving properties of
the lift system. Master's thesis, School of Computer Science,
University of Birmingham, 1996.
Features of the lift system. The following features of the lift system
were described using our feature construct, and then integrated into
the base system using the feature integrator:
Parking. When a lift is idle, it goes to a specified floor (typically
the ground floor) and opens its doors. This is because the next request
is expected to be at the specified floor. The parking floor may be
different at different times of the day, anticipating upwards-travelling
passengers in the morning ad downwards-travelling passengers in the
evening.
Lift-2/3-full. When the lift detects that it is more than two-thirds
full, it does not stop in response to landing calls, since it is
unlikely to be able to accept more passengers. Instead, it gives
priority to passengers already inside the lift, as serving them will
help reduce its load.
Overloaded. When the lift is overloaded, the doors will not close. Some
passengers must get out.
Empty. When te lift is empty, it cancels any calls which have been made
inside the lift. Such calls were made by passengers who changed their
mind and exited the lift early, or by practical jokers who pressed
lots of buttons and then got out.
Executive Floor. The lift fives priority to calls from the executive
floor.
---------
Esas features se utilizan en el paper: "Plug-and-play features" de Malte
Plath y Mark Ryan como caso de prueba para su sistema SFI descrito en el
mismo paper.
Basicamente una feature es un "pegote" de codigo que se añade al
original para modificar su funcionalidad. El problema de las "feature
integration" es que, si bien caa una de las features del ascensor
pueden ser integradas individualmente, al añadir varias de ellas se
obtienen comportamientos no deseados.
Aqui en el DSIC tenemos dos ascensores que viajan desde la planta 0
a la 3. En uno de ellos si quieres bajar a un piso intermedio (1 o 2)
pero alguien lo llama desde abajo, primero te pasea hasta la planta 0
y luego te lleva a tu planta. Creo que eso corresponde con la feature
de la Executive Floor :P"
|