App de ejemplo usando mapas escrito en alloy