Documente Academic
Documente Profesional
Documente Cultură
Generalizare şi instanţă
Ca tipuri abstracte care oferă relaţii despre subtipuri, clasele pot fi organizate după o
relaţie de generalizare sau relaţia este 0. Se poate vorbi de graful clasei sau de graful moştenit,
căci această relaţie este la baza moştenirii. Rezultă modele de date semantice, generalizabile care
sunt utile pentru clasificarea obiectelor în funcţie de punctele lor comune (generale) şi de
specificul aceluiaşi graf.
Generalizarea este funcţia care are o clasă (subclasă) la origine, şi face corespondenţa cu o
clasă (subclasă) mai generală.
Procesul de generalizare este unul de descoperire; fiind dată o clasă numai după un
anumit timp putem descoperi dacă există o posibilă superclasă a acesteia şi care sunt proprietăţile
acestei clase.
Funcţia inversă generalizării este specializarea, deci fiecare clasă are anumite
caracteristici specifice subclaselor, permiţând adăugarea de proprietăţi specifice (specializate) pe
o anumită subclasă.
Fiind dată o clasă A, putem construi specializarea B a acesteia, care va conţine toate
proprietăţile lui A (stări şi operaţii), dar care va conţine şi stări şi operaţii proprii. Spunem acum
că există o relaţie de moştenire între clasa B şi clasa A, relaţie numită, deseori ESTE, şi spunem
că B este o specializare a lui A. Aceasta înseamnă că fiecare instanţă a lui B se comportă ca şi
când ar fi o instanţă a lui A. Procesul de specializare este unul de inventare; noi pornind cu o
singură clasă dată, o îmbogăţim progresiv, obţinând în cele din urmă mai multe versiuni ale
acesteia.
Exemple:
- un angajat cu ora ESTE un angajat;
- un proiect intern ESTE un proiect;
- un cititor ESTE o persoană.
Legătura ESTE a fost utilizată pentru reprezentarea unui domeniu de entităţi, de exemplu
concepte, descrieri, propoziţii, individualizări şi prototipuri. Scopul este de a arăta diferite variaţii
posibile bazate pe ierarhiile ESTE. În general, legătura ESTE se stabileşte între nodurile unei
ierarhii.
Legătura ESTE poate însemna oricare din variantele:
Relaţii între submulţimi/supermulţimi, caz în care nodurile reprezintă mulţimi;
Generalizare/specializare. Generalizarea exprimă o relaţie între predicate.
Un tip de, este foarte asemănătoare cu generalizarea, dar implică tipul nodurilor pe care le
conectează (un manager este un angajat, un şarpe este o reptilă). În majoritatea cazurilor, legătura
un tip de este abstractă în sensul că nu pot fi create instanţe de acest tip. De exemplu, nu este
posibil să identificăm o reptilă anume ci numai cazuri speciale cum ar fi şarpele sau iguana.
Conţinutul conceptual, aceasta exprimând faptul că o descriere include o alta (relaţia “un
dreptunghi este un poligon” este echivalentă cu “un dreptunghi este un poligon cu patru laturi”.
Restricţia valorii rolului (exemplu un manager este un angajat cu salariu mare). În cadrul
ei nu se vor face referiri la supertipuri sau subtipuri.
În acelaşi timp, este posibil să avem relaţii generice/individuale, acestea numindu-se
instanţieri.
2.4.2. Instanţierea obiectelor
Instanţa poate fi definită ca legătura dintre un obiect şi clasa sa de apartenenţă care i-a
permis crearea.
Elementele care aparţin colecţiei de obiecte descrise într-o clasă se numesc instanţe de
clasă.
În dicţionarul limbii engleze, instanţa este definită ca fiind un caz sau un exemplar.
Orice obiect creat este o instanţă a clasei părinte. De aceea, procesul creării obiectului este
numit instanţiere. Dacă se va crea o altă instanţă a obiectului, ea va fi identică cu prima, singura
diferenţă este că titlul celei de-a doua instanţă are un număr de secvenţă diferit de prima, în rest
ambele ferestre sunt identice.
În fig.2.10. dăm un exemplu de graf de instanţă care arată relaţia obiect-clasă.
Angajaţi
Angajaţi Studenţi
Ingineri Cercetători
Absolvenţi
Obiect
Este un format din
Instanţă
Angajaţi Clasa
Fig.2.13. Metaclasa
Ingineri
Este indicată existenţa a două tipuri de relaţii între aceste clase (generalizare şi instanţă)
care sunt ele însăşi obiecte.
Clasa Clasa este în primul rând o subclasă a clasei Obiect şi o instanţă a ei însăşi.