Na modelagem orientada a objeto, os sistemas de software são compostos por objetos que interagem e podem manter estado durante tais interações. As operações públicas de um objeto podem fornecer serviços a outros objetos; em uma comunicação síncrona, o objeto que solicita o serviço pode continuar executando enquanto o serviço é prestado; cada associação entre classes descreve ligações entre objetos dessas classes, as ligações têm estrutura e semântica em comum.