Para esta semana, basándonos en los ejemplos del libro teníamos que modelar un sistema de transiciones, yo me base en los ejemplos 2.29 y 2.30 para modelar mi ejemplo.
El sistema que implementare es sobre la elaboración de rollos de acero
El sistema tiene tres componentes:
La materia prima que es el hierro traído desde las minas
El horno de fundición del acero
El patio donde se enfrían los rollos de acero
Estos componentes tienen estados y transiciones:
La materia prima.
Estados:
Natural: cuando el hierro es recién extraído de la mina y esta en su estado puro.
Preparada: se le agregan componentes químicos y preparación especial.
Acción:
Tratamiento: se alista para ir a prepararla con los componentes
Transporte: Se lleva en contenedores especiales hasta el horno
El horno de fundición.
Estados:
Fundiendo: se calienta el hierro junto con los demás componentes
Despachando: sale el acero en estado líquido
Acción:
Se ingresan los materiales: Se ponen los materiales necesarios
Generación de acero: alcanzando el punto ideal de calentado para obtener el acero
El patio de enfriamiento:
Estados:
Espera: no se encuentran estantes para poder poner los rollos de acero
Disponible: si hay estantes para poder poner los rollos de acero
Acción:
Transporta: se lleva con grúa el rollo
Vender: se venden los rollos de acero
Diagrama:
Veamos todos estos componentes trabajando al mismo tiempo en su representación en un grafo.
Estados:
{0}{1} -> Materia prima {Natural} {Preparada}
{0}{1} -> Horno de fundición {Fundiendo} {Despachando}
{0}{1} -> Patio de Enfriamiento {Espera} {Disponible}
Acciones:
[A] Ir a tratamiento
[B] Se transporta
[C] Se ingresan los materiales
[D] Generación de acero
[E] Se transportan los rollos
[F] Se venden los rollos
Y eso sería todo.
Bibliografía: Principles of Model Checking
OK, 10.
ResponderEliminar