Declarative Modeling for Building a Cloud Federation and Cloud Applications. - Giuseppe Attardi; Alex Barchiesi; Alberto Colla; Fulvio Galeazzi; Giovanni Marzulli; Mario Reale (CoRR, 2017)