Resumen:
Muchos de los sistemas de hoy en día tienen un comportamiento distribuido. Los sistemas distribuidos realizan sus tareas interactuando con otros componentes, con lo cual la coordinación, especificación y análisis de las interacciones es un problema crucial. Es por eso que se buscan especificaciones precisas que garanticen la correctitud en las interacciones (protocolos) entre los componentes distribuidos. Existen resultados teóricos que tratan estos problemas de correctitud. Recientemente, se ha propuesto formalizar cada componente como máquinas finitas comunicantes (Communicating machines) y verificar que su composición es correcta sintetizando a partir de las mismas un protocolo global o coreografía. El problema se reduce entonces a modelar cada componente del sistema como una máquina de estados finitos comunicante y luego verificar que la composición de las mismas es correcta. En este trabajo abordaremos el problema de generar estas abstracciones a partir de código Java. Utilizaremos programas que se comunican a través de Sockets y aplicamos la técnica para comprobar la correcta implementación de casos de estudio.
Citación:
---------- APA ----------
Santillán, Osvaldo Pablo. (2016). Validación de protocolos de comunicación en programas JAVA. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000676_Santillan
---------- CHICAGO ----------
Santillán, Osvaldo Pablo. "Validación de protocolos de comunicación en programas JAVA". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2016.https://hdl.handle.net/20.500.12110/seminario_nCOM000676_Santillan
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000676_Santillan.pdf
Distrubución geográfica
