A Formal Model for Mobile Map Adaptation · Study