Uso Común . | .Más Información . | .Especificación del UML del OMG
Los estados compuestos son semánticamente equivalentes a los estados de submáquinas, pero no pueden ser reutilizados así como pueden los estados de submáquinas. Son compuestos en línea a la máquina del estado, expandiendo un estado, agregando regiones si se puede, y diseñando el estado compuesto apropiado con estados internos referidos como subestados.
Los estados compuestos pueden ser ortogonales, si se crean las regiones. Si un estado compuesto es ortogonal, su entrada denota que un solo subestado es concurrentemente activo en todas las regiones. La jerárquica anidada de estados compuestos, junto con el uso de la región, genera una situación de múltiples estados concurrentemente activos; esta situación se refiere a la configuración del estado activo.
Uso Común
Más Información
Especificación del UML del OMG
La especificación del UML del OMG (superestructura de UML 2.0, p. 478) establece:
"Un estado compuesto contiene una región o se descompone en dos o más regiones ortogonales. Cada región tiene un conjunto de subvértices de desunión mutuamente excluyentes y un conjunto de transiciones. Un estado dado se puede solamente descomponer en una de estas dos maneras."
"Cualquier estado incluido dentro de una región de un estado compuesto se llama un subestado de ese estado compuesto. Se llama un subestado directo cuando no es contenido por ningún otro estado; de otra manera se refiere como subestado indirecto.
"Cada región de un estado compuesto puede tener un pseudoestado inicial y un estado final. Una transición a el estado que incluye representa una transición al pseudoestado inicial en cada región. Un objeto recientemente creado toma su transición por defecto más reciente, originado de los pseudoestados iniciales más recientes de cada región.
"Una transición a un estado final representa la terminación de la actividad en la región que la incluye. La terminación de la actividad en todas las regiones ortogonales representa la terminación de la actividad por el estado que incluye y dispara un evento de terminación en el estado que la incluye. La terminación de las regiones más recientes de un objeto corresponde a su terminación."