A declarative framework for adaptable applications in heterogeneous environments