Return to search

Extension del lambda-cálculo para la modelizacion de procesos concurrentes

El lambda-cálculo es una teoría sin tipos que interpreta las funciones como reglas, es decir,
el proceso de ir de un argumento a un valor, un proceso codificado por una definición.
La idea de utilizar el lambda-cálculo como un marco matemático para la descripción y el
Razonamiento acerca de los sistemas computacionales es antigua. De hecho, gracias
al análisis realizado por Turing, se puede afirmar que, a pesar de que su sintaxis
Es muy simple, el lambda-cálculo es lo suficientemente potente para describir todas las
funciones computables mecánicamente. Pero, como mostró G. Berry, la computación
que captura el lambda-cálculo es esencialmente secuencial. Un desafío importante que, sobre
Todo desde _males de los años ochenta, está implicando a muchos investigadores es la
construcción de un marco similar al _-cálculo para la concurrencia y la comunicación
entre procesos.
El objetivo fundamental que guiara el trabajo que a continuación presentamos es la
Formalización de un cálculo que extiende el lambda-cálculo para modelizar la concurrencia
y la comunicación entre procesos. El lenguaje desarrollado se denomina lambda-cálculo
Etiquetado Paralelo (LCEP). Su origen está en una propuesta inicial de H. A _t-Kaci
(el _-calculo Etiquetado) que describe un lenguaje, extensión del lambda-cálculo, en el
que los argumentos de las funciones se seleccionan mediante etiquetas, incluyendo
tanto posiciones numéricas como simbólicas. Esta extensión es conservativa en el
sentido de que, cuando el conjunto de etiquetas es el conjunto unario f1g, el lambda-cálculo
Etiquetado coincide exactamente con el lambda-cálculo, condición que no se cumple en las
otras propuestas que vamos a estudiar comparativamente como punto de partida.
Para describir el nuevo cálculo vamos a utilizar una semántica operacional dada por
un sistema de transición, a partir de la cual propondremos diferentes relaciones de
equivalencia para modelar los distintos aspectos relacionados con el comportamiento
operacional de los procesos.
Por último, ya que la escritura directa de programas en LCEP resulta demasiado
compleja en la mayoría de los casos como para pensar en _el como recurso expresivo
adecuado para la programación, vamos a definir un lenguaje de más alto nivel,
ALEPH, que posee los recursos expresivos deseables en programación y permite aprovechar
la potencia computacional del sistema. Mostraremos como ALEPH se traduce
a LCEP como código máquina y es a través de este como se realizan las ejecuciones
de los programas.
A lo largo del texto es importante descubrir que a través de una sintaxis razonablemente
simple es posible expresar todas las características que conlleva la concurrencia
dentro de un paradigma funcional / Oliver Villarroya, FJ. (1996). Extension del lambda-cálculo para la modelizacion de procesos concurrentes [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/58867

Identiferoai:union.ndltd.org:upv.es/oai:riunet.upv.es:10251/58867
Date16 December 2015
CreatorsOliver Villarroya, Francisco Javier
ContributorsRamos Salavert, Isidro, Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació
PublisherUniversitat Politècnica de València
Source SetsUniversitat Politècnica de València
LanguageSpanish
Detected LanguageSpanish
Typeinfo:eu-repo/semantics/doctoralThesis
SourceRiunet
Rightshttp://rightsstatements.org/vocab/InC/1.0/, info:eu-repo/semantics/openAccess

Page generated in 0.0022 seconds