Abs

Abstracci´
on en Programaci´
on

Abstracci´
on: Operaci´
on intelectual que ignora
selectivamente partes de un todo para facilitar su
comprensi´on.
Abstracci´on en la resoluci´
on de problemas: Ignorar detalles espec´ıficos buscando generalidades que
ofrezcan una perspectiva distinta, m´
as favorable a su
resoluci´on.
Abstracci´on: descomposici´
on en que se var´ıa el
nivel de detalle.Propiedades de una descomposici´on u
´til:
• Todas las partes deben estar al mismo nivel
• Cada parte debe poder ser abordada por separado
• La soluci´on de cada parte debe poder unirse al
resto para obtener la soluci´on final

ED: Abstracci´
on de Datos

1

Mecanismos de Abstracci´
on en
Programaci´
on

• Abstracci´on por parametrizaci´
on. Se introducen
par´ametros para abstraer un n´
umero infinito decomputaciones.
Ejemplo: c´alculo de cos α.
• Abstracci´on por especificaci´on. Permite abstraerse de la implementaci´on concreta de un procedimiento asoci´andole una descripci´
on precisa de su
comportamiento.
Ejemplo: double sqrt(double a);
requisitos: a ≥ 0;
√
efecto: devuelve una aproximaci´
on de a.
La especificaci´on es un comentario lo suficientemente definido y expl´ıcito como para poderusar
el procedimiento sin necesitar conocer otros elementos.
ED: Abstracci´
on de Datos

2

Abstracci´
on por Especificaci´
on

Se suele expresar en t´erminos de:
• Precondici´
on: Condiciones necesarias y suficientes para que el procedimiento se comporte como
se prevee.
• Postcondici´
on: Enunciados que se suponen ciertos tras la ejecuci´on del procedimiento, si se cumpli´
o la precondici´on.
intbusca_minimo(float * array, int num_elem)
/*
precondici´
on:
- num_elem > 0.
- ’array’ es un vector con ’num_elem’
componentes.
postcondici´
on:
devuelve la posici´
on del m´
ınimo elemento
de ’array’.
*/
ED: Abstracci´
on de Datos

3

Tipos de Abstracci´
on

• Abstracci´
on Procedimental. Definimos un conjunto de operaciones (procedimiento) que se comporta como una operaci´
on.
• Abstracci´
on deDatos (TDA). Tenemos un conjunto de datos y un conjunto de operaciones que
caracterizan el comportamiento del conjunto. Las
operaciones est´an vinculadas a los datos del tipo.
• Abstracci´
on de Iteraci´
on. Abstracci´
on que permite trabajar sobre colecciones de objetos sin tener
que preocuparse por la forma concreta en que se
organizan.

ED: Abstracci´
on de Datos

4

Abstracci´
onProcedimental

Permite abstraer un conjunto preciso de operaciones de c´omputo como una operaci´
on simple. Realiza
la aplicaci´on de un conjunto de entradas en las salidas
con posible modificaci´
on de entradas.
• La identidad de los datos no es relevante para el
dise˜no. S´olo interesa el n´
umero de par´ametros y
su tipo.
• Con abstracci´
on por especificaci´on es irrelevante
la implementaci´on, pero noqu´e hace.
– Localidad: Para implementar una abstracci´
on
procedimental no es necesario conocer la implementaci´on de otras que se usen, s´
olo su
especificaci´on.
– Modificabilidad: Se puede cambiar la implementaci´on de una abstracci´
on procedimental
sin afectar a otras abstracciones que la usen,
siempre y cuando no cambie la especificaci´on.
ED: Abstracci´
on de Datos

5

Especificaci´
on deuna Abstracci´
on
Procedimental (I)

Propiedades:
´
• Util
• Completa
• Consistente
• Indicar el comportamiento en todos los casos en
que sea aplicable
Debe identificar claramente:
• Entradas
• Salidas
• Requisitos
• Efectos
ED: Abstracci´
on de Datos

• Elementos modificados

6

Especificaci´
on de una Abs. Proc. (II)

int elimina_deuda(int * partidas,
int num_partidas)
/*
Argumentos:---------partidas: Array monodimensional de enteros
con ’num_partidas’ componentes.
Es MODIFICADO.
num_partidas: N´
umero de componentes de
’partidas’. num_partidas > 0.
Valores de retorno:
-----------------Valor absoluto de la suma de las partidas
negativas.
Efecto:
-----Calcula la suma de las componentes de
’partidas’ con valor negativo. Pone a cero
cada componente negativa, cambia el signo
de la suma...