The secondment activities concerned Tasks 4.2 and 4.3, in particular adding behavioural contracts to the microservice Jolie language (targeted to both in Bottom-up and Top-down DevOps support, which are the topics of these tasks). The idea is to make it possible, e.g., to specify dependencies in the execution order of Jolie operations or constraint on the values of the parameters. So far we have considered several practical examples in order to assess the effectiveness of such an extension, from a practical perspective. We have also considered the expressive power of the language needed for describing contracts in order to understand whether Turing complete languages, as used in other approaches, are really needed or simpler models, e.g. finite state machines with guards, can be used.