Diagram stanów, zwany również diagramem maszyny stanów, jest formą przedstawienia maszyny stanów. Diagram stanów wykorzystuje maszynę stanów do precyzyjnego opisu dynamicznego zachowania obiektu w trakcie jego istnienia, przedstawiając sekwencję stanów, które obiekt przechodzi, zdarzenia powodujące przejścia stanów oraz działania towarzyszące przejściom stanów.
Skończona maszyna stanów, znana również jako automat skończony, w skrócie maszyna stanów, pozwala uprościć złożoną logikę do skończonej liczby stabilnych stanów, w których ocenia się zdarzenia.
Współpraca wielu użytkowników w czasie rzeczywistym z linkami do udostępniania
Automatyczne generowanie grafiki z tekstu z ulepszaniem stylu
Wbudowane motywy z pełną personalizacją
Obsługa ikon, obrazów, etykiet, formuł LaTeX, bloków kodu, linków, załączników
Eksport: PNG, VISIO, PDF, SVG | Import: VISIO, Mermaid
Przechowywanie w chmurze w czasie rzeczywistym, synchronizacja wielourządzeniowa, historia wersji i bezpieczeństwo danych
Diagram stanów koncentruje się na stanie, prostokąt z zaokrąglonymi rogami oznacza stan, a treść na linii przejścia odpowiada aktywności w diagramie aktywności.
Diagram aktywności koncentruje się na aktywności, prostokąt z zaokrąglonymi rogami oznacza aktywność, na linii przejścia zazwyczaj nie zapisuje się treści, jedynie podczas podejmowania decyzji należy na linii zapisać warunek decyzji.
Stan odnosi się do sytuacji, w której obiekt spełnia pewne warunki, wykonuje pewne czynności lub oczekuje na pewne zdarzenia w swoim cyklu życia, jest reprezentowany przez prostokąt z zaokrąglonymi rogami.
Stan początkowy: Reprezentuje początek diagramu stanów, jest oznaczony pełnym kołem, diagram stanów ma tylko jeden stan początkowy.
Stan końcowy: Reprezentuje koniec diagramu stanów, jest oznaczony pełnym okręgiem, diagram stanów może mieć wiele stanów końcowych.
Stan złożony: Stan złożony to stan, który zawiera zagnieżdżone podstany, w zależności od tego, czy stany istnieją jednocześnie, dzielą się na sekwencyjne podstany i współbieżne podstany.
Stan historyczny: Stan historyczny to rodzaj pseudostanu, który wskazuje, że gdy stan ponownie przechodzi do tego stanu złożonego, powinien być w podstanie, w którym był przy poprzednim wyjściu, a nie zaczynać od stanu początkowego stanu złożonego.
Przejście to relacja między dwoma różnymi stanami, oznacza, że obiekt wykona pewne działania w stanie źródłowym i wejdzie w stan docelowy, gdy wystąpi określone zdarzenie i spełniony zostanie określony warunek strażniczy.
Zdarzenie wyzwalające: Jest przyczyną przejścia, może to być sygnał, zdarzenie, zmiana warunku lub wyrażenie czasowe.
Warunek strażniczy: Jest to wyrażenie logiczne, przejście zostanie aktywowane, gdy zdarzenie wyzwalające wystąpi i warunek strażniczy będzie prawdziwy.
Działanie: Może to być operacja przypisania lub operacja arytmetyczna, może to być również sekwencja działań, w tym wysyłanie wiadomości do innego obiektu, wywoływanie operacji, ustawianie wartości zwracanej, tworzenie lub niszczenie obiektów itp.
Zdarzenie sygnałowe: Oznacza zdarzenie, w którym obiekt odbiera sygnał, to zdarzenie odbioru sygnału spowoduje przejście jego stanu.
Zdarzenie czasowe: Reprezentuje upływ czasu, gdy warunek czasowy zostanie spełniony, może być konieczne wyzwolenie pewnego zdarzenia, czas może być względny lub absolutny.
Zdarzenie zmiany: Oznacza zdarzenie, które występuje, gdy spełniony jest warunek wyrażony przez logiczne wyrażenie zależne od określonej wartości atrybutu.
Zdarzenie wywołania: Oznacza, że obiekt otrzymuje żądanie wywołania, ten obiekt realizuje operację poprzez przejście stanu, a nie przez określony proces przetwarzania.
Sterownik: Na przykład system sterowania windą
Przepływ interfejsu użytkownika: Na przykład proces logowania
Zarządzanie cyklem życia: Na przykład zamówienia, zadania, żądania itp.
Diagram maszyny stanowej ma tylko jeden stan początkowy, ale może mieć wiele stanów końcowych.
Stany sekwencyjne: W trakcie życia stanu złożonego, w danym momencie można być tylko w jednym stanie podrzędnym, czyli stany podrzędne wykluczają się wzajemnie i nie mogą istnieć jednocześnie.
Stany współbieżne: W trakcie życia stanu złożonego, wiele stanów podrzędnych może istnieć jednocześnie.
Te dwa pojęcia nie są tożsame.
Stan historyczny zazwyczaj występuje w stanie złożonym i jest stanem pseudo, oznaczającym, że po ponownym przejściu do tego stanu złożonego, powinno się znajdować w jednym z podstanów, w którym było się przy ostatnim wyjściu.
Wewnętrzne przejście to takie, które nie powoduje zmiany stanu, a jego zapis wygląda następująco: zdarzenie(nazwa_parametru)[warunek]/akcja.
Jeśli chcemy obsłużyć pewne zdarzenia w danym stanie bez konieczności opuszczania tego stanu, możemy zdefiniować wewnętrzne przejście.
Rodzaje akcji i ich składnia mogą być opisane w następujący sposób:
(1) Przypisanie: cel:=wyrażenie
(2) Wywołanie: nazwafunkcji(arg1,arg2)
(3) Tworzenie obiektu: nowy NazwaKlasy(arg1,arg2)
(4) Niszczenie obiektu: obiekt.niszcz()
(5) Zwracanie wartości: zwróć wartość
(6) Wysyłanie wiadomości do obiektu: nazwafunkcji(arg1,arg2)
(7) Samozakończenie obiektu: zakończ
(8) Akcja nieprzerywalna: [opis w języku]
Nie należy traktować zwykłych akcji jako stanów, np.: „kliknięcie przycisku” nie jest stanem.
Diagram stanów nie może bezpośrednio przedstawiać relacji między wieloma obiektami, jest głównie używany do modelowania zachowań pojedynczego obiektu lub klasy. Jeśli istnieją interakcje między wieloma obiektami, można użyć diagramów sekwencji, diagramów współpracy lub diagramów aktywności.
Tak. W przypadku złożonych systemów, zachowanie jednego obiektu może być podzielone na wiele perspektyw lub wymiarów diagramów stanów, a także można osadzić wiele diagramów podrzędnych jako złożone stany.
Zdarzenie jest wyzwalaczem, czyli zewnętrznym sygnałem wyzwalającym przejście stanu, np.: użytkownik klika przycisk „Prześlij”;
Akcja jest reakcją, czyli operacją wykonywaną podczas przejścia stanu lub w stanie, np.: wysłanie potwierdzenia e-mail, odmierzanie czasu, weryfikacja hasła.
![[UML] Order processing state diagram](https://www.processon.io/chart_image/template/thumb/676911c4f4278a2300f90544.png?tid=6762a49e3415ee608db914cf)
