Maquinas de estado finito y algoritmicas

Máquinas de Estado Finito -1-

Ingeniería de Software I

Máquinas de Estado Finito
INTRODUCCIÓN ................................................................................................................ 2 SINTAXIS ............................................................................................................................. 2 SEMÁNTICA........................................................................................................................ 3 EJEMPLO .............................................................................................................................. 3 TRAZAS ................................................................................................................................ 4 EJEMPLO.............................................................................................................................. 4 DEADLOCK ......................................................................................................................... 5 EJEMPLO .............................................................................................................................. 5 SEMÁNTICA DEL DEADLOCK................................................................................................ 5 COMPOSICIÓN DE FSM................................................................................................... 6 SINTAXIS DE LA COMPOSICIÓN ............................................................................................. 7 Ejemplo........................................................................................................................... 7 Sobre la composición ..................................................................................................... 8 EJEMPLO .............................................................................................................................. 9 EXTENSIONES.................................................................................................................. 10 CONDICIONES .................................................................................................................... 10 ACCIONES .......................................................................................................................... 10 VARIABLES........................................................................................................................ 10 Ejemplo ......................................................................................................................... 11 CONDICIONES DE SALIDA DE UN ESTADO ........................................................................... 11 Ejemplo......................................................................................................................... 12 FSMS TEMPORIZADAS ....................................................................................................... 12 Ejemplo ......................................................................................................................... 13 NO DETERMINISMO...................................................................................................... 13 EJEMPLO ............................................................................................................................ 13 MODELO CONCEPTUAL ............................................................................................... 17 EJEMPLO............................................................................................................................ 17 ACLARACIONES ................................................................................................................. 20

Máquinas de Estado Finito -2-

Ingeniería de Software I

Introducción
Las máquinas de estado finito son una herramienta muy útil para especificar aspectos relacionados con tiempo real, dominios reactivos o autónomos, computación reactiva,...