La mia guida alla scrittura dei casi d’uso è sempre molto usata, così come la relativa template.

Periodicamente ricevo delle richieste di chiarimento su aspetti particolari, e la più recente contiene una serie di domande interessanti, che meritano risposte pubbliche.

• La verifica della  pre-condizione per un caso d’uso è automatica, oppure è necessario inserire all’inizio dello scenario dei passi per la sua verifica?
  Non è automatica, nel senso che non viene effettuata automaticamente da uno strumento; si dà per implicita e non va descritta nel testo degli scenari.

• Posso documentare i casi d’uso “di estensione” e quelli “di inclusione”  con lo stesso template utilizzato per documentare qualunque altro caso d’uso?
  Sì.

• Come qualunque altro caso d’uso, quelli “di inclusione” hanno le loro pre-condizioni e trigger ( stimolo di attivazione) che devono verificarsi affinché possano partire? Oppure quando richiamati dal caso d’uso base, partono direttamente?
  I casi d’uso di inclusione non sono casi d’uso veri e propri, ma solo frammenti di caso d’uso. Quindi vengono sempre attivati da altri casi d’uso.

• Come qualunque altro caso d’uso, quelli di “estensione” hanno le loro pre-condizioni e trigger ( stimolo di attivazione) che devono verificarsi insieme alla relazione di extend affinché possano partire? Oppure quando richiamati dal caso d’uso base, viene verificata solo la condizione di extend?
  Anche i casi d’uso di estensione sono solo frammenti di casi d’uso, ma a differenza di quelli di inclusione non vengono “richiamati”.  Il caso d’uso base ignora le proprie estensioni, definisce solo degli extension point a cui i casi d’uso di estensione fanno riferimento.

• La verifica della condizione di extend è automatica, oppure è necessario inserire dei passi per la sua verifica, all’inizio dello scenario del caso d’uso di estensione ?
  Anche qui, la verifica non è automatica, ma si dà per implicita.

• La precondizione e la condizione di extend possono coincidere(stessa condizione), in alcune situazioni?
  Le precondizioni vanno definite per i casi d’uso base, e specificano una condizione necessaria per raggiungere l’obiettivo del caso d’uso. Ogni caso d’uso “reale” (base) ha un obiettivo da conseguire, mentre i frammenti di caso d’uso (inclusioni, estensioni, specializzazioni) non hanno obiettivi autonomi propri, sono semplicemente porzioni di attività che si preferisce descrivere in modo separato. Quindi definire precondizioni per i frammenti di caso d’uso è una forzatura.

• Nel documentare il caso d’uso di estensione con il template, posso aggiungere un’apposita sezione in cui riportare la condizione di extend?
  Sì, anche se io preferisco usare per questo il primo passo del relativo scenario.

• Posso inserire all’interno di un caso di estensione più comportamenti, uno per ogni extension point del caso d’uso base?
  Ogni caso d’uso di estensione è collegato ad un unico extension point del caso d’uso base a cui si riferisce.

• Se ho un caso d’uso di estensione con più comportamenti, dovrò utilizzare una pre-condizione per ogni scenario di comportamento oppure un unica precondizione per tutti? In altri termini la precondizione ha senso solo a livello di caso d’uso oppure anche per ogni singolo comportamento previsto all’interno del caso d’uso di estensione?
  La precondizione ha senso solo a livello di caso d’uso complessivo.

• Cosa intende quando afferma che il caso d’uso è completo? ( paragrafo 4.3.3 e 6.2 di “Linee guida UML-Casi d’uso)
  Un caso d’uso è completo quando in caso di successo raggiunge il suo obiettivo, e quando, anche in caso di insuccesso, lascia comunque il sistema in uno stato consistente.