The use of software mobility to model distributed computations is very appealing, since it almost completely abstracts the underlying network. However, the hostile environment of the Internet has lead to some well-founded security concerns that cast a shadow over this paradigm. In our opinion, the immediate future for mobility lies on its application to local area networks and middleware layers, where these security issues can be controlled. Our purpose in this paper is to seamlessly incorporate mobility with service-oriented computing, a emerging technology for middleware development, thus providing a powerful tool for the implementation of distributed applications, namely middleware. For that purpose, we will define a new service-driven mobility model that completely abstracts the notion of network node from the programmer. We present it as an abstract machine that is completely encoded onto a process calculus with a well studied semantics which provides us with a tool to prove the operational correspondence of the abstract machine relative to the underlying calculus.
Process Algebra for Parallel and Distributed Processing
