Professional Documents
Culture Documents
MQUINAS DE ESTADO
CUADRO COMPARATIVO
LAS MAQUINAS DE ESTADO CONCURRENTES
Las secciones concurrentes del diagrama de estados son lugares en los que, en cualquier punto, el pedido est en dos estados diferentes, uno por cada diagrama. Cuando el pedido deja los estados concurrentes, se encuentra en un solo estado. Se puede ver que un pedido se inicia tanto en el estado Comprobando como en el estado Autorizando. Si la actividad de "comprobacin de pago" del estado Autorizando se completa inicialmente de modo exitoso, entonces el pedido estar en los estados Comprobando y Autorizado. Si sucede el evento" cancelar", entonces el pedido slo estar en el estado Cancelado. Los diagramas de estados concurrentes son tiles cuando un objeto dado tiene conjuntos de comportamientos independientes. Ntese, sin embargo, que no se debe permitir que sucedan demasiados conjuntos de comportamientos concurrentes en un solo objeto. Si se tienen varios diagramas de estados concurrentes complicados para un solo objeto, se deber considerar la divisin del objeto en varios. Aceptoras (tambin llamadas reconocedoras o discriminadoras): Son aquellas en donde la salida es binaria (s/no), depende nicamente del estado y existe un estado inicial. Puede decirse, entonces, que cuando la mquina produce una salida "positiva" (es decir, un "si"), es porque ha "reconocido" o "aceptado" la secuencia de entrada. En las mquinas de estados aceptoras, los estados con salida "positiva" se denominan estados finales.