An Experience with Using Z for Mobile Computing

A. Rarau and K. Pusztai (Romania)


Mobile computing, Formal specification, Z notation.


So far, the Z notation has not been used for the formal description of systems that belong to the mobile computing area. The reason seems to be that the Z notation does not offer an explicit model of mobility. Nevertheless, Z may readily be used for modeling mobility. In this paper we report on our use of Z for the description of a software system that belongs to the mobile computing field. Moreover, we argue why we think Z should receive attention from the mobile computing community.

Important Links:

Go Back