Ambiente para la formalización, animación y evaluación de patrones de microservicios.

Abstract

El desarrollo de aplicaciones con arquitectura de microservicios ha ganado popularidad debido a sus ventajas en términos de escalabilidad y flexibilidad en el desarrollo, y mantenimiento. A pesar de estas ventajas, la arquitectura de microservicios presenta diversos desafíos, los cuales motivaron el surgimiento de patrones de microservicios. La descripción de estos patrones es en lenguaje natural, lo cual puede generar ambigüedades. Para solucionar esto se han propuesto soluciones basadas en la formalización de patrones. Este trabajo extiende una de estas soluciones que utiliza Event-B como método para formalizar patrones. En particular, esta solución utiliza pruebas basadas en modelos para proveer mecanismos que permiten evaluar la conformidad de implementaciones de patrones de microservicios con respecto a la formalización de los patrones en Event-B. Primero se analizó la solución en la que se basa este trabajo para evaluar la conformidad de las implementaciones de patrones de microservicios. Esta solución requiere gran cantidad de conocimiento previo y herramientas para su ejecución, lo cual es una barrera para que usuarios con diferentes perfiles la puedan utilizar. Luego, se realizó una propuesta de una nueva solución, tomando en cuenta el análisis anterior, las necesidades de automatización para el sistema de evaluación de la conformidad de implementaciones de patrones y funcionalidades identificadas durante el análisis. La solución brinda un entorno con automatizaciones para la evaluación de la conformidad, y sirve como repositorio centralizado de formalizaciones, implementaciones, animaciones y reportes de pruebas de evaluaciones de conformidad. Por último, se desarrolló una implementación de referencia de la solución propuesta. La plataforma está construida utilizando Java y Python para la lógica del backend, PostgreSQL para la gestión de datos, y Docker para permitir a los usuarios probar implementaciones en distintos lenguajes de programación. Para la interfaz de usuario se utilizó React. La implementación de referencia permitió validar la factibilidad técnica de la solución. Además, mediante una instancia de validación con usuarios expertos se comprobó la utilidad de la propuesta.