Mobile devices are seeing a rapid development and are being used increasingly both in work related and leisure activities. In this thesis, we have developed a modeling framework for mobile information systems. This is realized through a UML profile, which introduces several stereotypes to model and express the concepts of physical, logical and vertical mobility. The profile is validated through a relevant case study, where parts of a scheduling application is implemented. The case study application is developed using Model Driven Development, with partial transformations from PIM to PSM and PSM to code.