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

Departamento: INGENIERIA DE SISTEMAS TELEMATICOS

Acceso electrónico:

Director/a(s):

• Director/a: 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