(1) O colecţie de afirmaţii care descriu afirmă că a permis un obiect gestionate pot să-şi asume. O afirmaţie poate fi o condiţie prealabilă, o postconditia, sau un invariant. În practică, comportamentul este de multe ori o descriere informală a semanticii de atribute, operaţii, şi notificările.
(2) modul în care au reuşit obiecte, legaturi nume, atribute, notificări, şi operaţiunile interacţiona cu resursele reale pe care le model şi unul cu celălalt.
(3) În programarea orientata-obiect, funcţionalitatea reprezentat în cadrul unei metode.
(4) Efectele observabile ale unei operaţiuni sau un eveniment, inclusiv rezultatele sale.