Arquitectura de software dinámica basada en reflexión

401 Pages·2002·2.86 MB·Spanish

Universidad de Valladolid

Arquitectura de software dinámica
basada en reflexión

Carlos Enrique Cuesta Quintero

Tesis de Doctorado

Facultad: E. T. S. Informática

Director: Dr. Pablo de la Fuente Redondo

2002
Universidad de Valladolid
Departamento de Informa´tica (ATC, CCIA, LSI)
Arquitectura de Software Dina´mica
Basada en Reflexio´n
Tesis Doctoral
D. Carlos Enrique Cuesta Quintero
Director:
Dr. Pablo de la Fuente Redondo
Julio de 2002
A Pilar
Agradecimientos
Aunque es casi un to´pico, no por ello es menos cierto que un trabajo de tesis implica siempre
a much´ısimas m´as personas que su autor. En mi caso, puedo decir que el apoyo y confianza de
todas esas personas ha resultado determinante para que esta tesis llegase a buen t´ermino.
Son muchas las contribuciones que he recibido, de un modo u otro; es imposible recordar
ahora todas ellas. Pero aun as´ı, no quiero dejar de dar las gracias a algunas personas cuya
aportacio´n ha sido para m´ı especialmente importante:
Ante todo, a Pablo, por su apoyo incondicional, su infinita paciencia, su inter´es, su apertura
deideas,susbuenosconsejosysuintegridadycalidadcomocient´ıficoycomopersona. Tambi´en,
por haberme dirigido hacia un tema que ha llegado a apasionarme, y por confiar en que ser´ıa
capaz de llevarlo a buen t´ermino; ha sido para m´ı un verdadero honor trabajar a su lado.
A Manolo, que sin pretenderlo me ha impulsado siempre a hacer todo aqu´ello que yo en
un principio no cre´ıa posible, y que ha resuelto siempre mis dudas m´as profundas, a menudo
simplemente haciendo la pregunta precisa o diciendo la palabra adecuada. Tambi´en, por su
sentido del humor, por su ´animo constante y por ser un magn´ıfico compan˜ero.
A mis padres y hermanas, en especial, por su apoyo a lo largo de todos estos an˜os, y a mis
dos familias, en general, por su paciencia, confianza y ´animo.
A mis amigos, todos ellos, y en especial a Alberto, Blas, Carlos, Chema, David, Diego, Julio,
Juan Carlos, O´scar, Rosa y Santiago, que han seguido ah´ı, todo el tiempo, esperando a que yo
terminase de una vez, siempre dispuestos a ofrecer su apoyo.
Atodoslosmiembrosdelosgruposdeinvestigacio´nArcoy Grinbd, delA´readeLenguajes
y Sistemas Informa´ticos, en especial, y del Departamento de Informa´tica, en general, por todas
las veces que me han echado una mano, en especial en estos u´ltimos meses.
Y, por supuesto, a Pilar, que ha estado siempre a mi lado, dentro y fuera de esta tesis,
en todas y cada una de las etapas y momentos de su desarrollo. Son demasiadas las cosas
que tengo que agradecerle, tanto en el plano humano, como en el cient´ıfico y acad´emico. Es
completamente cierto que no tengo palabras para darle las gracias; sin ella, simplemente, no lo
hubiera conseguido.
A todos, de nuevo, gracias.
v
´
Indice General
Dedicatoria iii
Agradecimientos v
I Introduccio´n y Objetivos 1
1 Introduccio´n 3
1.1 Introduccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.3 Estructura de la Tesis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
II Arquitectura de Software Dina´mica 9
2 Arquitectura de Software 11
2.1 Introduccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
2.2 Definicio´n de Arquitectura de Software . . . . . . . . . . . . . . . . . . . . . . . . 11
2.3 Relevancia de la Arquitectura de Software . . . . . . . . . . . . . . . . . . . . . . 13
2.4 Conceptos Fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.4.1 Lenguajes de Descripcio´n de Arquitectura . . . . . . . . . . . . . . . . . . 16
2.4.2 Componente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.4.3 Conector . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.4.4 Puerto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.4.5 Estilo Arquitecto´nico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.4.6 Vista. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.5 Conclusio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3 Arquitectura de Software Din´amica 27
3.1 Introduccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.2 Arquitectura de Software Dina´mica . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.3 Tipos de Dinamismo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.4 Reconfiguracio´n Dina´mica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.4.1 Tipos de Reconfiguracio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
vii
3.4.2 Operaciones B´asicas de Reconfiguracio´n . . . . . . . . . . . . . . . . . . . 32
3.5 Clasificacio´n: por Origen . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.6 Sistemas Cla´sicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.6.1 Conic . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.6.2 Durra . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.7 Basados en A´lgebras de Procesos . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.7.1 Wright Dina´mico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.7.2 Darwin . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.7.3 Leda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.7.4 Derivados de Acme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Armani . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Hot Acme . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.7.5 AML . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.8 Basados en Eventos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
3.8.1 Rapide . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
3.8.2 C2 (C2sadel) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
3.9 Basados en Grafos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
3.9.1 Precedentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Grama´ticas-∆: Garp . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
Teor´ıa Sinta´ctica de Dean & Cordy . . . . . . . . . . . . . . . . . . . . . . 54
Aproximaciones de Holt . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.9.2 Grama´ticas de Le M´etayer. . . . . . . . . . . . . . . . . . . . . . . . . . . 54
3.9.3 Hipergrafos de Hirsch . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
Modelo Inicial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Modelo de Mosaicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
3.9.4 Modelo Catego´rico de Wermelinger . . . . . . . . . . . . . . . . . . . . . . 60
3.10 Modelos Qu´ımicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.10.1 Precedentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
3.10.2 Doble Cham de Wermelinger . . . . . . . . . . . . . . . . . . . . . . . . . 63
3.11 Coordinacio´n Dirigida por Datos . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
3.11.1 El Modelo Linda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
3.11.2 Los Sistemas PoliS y MobiS . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.12 Coordinacio´n Dirigida por Control . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.12.1 El Modelo Iwim: Manifold . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.13 Otros Lenguajes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.13.1 L´ogica de Reescritura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
3.13.2 El Modelo de Actores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
3.14 Modelos de Dinamismo Arquitecto´nico . . . . . . . . . . . . . . . . . . . . . . . . 72
3.15 Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
III Reflexio´n 77
4 El Concepto de Reflexio´n 79
4.1 Introduccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
4.1.1 Definicio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
4.2 El Problema de la Autorreferencia . . . . . . . . . . . . . . . . . . . . . . . . . . 81
4.2.1 Meta-Programacio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
4.3 Conceptos Fundamentales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4.3.1 Hipo´tesis de Reflexio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
4.3.2 Reificacio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 87
4.3.3 Arquitectura de Meta-Nivel . . . . . . . . . . . . . . . . . . . . . . . . . . 89
Protocolo de Meta-Objeto . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
4.3.4 Meta-Espacio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 91
4.4 Clasificaciones de la Reflexio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 92
4.4.1 Por Efecto. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 93
4.4.2 Por Tiempo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.5 Reflexio´n y Orientacio´n al Objeto . . . . . . . . . . . . . . . . . . . . . . . . . . . 94
4.5.1 Modelos Reflexivos de Objetos . . . . . . . . . . . . . . . . . . . . . . . . 95
4.6 Reflexio´n Aplicada: Envolventes y Aspectos . . . . . . . . . . . . . . . . . . . . . 97
4.7 Reflexio´n y Arquitectura de Software . . . . . . . . . . . . . . . . . . . . . . . . . 98
4.8 Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 103
IV Arquitectura de Software Dina´mica mediante Reflexio´n 105
5 El Modelo Marmol 107
5.1 Introduccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
5.2 Arquitectura de Software Dina´mica con Reflexio´n . . . . . . . . . . . . . . . . . . 108
5.3 Marmol: Modelo Informal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 110
5.4 Sobre el Concepto de Nombre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
5.5 Marmol: Modelo Formal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 114
5.5.1 Modelo Arquitecto´nico General (ℵ ) . . . . . . . . . . . . . . . . . . . . . 115
Σ
Conceptos B´asicos (Primitivos) . . . . . . . . . . . . . . . . . . . . . . . . 116
Dimensio´n Vertical: Composicio´n . . . . . . . . . . . . . . . . . . . . . . . 117
Dimensio´n Horizontal: Interaccio´n . . . . . . . . . . . . . . . . . . . . . . 124
Sistema de Tipos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
5.5.2 Modelo Marmol General (ℵ ) . . . . . . . . . . . . . . . . . . . . . . . . 147
M
5.5.3 Modelo Marmol Restringido (ℵ ) . . . . . . . . . . . . . . . . . . . . . . 162
Π
5.6 Conclusio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 164
6 El Lenguaje PiLar: Sintaxis 167
6.1 Introduccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167
6.2 Visio´n General del Lenguaje . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
6.2.1 El Concepto de Componente . . . . . . . . . . . . . . . . . . . . . . . . . 170
6.3 Lenguaje Estructural . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
6.4 Declaracio´n de Componente . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 172
6.4.1 Declaracio´n de Interfaz . . . . . . . . . . . . . . . . . . . . . . . . . . . . 174
6.4.2 Declaracio´n de Instancia . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
6.4.3 Declaracio´n de Conexiones . . . . . . . . . . . . . . . . . . . . . . . . . . 175
6.4.4 Reificaciones y Restricciones . . . . . . . . . . . . . . . . . . . . . . . . . 176
6.4.5 Estructuras Sinta´cticas Adicionales . . . . . . . . . . . . . . . . . . . . . . 177
Alternativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Iteracio´n. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
Parametrizacio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
Recursio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 178
6.5 Reificacio´n: Reflexio´n Arquitecto´nica . . . . . . . . . . . . . . . . . . . . . . . . . 179
6.5.1 Anotaciones de Meta-Nivel . . . . . . . . . . . . . . . . . . . . . . . . . . 181
6.6 Lenguaje Dina´mico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
6.6.1 ¿Por qu´e no c´alculo-π? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 185
6.7 Estructura de una Restriccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
6.7.1 Canales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 186
6.7.2 Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
6.7.3 Procesos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 187
6.8 Constructores de Proceso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 188
6.8.1 Regla de A´mbito . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
6.8.2 Replicacio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 190
6.9 Acciones Elementales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 191
6.10 Comandos Reflexivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 193
6.10.1 Operandos Reflexivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 194
6.10.2 Operadores Dina´micos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 196
6.10.3 Operadores Reflexivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 197
6.11 Conectores de Nivel Meta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
6.12 Extensiones Espec´ıficas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 202
6.12.1 Soporte para Envolventes . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
6.13 Conclusio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206
7 El Lenguaje PiLar: Sema´ntica 209
7.1 Introduccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 209
7.2 Sema´ntica Intuitiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
7.2.1 Concepto Sema´ntico B´asico . . . . . . . . . . . . . . . . . . . . . . . . . . 210
7.2.2 Discusio´n: sobre las Sema´nticas Algebraicas . . . . . . . . . . . . . . . . . 211
7.2.3 Componentes como Procesos Abstractos . . . . . . . . . . . . . . . . . . . 214
7.2.4 Conceptos Arquitecto´nicos de PiLar . . . . . . . . . . . . . . . . . . . . . 217
Puertos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 217
Componentes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 220
Conexiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
7.2.5 Intuicio´n para un Proceso Reflexivo . . . . . . . . . . . . . . . . . . . . . 223
7.3 Sema´ntica de los Aspectos Estructurales . . . . . . . . . . . . . . . . . . . . . . . 236
7.3.1 Puerto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236
7.3.2 Componentes (Instancias) . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
7.3.3 Reificacio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 244
7.3.4 Componentes en el Nivel Meta . . . . . . . . . . . . . . . . . . . . . . . . 246
7.3.5 Conexio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
Conexio´n Jera´rquica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 259
7.3.6 Estructuras Sinta´cticas Adicionales . . . . . . . . . . . . . . . . . . . . . . 260
Conjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 260
Estructura Alternativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 261
Bucles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 262
Nota sobre Componentes Recursivos y Param´etricos . . . . . . . . . . . . 263
7.4 Sema´ntica de los Aspectos Dina´micos . . . . . . . . . . . . . . . . . . . . . . . . 264
7.4.1 Sobre la Notacio´n Sema´ntica . . . . . . . . . . . . . . . . . . . . . . . . . 265
7.4.2 Restricciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
Canales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 265
Variables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
7.4.3 Procesos: Constructores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
Replicacio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
Recursio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
7.4.4 Primitivas de Comunicacio´n . . . . . . . . . . . . . . . . . . . . . . . . . . 268
7.4.5 Primitivas Dina´micas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
7.4.6 Primitivas Reflexivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
Operandos Reflexivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 273
Operadores Reflexivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 275
7.5 Extensio´n: Envolventes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279
7.5.1 Puerto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 279
7.6 Conclusio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 281
8 Arquitectura Din´amica en PiLar 283
8.1 Introduccio´n . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 283
8.2 Ejemplo de la Gasolinera . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 284
8.2.1 Variante: una Gasolinera Dina´mica . . . . . . . . . . . . . . . . . . . . . . 286
8.3 Un Sistema Cliente/Servidor [2|3]-tier . . . . . . . . . . . . . . . . . . . . . . . . 288
8.4 Ejemplo de Los Filo´sofos Evolutivos . . . . . . . . . . . . . . . . . . . . . . . . . 290
8.5 El Modelo Linda: Espacios de Tuplas . . . . . . . . . . . . . . . . . . . . . . . . 296
8.6 Sistema con Componentes Envolventes . . . . . . . . . . . . . . . . . . . . . . . . 299
8.7 Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303
V Conclusiones 305
9 Conclusiones y Trabajo Futuro 307
9.1 Conclusiones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 307
9.2 L´ıneas de Trabajo Futuro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 309
Bibliograf´ıa 314
VI Ap´endices 353
A Grama´tica de PiLar 355
B Sintaxis del Ca´lculo-π 363
B.1 El C´alculo-π . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 366
C Dialecto del Ca´lculo-π 371
C.1 Versio´n del C´alculo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 371
C.2 Extensiones Gramaticales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 374
C.2.1 Estructura Alternativa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375
C.2.2 Composicio´n Secuencial . . . . . . . . . . . . . . . . . . . . . . . . . . . . 375
C.3 Tipos Ba´sicos de Datos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
C.3.1 Booleanos [Bool] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
C.3.2 Enteros [Int] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 377
C.3.3 Cadenas [String] . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 378
C.4 Tipos Abstractos de Datos. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379
C.4.1 Tuplas y Vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379
C.4.2 Registros . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 380
C.4.3 Pares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 382
C.4.4 Listas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 383
Listas Nombradas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 386
Notacio´n Abreviada para Listas . . . . . . . . . . . . . . . . . . . . . . . . 389
C.5 Notacio´n de Tipos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 392
D Definiciones Sema´nticas Auxiliares 395
D.1 Bucles: Iteradores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 395
D.1.1 Sobre Listas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 396
D.1.2 Sobre Listas Nombradas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397
D.1.3 Sobre Rangos de Enteros . . . . . . . . . . . . . . . . . . . . . . . . . . . 397
D.2 Concatenacio´n de Listas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
D.3 Conversio´n de Enumeraciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 398
D.3.1 De Listas a Vectores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 399
D.3.2 De Vectores a Listas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 399