uso de los objetos complejos estructurados, los no estructurados y la extensibilidad de tipos

En el modelo de objetos existen cuatro características fundamentales:

Abstracción: denota las características esenciales de un objeto que lo distinguen de todos los demás tipos objeto, y proporciona así fronteras conceptuales nítidamente definidas respecto a la perspectiva del observador". Una abstracción se centra en la visión externa de un objeto, y, por tanto sirve para separar el comportamiento esencial de un objeto de su implantación.

Modularidad: Se basa en el concepto de fragmentación de los programas en componentes individuales para reducir su complejidad en algún grado, y para crear además una serie de fronteras bien definidas y documentadas dentro del programa, dónde estas fronteras o interfaces tienen un incalculable valor cara a la comprensión del programa.

Jerarquía: una clasificación u ordenación de abstracciones.

Tipos: Es un conjunto de objetos que tienen un mismo comportamiento (comparten una misma funcionalidad) que se puede observar desde afuera.

Genericidad: permite construir clases genéricas para otras clases.

Objetos Complejos: Están construidos mediante algunos más simples ó mediante la aplicación de constructores a ellos. Los Objetos más simples son objetos como: Integer, Carácter, String de Bytes de cualquier longitud, booleanos ó punto flotante y algunos pueden ser de tipo atómico.
Hay varios constructores de objetos complejos como son: Listas y arreglos.
Por ejemplo: El juego mínimo de constructores que el sistema debe tener son una lista y un Arreglo.
Las listas y arreglos son importantes porque, pueden capturar ordenes las cuales ocurren en el mundo real y también se pueden levantar en muchas especificaciones científicas donde las necesidades de la gente son matrices, series de tiempo de información ó datos. El objeto de constructores debe ser ortogonal cualquier constructor debe ser aplicado a cualquier objeto.

Identidad de Objetos: Un modelo significa en un modelo una identidad de objeto. El objeto tiene una existencia la cual es independiente de su valor, esto es dos nociones de equivalencia del objeto. Dos objetos pueden ser idénticos, que tengan el mismo objeto ó pueden ser iguales, que tengan el mismo valor; este tiene dos implicaciones una es la compartición del objeto y la otra es la actualización del objeto.

Compartición de Objetos: Es un modelo basado en la identidad de dos objetos contener ó compartir un componente la representación pictórica de un objeto complejo es una gráfica mientras que están limitadas en un árbol sin identidad de objeto.