Spécification et développement de solutions basées sur le cloud pour la gestion de propriétés non fonctionnelles au sein des réseaux M2M