Modele maszyn stanowych

Modelami zachowania ukierunkowanymi na zmiany stanów systemu są modele maszyn stanowych (state machine models).

Modele maszyn stanowych odpowiadają systemom, w których występuje pewna liczba stanów systemu, a przejścia między stanami odbywają się z małym udziałem przetwarzania danych. Przykładami takich systemów są rozmaite systemy czasu rzeczywistego oraz systemy sterowania.
W przypadku stosowania modelu maszyny stanowej do oprogramowania obiektowego, maszyna stanowa może dotyczyć obiektu (egzemplarza klasy). Modele stanu dla obiektów mają praktyczne znaczenie w przypadku obiektów, które mogą znajdować się w kilku stanach i których zachowanie jest różne w zależności od stanu w którym się znajdują. Diagram stanu dla obiektu staje się ilustracją jego cyklu życia (object lifecycle).

Oprogramowanie odpowiadające maszynie stanowej bywa złożone i istnieją odpowiednie wzorce projektowe służące do rozwiązania tego problemu. Problemem modeli maszyn stanowych jest gwałtownie rosnąca liczba możliwych stanów w bardziej złożonych systemach.