Arquitectura de programas a partir de especificaciones formales
- Autores: Joaquín Salvachúa Rodríguez
- Directores de la Tesis: José Antonio Mañas Argemí (dir. tes.)
- Lectura: En la Universidad Politécnica de Madrid ( España ) en 1994
- Idioma: español
- Tribunal Calificador de la Tesis: Juan Quemada Vives (presid.), Tomás Robles Valladares (secret.), Juan Antonio de la Puente Alfaro (voc.), Jorge Mataix Oltra (voc.), Ricardo Peña Marí (voc.)
- Calificación: Desconocido
- Materias:
- Texto completo no disponible (Saber más ...)
- Resumen
LOTOS ES UN LENGUAJE DE ESPECIFICACION PARA LA DESCRIPCION DE PROTOCOLOS ENTRE SISTEMAS ABIERTOS, EL PRESENTE TRABAJO EXPONE UN ALGORITMO PARA LA OBTENCION DEL SISTEMA DE TRANSICION SUBYACENTE QUE MEJORA, TANTO EN PRESTACIONES COMO EN COBERTURA DEL LENGUAJE, CUALQUIERA DE LOS ENFOQUES EXISTENTES EN LA LITERATURA ESPECIALIZADA.
PARA DICHO ALGORITMO SE PRESENTAN ARQUITECTURAS DE REALIZACION CENTRALIZADAS Y DISTRIBUIDAS. ESTAS ULTIMAS SOBRE SISTEMAS MULTIPROCESADOR CON MEMORIA COMPARTIDA O CON PASO DE MENSAJES.
ASIMISMO SE TRATAN ASPECTOS NO FUNCIONALES, PROPONIENDO EXTENSIONES DEL LENGUAJE DENTRO DEL MARCO SEMANTICO DE LOTOS.
TODOS ESTOS ASPECTOS SE LLEVAN HASTA LA REALIZACION PRACTICA, GENERANDOSE MODULOS QUE RESPONDEN A LA ESPECIFICACION EXTENDIDA Y SON INTEGRABLES EN SISTEMAS MAS AMPLIOS.
