Principles of Mobile Maude