Diagramy Sekwencji

Diagramy Sekwencji

• Diagramy sekwencji wyrażają interakcje między obiektami w czasie, gdzie wiadomości są reprezentowane jako poziome strzałki.
• Przedstawiają komunikację oraz sposób zarządzania przesyłaniem wiadomości między obiektami.
• Diagramy sekwencji nie służą do wyrażania złożonej logiki proceduralnej.
• Linia życia reprezentuje indywidualny udział obiektu w diagramie.
• Linie życia często zawierają prostokąty z nazwą i typem obiektu.
• Początek linii życia oznacza utworzenie, a koniec usunięcie obiektu.
• Granice, sterowania i pętle także mają swoje linie życia.
• Wiadomości są przedstawiane jako strzałki.
• Wiadomości mogą być kompletne, zgubione lub znalezione.
• Wiadomości mogą być synchroniczne (zamknięty grot) lub asynchroniczne (otwarty grot).
• Wiadomości mogą być typu wywołanie operacji (call) lub sygnał (signal).
• Dla wywołań operacji, strzałka wychodząca z linii życia oznacza wywołanie metody obiektu, do którego strzałka dociera.
• Przerywana strzałka pozioma oznacza wiadomość zwrotną.
• Własne wiadomości to rekursywne wywołanie operacji lub sytuacja, gdy operacja wykonuje inną operację należącą do tego samego obiektu.
• Zgubione wiadomości charakteryzują się nieznanym odbiorcą lub są niewskazane na diagramie.
• Znalezione wiadomości mają nieznanego nadawcę lub są niewskazane na diagramie.
• Cienki pionowy prostokąt oznacza aktywność linii życia.

Warunki i Iteracje

• Warunek pozwala na wskazanie alternatywnej ścieżki w zależności od spełnienia warunku.
• Iteracja służy do reprezentowania wielokrotnego wysyłania komunikatu.
• Ograniczenia czasowe, np. opóźnienia w wysyłaniu wiadomości, są oznaczane pochyłymi liniami.

Fragmenty Umożliwiające Wybór i Iteracje

• Alternatywne (alt) odpowiadają konstrukcji if else; reprezentują alternatywne ścieżki w zależności od warunku.
• Opcjonalne (opt) odpowiadają konstrukcji switch.
• Break modeluje alternatywną sekwencję zdarzeń dla pozostałej części diagramu – jeśli warunek jest spełniony, wykonywana jest tylko sekwencja break, w przeciwnym razie jest pomijana i wykonywana jest reszta sekwencji.
• Pętla (loop) powtarza interakcje w wybranym fragmencie.

Fragmenty Reprezentujące Sekwencje i Współbieżność

• Równoległy (par) procesy równoległe wykonywane jednocześnie.
• Słaba sekwencja (seq) zamyka pewną liczbę sekwencji, w której wszystkie wiadomości muszą być wykonane przed rozpoczęciem innych sekwencji z innych fragmentów (z wyjątkiem wiadomości, które nie dzielą linii życia oznaczonego fragmentu).
• Dokładna sekwencja (strict) zamyka wiadomości, które muszą być wykonane w określonej kolejności.
• Krytyczny (critical) zamyka sekcję krytyczną, której nie można przerwać.

Fragmenty Umożliwiające Badanie Zgodności

• Negatywny (neg) zamyka pewną liczbę niewłaściwych wiadomości wyjątków, które należy obsłużyć.
• Ignorowany (ignore) deklaruje wiadomość/ci nieistotne; określa fragment, w którym wszystkie wyspecyfikowane wiadomości powinny być ignorowane.
• Istotny (consider) deklaruje wiadomość/ci istotne; tylko wyspecyfikowane wiadomości powinny być obsłużone.
• Asercji (assert) specyfikuje warunek, który musi być spełniony, aby dalsza realizacja scenariusza przebiegała prawidłowo. Inna wartość oznacza nieprawidłowy przebieg.
• Brama przekazuje wiadomość na zewnątrz między fragmentem i pozostałą częścią diagramu.
• Dekompozycja obiekt ma więcej niż jedną linię życia i pozwala pokazać zagnieżdżone protokoły przekazywanych wiadomości.