L2||O2
Un Lenguaje Lógico Concurrente Orientado a Objetos

Autor: Ernesto Pimentel Sánchez

Director: José M. Troya Linero

INDICE

Agradecimientos
Indice de Figuras
Notación

PROLOGO
CAPÍTULO I. Bases y antecedentes
  • I.1. Introducción
  • I.2. Programación lógica concurrente
  • I.2.1.Programación lógica
  • I.2.1.1. Lógica y control
  • I.2.1.2. No determinismo
  • I.2.2. Paralelización de programas lógicos
  • I.2.2.1. Paralelismo OR
  • I.2.2.2. Paralelismo AND
  • I.2.2.3. Paralelismo AND-OR
  • I.2.3. Lenguajes lógicos concurrentes
  • I.2.3.1. No determinismo don't care
  • I.2.3.2. El lenguaje Parlog
  • I.2.3.3. Técnicas de programación
  • I.3. Programación orientada a objetos
  • I.3.1. Aspectos de calidad del software
  • I.3.2. Afinidad con la programación distribuida
  • I.3.3. Conceptos y alternativas de diseño
  • I.3.3.1. Objetos
  • I.3.3.2. Clases
  • I.3.3.3. Herencia
  • I.3.3.4. Formas de herencia: estricta, selectiva, múltiple
  • I.3.3.5. Delegación frente a herencia
  • I.4. Antecedentes de la integración
  • I.4.1. Metainterpretación de clases y objetos
  • I.4.2. Clases como conjuntos de cláusulas
  • I.4.3. Objetos como procesos perpetuos
  • I.4.4. Otros paradigmas

    • CAPÍTULO II. L2||O2: El lenguaje
  • II.1. Un lenguaje lógico concurrente orientado a objetos
  • II.2. La estructura de una clase
  • II.3. Canales de comunicación
  • II.4. Objetos
  • II.5. Variables
  • II.6. Cláusulas de Horn con guarda extendidas
  • II.6.1. Recepción de mensajes
  • II.6.2. Modificación del estado
  • II.6.3. Emisión de mensajes
  • II.7. Composición de objetos
  • II.8. Relación de herencia
  • II.8.1. Herencia múúltiple
  • II.8.2. Self y Super
  • II.8.3. Conflictos y herencia repetida
  • II.8.4. Predicados privados
  • II.8.5. Herencia frente a composición
  • II.9. Descripción general de una clase en L2||O2
  • II.10. Comparación con otras propuestas
  • II.10.1. Vulcan
  • II.10.2. Un subconjunto de Mandala
  • II.10.3. A'UM
  • II.10.4. Polka

    • CAPÍTULO III. L2||O2: La semántica
  • III.1. Sobre el estudio de la semántica del lenguaje
  • III.2. Consideraciones previas
  • III.3. Universo semántico
  • III.3.1. Notación general
  • III.3.2. Objetos activos
  • III.3.3. Estado
  • III.4. Unificación extendida
  • III.4.1. Unificación bidireccional
  • III.4.2. Unificación unidireccional
  • III.5. Semántica operacional
  • III.5.1. Sistemas de transiciones
  • III.5.2. Configuraciones
  • III.5.3. Reglas de transición
  • III.5.3.1. Creación de instancias
  • III.5.3.2. Procesamiento de predicados privados
  • III.5.3.3. Unificación de salida
  • III.5.3.4. Mensajes sobre un canal de salida
  • III.5.3.5. Mensajes sobre self
  • III.5.4.6. Paralelismo
  • III.5.4. La semántica operacional
  • III.5.5. Parlog como subconjunto de L2||O2
  • III.6. Semántica declarativa
  • III.6.1. Anotación de variables
  • III.6.2. Composición paralela
  • III.6.3. Secuencias de sustituciones
  • III.6.4. La semántica del punto fijo
  • III.7. Semántica denotacional
  • III.7.1. Dominio de procesos
  • III.7.2. Composición paralela
  • III.7.3. La semántica denotacional
  • III.7.4. Corrección de la semántica denotacional
  • III.7.4.1. Caracterización de la semántica operacional
  • III.7.4.2. Caracterización de la semántica denotacional
  • III.7.4.3. Corrección

    • CAPÍTULO IV. L2||O2: La implementación
  • IV.1. Revisión de la sem‡ntica operacional del lenguaje
  • IV.1.1. Modificación de las variables de estado
  • IV.1.2. Ordenación en la jerarquí’a de herencia
  • IV.1.3. Unificación sobre canales de comunicación
  • IV.1.4. Revisión de las reglas de transición
  • IV.1.4.1. Creación de instancias
  • IV.1.4.2. Procesamiento de predicados privados
  • IV.1.4.3. Mensajes sobre canal de salida o variable lógica
  • IV.1.4.4. Mensajes sobre self, super y clases heredadas
  • IV.1.4.5. Eliminación de objetos
  • IV.2. Detalles de la implementación
  • IV.2.1. Estructuras utilizadas
  • IV.2.1.1. Representación de los datos
  • IV.2.1.2. Representación de los canales de comunicación
  • IV.2.2. Predicados asociados a una clase
  • IV.2.2.1. Predicados de activación
  • IV.2.2.2. Predicados de reactivación
  • IV.2.2.3. Predicados de comportamiento público
  • IV.2.2.4. Predicados de comportamiento privado
  • IV.2.3. Primitivas de lenguaje
  • IV.2.3.1. Actualización de variables de estado
  • IV.2.3.2. Emisión de mensajes

    • CAPÍTULO V. Conclusiones
  • APÉNDICE A. Descripción BNF de L2||O2
  • APÉNDICE B. Definiciones Matemáticas
  • APÉNDICE C. Ejemplo
  • Referencias