Resumen de Validación de protocolos. Una aproximación algebraica
EL ENTORNO DEL TRABAJO SE SITUA EN LA INVESTIGACION DE VARIOS ASPECTOS DE LA INGENIERIA DEL SOFTWARE -ENTRE OTROS LA MODELIZACION ESPECIFICACION Y VALIDACION- ADEMAS DE LA APLICACION DE TAL INGENIERIA AL DESARROLLO DE HERRAMIENTAS Y TECNICAS PARA LOS PROTOCOLOS DE COMUNICACION EN EL ENTORNO DE LA INTERCONEXION DE SISTEMAS ABIERTOS (ISA), EN EL PRESENTE TRABAJO SE INTRODUCE UN MODELO ALGEBRAICO ENCAMINADO A LA VALIDACION DE LA CORRECCION DE PROTOCOLOS QUE ADEMAS UNIFICA LAS CONSIDERACIONES DE RENDIMIENTO Y PRESTACIONES A TRAVES DE UNA SEMANTICA PROBABILISTA. PARTIENDO DE TAL MODELO SE PROPONE UNA METODOLOGIA DE DISEÑO PARA FACILITAR EL BUEN RENDIMIENTO DE LA VALIDACION DE LAS ESPECIFICACIONES DE PROTOCOLOS Y SERVICIOS ANTES DE LA ETAPA DE IMPLEMENTACION.
LA PROPUESTA DE LA METODOLOGIA CONCRETA LLEVA ASOCIADO EL DESARROLLO DE HERRAMIENTAS APROPIADAS PARA LA VALIDACION DE ESPECIFICACIONES QUE TOMANDO COMO BASE EL MODELO PROPUESTO PERMITEN EL USO DE DIFERENTES LENGUAJES DE ESPECIFICACION FORMAL CADA UNO POSIBLEMENTE ADECUADO A LA DESCRIPCION DE DIFERENTES ELEMENTOS DE LOS SISTEMAS DISTRIBUIDOS Y ADAPTADOS A LA VALIDACION: SE TOMAN COMO CASOS DE ESTUDIO LOTOS Y ESTELLE.
PALABRAS CLAVE. ALGEBRA DE PROCESOS. ENTES EN COMUNICACION.
ESPECIFICACION FORMAL. INGENIERIA DE PROTOCOLOS.
PREDICCION DE PRESTACIONES. PROCESO AUTOMATIZADO.
SEMANTICA. SISTEMAS DISTRIBUIDOS. VALIDACION ALGEBRAICA.
