Un modello di analisi del software è un metodo per progettare un programma per computer equiparando processi o modelli astratti al funzionamento del programma in fase di sviluppo. Il concetto è confrontare un tipo di pattern che funzioni efficacemente in un determinato contesto, di solito nel mondo reale, e quindi applicare la stessa logica e talvolta la terminologia del pattern al programma che si sta progettando. Valutando il funzionamento complessivo di un programma o modulo in questo modo, l’obiettivo è trovare modelli più piccoli durante l’analisi del software e, potenzialmente, modelli di progettazione appropriati per iniziare a elaborare i dettagli di implementazione reali. A differenza dei modelli di progettazione che vengono spesso utilizzati per aiutare a progettare l’implementazione e il codice, un modello di analisi del software è più destinato a fornire un quadro per pensare a un progetto in modo da visualizzare meglio le complessità. Non esiste una definizione formale per l’uso o lo sviluppo di un modello di analisi del software, sebbene esistano diversi esempi di modelli.
Nelle fasi iniziali dello sviluppo del software, un modello di analisi del software ha lo scopo di aiutare a strutturare l’ampia visione di un programma e il modo in cui le sue parti si relazionano tra loro. Il modello è inteso per l’analisi astratta, tuttavia, e non per elaborare i dettagli più piccoli di un’applicazione, come metodi individuali, variabili o formati di file. Uno dei motivi dell’astrazione è che il concetto di un singolo modello di analisi del software può essere modificato solo leggermente e quindi riutilizzato per altri software che potrebbero, in realtà, svolgere un compito completamente diverso.
Quando si sviluppa il modello di analisi del software, vengono spesso utilizzati esempi del mondo reale. Un esempio potrebbe essere l’utilizzo di un ufficio postale come modello di analisi del software per un semplice server di messaggi. In questo esempio, le lettere rappresenterebbero un messaggio e un timbro potrebbe rappresentare un tipo di convalida del server. Una cassetta postale diventa una coda di messaggi e i tempi di ritiro e consegna sono legati ai processi di invio e ricezione. In questo modo la complessa struttura dell’applicazione può essere astratta e pensata in modo più concreto, tanto che la terminologia della sorgente del pattern può spesso tradursi nei nomi delle classi o dei componenti del programma stesso durante implementazione.
Possono verificarsi complicazioni quando si utilizza un modello di analisi del software, soprattutto per programmi molto grandi. È possibile semplificare eccessivamente un programma durante lo sviluppo, quindi alcuni sottosistemi potrebbero, durante l’implementazione, non rientrare strettamente nel modello analitico una volta realizzato. In alternativa, uno schema potrebbe essere strutturato in modo tale che gli eventi all’interno del programma siano modellati in modo che corrispondano allo schema e siano chiari, ma potrebbero non essere necessariamente molto efficienti.