Tesis:
Arquitectura de programas a partir de especificaciones formales
- Autor: SALVACHUA RODRIGUEZ, Joaquín
- Título: Arquitectura de programas a partir de especificaciones formales
- Fecha: 1994
- Materia: Sin materia definida
- Escuela: E.T.S. DE INGENIEROS DE TELECOMUNICACION
- Departamentos: INGENIERIA DE SISTEMAS TELEMATICOS
- Acceso electrónico:
- Director/a 1º: MAÑAS ARGEMI, José Antonio
- Resumen: LOTOS es un lenguaje de especificación para la descripción de protocolos entre sistemas abiertos. El presente trabajo expone un algorítmo para la obtención del sistema de transición 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 realización centralizadas y distribuidas. Estas últimas sobre sistemas multiprocesador con memoria compartida o con paso de mensajes. Asimismo se tratan aspectos no funcionales, proponiendo extensiones del lenguaje dentro del marco semántico de LOTOS. Todos estos aspectos se llevan hasta la realización práctica, generándose módulos que responden a la especificación extendida y son integrables en sistemas más amplios