Microservice pattern Saga

Abstract

Tento výzkum se zaměřuje na zkoumání vzoru Saga jako stavového stroje v kontextu architektury mikroslužeb. Implementace vzoru Saga jako stavový stroj nabízí teoretické a praktické výhody a poskytuje přirozený mechanismus pro označení různých stavů, mezi kterými může Saga přecházet. Tento přístup usnadňuje lepší pochopení chování Sagi, zejména když zahrnuje komplexní sekvenci lokálních transakcí. Rámec stavového stroje, který je formální a dobře studovaný, je prospěšný pro modelování chování distribuovaných systémů a pomáhá při analýze a odůvodnění vlastností Sagi. Tato práce obsahuje implementaci Orchestrační Ságy, která je zapouzdřena v samostatném modulu. Tento modul má rozhraní pro vytváření a provádění Ságy za běhu.

This research focuses on investigating the Saga pattern as a state machine in the context of microservices architecture. Implementing the Saga pattern as a state machine offers both theoretical and practical advantages and provides a natural mechanism for representing different states that a Saga can transition between. This approach facilitates a better understanding of Saga behavior, particularly when it involves a complex sequence of local transactions. The state machine framework, which is formal and well-studied, is beneficial for modeling the behavior of distributed systems and aids in the analysis and justification of Saga properties. This work includes the implementation of Orchestration Saga, which is encapsulated in a separate module. This module has an API for run-time Saga creation and execution.