Simulazione di ecosistemi di servizi pervasivi con supporto ad annotazioni tuple based