Towards Mobile strongZstrong Schemas - tmrfindia.org.pdfVIP

Towards Mobile Z Schemas M. Bettaz, M. Maouche Department of Computer Science Philadelphia University 19392 Jordan {bettaz, maouch}@.jo Abstract In this paper we show how to extend the Z language with location and mobile operation schemas. The objective is to seek appropriate models for tackling the space and coordination dimensions of mobility in a software engineering perspective. A case study from the literature is presented to illustrate the benefits of our mobility framework. Keywords and phrases: Mobile computing, wireless networking, location, portability, mobility, mobility models, Z notation, Mobile Z schemas. 1. Introduction In the late seventies, the International Standards Organization [ISO] set through its Open System Interconnection [OSI] model, a general framework defining in great detail communication layers and protocols in computer networks. Peer to peer communication seemed hence to be a natural paradigm; however the technological trends appearing afterwards, the rapid growth of the Internet, and the great success of TCP/IP imposed de facto the client-server model as an effective model [5]. With the advent of mobile computing and wireless networking, the notion of stable clients and stable servers is becoming senseless, since both location-transparent and context-dependent services are desired. Decoupled computing is becoming the new computation paradigm [3]. Network disconnection is no longer considered as a fault, but a common event intentionally caused by the user in order to conserve power