Defensa Tesis Licenciatura Christian Roldan

• Título: Correlación y excepciones en lenguajes de orquestación de servicios
• Director: Hernán Melgratti
• Jurados: Eduardo Bonelli y Guido de Caso
• Resumen:

Los conjuntos de correlación son primitivas que permiten identificar instancias en los lenguajes de orquestación de servicios. Un conjunto de correlación es un conjunto de propiedades usado para asociar el mensaje que un servicio recibe con alguna instancia activa que el servicio haya creado. De esta manera, cada vez que un servicio recibe un mensaje, este determina a qué instancia del servicio debería entregarle el mensaje en cuestión. A partir de una implementación concreta para WS-BPEL, propondremos un modelo formal que describa el uso de conjuntos de correlación y las excepciones asociadas a estos.

En este trabajo estudiaremos diferentes sistemas de tipos que nos permiten asegurar que los programas construidos son libres de excepciones de correlación.