7th {IEEE/ACM} International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, {PESOS} 2015, Florence, Italy, May 23, 2015,  : {IEEE}, 2015.