Synthetic Runtime Monitoring of Microservices Software Architecture

This paper describes Pink, a framework for synthetic runtime monitoring of microservices software systems which allows developers to specify the interactions of services using a UML component diagram, the assertions for the global properties of the microservices using OCL specifications, and the steps for interactions using UML sequence diagrams. Pink generates from the component diagram a set of object diagrams, selects them according to the OCL specifications and synthesises monitoring scripts by using the sequence diagrams as templates referencing to the objects. Pink supports monitoring of microservices for their operability regarding a range of non-functional properties such as session management, caching and security.