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.

This paper presents Tartarian, a tool that supports maintenance of software with long-running, multi-release branches in distributed version control systems. When new maintenance code, such as bug fixes and code improvement, is committed into a branch, it is likely that such code can be applied or reused with some other branches. To do so, a developer may manually identify a commit and cherry pick it. Tartarian can support this activity by providing commit hashtags, which the developer uses as metadata to specify their intentions when committing the code. With these tags, Tartarian uses dependency graph, that represents the dependency constraints of the branches, and Branch Identifier, which matches the commit hashtags with the dependency graph, to identify the applicable branches for the commits. Using Tartarian, developers may be able to maintain software with multiple releases more efficiently. A video demo of Tartarian is available at www.github.com/tartarian.