Diagrammi di Interazione

Larman capitolo 18
 Diagrammi di Interazione
public class A
Illustrano interazioni tra gli oggetti del sistema {
diagrammi di sequenza private B myB = new B();
notazione più ricca
immediatamente chiaro l’ordinamento temporale
public void doOne()
esplicita relazione call-flow
{
diagrammi di comunicazione
myB.doTwo();
libertà di posizionamento
myB.doThree();
possibile rappresentare numerosi oggetti
}
}

:A myB : B doOne
:A

doOne 1: doTwo

doTwo 2: doThree

myB : B
doThree

diagramma di sequenza diagramma di comunicazione

 Esempio: makePayment
: Register : Sale

makePayment(cashTendered)
diagramma
di sequenza makePayment(cashTendered)
create(cashTendered) : Payment

direction of message

makePayment(cashTendered) 1: makePayment(cashTendered)
diagramma di :Register :Sale

comunicazione
1.1: create(cashTendered)

:Payment
Diagrammi di Sequenza
Intestazione delle Linee di Vita
Rappresentano i partecipanti all’interazione
lifeline box representing the class
lifeline box representing a Font, or more precisely, that Font is
lifeline box representing an
named instance an instance of class Class – an
unnamed instance of class Sale
instance of a metaclass

«metaclass»
:Sale s1 : Sale
Font

lifeline box representing an
instance of an ArrayList class,
parameterized (templatized) to
hold Sale objects
lifeline box representing
one instance of class Sale,
selected from the sales
ArrayList <Sale> collection
List is an interface
in UML 1.x we could not use an
interface here, but in UML 2, this (or
an abstract class) is legal

sales: x : List
sales[ i ] : Sale
ArrayList<Sale>

related
example
 Sintassi per i Messaggi
return = message(parameter:parameterType):returnType
Esempi:
initialize(code)
initialize
d = getProductDescription(id)
d = getProductDescription(id:ItemID)
d = getProductDescription(id:ItemID):ProductDescription
Linee di Vita, Messaggi e Centro di Controllo

: Register : Sale

doX
doA

doB
un messaggio trovato
il cui mittente non è
specificato doC

doD

una barra di specifica di

esecuzione indica il centro
del controllo tipico messaggio sincrono
mostrato con una linea con freccia
piena
 Valori di Ritorno

: Register : Sale

doX
d1 = getDate

getDate
aDate
Messaggi a Self

: Register

doX
clear
 Creazioni Istanze
: Register : Sale si noti che i nuovi oggetti
creati sono posizionati alla
“altezza” della loro creazione

makePayment(cashTendered)
create(cashTendered) : Payment

authorize
 Distruzione di Oggetti
: Sale

create(cashTendered)
: Payment
Il messaggio stereotipato
... <<destroy>>, con la X
grande e la linea di vita
«destroy» breve, indica l’esplicita
X distruzione dell’oggetto
Messaggi Asincroni
Uso dei Messaggi Asincroni
 Frame

:A :B
etichetta guardia makeNewSale

un frame di
ciclo di UML, loop [ more items ]
enterItem(itemID, quantity)
con
un’espressione
booleana di description, total
guardia

endSale 6 aprile da qui

Operatori Principali per i Frame
Operatore Significato
Frammento alternativo per logica condizionale mutualmente esclusiva espressa nelle guardie
alt (alternative separate da una linea tratteggiata)
Frammento ripetuto finché la guardia è vera. loop(n) può essere utilizzato per indicare n
loop ripetizioni
opt Frammento eseguito solo se la guardia è vera

par Frammenti che vengono eseguiti in parallelo

region Regione critica che può essere eseguita da un solo thread alla volta

neg Frammento che mostra una interazione non valida

sd Frame che racchiude un sequence diagram intero

ref Riferimento ad un altro sequence diagram, può includere parametri e valore di ritorno
 Frame alt
:A :B :C

doX

alt [ x < 10 ]
calculate

[ else ]
calculate
 Frame loop

lineItems[i] :
: Sale This lifeline box represents one
SalesLineItem
instance from a collection of many
t = getTotal SalesLineItem objects.

lineItems[i] is the expression to

loop select one element from the
[ i < lineItems.size ]
st = getSubtotal collection of many
SalesLineItems; the ‘i” value
refers to the same “i” in the guard
i++
in the LOOP frame

an action box may contain arbitrary language

statements (in this case, incrementing ‘i’)

it is placed over the lifeline to which it applies

esempio: iterazione su collezione
 iterazione su collezione
sintassi esplicita
 Frame opt

: Foo : Bar
xx

opt [ color = red ]

calculate

yy
 messaggio condizionale
sintassi semplificata
 Frame par
in parallelo
 Frame region
regione critica - un solo thread
Frame neg
Frame ref
 invocazione di metodo
