ALBA: a model-driven framework for the automatic generation of android location-based apps