Riassunto esame Progettazione del Software, prof. De Giacomo, dispense consigliate del docente

Prog. del software (UML)

Analisi

Analisi è una fase del ciclo di sviluppo del software.

• Input: Requisiti raccolti
• Output: Schema concettuale/modello di analisi dell'applicazione che deve essere completo, preciso e leggibile per essere poi tradotto da altri in programma.

Focus quindi su cosa e non come.

Schema concettuale

• Diagramma classi/oggetti → Descrive classi
• Diagramma attività
• Diagrammi stati e delle transizioni → Riferiti a istanze classe
• Documenti di specifica — Un documento per ogni classe/istanza che descrive con precisione quali condizioni devono soddisfare i programmi che realizzano il sistema

Analisi ⇒ Progetto ⇒ Realizzazione (Java)

Vanno considerati limiti software

UML

Nasce nel '94 come unificazione di metodi e linguaggi proprietari. Offre diagrammi per l'analisi.

Diagrammi classi oggetti

Sì, si concentra più su classi che su oggetti considerati invece come elementi singoli atomificativi.

Oggetti UML

Un oggetto modella un elemento del dominio di analisi, identificato univocamente con ID, ha vita propria ed è istanza di classe.

Esempio: DivGottli: Libro Titolo = "Divina Commedia" Identificatore oggetto_oggetto Classe di cui è istanza

Attributi: Un oggetto non può avere un valore su un attributo non definito nella classe. Al contrario, deve avere valori per ogni attributo definito nella classe.

Classi UML

Classe modello: Insieme di oggetti omogenei (le istanze) ai quali sono associati operazioni (prop. dinamiche) e proprietà statiche.

Ogni classe è definita da:

• Nome
• Insieme proprietà locali

Esempio: LIBRO

1. Proprietà locali

Proprietà locali (attributi)

Un attributo modella una proprietà locale di una classe ed è caratterizzato da nome e valore, tipo associato. Queste proprietà sono presenti in ogni istanza.

Attributo = Funzione che associa valore tipo T a ogni oggetto (istanza della classe)

• Titolo: stringa
• Numero Pagine: int

Un attributo non può mai avere come valore un oggetto.

Associazioni UML

È una relazione tra n classi che modella una relazione molti-a-molti tra le istanze. Modella proprietà per la classe. Le istanze di una associazione sono dette link (sono coppie/m-uple).

I link non hanno ID (sono ID da enumerare). Tra 2 classi possono essere definite più associazioni.

Esempio: B nato in Y residente in X, a e m residente in X

Verso

Si può specificare un verso per il nome associazione ma è mero zucchero sintattico. Se usato vanno indicati anche nei link.

Ordine

{ordered} indica che stiamo considerando una collezione ordinata.

Ruoli

Ppersona                                                            Azienda

Ruolo è un'informazione aggiuntiva (zucchero sintattico) che specifica il ruolo di una classe in una associazione. Se indicato, va specificato anche nei link. Diventa obbligatorio quando l'associazione è su 2 oggetti stessa classe e la relazione è non simmetrica.

Esempi:

• Genitore/figlio (Persona x Persona) Obbligatorio (Ambiguo)
• Conferma Con (Stato x Stato) Non obbligatorio

Attributi

Funzione che associa ad ogni link un valore determinato tipo.

Esempio: Studente           Corso           Voto

Studente                                                     Corso

Esame          Voto: Int

Associazione + Attributi

Se l'associazione ha attributi, deve averli anche il link.

Molteplicita'

Serve per dare maggiore significato nelle associazioni.

Ogni istanza di C₂ legata al max da A ad y istanze di C₁ e min x. Ogni istanza di C₁ legata min w max z istanze C₂. Questo si può applicare anche ad attributi (di default 1..1). In caso è detto multiv.