Maintenance of ambiences for mobile systems

We propose a formal method to maintain mobile systems placed on fluidal ambiences using a process calculus in this paper. Behavior of physically movable entities of mobile systems, e.g. mobile telephone systems and intelligent transport systems (ITSs), may be affected by their surrounding. We have focused on effects of ambiences to behavior of mobile systems and have introduced the notion of a field into a concurrent calculus πF, an extension of π-calculus, formalizes processes constrained by ambiences. Based on πF, our maintenance method indicates us how an ambience should be recovered when it is damaged