Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. Aplicación al lenguaje tesoro

• Autores: Rafael Corchuelo Gil
• Directores de la Tesis: José Miguel Toro Bonilla (dir. tes.)
• Lectura: En la Universidad de Sevilla ( España ) en 1999
• Idioma: español
• Tribunal Calificador de la Tesis: José María Troya Linero (presid.), José Antonio Troyano Jiménez (secret.), Juan Manuel Corchado Rodríguez (voc.), Juan Luis Pavón Mestras (voc.), Juan Hernández Núñez (voc.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Logicales de ordenadores
      • Informática
      • Sistemas de información, diseño y componentes
• Enlaces
  • Tesis en acceso abierto en: Idus
• Resumen

  • Esta tesis plantea la posibilidad de fomentar el uso de los métodos formales en la industria informática, utilizándolos como lenguajes de muy alto nivel a partir de los cuales se puedan obtener rápidamente prototipos apreciables en la fase de análisis de requisitos. Se realiza un estudio exhaustivo de los lenguajes LCM, TROLL, OASIS y TESORO destacando sus características comunes y aquellas que resultan más útiles en la práctica. Para poder compilarlos, se propone un lenguaje ensamblador llamado Clip y se desarrollan técnicas para implementarlo sobre una red de estaciones de trabajo heterogéneas. El problema de la selección justa de alternativas ha sido tratado con gran detalle y se han realizado varias propuestas para resolverlos, que resultan originales y mejoran sustancialmente las clásicas de Francez, Informan o Best.