Statecharts: hierarchiczne maszyny stanów, które uporządkują kod
Statecharts, czyli hierarchiczne maszyny stanów, to formalizm opracowany przez Davida Harela w 1987 roku. Klasyczne automaty skończone mają fundamentalny problem – eksplozja stanów. Każdy nowy przełącznik podwaja liczbę węzłów. W rezultacie prosty interfejs z 10 przyciskami generuje ponad tysiąc kombinacji. Harel zaproponował rozwiązanie: stany zagnieżdżone. Zamiast płaskiej listy węzłów, statecharts wprowadzają hierarchię, grupowanie, równoległość i […]