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...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Vergara, Sebastián (author)
Format:	masterThesis
Sprache:	Englisch
Veröffentlicht:	2022
Schlagworte:	Microservices Architectural Patterns Formalization Event-B Implementation Compliance Model-Based Testing Microservicios Patrones Arquitectónicos Formalización Conformidad Pruebas Basadas en Modelos
Online-Zugang:	https://hdl.handle.net/20.500.12008/35986
Tags:	Tag hinzufügen Keine Tags, Fügen Sie das erste Tag hinzu!