Resource Management in a Pervasive Computing Environment

A pervasive computing system provides for the interaction of people, devices and applications in a seamless and transparent manner in a pervasive computing environment. There is a great need for the management of basic resources in this environment. In this paper, we present a resource management architecture that provides for a seamless interaction among pervasive elements using ambient calculus and a publish/subscribe mechanism. Ambient calculus has been used to explore resource interaction and participation in a pervasive computing environment. A resource classifier component is introduced in the architecture that performs resource binding to specific applications. Results show that Ambient calculus offers a convenient and flexible representation of resource availability, usage transparency and management. By incorporating publish subscribe and resource classifier components into the ambient model, our system has shown a high degree of scalability, flexibility, and fault tolerance.

On the expressiveness of π-calculus for encoding mobile ambients

We investigate the expressiveness of two classical distributed paradigms by defining the first encoding of the pure mobile ambient calculus into the synchronous π-calculus. Our encoding, whose correctness has been proved by relying on the notion of operational correspondence, shows how the hierarchical ambient structure can be reformulated within a flat channel interconnection amongst independent processes, without centralised control. To easily handle the computation for simulating a capability, we introduce the notions of simulating trace (representing the computation that a π-calculus process has to execute to mimic a capability) and of aborting trace (representing the computation that a π-calculus process executes when the simulation of a capability cannot succeed). Thus, the encoding may introduce loops, but, as it will be shown, the number of steps of any trace, therefore of any aborting trace, is limited, and the number of states of the transition system of the encoding processes still remains finite. In particular, an aborting trace makes a sort of backtracking, leaving the involved sub-processes in the same starting configurations. We also discuss two run-time support methods to make these loops harmless at execution time. Our work defines a relatively simple, direct, and precise translation that reproduces the ambient structure by means of channel links, and keeps track of the dissolving of an ambient.