Especificación de sistemas concurrentes usando conceptos de teoría económicasintaxis, semántica, aplicaciones y extensiones del lenguaje formal pamr

Resumen

El problema de la distribución de recursos computacionales entre las entidades concurrentes presentes en un sistema distribuido es complejo debido a varias razones. Por una parte, neceistamos satisfacer, en la medida de lo posible, diferentes objetivos que pueden ser dispares e incompatibles. Por otra parte, necesitamos obtener distribuciones adecuadas utilizando un reducido número de mensajes que no sobrecargue las comunicaciones del sistema. La ciencia económica provee los conceptos necesarios para tratar entornos donde una serie de agentes pugnan por el uso de ciertos recursos escasos que pueden tener usos alternativos, por lo que su aplicación a dicho problema resulta adecuada. Por otro lado, los métodos formales llevan años proveyendo mecanismos a abstracción adecuados para analizar las propiedades de los sistemas computacionales. En concreto, los lenguajes de especificación formales para sistemas concurrentes permiten la definición de los sistemas distribuidos y el posterior estudios de sus propiedades de una manera formal. En la presente tesis se construye el lenguaje formal PAMR (Process Algebra for the Management of Resources), que permite especificar sistemas concurrentes en los que la disponibilidad de los recursos entre los distintos procesos juega un papel importante. La definición de las características relevantes de los sistemas se realiza haciendo uso de conceptos de Microeconomía, lo que permite utilizar técnica de ésta en el análisis de dichos sistemas. Además, el lenguaje se extiende de manera incremental para incluir factores que tienen una fuerte interdependencia con la cantidad de recursos disponibles. Tal es el caso del tiempo, cuya influencia en el comportamiento de los sistemas se analiza tanto en su versión determinista (es decir, podemos definir el tiempo que tardará cada tarea en función de los recursos disponibles) como en su versión probabilista (es decir, conocemos la probabilidad de qu