sono associazioni che modellano la relazione "parte di" (un "aggregato" o "composto") : qual è la differenza?

• molteplicità :
  • composizione : la "parte" lo è di un solo composto (al più)
  • aggregazione : la "parte" è condivisibile da più aggregati
• tempo di vita :
  • composizione : la "parte" non sopravvive al composto
  • aggregazione : la "parte" può sopravvivere all'aggregato...
  • che peraltro può non essere unico!

notazione :

proprietà il cui valore può essere calcolato in termini dei valori di altre

• notazione: /proprietà --- {vincolo}
  • "/" specifica che la proprietà è derivata
  • l'eventuale {vincolo} specifica come si calcola il suo valore
• esempio di attributo derivato :
• esempio di associazione derivata :

• interfaccia : ha solo operazioni astratte (cioè dichiarazioni di operazioni)
  • notazione : parola chiave <<interface>>
• classe astratta : può avere operazioni astratte
  • i metodi di quelle concrete possono essere sovrascritti nelle estensioni
  • notazione : vincolo {abstract} sui nomi della classe e delle operazioni astratte ...
    • ... oppure: nomi in corsivo
• conformità di una classe (astratta o concreta) a un'interfaccia
  • notazione :     
• una classe può fornire (realizzare, essere server di)
  o richiedere (usare, essere client di) un'interfaccia
  • notazione lollipop/socket :     

oggetti riferimento e oggetti valore: qual è la differenza?

tutti gli oggetti sono dotati di identità, però:

• l'eguaglianza di oggetti riferimento è eguaglianza dell'identità degli oggetti
  • devono essere la stessa istanza della classe
• l'eguaglianza di oggetti valore è eguaglianza del valore degli oggetti
  • possono essere istanze multiple della classe
• gli oggetti valore dovrebbero essere immutabili :
  • il valore non può cambiare nel tempo di vita dell'oggetto
• ciò può indicarsi con il vincolo {frozen}
• il vincolo {readOnly} indica invece
  • una proprietà che non può essere modificata da oggetti client

quando una collezione di oggetti è associata a ciascuna istanza, si può usare una loro proprietà per indicizzare l'associazione

• il tipo di tale proprietà è il tipo indice, o qualificatore, dell'associazione

ad esempio, si può qualificare l'associazione di testi presenti in una biblioteca ad un autore adoperando il titolo del testo come qualificatore:

• associazione non qualificata :   
• associazione qualificata :         

attenzione al significato della molteplicità in un'associazione qualificata:

• fa riferimento al numero di istanze associate per ciascun valore del qualificatore

classificazione = assegnamento di tipo (a oggetti)

• diversa dalla generalizzazione: relazione di sottotipo (fra tipi)
  • attenzione: la locuzione "è un" si usa in entrambi i sensi!
• classificazione multipla : assegnamento di più tipi a un oggetto
  • indipendentemente dall'ereditarietà
  • di solito non ammessa nei linguaggi di programmazione OO: ogni oggetto deve avere un tipo, anche se questo ha più supertipi (ereditarietà multipla)
  • si ha classificazione multipla specializzando un tipo in più modi (generalizzazioni): ogni generalizzazione va etichettata con il nome dell'insieme di generalizzazione ("discriminante" in UML 1) per la deduzione delle combinazioni legali di sottotipi
• ad esempio :

template di classe : classe generica , dotata di un parametro (una variabile sui tipi)

• notazione :
• derivazione di una classe da un template:
• oppure, con ridenominazione del tipo derivato:         
• la derivazione è una specializzazione ristretta :
  • non si possono aggiungere caratteristiche al tipo
  • si può solo legare il parametro a un tipo specificato