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

Résumé

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.