Os estados de um objeto estão associados a outros pelas transações. Uma transação possui um evento associado. Um evento que ocorre quando uma determinada condição se torna verdadeira é um evento do tipo: