Un docente de Ingeniería en Computación, junto a su becario doctoral y un investigador italiano, recibieron un importante reconocimiento internacional por sus innovadoras propuestas plasmadas en un artículo académico.
Los investigadores Carlos G. López Pombo, investigador del CONICET en el CITECCA (UNRN), junto a Agustín E. Martínez Suñé, estudiante de doctorado y Emilio Tuosto, renombrado investigador del Gran Sasso Science Institute de Italia, recibieron el Best Paper Award en la veinteava edición del International Colloquium on Theoretical Aspects of Computing (ICTAC), realizada entre el 4 y el 8 de diciembre de 2023 en Lima, Perú, por su artículo titulado “A Dynamic Temporal Logic for Quality of Service in Choreographic Models”.
Este simposio internacional cuenta ya con 20 años ininterrumpidos de aportes de primer nivel a la disciplina y una trayectoria de calidad mundialmente reconocida. Las actas de la conferencia han sido formalmente publicadas como el volumen 14446 de la ya famosa serie Lecture Notes in Computer Science editada por Springer-Verlag.
En la actualidad los artefactos de software son, cada vez más, una colección de servicios web que ejecutan en forma distribuida sobre una infraestructura de cómputo y comunicación existente. Los sistemas de software basados en Amazon Web Services son paradigmáticos de este enfoque. Así, un sistema, es el resultado de la composición de un conjunto de componentes tomadas de un menú de más de mil aplicaciones disponibles.
En este contexto de computación distribuida formada por servicios que, en muchos casos, involucran pagos por su contraprestación, se vuelve cada vez más importante la necesidad de establecer criterios de calidad que deben ser garantizados por sus prestadores.
Los autores proponen un ambiente que permite analizar automáticamente propiedades de calidad de servicio de sistemas distribuidos que ejecutan colaborativamente sobre una infraestructura de comunicación que los conecta.
En este trabajo, los autores proponen un ambiente que permite analizar automáticamente propiedades de calidad de servicio de sistemas distribuidos que ejecutan colaborativamente sobre una infraestructura de comunicación que los conecta. Para ello, los autores propusieron un lenguaje formal que permite describir los perfiles de comunicación de las componentes involucradas y otro que permite expresar propiedades calidad de servicio deseables del sistema como un todo.
A esto se suma el diseño de un procedimiento automático que permite determinar si el sistema expresado por el conjunto de las componentes satisface la propiedad o no.
De esta forma, el ambiente de verificación propuesto por los investigadores posibilita la certificación de ciertos parámetros de calidad de servicio de un sistema, como propiedad emergente de los contratos de calidad de servicio de las componentes.
En palabras del comité académico del simposio, la distinción fue otorgada pues el artículo propone lo que en la disciplina se conoce como un full stack de análisis, lo que significa que todos los elementos necesarios y relevantes para para la resolución del problema están presentes, formalizados y probados sobre ejemplos que permiten comprender su aplicabilidad e impacto.
