Tesis:
Contribución a la modelación y especificación del comportamiento observable de sistemas concurrentes.
- Autor: LEON SERRANO, Gonzalo
- Título: Contribución a la modelación y especificación del comportamiento observable de sistemas concurrentes.
- Fecha: 1982
- Materia: Sin materia definida
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: SIN DEPARTAMENTO DEFINIDO
- Acceso electrónico:
- Director/a 1º: SAEZ VACAS, Fernando
- Resumen: En los últimos años se ha producido un notable incremento del interés sobre técnicas de especificación de sistemas concurrentes. Este interés se ha dirigido fundamentalmente a los dos siguientes enfoques; 1. Adaptación de las técnicas secuenciales (axiomáticas y tipos abstractos de datos) a la especificación de sistemas concurrentes; 2. Un nuevo conjunto de técnicas derivadas de la teoría general de redes (estrechamente relacionadas con las redes de Pecri). El primer enfoque plantea numerosos problemas debido a que típicas cuestiones surgidas en sistemas concurrentes no pueden expresarse fácilmente en el marco secuencial. Por otro lado, la adaptación de los tipos abstractos de datos a la especificación de sistemas concurrentes parece muy artificiosa. El segundo método pretende encontrar una forma de expresar los eventos del sistema y su relación. Ambos enfoques no permiten fácilmente crear sistemas a partir de procesos elementales, y analizar el comportamiento global a partir del de éstos. Nuestro trabajo ha estado dirigido a buscar una herramienta notacional basada en una semántica derivada de la teoría general de redes. En pocas palabras, describimos un modelo de sistema concurrente utilizando una herramienta notacional denominada "expresiones de coordinación". El modelo computacional propuesto se basa en los aspectos de coordinación entre procesos ya que constituyen la clave de su comprensión. Las hipótesis fundamentales de nuestro trabajo se derivan de un modelo observacional de un proceso. De esta forma, un sistema concurrente se considera como una red de procesos (en la que cada uno es considerado como una "caja negra"). Las más importantes son ; 1. No consideramos aspectos temporales en el proceso; 2. Los procesos se comunican entre sí de forma sincronizada (protocolo de emisión y recepción bloqueado); 3. Se describe el comportamiento del proceso en tres niveles relacionados: Nivel neutral; Expresa las puertas observables y la relación de activación entre ellas. Nivel controlado; Expresa el flujo de información (entradas y salidas) asociado a puertas. Nivel valuado; Expresa variables (relacionadas con puertas de entrada) y expresiones (relacionadas con puertas de salida). La semántica del comportamiento de los procesos está basada en sistemas condición-evento interpretados. Las condiciones representan el estado permitido o libre (dependiendo de la marca) asociado a una puerta de comunicación, y los eventos representan el intercambio efectivo de información. Para representar el comportamiento dinámico de un proceso describimos la relación entre activaciones de puertas mediante un conjunto de operadores (derivados de las situaciones básicas en sistemas C-E). Estos son: 1.Para representar activación concurrente de puertas. 2. Para representar activación no determinística de puertas.3. Para representar activación secuencial de puertas. 4. Para representar activación infinita de un proceso. Se estudian, asimismo, diversas propiedades de los operadores. Con esta semántica, una expresión de coordinación representando un determinado comportamiento tiene la siguiente forma: S,=f,p (al, a2, a3, ..., an, ) donde al, a2, a3, ..., an puertas observables. X puerta no observable para representar eventos que no vemos o no queremos ver. Después de especificar un proceso, un sistema concurrente se describe mediante varios procesos interconectados con un conjunto de enlaces. La semántica asociada a un enlace está basada en la compartición de sus respectivos sistemas condición evento. Este segundo nivel de descripción se desarrolla alrededor de un conjunto de operaciones que nos permiten manejar la descripción del sistema. Operación de composición (o). Definida como operación binaria permite la interconexión entre puertas pertenecientes a diferentes procesos. Operación de descomposición t). Como operación unaria (sobre una expresión de coordinación) nos permite obtener una red de procesos con el mismo comportamiento global. Operación de reetiquetado ([/])Como operación unaria permite modificar la interpretación asociada a una puerta observable u ocultarle. Junto a estas operaciones hemos desarrollado un método empírico de hallar una expresión de coordinación correspondiente a una red de procesos. Finalmente, hemos explorado tres dominios de aplicación: problemas de sincronización, modelos de bloques elementales y descripción de comportamiento del hardware