In this paper we propose a framework for modeling mobile information systems. Mobility introduces several challenges and issues that impact the development of mobile systems. As a result, we want applications running on mobile devices to exhibit certain traits; they should be aware of the mobility and be adaptive to the changes that occur due to it. Literature has identified several types of mobility – among them, physical and logical mobility. The former pertains to tangible mobile entities like cars, devices and people, while the latter encompasses mobile software entities. In addition to these, this paper includes the concept of vertical mobility – the movement of a network connection between overlapping networks – in a UML profile for modeling mobile information systems. We discuss our experiences from a case study described in  , where we modeled a simple mobile information system and transformed parts of the model into code.