(1) Sebuah kumpulan pernyataan yang menggambarkan negara-negara diperbolehkan bahwa obyek dikelola dapat berasumsi. Sebuah pernyataan dapat menjadi prakondisi, postcondition, atau invarian. Dalam prakteknya, perilaku sering deskripsi informal semantik atribut, operasi, dan pemberitahuan.
(2) Cara yang dikelola objek, binding nama, atribut, pemberitahuan, dan operasi berinteraksi dengan sumber daya aktual yang mereka model dan dengan satu sama lain.
(3) Dalam pemrograman berorientasi objek, fungsi yang terkandung dalam sebuah metode.
(4) Efek diamati dari suatu operasi atau peristiwa, termasuk hasilnya.