Expressing dynamics of mobile agent systems using ambient calculus

The mobile agent approach has become popular due to recent developments in the mobile code paradigm and enabling programming technologies. Many existing agent-based systems lack clear standards and rely upon their own approaches and solutions to challenging research problems. Additionally, this rapid evolution has been poorly supported with formal methods. Ambient calculus has been recently proposed as a theoretical framework for distributed and mobile objects/agents. This paper analyses ambient calculus and how it may be used to model the mobility of software objects. A number of extensions to this framework are also proposed to describe various components within a mobile agent system.