O objetivo deste módulo foi apresentar o conceito relativo aos tipos de dados abstratos da linguagem de programação Java com seus respectivos limites de representação (operações e valores). Além disso, esse módulo apresentou, para os referidos tipos, os conceitos relativos ao estado de uma variável e as transições de estado de uma variável. Vimos que uma classe define os campos (atributos) ou os procedimentos (métodos) que representam um conceito ou ideia qualquer. Portanto, é possível ter uma classe que defina apenas os campos sem qualquer procedimento, ter uma classe que defina apenas os procedimentos sem qualquer campo e ter uma classe que defina ambos, campos e procedimentos, o modelo mais comum. Contudo, os outros modelos possuem suas aplicações e são plenamente possíveis de existir. Os campos, quando existem, podem ser de outros tipos de dados primitivos ou abstratos e os procedimentos, quando também existem, geralmente, realizam operações que manipulam os campos.
Um objeto representa um único valor válido que é composto pelo conjunto de outros possíveis valores, que, combinados, continuam sendo válidos. Os valores assumidos pelas variáveis de instância devem ser sempre permitidos e nunca devem ser proibidos. Caso as variáveis assumam valores proibidos, isso significa que o estado de objeto é inválido e seu tipo de dado abstrato (classe) possui um erro de lógica (algoritmos e estruturas) em sua concepção.