alternativa semplice
 Payment {abstract}

invocazioni
 Payment is an abstract

superclass, with concrete
subclasses that implement the
polymorphic authorize operation
authorize() {abstract}
...

polimorfe CreditPayment

authorize()
...
DebitPayment

authorize()
...

object in role of abstract

polymorphic message
superclass

:Register :Payment {abstract}

doX
authorize stop at this point – don’t show any
further details for this message

:DebitPayment :Foo :CreditPayment :Bar

authorize authorize
doA doX

doB

separate diagrams for each polymorphic concrete case

Chiamate Asincrone e Oggetti Attivi
 Frame annidati

: Foo : Bar
xx

opt [ color = red ]

loop(n)
calculate
Diagrammi di Comunicazione
 Oggetti
Gli oggetti sono rappresentati come i rettangoli delle linee della vita

lifeline box representing the class

lifeline box representing a Font, or more precisely, that Font is
lifeline box representing an
named instance an instance of class Class – an
unnamed instance of class Sale
instance of a metaclass

«metaclass»
:Sale s1 : Sale
Font

lifeline box representing an
instance of an ArrayList class,
parameterized (templatized) to
hold Sale objects
lifeline box representing
one instance of class Sale,
selected from the sales
ArrayList <Sale> collection
List is an interface
in UML 1.x we could not use an
interface here, but in UML 2, this (or
an abstract class) is legal

sales: x : List
sales[ i ] : Sale
ArrayList<Sale>

related
example
 Collegamenti
Un collegamento è un percorso di connessione tra due oggetti 

(indica quindi una forma di navigazione e visibilità)

1: makePayment(cashTendered)
2: foo
: Register :Sale
2.1: bar

linea di collegamento
 Messaggi
numeri di sequenza == ordine dei messaggi nel thread di controllo corrente

solitamente il messaggio iniziale non viene numerato

msg1
1: msg2
2: msg3
3: msg4
: Register :Sale
3.1: msg5

tutti i messaggi scorrono sullo stesso

collegamento
Messaggi a se stesso

msg1

: Register

1: clear
 creare istanze
Three ways to show creation in a
communication diagram
create message, with optional initializing parameters. This will
normally be interpreted as a constructor call.

1: create(cashier)
: Register :Sale

1: create(cashier)
: Register :Sale {new}

«create»
1: make(cashier)
: Register :Sale

if an unobvious creation message name is used, the

message may be stereotyped for clarity
numerazione di sequenze
numerazione articolata

msg1 :A 1: msg2 :B

1.1: msg3

2.1: msg5

2: msg4 :C

2.2: msg6

:D
 Messaggi Condizionali

message1

1 [ color = red ] : calculate

: Foo : Bar
 Percorsi Condizionali Mutualmente Esclusivi

non condizionale,
dopo msg2 o msg4 1a e 1b sono percorsi
:E condizionali mutualmente
esclusivi

2: msg6

1a [test1] : msg2
msg1 :A :B

1b [not test1] : msg4 1a.1: msg3

:D 1b.1: msg5 :C
 Iterazioni

runSimulation 1 * [ i = 1..n ]: num = nextInt

: Simulator : Random

l’iterazione è indicata con un * e una clausola

di iterazione opzionale che segue il numero di
sequenza
 Iterazioni su collezioni
t = getTotal 1 * [i = 1..n]: st = getSubtotal lineItems[i]:
: Sale
SalesLineItem

this iteration and recurrence clause indicates
we are looping across each element of the
lineItems collection.
This lifeline box represents one instance from a
collection of many SalesLineItem objects.
lineItems[i] is the expression to select one
element from the collection of many
SalesLineItems; the ‘i” value comes from the
message clause.

t = getTotal 1 *: st = getSubtotal lineItems[i]:

: Sale
SalesLineItem

Less precise, but usually good enough to imply

iteration across the collection members
 invocazione di metodi statici

message to class, or a
static method call

doX

1: locs = getAvailableLocales «metaclass»

: Foo
Calendar
 Messaggi Polimorfi
stop at this point – don’t show any
polymorphic message further details for this message

doX authorize object in role of abstract

:Register :Payment {abstract} superclass

authorize authorize
doA
doX
:DebitPayment doB :Foo :CreditPayment :Bar

separate diagrams for each polymorphic concrete case

 Chiamate Asincrone
startClock

3: runFinalization
:ClockStarter System : Class

1: create
asynchronous message
2: run

active object
:Clock
 diagramma di interazione e di classe
prodotti in parallelo
: Register : Sale

makePayment(cashTendered)

makePayment(cashTendered)

messages in interaction
diagrams indicate operations
in the class diagrams classes
identified in the
interaction
diagrams are
Register Sale declared in the
1 class diagrams
... ...
currentSale
makePayment(…) makePayment(…)
... ...