Síntesis de protocolos de comunicación a partir de especificaciones de servicio

Resumen

EN ESTE TRABAJO SE DESARROLLA UN METODO DE SINTESIS DE PROTOCOLOS PARES A PARTIR DE ESPECIFICACIONES DE SERVICIOS, PRIMERO SE DISCUTE EL ESTADO DE APLICACION DE LAS TECNICAS DE DESCRIPCION FORMAL EN EL DISEÑO DE PROTOCOLOS. SEGUIDAMENTE SE PRESENTA UN LENGUAJE PARA LA ESPECIFICACION DE SERVICIOS (LES) BASADO EN UNA LOGICA TEMPORAL LINEAL. UN SERVICIO DE NIVEL SE ESPECIFICA EN LES COMO UN CONJUNTO DE FORMULAS TEMPORALES QUE DEFINEN LAS RELACIONES QUE PUEDEN EXISTIR EN LA OCURRENCIA DE PRIMITIVAS DE SERVICIO, LA APLICACION DEL LENGUAJE SE ILUSTRA CON LOS SERVICIOS PROPORCIONADOS POR LOS PROTOCOLOS TIPO DE BIT ALTERNANTE Y ABRACADABRA. UTILIZANDO ESPECIFICACIONES DE SERVICIOS EN LES SE PLANTEA UN METODO BASADO EN REGLAS DE TRANSFORMACION QUE SINTETIZA DOS ENTIDADES DE PROTOCOLO, EXPRESADAS CON UN LENGUAJE BASADO EN UN MODELO DE AUTOMATAS FINITOS COMUNICANTES DENOMINADO LEP (LENGUAJE DE ESPECIFICACION DE PROTOCOLOS). SE MUESTRA SU APLICACION CON LA SINTESIS DE LOS PROTOCOLOS DE BIT ALTERNANTE Y ABRACADABRA SOBRE UN MEDIO DUPLEX CON PERDIDAS. FINALMENTE SE DISCUTE EL DESARROLLO DE UN ENTORNO DE DISEÑO DE PROTOCOLOS BASADO EN LOS LENGUAJES LES Y LEP.