Enfoque diferentes tipos de abstracción de datos

1. Las operaciones estan vinculadas a los datos del tipo.

2. procedimental

2.1. cabecera

2.1.1. Indica el nombre del procedimiento y el n´umero, orden y tipo de las entradas y salidas.

2.2. cuerpo

2.2.1. Esta compuesto por las siguientes clausulas. 1. Argumentos 2. Requiere 3. Valores de retorno 4. Efecto

2.3. Se puede cambiar la implementacion de una abstraccion procedimental sin afectar a otras abstracciones que la usen

2.4. no es necesario conocer los procedimientos de otras que se usen

2.5. solo interesa el numero de parametros y su tipo

3. Abstracción de Datos (TDA).

3.1. Especificación

3.2. cabecera

3.2.1. nombre del tipo y listado de las operaciones.

3.3. definición

3.3.1. Descripción del comportamiento sin indicar la representación. Se debe indicar si el tipo es mutable o no.

3.4. operaciones

3.4.1. Especificar las operaciones una por una como abstracciones procedimentales

3.5. Representación: Forma concreta en que se representan los datos en un lenguaje de programación para poder manipularlos.

3.6. Especificación: Descripción del comportamiento del TDA.

3.7. Implementacion: La forma especifica en que se expresan las operaciones.

4. especificacion

4.1. precondicion

4.1.1. tiene condiciones necesarias y suficientes para que se comporte como se prevee.

4.2. postcondicion

4.2.1. Enunciados que se suponen ciertos tras la ejecucion del procedimiento, si se cumplio la precondicion.

5. implementacion

5.1. En toda implementacion existen dos elementos caracterısticos muy importantes: • Funcion de abstraccion: conecta los tipos abstracto y rep. • Invariante de representacion: condiciones que caracterizan los objetos del tipo rep que representan objetos abstractos validos. Siempre existen aunque, habitualmente, no se es consciente de su existencia.