plan
Zastosowanie diagramów sekwencji
Diagramy sekwencji
Typy komunikatów
UML 2.x
Precyzyjne modelowanie interakcji
Dr inż. Ilona Bluemke
2
Diagramy sekwencji
Elementy diagramu sekwencji
(sequence diagrams)
Modelują dynamiczne cechy systemu.
obiekty
Stanowią pomoc do tworzenia diagramów
linie życia
stanów i do testowania końcowego
komunikaty
programu.
Każdy pojedynczy diagram dotyczy jednej
: Nazwa
ścieżki wywołania gotowego programu Obiekt uczestniczący w interakcjach:
będącego końcowym wynikiem projektu.
Diagramy przedstawiają sekwencję odwołań
obiektów rozłożoną w czasie. Czas rośnie w
dół diagramu.
3 4
Linie życia
Komunikat
asynchroniczny
Nazwa
Obiekty lub role
synchroniczny
Nazwa
freshman  nazwa
obiektu - instancji klasy
zwrotny (powrót sterowania)
Student  nazwa klasy
Linia życia  upływ czasu
z góry do dołu
komunikat  metoda w klasie odbierającej.
5 6
1
Komunikaty synchroniczne i
przykład
asynchroniczne
P1: klient S-rezerwacji Baza_danych
Otworz_rezerwac
Spr dostepnosc
Wpr_dane
rezerwuj
potwierdz
potwierdz
zamknij
7 8
Wiadomości zwrotne (return messages)
Czas aktywacji obiektu
obiekt A aktywuje obiekt B 
komunikat asynchroniczny,
:A :B
może dalej się wykonywać A i
B.
Operacja
W przypadku gdy komunikat
jest synchroniczny, A zostaje
zablokowany do czasu, aż do
niego wróci sterowanie
(zakończenie wykonania
metody)
9 10
Struktura sterowania Sterowanie zdecentralizowane
: C
: B
: A
: A : B : C
Oper_1
Oper_2
Operacja_1
Operacja_2
Powrót sterowania
Struktura zdecentralizowana
Struktura scentralizowana
11 12
2
Tworzenie i niszczenie obiektów Samowywołanie (message to self)
: klient : platnosc : wierzytelnosc
: formularz
<>
zaplac
<>
anuluj
Sprawdz_kompletnosc
13 14
Komunikat opcjonalny (balking message)
Komunikat utracony i znaleziony
Nadawca wysyła komunikat
utracony znaleziony
oczekując, że odbiorca
: klient : lista
(nieznany odbiorca) (nieznany nadawca)
jest gotowy do jego
natychmiastowej obsługi.
: Portal_internetowy
: miernik
Jeżeli komunikat nie
wyswielt
zmierz
może zostać przyjęty
Sortuj(nazwa)
nadawca nie podejmuje
kolejnych prób jego
wysłania (może nie być
obsłużony).
15 16
Komunikat oczekujący (timeout message) Warunki  dozory (guards)
Nadawca wysyła
komunikat oczekuje,
: klient : Baza_danych
że odbiorca obsłuży
go w ciągu
określonego okresu
czasu. Jeżeli polacz
komunikat nie może
zostać obsłużony w
tym czasie to nadawca
rezygnuje z danej
interakcji.
17 18
3
Warunkowe wysłanie komunikatu -
Rozgałęzienie u odbiorcy
rozgałęzienie
Warunki muszą być wzajemnie rozłączne :B
:A
: B : C
:A
[X>2] Komunikat1
[war] : operacja1
[X<=2] Komunikat2
[not war] : operacja2
19 20
Iteracja i oznaczenia obiektów przykład
Ten sam komunikat wykonywany wielokrotnie
[ ] operacja
: dobor_prac
:baza_danych
:zespol_projektowy
Przydziel(n)
Klasa (obiekt ) sterująca
*[prac:=1..n] : przydzielSpec
skompletowany
Klasa (obiekt ) przechowująca
Klasa (obiekt ) graniczna
21 22
Fragmenty wyodrębnione
Operatory interakcji
(combined fragments)
alt  alternatywa
opt  opcja
nagłówek
break  przerwanie
Operand
loop  iteracja
interakcji
par  współbieżność
neg - funkcjonalność nieprawidłowa
strict  ścisłe uporządkowanie
seq  słabe uporządkowanie
Operand
ignore - nieistotne
interakcji
consider  istotne
assert  formuła
critical  obszar krytyczny
23 24
4
Alternatywa
alternatywa - alt
: zamowienie
: klient
: baza_zamowien
aktualizuj
alt
Zapisz_zmiane
[autoryzacja]
Aktual_OK
[brak_autoryzacji]
Brak_Aktual
25 26
Opcja
Iteracja  loop
: katalog : pozycja
: klient
Pokaz_katalog
loop(1,*)
Pokaz_pozycje
27 28
Przywoływane wystąpienie interakcji 
ograniczenia czasowe
ref
: A : B : C
Diagramy sekwencji
mogą być uzupełnione (interaction occurences) - odwołanie na
informacjami
diagramie bazowym do innego diagramu
tekstowymi
sekwencji  operator ref.
x
(ograniczeniami
czasowymi), w postaci Zainicjowanie wystąpienia interakcji poprzez:
tekstu swobodnego
komunikat
{y-x<3s} y
lub pseudokodu,
umieszczonego w
czynnik czasu
z
{z-y<1s}
pobliżu punktu
startowego
komunikatu.
29 30
5
Wywołanie diagramu - referencja
Przykład 1 (czynnik czasu)
: produkt
: klient : Baza_klientow : katalog
strict
ref
logowanie
ref
wyszukaj_produkt
31 32
Bramki (gates) wejściowe i wyjściowe
Bramy (gates)
Diag_bramy
punkty
przejścia : D
: C
: A : B
komunikatów
z/do diagramu
ref
sekwencji,
Sekwencja_1
przywoływany
ch interakcji,
sekwencji
opt
wyodrębniony
Sekwencja_2
33 34
egzaminowanie
Diagramy sterowania interakcją
ref
Przygotowanie_pytan
(interaction overviews)
Dokumentują przepływ sterowania pomiędzy
ref
logicznie powiązanymi diagramami
Przeprowadzenie_egzaminu
sekwencji, fragmentami interakcji
wykorzystując operatory modelowania z
ref
diagramów czynności.
sprawdzanie
35 36
6
Przykład_decyzji
Diagram widoku interakcji
ref
Wyszukaj produkt
[nie znaleziono]
[znaleziono]
ref
rezerwuj
37 38
Pętla (loop)
Pętla i alternatywa
39 40
Równoległe wykonanie
Break
41 42
7