Dispensa in PDF - Dipartimento di Scienze Ambientali, Informatica e ...

Carnielli Efrem: Programmazione a componenti
Unified Software Process (USP)
porta all’attivazione dell’attività “consegna”.
Specifichiamo che il simbolo di infinito all’interno delle attività è una sorta di
linking e indica che la descrizione delle suddette attività è rimandata in un altro
punto.
Il segno rosso posto affianco dei due condizionali non fa naturalmente parte del
diagramma ma ci serve solo per fare un esempio di paralellizzazione delle attività.
Potrei far partire delle statistiche per vedere ad esempio qual’è stata la domanda
che ha avuto più risposte. Prima del condizionale consegna potrei avere una
diramazione di attività parallele (una biforcazione), come nella figura 4.17, che non
necessariamente dovranno ricongiungersi.
Figura 4.17. Esempio di attività parallele.
Il diagramma delle attività non è programmazione strutturata (basata cioè sul teorema
di Bohm Jacopini (che dice che qualsiasi algoritmo può essere implementato
utilizzando tre sole strutture: sequenza, condizione ed iterazione), perchè non è
richiesto che inizi in un punto e finisca in un punto; posso invece avere percorsi
paralleli ed indipendenti.
96