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.

A distributed software development team generally requires collaborative modeling tools to support its modeling activities. We investigated and found an increasing number of tools that support advanced collaborative modeling. We study the current state of modeling tools and identify functionalities which make collaboration in distributed software development teams efficient. In this article, we report our initial findings and discuss a strategy to select collaborative software modeling tools for distributed software teams.

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.

The Java-UML Lightweight Enumerator (JULE) tool implements a vitally important aspect of the framework for software tool certification- test suite generation. The framework uses UML models as the test inputs for the bounded exhaustive-testing approach. Within a size bound for the metamodel types, JULE enumerates only the set of non-isomorphic models in the form of relational structures. These models are classified into two sets- demonstration and counterexample- using Binary Decision Diagrams (BDDs). The power of JULE lies in its model enumeration and its use of a high-performance grid infrastructure. Hence, JULE efficiently generates a very small test suite while increasing the bound on the input size to the extent that is practical for certification purpose.