A modeler for Android applications