---

The OASIS TOSCA specification aims at enhancing the portability of cloud-based applications by defining a language to describe and manage service orchestrations across heterogeneous clouds. A service template is defined as an orchestration of typed nodes, which can be instantiated by matching other service templates. In this thesis, after defining the notion of exact matching between TOSCA service templates and node types, we define three other types of matching (plug-in, flexible and white-box), each permitting to ignore larger sets of non-relevant syntactic differences when type-checking service templates with respect to node types. We also describe how service templates that plug-in, flexibly or white-box match node types can be suitably adapted so as to exactly match them.

---

Jacopo Soldani is born in Livorno on April 12th, 1989.He performed his studies on Computer Science at I.T.I.S. G. Galilei (Livorno) and at the University of Pisa. On July 19th, 2013 he got his master degree in Computer Science with an evaluation of 110/110 with honors. At the time of writing, he is a Ph.D. Student at the University of Pisa.

---