Interoperabilidad de componentes en linda

  1. Roldán Ruiz, Ana María
Dirigida por:
  1. Ernesto Pimentel Sánchez Director/a

Universidad de defensa: Universidad de Málaga

Fecha de defensa: 29 de abril de 2008

Tribunal:
  1. José María Troya Linero Presidente/a
  2. José Carlos Canal Velasco Secretario/a
  3. María Alpuente Frasnedo Vocal
  4. Juan Hernández Núñez Vocal
  5. Antonio Brogi Vocal

Tipo: Tesis

Teseo: 185503 DIALNET

Resumen

Las principales aportaciones del trabajo de tesis desarrollado consisten en la definición de Linda Calculus, un álgebra de procesos basado en Linda del que se presentan tanto su sintaxis como su sistema de transiciones, Se ha definido además una extensión del cálculo para considerar aspectos de tiempo real, y se han caracterizado las nociones de compatibilidad y reemplazabilidad (bisimulación) tanto para el cálculo básico como para su extensión temporal. Los resultados obtenidos se han aplicado a la especificación de interfaces de componentes software en el marco del lenguaje de descripción de arquitecturas LEDA, presentando diversos ejemplos para mostrar la expresividad de la propuesta. Finalmente, se ha desarrollo un prototipo que permite evaluar la compatibilidad de los componentes así especificados.