Definicja

Diagram Maszyny Stanów (często nazywany diagramem przejść między stanami) to narzędzie w notacji UML, które pozwala zamodelować dynamiczne zachowanie systemu. Skupia się on na zmianach statusu konkretnego obiektu (np. Zamówienia, Faktury czy Konta użytkownika) w odpowiedzi na zdarzenia zewnętrzne lub wewnętrzne.

W analizie systemowej jest to kluczowy artefakt, który zapobiega błędom logicznym, takim jak próba „wysłania” zamówienia, które nie zostało jeszcze „opłacone”.

Kluczowe elementy diagramu

Aby poprawnie opisać cykl życia obiektu, maszyna stanów wykorzystuje następujące symbole:

1. Stan (State)

Prostokąt z zaokrąglonymi rogami reprezentujący sytuację w życiu obiektu, w której spełnia on pewien warunek (np. „Oczekiwanie na płatność”).

2. Przejście (Transition)

Strzałka łącząca dwa stany, pokazująca kierunek zmiany. Przejście jest wyzwalane przez:

  • Wyzwalacz (Trigger): Zdarzenie, które inicjuje zmianę (np. kliknięcie przycisku „Zapłać”).
  • Warunek dozoru (Guard): Warunek logiczny, który musi być spełniony, aby przejście zaszło (np. [kwota > 0]).

3. Punkty startowe i końcowe

  • Pseudostan początkowy: Wypełnione czarne kółko oznaczające początek cyklu życia.
  • Stan końcowy: Kółko z kropką w środku (tzw. „bawole oko”), oznaczające zakończenie procesowania obiektu.

Dlaczego Analityk powinien stosować diagram stanów?

Diagram maszyny stanów rozwiązuje problemy, z którymi nie radzą sobie inne diagramy:

  • Precyzja reguł biznesowych: Jasno określa, jakie akcje są dozwolone w danym momencie. Jeśli obiekt jest w stanie „Zarchiwizowane”, diagram może pokazać, że nie ma z niego powrotu do stanu „Edytowalne”.
  • Podstawa dla deweloperów: Pozwala uniknąć skomplikowanych i błędogennych instrukcji if/else w kodzie na rzecz eleganckich wzorców projektowych (State Pattern).
  • Definiowanie danych: Pomaga analitykowi systemowemu zaprojektować odpowiednie kolumny w bazie danych (np. status_id) zgodnie z modelem ERD.

Różnica: Diagram Stanów vs Diagram Aktywności

Częstym błędem jest mylenie tych dwóch notacji:

  • Diagram Aktywności: Skupia się na przepływie pracy (sekwencja czynności wykonywanych przez różnych ludzi lub systemy).
  • Diagram Maszyny Stanów: Skupia się na zmianach obiektu (co dzieje się z jednym, konkretnym „dokumentem” wewnątrz systemu).

Zastosowanie w praktyce (Przykład: Dokument)

Wyobraźmy sobie system obiegu dokumentów:

  1. Dokument zaczyna w stanie Szkic.
  2. Akcja „Wyślij do zatwierdzenia” zmienia stan na Oczekujący.
  3. Manager może wykonać akcję „Odrzuć” (powrót do Szkic) lub „Zatwierdź” (zmiana na Zatwierdzony).
  4. Przejście do stanu Zarchiwizowany jest możliwe tylko ze stanu Zatwierdzony.

Dzięki diagramowi zespół QA wie dokładnie, jakie Scenariusze testowe przygotować, aby sprawdzić niedozwolone przejścia.

Typowe błędy

  • ❌ Tworzenie „czarnych dziur” – Stany, do których można wejść, ale nie ma z nich żadnego wyjścia (a nie są stanami końcowymi).
  • ❌ Zbyt wiele detali – Próba opisania na jednym diagramie całego systemu zamiast skupienia się na jednym, istotnym obiekcie biznesowym.
  • ❌ Brak warunków dozoru – Pozostawienie niejasności, kiedy system powinien wybrać jedną z dwóch strzałek wychodzących z tego samego stanu.

Podsumowanie

Diagram maszyny stanów to jedno z najskuteczniejszych narzędzi do walki ze złożonością logiki biznesowej. Wprowadza rygorystyczny porządek w cyklu życia danych, co bezpośrednio przekłada się na mniejszą liczbę błędów typu Bug związanych z nieoczekiwanym zachowaniem systemu.

Powiązane pojęcia:

UML Analiza systemowa Przypadek uzycia Logika biznesowa Diagram aktywności

Kliknij w pojęcie, aby przejść do jego definicji w słowniku