Formalización de Patrones de Integración de Sistemas con Event-B. Despegue Científico: Laura González
Compartir:
Laura Gonález integra el Área Informática de PEDECIBA desde 2007. Realizó la Maestría y el Doctorado en el Programa y en 2019 ingresó como investigadora Grado 3.
Su trabajo busca mejorar la comunicación entre diferentes aplicaciones de software para evitar fallas y asegurar el flujo correcto de datos en las operaciones digitales diarias.
El proyecto propone el uso de métodos formales para guiar el proceso de diseño y eliminar la confusión al aplicar los patrones de comunicación entre aplicaciones creadas con tecnologías y lenguajes diferentes. Para ello se utiliza el método Event-B, una herramienta matemática que permite modelar, verificar y construir sistemas integrados correctos desde su origen
Este enfoque permite desarrollar soluciones informáticas más confiables, garantizando el funcionamiento conjunto y seguro de las aplicaciones que se utilizan todos los días.
Esta investigación se desarrolla en el marco del programa Despegue Científico, una iniciativa de PEDECIBA que apoya a investigadoras e investigadores en las primeras etapas de su carrera independiente.
