Drlun lenguaje lógico para sistemas distribuidos de tiempo real

  1. Díaz Rodríguez, Manuel
unter der Leitung von:
  1. José María Troya Linero Doktorvater/Doktormutter

Universität der Verteidigung: Universidad de Málaga

Jahr der Verteidigung: 1995

Gericht:
  1. Antonio Vaquero Sánchez Präsident
  2. Ernesto Pimentel Sánchez Sekretär/in
  3. Gonzalo León Serrano Vocal
  4. Francisco Javier Garijo Mazario Vocal
  5. Juan José Moreno Navarro Vocal

Art: Dissertation

Teseo: 48344 DIALNET

Zusammenfassung

LA TESIS SE ENMARCA EN EL AMBITO DE LOS LENGUAJES LOGICOS CONCURRENTES Y SU UTILIZACION COMO TECNICA DE DESCRIPCION FORMAL PARA SISTEMAS DISTRIBUIDOS DE TIEMPO REAL, EN EL TRABAJO SE PRESENTA UN LENGUAJE LOGICO CONCURRENTE, ESPECIALMENTE DISEÑADO PARA SU EJECUCION EN ENTORNOS DISTRIBUIDOS DEBILMENTE ACOPLADOS Y QUE INCORPORA CARACTERISTICAS DE TIEMPO REAL. EN EL DISEÑO DEL LENGUAJE SE TIENEN EN CUENTA TANTO ASPECTOS DE IMPLEMENTACION COMO ASPECTOS FORMALES. ASI, EL COMPORTAMIENTO DE DRL VIENE DADO POR LA DEFINICION DE UNA SEMANTICA OPERACIONAL BASADA EN UN SISTEMA DE TRANSICIONES. ESTA SEMANTICA SE UTILIZA COMO BASE DE LA DEFINICION DE UNA NUEVA MAQUINA ABSTRACTA PARA LA EJECUCION DISTRIBUIDA DEL LENGUAJE. SU IMPLEMENTACION SE HA REALIZADO SOBRE UN ENTORNO DISTRIBUIDO DE ESTACIONES DE TRABAJO.