TOGA: TAO
(Theory of Abstract Objects)
OPERAZIONE:SPECIFICAZIONE
L’operazione di specificazione incrementa le
informazioni riguardanti gli oggetti, cioè
introduce ulteriori attributi e di conseguenza
nuove relazioni.
Un mondo W1 è così trasformato in un altro
mondo W2 più dettagliato, ottenuto dal primo
facendo corrispondere ad un oggetto una rete di
oggetti (tramite una dichiarazione).