Implementation compliance of microservices architectural patterns : An approach based on Event-B formal specifications and model-based testing

Microservices have recently emerged as an architectural style in which applications are composed of small, focused services with a cohesive set of responsibilities, each executing on its own process and communicating with others over the network via lightweight mechanisms. Similar to what had happen...

Full description

Bibliographic Details

Main Author:	Vergara, Sebastián (author)
Format:	masterThesis
Language:	English
Published:	2022
Subjects:	Microservices Architectural Patterns Formalization Event-B Implementation Compliance Model-Based Testing Microservicios Patrones Arquitectónicos Formalización Conformidad Pruebas Basadas en Modelos
Online Access:	https://hdl.handle.net/20.500.12008/35986
Tags:	Add Tag No Tags, Be the first to tag this record!