© 2015, Springer Science+Business Media Dordrecht. The wide spreading of smart devices drives to develop distributed applications of increasing complexity, attracting efforts from both research and business communities. ...