Transformation of State Machines for a Microservice-Based Event-Driven Architecture: A Proof-of-Concept

The implementation of a state machine for a system or a subsystem in the form of an event-driven architecture (EDA) in a microservice environment requires model transformations. This paper presents a model-to-model transformation for this case based on UML state machines, UML class diagrams for the microservice architecture, a mathematical specification of the transformations and the implementation of the transformation with QVTo. A run-time state or workflow engine as a single-point-of-failure can be avoided with the choreographic and event-driven approach persevering the ability to generate a state machine as an additional system component that provides the advantages of a state or workflow engine features like monitoring, and visualization.