Prototipado de especificaciones de sistemas distribuidos basadas en restricciones. Aplicación al lenguaje tesoro
- Corchuelo Gil, Rafael
- José Miguel Toro Bonilla Zuzendaria
Defentsa unibertsitatea: Universidad de Sevilla
Fecha de defensa: 1999(e)ko abendua-(a)k 17
- José María Troya Linero Presidentea
- José Antonio Troyano Jiménez Idazkaria
- Juan Manuel Corchado Rodríguez Kidea
- Juan Luis Pavón Mestras Kidea
- Juan Hernández Núñez Kidea
Mota: Tesia
Laburpena
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.